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í:
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
programming boolean » programming boosting, programming tools, programming bible
boolean functionals » boolean functional, boolean functions, boolean function
function https » functions https, fiction https
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
programming boolean » programming boosting, programming tools, programming bible
boolean functionals » boolean functional, boolean functions, boolean function
function https » functions https, fiction https
1
Vydáno 2015
Obsah:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2008
Obsah:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2014
Obsah:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2006
Obsah:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Získat plný text
Elektronický zdroj
E-kniha
5
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Vydáno 2006
Obsah:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2008
Obsah:
“...Program Termination -- Proving Termination with (Boolean) Satisfaction -- Termination Analysis...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2013
Obsah:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2010
Obsah:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2010
Obsah:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2006
Obsah:
“... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2005
Obsah:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2015
Obsah:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2010
Obsah:
“... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2008
Obsah:
“... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2006
Obsah:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2010
Obsah:
“... Programming -- Finding the Best CAFE Is NP-Hard -- The Size and Depth of Layered Boolean Circuits -- Lipschitz...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2010
Obsah:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2010
Obsah:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2005
Obsah:
“... -- An Optimal Algorithm for Querying Priced Information: Monotone Boolean Functions and Game Trees -- Online...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2014
Obsah:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Získat plný text
Elektronický zdroj
E-kniha