1
Gepubliceerd in 2005
Inhoudsopgave: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2008
Inhoudsopgave: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2010
Inhoudsopgave: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2005
Inhoudsopgave: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Volledige tekst
Elektronisch E-boek
5
Inhoudsopgave: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Volledige tekst
Elektronisch E-boek
6
Inhoudsopgave: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
Volledige tekst
Elektronisch E-boek
7
door Burgin, Mark., Burgin, Mark.
Gepubliceerd in 2005
Inhoudsopgave: ...Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems...
Volledige tekst
Elektronisch E-boek
8
Onderwerpen: ...History and Philosophical Foundations of Physics. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2014
Inhoudsopgave: ... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2014
Inhoudsopgave: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
Volledige tekst
Elektronisch E-boek
11
door Kozen, Dexter C., Kozen, Dexter C.
Gepubliceerd in 2006
Inhoudsopgave: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2005
Inhoudsopgave: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2006
Inhoudsopgave: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2015
Inhoudsopgave: ... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2015
Inhoudsopgave: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2010
Inhoudsopgave: ...Theoretical Foundations of Image Analysis and Processing -- Generalized Perpendicular Bisector...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2012
Inhoudsopgave: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2014
Inhoudsopgave: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2005
Inhoudsopgave: ... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2006
Inhoudsopgave: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Volledige tekst
Elektronisch E-boek