Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
program adaptive » programs adaptive, problem adaptive, program adoption
adaptive https » adaptive help, adaptive hints, adaptive atlas
https function » its function, sites function, ups function
function structures » functions structures, function structure, functional structures
program adaptive » programs adaptive, problem adaptive, program adoption
adaptive https » adaptive help, adaptive hints, adaptive atlas
https function » its function, sites function, ups function
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
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
4
Published 2007
Table of Contents:
“... on Write-Once Memories -- Trading Static for Adaptive Security in Universally Composable Zero-Knowledge...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”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:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Assembly, Structure and Function....”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... of Structure in Problem Solving by Computer -- Lessons Learned Using Genetic Programming in a Stock Picking...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Amazon Mechanical Turk in ImageCLEF -- Part III – Use Cases -- The THESEUS Use Cases -- Domain-Adaptive...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... -- Programming with Separable Ellipsoidal Constraints -- Adaptive Finite Elements for Optimally Controlled...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...”View full text
Electronic
eBook