1
di Han, Maoan., Han, Maoan., Yu, Pei.
Pubblicazione 2012
Sommario: ... or Heteroclinic Loop -- Finding More Limit Cycles Using Melnikov Functions -- Limit Cycle Bifurcations...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ... Stochastic Processes -- Graph Structured Program Evolution: Evolution of Loop Structures -- A Functional...
Testo
Elettronico eBook
3
Pubblicazione 2006
Sommario: ... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...
Testo
Elettronico eBook
4
Pubblicazione 2006
Sommario: ... Model -- On the Impossibility of Extracting Classical Randomness Using a Quantum Computer -- Quantum...
Testo
Elettronico eBook
5
Pubblicazione 2008
Sommario: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
Testo
Elettronico eBook
6
Pubblicazione 2006
Sommario: ...-topped Degrees -- Mitosis in Computational Complexity -- Models of Intuitionistic Set Theories over...
Testo
Elettronico eBook
7
Pubblicazione 2008
Sommario: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...
Testo
Elettronico eBook
9
Pubblicazione 2008
Sommario: ... of Classical Computation in Measurement-Based Quantum Computation -- The Algebraic Counterpart of the Wagner...
Testo
Elettronico eBook
10
Pubblicazione 2008
Sommario: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Testo
Elettronico eBook
11
Pubblicazione 2008
Sommario: ... for Companion Matrices -- The Numerical Range of a Class of Self-adjoint Operator Functions -- A Perturbative...
Testo
Elettronico eBook
12
Pubblicazione 2008
Sommario: ... Communication Networks Using Evolutionary Algorithm -- A New GA – Based and Graph Theory Supported Distribution...
Testo
Elettronico eBook
13
Pubblicazione 2005
Sommario: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Testo
Elettronico eBook
14
Pubblicazione 2010
Sommario: ... Automata with Structured Output and Functional Generative Description -- A Randomized Numerical Aligner...
Testo
Elettronico eBook
15
Pubblicazione 2005
Sommario: ... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...
Testo
Elettronico eBook
16
Pubblicazione 2010
Sommario: ... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...
Testo
Elettronico eBook
17
Pubblicazione 2005
Sommario: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Testo
Elettronico eBook
18
Pubblicazione 2008
Sommario: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Testo
Elettronico eBook
19
Pubblicazione 2006
Sommario: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
Testo
Elettronico eBook
20
Pubblicazione 2005
Sommario: ... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...
Testo
Elettronico eBook