1
Published 2006
Table of Contents: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...
View full text
Electronic eBook
3
by Li, Xingfeng., Li, Xingfeng.
Published 2014
Table of Contents: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...Introduction—The Effects of Changing Land Use Patterns on Marine Resources: Setting a Research...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
View full text
Electronic eBook
7
Table of Contents: ... of Constrained Optimization -- Quadratic Programming -- Penalty Function Methods -- Feasible Direction Methods...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... of landslides in Lazio Region, Italy -- The use of geostatistical techniques applied to soil conservation of low...
View full text
Electronic eBook
9
Subjects: ...Hydrogeology. https://scigraph.springernature.com/ontologies/product-market-codes/G19005...
View full text
Electronic eBook
10
Table of Contents: .... Simulation of Multiple Region System -- 7. Solving Gravitational Problems -- 8. Sequential Excavation...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ...Introduction -- PART I: Limits to Resource Use -- 1. The Limits of Resource Use and their Economic...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Emissions -- Coping with Uncertainty in Temporal Gene Expressions Using Symbolic Representations -- Olive...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
19
Table of Contents: ... Search, Trust Region Methods, Conjugate Gradient Methods, Quasi-Newton Methods -- 4. Linearly Constrained...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ....) -- Longitudinal Analysis of Gene Expression Profiles Using Functional Mixed-effects Models (Berk M., Montana G...
View full text
Electronic eBook