Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
problem decidability » problems undecidability, problem reliability, problems reliability
parallel problem » parallel program, parallel programs, parallel robots
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
problem decidability » problems undecidability, problem reliability, problems reliability
parallel problem » parallel program, parallel programs, parallel robots
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...”View full text
Electronic
eBook
3
Table of Contents:
“... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...”
View full text
View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Enumerable Topological Spaces -- Decidability of Termination Problems for Sequential P Systems with Active...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Theory in Coq -- Completeness and Decidability Results for CTL in Coq -- Hypermap Specification...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Algorithm for the NMR Backbone Assignment Problem -- Avoiding Local Optima in Single Particle Reconstruction...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... for Uncapacitated Facility Location Problem -- A Direct Application of Ant Colony Optimization to Function...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Who Cannot Remember the Past Are Condemned to Repeat It -- Invited Public Lecture -- Decide Different...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- Church Synthesis Problem with Parameters -- Decidable Theories of the Ordering of Natural Numbers...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...”View full text
Electronic
eBook
20
Published 2014
Subjects:
“...Operations Research/Decision Theory. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook