Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality computing » functionality combining, function computing, functionality using
https functionality » its functionality, bags functionality, cross functionality
programs adaptive » problems adaptive, problem adaptive, programs relative
adaptive https » adaptive help, adaptive hints, adaptive atlas
functionality computing » functionality combining, function computing, functionality using
https functionality » its functionality, bags functionality, cross functionality
programs adaptive » problems adaptive, problem adaptive, programs relative
adaptive https » adaptive help, adaptive hints, adaptive atlas
1
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
3
Subjects:
“...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...”
View full text
View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... to Group Decision Making Problems.- Using Genetic Programming to Estimate Performance of Computational...”View full text
Electronic
eBook
5
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
6
Published 2013
Table of Contents:
“...Model Checking Adaptive Software with Featured Transition Systems -- Probabilistic Verification...”View full text
Electronic
eBook
7
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
8
Published 2006
Table of Contents:
“... of User Models -- Authoring Adaptive Learning Designs Using IMS LD -- Ways of Computing Diverse...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... -- Cardiac Adaptation to Volume Overload -- Functional Adaptation during the Development of Cardiac...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
12
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Test Battery -- APPLICATIONS IN LARGE-SCALE TESTING PROGRAMS -- Adaptive Tests for Measuring Anxiety...”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 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”View full text
Electronic
eBook