1
Published 2006
Table of Contents: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
View full text
Electronic eBook
2
by Han, Maoan., Han, Maoan., Yu, Pei.
Published 2012
Table of Contents: ...Hopf Bifurcation and Normal Form Computation -- Comparison of Methods for Computing Focus Values...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...
View full text
Electronic eBook
5
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Perturbed by Noise -- Dirichlet Forms and Degenerate Elliptic Operators -- On R-boundedness of Unions...
View full text
Electronic eBook
8
Table of Contents: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
View full text
Electronic eBook
9
Published 2011
Table of Contents: ... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...Irreducibility and Cuspidality -- On Liftings of Holomorphic Modular Forms -- Multiplicity-free...
View full text
Electronic eBook
11
...Background: Functional training is any type of training designed to improve a specific movement...
View full text
Article
12
Published 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
View full text
Electronic eBook
13
by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007
Table of Contents: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
View full text
Electronic eBook
14
by Hermes, Dan., Hermes, Dan.
Published 2015
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
15
by Li, Duan., Li, Duan., Sun, Xiaoling.
Published 2006
Table of Contents: ... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
17
Subjects: ...Optimization. https://scigraph.springernature.com/ontologies/product-market-codes/M26008...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... Algebras on Genus Two Riemann Surfaces II -- 8. A. Zuevsky: Twisted correlation functions on self-sewn...
View full text
Electronic eBook
19
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
20
by Faison, Ted., Faison, Ted.
Published 2006
Table of Contents: ... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...
View full text
Electronic eBook