Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
programs adaptive » problems adaptive, problem adaptive, programs relative
https functionals » type functionals, data functionals, flaps functional
adaptive https » adaptive help, adaptive hints, adaptive atlas
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
programs adaptive » problems adaptive, problem adaptive, programs relative
https functionals » type functionals, data functionals, flaps functional
adaptive https » adaptive help, adaptive hints, adaptive atlas
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
2
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
3
Subjects:
“...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... and Its Role in Adaptive Finite Element Error Control -- Ergodic Properties of Reaction-diffusion...”View full text
Electronic
eBook
7
Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods /
Table of Contents:
“...Inductive Genetic Programming -- Tree-Like PNN Representations -- Fitness Functions and Landscapes...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... -- Cardiac Adaptation to Volume Overload -- Functional Adaptation during the Development of Cardiac...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“...Model Checking Adaptive Software with Featured Transition Systems -- Probabilistic Verification...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...To Adapt or Not to Adapt – Consequences of Adapting Driver and Traffic Light Agents -- Optimal...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Model for Adaptive Hypermedia Systems -- Recomindation: New Functions for Augmented Memories...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Test Battery -- APPLICATIONS IN LARGE-SCALE TESTING PROGRAMS -- Adaptive Tests for Measuring Anxiety...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... by DNA Damage Responses -- Signaling Pathways of Aluminum-induced Programmed Cell Death in Higher Plants...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Ensembles Integration with Self-configuring Genetic Programming Algorithm.- A Multi-objective Proposal Based...”View full text
Electronic
eBook
16
Table of Contents:
“... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...”
View full text
View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... -- Dynamic Scheduling with Genetic Programming -- Emergent Generality of Adapted Locomotion Gaits...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... the Magnitude of CD8 T Cell Responses -- Functional Diversity of Human Dendritic Cells -- Selective Dependence...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook