1
Publicado 2013
Table of Contents: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Ligazón do recurso
Electrónico eBook
2
Publicado 2008
Table of Contents: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Ligazón do recurso
Electrónico eBook
3
Publicado 2011
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Ligazón do recurso
Electrónico eBook
5
por Addis, Tom., Addis, Tom., Addis, Jan.
Publicado 2010
Table of Contents: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Ligazón do recurso
Electrónico eBook
6
Publicado 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Ligazón do recurso
Electrónico eBook
7
Publicado 2013
Table of Contents: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
Ligazón do recurso
Electrónico eBook
8
Table of Contents: ... Operators and Smoothing -- Functional Registration -- Functional Linear Models -- Functional Generalized...
Ligazón do recurso
Electrónico eBook
9
Table of Contents: ... -- Phylogenetic & Functional Beta Diversity -- Null Models -- Comparative Methods & Phylogenetic Signal...
Ligazón do recurso
Electrónico eBook
10
Publicado 2011
Table of Contents: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
Ligazón do recurso
Electrónico eBook
11
por Li, Xingfeng., Li, Xingfeng.
Publicado 2014
Table of Contents: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
Ligazón do recurso
Electrónico eBook
12
Table of Contents: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
Ligazón do recurso
Electrónico eBook
13
Table of Contents: ...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...
Ligazón do recurso
Electrónico eBook
14
por Rohde, Charles A., Rohde, Charles A.
Publicado 2014
Subjects: ...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...
Ligazón do recurso
Electrónico eBook
15
Table of Contents: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
Ligazón do recurso
Electrónico eBook
16
Publicado 2006
Table of Contents: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
Ligazón do recurso
Electrónico eBook
17
por Han, Maoan., Han, Maoan., Yu, Pei.
Publicado 2012
Table of Contents: ... of the Melnikov Function Method -- Limit Cycle Bifurcations Near a Center -- Limit Cycles Near a Homoclinic...
Ligazón do recurso
Electrónico eBook
18
por Nisio, Makiko., Nisio, Makiko.
Publicado 2015
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Ligazón do recurso
Electrónico eBook
19
Table of Contents: ... -- Single-stage SLP Models -- Introduction -- Models involving Probability Functions -- Quantile Functions...
Ligazón do recurso
Electrónico eBook
20
Table of Contents: ...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...
Ligazón do recurso
Electrónico eBook