1
Pubblicazione 2012
Sommario: ... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...
Testo
Elettronico eBook
2
Pubblicazione 2014
Sommario: ... Salesman Problem -- Multi-Sub-Swarm PSO Algorithm for Multi-Modal Function Optimization -- Reliable License...
Testo
Elettronico eBook
3
Pubblicazione 2007
Sommario: ... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...
Testo
Elettronico eBook
4
Pubblicazione 2008
Sommario: ... -- Computing Frequency Dominators and Related Problems -- Computing Best Swaps in Optimal Tree Spanners -- 8A...
Testo
Elettronico eBook
5
Pubblicazione 2010
Sommario: ... to #CSP and Back: Dichotomy for Holant c Problems -- Computing Sparse Multiples of Polynomials -- Fractal...
Testo
Elettronico eBook
6
Pubblicazione 2014
Sommario: ... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...
Testo
Elettronico eBook
7
Pubblicazione 2014
Sommario: ...On Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ...Proving Church’s Thesis -- The Limits of Quantum Computers -- Marrying Words and Trees -- TPTP...
Testo
Elettronico eBook
9
Pubblicazione 2010
Sommario: ...-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties...
Testo
Elettronico eBook
10
Pubblicazione 2010
Sommario: ... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...
Testo
Elettronico eBook
11
Pubblicazione 2008
Sommario: ... for the Sparsest Spanners Problem on Apex-Minor-Free Graphs -- Computational Complexity of Perfect-Phylogeny...
Testo
Elettronico eBook
12
Pubblicazione 2010
Sommario: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
Testo
Elettronico eBook
13
Pubblicazione 2012
Sommario: ... and Random Intersection -- Regularity Problems for Weak Pushdown ω-Automata and Games -- Computational...
Testo
Elettronico eBook
14
Pubblicazione 2013
Sommario: ... Algorithm for Solving Multi-Objective Optimization Problems -- B-spline Surface Approximation Using...
Testo
Elettronico eBook
15
Pubblicazione 2007
Sommario: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Testo
Elettronico eBook
16
Pubblicazione 2014
Sommario: ... with Bounded Treewidth -- Tight Bounds for the Advice Complexity of the Online Minimum Steiner Tree Problem...
Testo
Elettronico eBook
17
Pubblicazione 2007
Sommario: ... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...
Testo
Elettronico eBook
18
Pubblicazione 2008
Sommario: ... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...
Testo
Elettronico eBook
19
Pubblicazione 2008
Sommario: ... Management Problem: An Integer Optimization Approach -- Session 2 -- The Induced Disjoint Paths Problem -- A...
Testo
Elettronico eBook
20
Pubblicazione 2008
Sommario: ... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...
Testo
Elettronico eBook