Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
problems functionality » protein functionality, problem functional, problem functionals
functionality function » functionals function, functionaries function, functional functions
parallel foundations » parallel foliations, particles foundations, parallel connections
foundations problems » functions problems, conditions problems, equations problems
function https » functions https, fiction https
problems functionality » protein functionality, problem functional, problem functionals
functionality function » functionals function, functionaries function, functional functions
parallel foundations » parallel foliations, particles foundations, parallel connections
foundations problems » functions problems, conditions problems, equations problems
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”View full text
Electronic
eBook
3
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Published 2010
Table of Contents:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
5
by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007
Table of Contents:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Published 2007
View full text
Electronic
eBook
6
Table of Contents:
“... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”
View full text
View full text
Electronic
eBook
7
Subjects:
“...History and Philosophical Foundations of Physics. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations...”View full text
Electronic
eBook
9
Table of Contents:
“...Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems...”
View full text
View full text
Electronic
eBook
10
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
Published 2014
Table of Contents:
“... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...”View full text
Electronic
eBook
12
Table of Contents:
“... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...”
View full text
View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Theoretical Foundations of Image Analysis and Processing -- Generalized Perpendicular Bisector...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”View full text
Electronic
eBook