Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactions complex » interactions computer, interactions chapter, interaction computer
program function » programme function, programs functional, program foundation
complex program » complete program, compiled program, compiled programs
program program » programs program, programming program
function https » functions https, fiction https
interactions complex » interactions computer, interactions chapter, interaction computer
program function » programme function, programs functional, program foundation
complex program » complete program, compiled program, compiled programs
program program » programs program, programming program
function https » functions https, fiction https
1
Published 2007
Table of Contents:
“... Programming -- Multiple Interactive Outputs in a Single Tree: An Empirical Investigation -- Parsimony Doesn’t...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“...Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”View full text
Electronic
eBook
8
Table of Contents:
“... Complexity Classes -- Interactive Proofs -- The PCP Theorem and the Complexity of Approximation Problems...”
View full text
View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics -- ARVis...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”View full text
Electronic
eBook
17
by Cowling, Michael., Cowling, Michael., Frenkel, Edward., Kashiwara, Masaki., Valette, Alain., Vogan, David A., Wallach, Nolan R.
Published 2008
Table of Contents:
“...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...”Published 2008
View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Vital Signals Complexity by Matrix Analysis -- Analyzing the Chaotic Behaviour of the Harmonic Function...”View full text
Electronic
eBook