Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs computational » program computational, problems computational, programming computational
computational program » computational problem, compositional program, computational problems
intersections non » intersection non, interactions non, intersecting non
program https » programs https, program has, program help
non programs » run programs, own programs, non programmers
programs computational » program computational, problems computational, programming computational
computational program » computational problem, compositional program, computational problems
intersections non » intersection non, interactions non, intersecting non
program https » programs https, program has, program help
non programs » run programs, own programs, non programmers
1
Published 2014
Table of Contents:
“... with Equations -- All–Instances Termination of Chase is Undecidable -- Non-uniform Polytime Computation...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Disjunctive Cuts for Non-convex Mixed Integer Quadratically Constrained Programs -- The Air Traffic Flow...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...-Strict CSP -- Monotonic Abstraction in Action -- Non-interleaving Semantics with Causality...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”View full text
Electronic
eBook
8
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
9
Published 2014
Table of Contents:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...”View full text
Electronic
eBook
11
Table of Contents:
“... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“... -- Generalized Deterministic Parsers -- Substring Parsing -- Parsing as Intersection -- Parallel Parsing -- Non...”
View full text
View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... and the Cover Time of Random Intersection Graphs -- Uncover Low Degree Vertices and Minimise the Mess...”View full text
Electronic
eBook
15
by de Berg, Mark., de Berg, Mark., Cheong, Otfried., van Kreveld, Marc., Overmars, Mark.
Published 2008
Table of Contents:
“...Computational Geometry: Introduction -- Line Segment Intersection: Thematic Map Overlay -- Polygon...”Published 2008
View full text
Electronic
eBook
16
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
17
Published 2010
Table of Contents:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...On Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types...”View full text
Electronic
eBook