Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
function structures » functions structures, function structure, functional structures
programs adaptive » problems adaptive, problem adaptive, programs relative
adaptive https » adaptive help, adaptive hints, adaptive atlas
https function » its function, sites function, ups function
function structures » functions structures, function structure, functional structures
programs adaptive » problems adaptive, problem adaptive, programs relative
adaptive https » adaptive help, adaptive hints, adaptive atlas
https function » its function, sites function, ups function
1
Obsah:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2006
Obsah:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Získat plný text
Elektronický zdroj
E-kniha
3
Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods /
Obsah:
“...Inductive Genetic Programming -- Tree-Like PNN Representations -- Fitness Functions and Landscapes...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2007
Obsah:
“... on Write-Once Memories -- Trading Static for Adaptive Security in Universally Composable Zero-Knowledge...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2006
Obsah:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2013
Obsah:
“...Model Checking Adaptive Software with Featured Transition Systems -- Probabilistic Verification...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2008
Obsah:
“...To Adapt or Not to Adapt – Consequences of Adapting Driver and Traffic Light Agents -- Optimal...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2006
Obsah:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2008
Obsah:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2015
Obsah:
“... Assembly, Structure and Function....”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2006
Obsah:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2010
Obsah:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2005
Obsah:
“... of Structure in Problem Solving by Computer -- Lessons Learned Using Genetic Programming in a Stock Picking...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2006
Obsah:
“... Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2014
Obsah:
“... Amazon Mechanical Turk in ImageCLEF -- Part III – Use Cases -- The THESEUS Use Cases -- Domain-Adaptive...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2010
Obsah:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2013
Obsah:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2008
Obsah:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2012
Obsah:
“.... Miller) -- Construction of o-Minimal Structures from Quasianalytic Classes (J.-P. Rolin) -- Course on Non...”Získat plný text
Elektronický zdroj
E-kniha