Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
programs functionality » program functionality, programs functional, properties functionality
parallel boolean » parallel tools, parallel beam, parallel between
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
programs functionality » program functionality, programs functional, properties functionality
parallel boolean » parallel tools, parallel beam, parallel between
function https » functions https, fiction https
1
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
5
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...Program Termination -- Proving Termination with (Boolean) Satisfaction -- Termination Analysis...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Programming -- Finding the Best CAFE Is NP-Hard -- The Size and Depth of Layered Boolean Circuits -- Lipschitz...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... -- An Optimal Algorithm for Querying Priced Information: Monotone Boolean Functions and Game Trees -- Online...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL...”View full text
Electronic
eBook