1
Published 2011
Table of Contents: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
View full text
Electronic eBook
2
Subjects: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
View full text
Electronic eBook
3
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
4
Published 2015
Subjects: ...Plant Breeding/Biotechnology. https://scigraph.springernature.com/ontologies/product-market-codes/L...
View full text
Electronic eBook
5
by Kilicman, Adem, Saleh, Wedad
Published 2018
... of optimality for unconstrainded and inquality constrained programming are discussed under the sub-b...
View full text
Article
6
Published 2010
Table of Contents: ... Operators on the Bloch Space of a Bounded Homogeneous Domain -- Images of Minimal-Vector Sequences Under...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... -- Preserving Secrecy Under Refinement -- Quantifying Information Leakage in Process Calculi -- Symbolic...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
16
Published 2010
Table of Contents: .... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Distance -- On Commutativity Based Edge Lean Search -- Commitment Under Uncertainty: Two-Stage Stochastic...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ...NFAs Are Not Closed Under Complement -- Expressive Power of Pebble Automata -- Approximation Algorithms...
View full text
Electronic eBook