1
Published 2008
Table of Contents: ... -- Disjunctive Cuts for Non-convex Mixed Integer Quadratically Constrained Programs -- The Air Traffic Flow...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... with Equations -- All–Instances Termination of Chase is Undecidable -- Non-uniform Polytime Computation...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... for Computing Variants of the Longest Common Subsequence Problem -- Session 5B: Graphs -- Constructing Labeling...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...-Strict CSP -- Monotonic Abstraction in Action -- Non-interleaving Semantics with Causality...
View full text
Electronic eBook
8
Table of Contents: ...Computational Geometry: Introduction -- Line Segment Intersection: Thematic Map Overlay -- Polygon...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Phylogenetic Forest Problem -- Seed-Based Exclusion Method for Non-coding RNA Gene Search -- A New Quartet...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... -- Quantified Positive Temporal Constraints -- Non-uniform Boolean Constraint Satisfaction Problems...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation -- Finding Paths...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ...On Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
View full text
Electronic eBook
16
by Ghali, Sherif., Ghali, Sherif.
Published 2008
Table of Contents: ... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Path Intersection Graphs: Sausages, Noodles, and Waffles on a Grill -- Maximum Induced Multicliques...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Problem in 3-Connected Planar Graphs -- Approximation Algorithms for Geometric Intersection Graphs...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... -- On Characterizations of Randomized Computation Using Plain Kolmogorov Complexity -- New Results for Non-Preemptive...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
View full text
Electronic eBook