Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
programming solutions » programming applications
interval computing » intervals comparing, internet computing, interval counting
solutions https » relations https, pollution https, solutions hints
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
programming solutions » programming applications
interval computing » intervals comparing, internet computing, interval counting
solutions https » relations https, pollution https, solutions hints
1
Published 2014
Table of Contents:
“...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Paths in the Solution Space of Boolean Formulas -- Computing the Fréchet Distance Between Polygons...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Genetic Programming: Theory and Practice -- Better Solutions Faster: Soft Evolution of Robust...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Approach to the Job-Shop Scheduling Problem -- Short Papers -- Counting Solutions of Integer Programs Using...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Programming Solvers -- Upper Bounds on the Number of Solutions of Binary Integer Programs -- Matrix...”View full text
Electronic
eBook
11
by Lafaye de Micheaux, Pierre., Lafaye de Micheaux, Pierre., Drouilhet, Rémy., Liquet, Benoit.
Published 2013
Table of Contents:
“... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...”Published 2013
View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...1 - Information Systems Design -- Formalization of Data Flow Computing and a Coinductive Approach...”View full text
Electronic
eBook
14
by Szabó, Péter Gábor., Szabó, Péter Gábor., Markót, Mihaly Csaba., Csendes, Tibor., Specht, Eckard., Casado, Leocadio G., García, Inmaculada.
Published 2007
Table of Contents:
“... Packings -- Interval Methods for Validating Optimal Solutions -- The First Fully Interval-based...”Published 2007
View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Recovery Path in Backup Systems -- Telemedicine Platform Enhanced visiophony solution to operate a Robot...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Discovery Based on Large-Scale Feature Selection and MapReduce -- Social Validation of Solutions...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... of SAT -- Parametric Metric Interval Temporal Logic -- Short Witnesses and Accepting Lassos in ?-Automata...”View full text
Electronic
eBook