1
Publicado 2005
Table of Contents: ... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...
Ligazón do recurso
Electrónico eBook
2
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
3
Table of Contents: ...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...
Ligazón do recurso
Electrónico eBook
4
Publicado 2011
Table of Contents: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
Ligazón do recurso
Electrónico eBook
5
Table of Contents: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Ligazón do recurso
Electrónico eBook
6
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
7
Publicado 2010
Table of Contents: ... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...
Ligazón do recurso
Electrónico eBook
8
Publicado 2006
Table of Contents: ... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...
Ligazón do recurso
Electrónico eBook
9
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook
10
Publicado 2015
Subjects: ...Plant Breeding/Biotechnology. https://scigraph.springernature.com/ontologies/product-market-codes/L...
Ligazón do recurso
Electrónico eBook
11
Subjects: ...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...
Ligazón do recurso
Electrónico eBook
12
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
13
Publicado 2011
Table of Contents: ... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
Ligazón do recurso
Electrónico eBook
15
Publicado 2013
Table of Contents: ..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...
Ligazón do recurso
Electrónico eBook
16
Publicado 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Ligazón do recurso
Electrónico eBook
17
Publicado 2007
Table of Contents: ... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...
Ligazón do recurso
Electrónico eBook
18
19
... Based CFG reachability problems, addressable using search algorithms, such as Evolutionary Programming...
Ligazón do recurso
Artigo
20
Table of Contents: ... theory -- Hypertopologies, hyperconvergences -- Continuity of some operations between functions -- Well...
Ligazón do recurso
Electrónico eBook