1
Argitaratua 2005
Aurkibidea: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2008
Aurkibidea: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2010
Aurkibidea: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2005
Aurkibidea: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Testu osoa
Baliabide elektronikoa eBook
5
Aurkibidea: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Testu osoa
Baliabide elektronikoa eBook
6
Aurkibidea: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
Testu osoa
Baliabide elektronikoa eBook
7
Gaiak: ...History and Philosophical Foundations of Physics. https://scigraph.springernature.com/ontologies...
Testu osoa
Baliabide elektronikoa eBook
8
nork Burgin, Mark., Burgin, Mark.
Argitaratua 2005
Aurkibidea: ...Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2014
Aurkibidea: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2014
Aurkibidea: ... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...
Testu osoa
Baliabide elektronikoa eBook
11
nork Kozen, Dexter C., Kozen, Dexter C.
Argitaratua 2006
Aurkibidea: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2006
Aurkibidea: ... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2005
Aurkibidea: ... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2005
Aurkibidea: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2015
Aurkibidea: ... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2015
Aurkibidea: ...Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2010
Aurkibidea: ...Theoretical Foundations of Image Analysis and Processing -- Generalized Perpendicular Bisector...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2014
Aurkibidea: ... in Isabelle/HOL -- Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2012
Aurkibidea: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2014
Aurkibidea: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Testu osoa
Baliabide elektronikoa eBook