1
Pubblicazione 2010
Sommario: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Testo
Elettronico eBook
2
Pubblicazione 2008
Sommario: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Testo
Elettronico eBook
3
Pubblicazione 2013
Sommario: ... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...
Testo
Elettronico eBook
4
Pubblicazione 2011
Sommario: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
Testo
Elettronico eBook
5
di Nisio, Makiko., Nisio, Makiko.
Pubblicazione 2015
Soggetti: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Testo
Elettronico eBook
6
Sommario: ... and Microcapsules for Controlled Release -- Part III Thermo-/pH-Dual-Responsive Hydrogel Functional Materials...
Testo
Elettronico eBook
7
Sommario: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
Testo
Elettronico eBook
8
di Jeyakumar, V., Jeyakumar, V., Luc, Dinh The.
Pubblicazione 2008
Sommario: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
Testo
Elettronico eBook
9
di Hunt, John., Hunt, John.
Pubblicazione 2014
Sommario: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Testo
Elettronico eBook
10
Pubblicazione 2006
Sommario: ... and Its Role in Adaptive Finite Element Error Control -- Ergodic Properties of Reaction-diffusion...
Testo
Elettronico eBook
11
Pubblicazione 2014
Sommario: ... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...
Testo
Elettronico eBook
12
13
Pubblicazione 2010
Sommario: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
Testo
Elettronico eBook
14
Pubblicazione 2013
Sommario: ... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...
Testo
Elettronico eBook
15
Sommario: ...Optimal Stabilization Control for Discrete-time Systems -- Optimal Tracking Control for Discrete...
Testo
Elettronico eBook
16
Pubblicazione 2012
Sommario: ... Control -- Challenges of Mathematical Biology -- Mathematical Programming and Computer Science....
Testo
Elettronico eBook
17
di Lucchetti, Roberto., Lucchetti, Roberto.
Pubblicazione 2006
Sommario: ...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...
Testo
Elettronico eBook
18
... groups: the functional training group (FTG) and the control training group (CG). Each group received 60...
Testo
Articolo
19
Pubblicazione 2008
Sommario: ... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...
Testo
Elettronico eBook
20
Pubblicazione 2013
Sommario: ... Bilevel Convex Optimal Control Problems (H. Bonnel and J. Morgan) -- 5. Monotone Operators Without...
Testo
Elettronico eBook