Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program computation » program computational, program compilation, programs competition
interval computing » intervals comparing, internet computing, interval counting
computation https » computing https
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program computation » program computational, program compilation, programs competition
interval computing » intervals comparing, internet computing, interval counting
computation https » computing https
1
Published 2006
Table of Contents:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... on the Planar Branchwidth with Respect to the Largest Grid Minor Size -- Session 7A. Computational Geometry II...”View full text
Electronic
eBook
11
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
12
Published 2010
Table of Contents:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...Genetic Programming: Theory and Practice -- Better Solutions Faster: Soft Evolution of Robust...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”View full text
Electronic
eBook