1
Publicado em 2013
Sumário: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2014
Sumário: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2013
Sumário: ... Functions - The Anti-Telescoping Method(G.E. Andrews) -- The Extremal Plurisubharmonic Function for Linear...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2014
Sumário: ... -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from Small-Step Semantics -- Communicating...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2013
Sumário: ... -- On Propositional QBF Expansions and Q-Resolution -- Recovering and Utilizing Partial Duality in QBF -- Efficient...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2005
Sumário: ... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2007
Sumário: ... Classifiers -- Discrete Duality and Its Applications to Reasoning with Incomplete Information -- Toward...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2012
Sumário: ... Reasoning -- Global Minimizer of Large Scale Stochastic Rosenbrock Function: Canonical Duality Approach...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2010
Sumário: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Obter o texto integral
Recurso Electrónico livro electrónico