Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
decidability function » desirability function, reliability function, probability function
problem decidability » problems undecidability, problem reliability, problems reliability
function function » function functional, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
function https » functions https, fiction https
decidability function » desirability function, reliability function, probability function
problem decidability » problems undecidability, problem reliability, problems reliability
function function » function functional, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
function https » functions https, fiction https
1
Publicado em 2005
Sumário:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2005
Sumário:
“... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Sumário:
“... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2015
Sumário:
“... Enumerable Topological Spaces -- Decidability of Termination Problems for Sequential P Systems with Active...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2006
Sumário:
“... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
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
7
Publicado em 2006
Sumário:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2005
Sumário:
“... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2014
Sumário:
“... Theory in Coq -- Completeness and Decidability Results for CTL in Coq -- Hypermap Specification...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2013
Sumário:
“...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2005
Sumário:
“... Algorithm for the NMR Backbone Assignment Problem -- Avoiding Local Optima in Single Particle Reconstruction...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2006
Sumário:
“... for Uncapacitated Facility Location Problem -- A Direct Application of Ant Colony Optimization to Function...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2006
Sumário:
“... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2006
Sumário:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2013
Sumário:
“... Who Cannot Remember the Past Are Condemned to Repeat It -- Invited Public Lecture -- Decide Different...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2006
Sumário:
“... -- Church Synthesis Problem with Parameters -- Decidable Theories of the Ordering of Natural Numbers...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2005
Sumário:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2007
Sumário:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2008
Sumário:
“... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2014
Assuntos:
“...Operations Research/Decision Theory. https://scigraph.springernature.com/ontologies/product-market...”Obter o texto integral
Recurso Electrónico
livro electrónico