1
Published 2011
Table of Contents: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
View full text
Electronic eBook
2
Table of Contents: ... Functions and Kernel Density Estimation -- 4. The BONUS Algorithm -- 5. Water Management under Weather...
View full text
Electronic eBook
3
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
4
Published 2012
Table of Contents: ...-ScaleProblems Sensitivity Analysis for the Purposes of Parameter Identification of a S. cerevisiae Fed-Batch...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Further Thoughts on Concordance -- Vertical Scaling -- Practical Issues in Vertical Scaling -- Methods...
View full text
Electronic eBook
6
Published 2011
Table of Contents: .... Dorans, Tim P. Moses, and Daniel R. Eignor) -- Scoring and Scaling Educational Tests Michael J. Kolen, Ye...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Optimal algorithms for large sparse quadratic programming problems with uniformly bounded spectrum...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
9
Table of Contents: ...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... programming -- Using piecewise linear functions for solving MINLPs -- An algorithmic framework for MINLP...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Grammars -- Functional Analysis of Large-Scale DNA Strand Displacement Circuits....
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... Sites -- Extraction of poly(A) Sites from Large-scale RNA-seq Data -- Poly(A)-tag Deep Sequencing Data...
View full text
Electronic eBook
16
Table of Contents: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Stochastic Processes -- Graph Structured Program Evolution: Evolution of Loop Structures -- A Functional...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...
View full text
Electronic eBook