1
Publicado em 2005
Sumário: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Sumário: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Obter o texto integral
Recurso Electrónico livro electrónico
6
Sumário: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Por Burgin, Mark., Burgin, Mark.
Publicado em 2005
Sumário: ...Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Assuntos: ...History and Philosophical Foundations of Physics. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
9
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
10
Publicado em 2014
Sumário: ... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Por Kozen, Dexter C., Kozen, Dexter C.
Publicado em 2006
Sumário: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2005
Sumário: ... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2005
Sumário: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2006
Sumário: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2015
Sumário: ... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2010
Sumário: ...Theoretical Foundations of Image Analysis and Processing -- Generalized Perpendicular Bisector...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2015
Sumário: ...Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2012
Sumário: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2006
Sumário: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2014
Sumário: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obter o texto integral
Recurso Electrónico livro electrónico