Search Results - interval computing programs programs containing https

Search alternatives:
programs containing » programs maintaining , programs combining , programs concerning
interval computing » intervals comparing , internet computing , interval counting
computing programs » comparing programs , computing progress , conducting programs
programs programs » programs program , program program , problems programs
containing https » containing herpes , containing crops , containing his

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”
View full text

Electronic eBook

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

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

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”
View full text

Electronic eBook

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...”
View full text

Electronic eBook

Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /

Published 2006

Table of Contents: “...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”
View full text

Electronic eBook

The R Software Fundamentals of Programming and Statistical Analysis /

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...”
View full text

Electronic eBook

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /

Published 2008

Table of Contents: “...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Techniques -- Economic Path Scheduling for Mobile Agent System on Computer Network -- A Database-Based...”
View full text

Electronic eBook

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I /

Published 2012

Subjects: “...Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text

Electronic eBook

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II /

Published 2012

Subjects: “...Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Published 2007

Table of Contents: “... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

Advances in Computer Graphics 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006, Proceedings /

Published 2006

Table of Contents: “... Data -- Subdivision Depth Computation for Extra-Ordinary Catmull-Clark Subdivision Surface Patches...”
View full text

Electronic eBook

Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings /

Published 2010

Table of Contents: “...Comparison of Two Algorithms for Computing Page Importance -- The Invisible Hand for Risk Averse...”
View full text

Electronic eBook

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

Published 2005

Table of Contents: “...-Resolution Genome-Wide Microarray Data Using the GenRate Model -- Efficient Calculation of Interval Scores...”
View full text

Electronic eBook

Pervasive Computing and the Networked World Joint International Conference, ICPCA-SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “...Online and Offline Determination of QT and PR Interval and QRS Duration in Electrocardiography...”
View full text

Electronic eBook

Graph-Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010, Revised Papers /

Published 2010

Table of Contents: “... and Containment Relations in Graphs -- The Longest Path Problem is Polynomial on Cocomparability Graphs...”
View full text

Electronic eBook

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Published 2010

Table of Contents: “... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...”
View full text

Electronic eBook

Soft Computing for Hybrid Intelligent Systems

Published 2008

Table of Contents: “...Intelligent Control -- Optimization of Interval Type-2 Fuzzy Logic Controllers for a Perturbed...”
View full text

Electronic eBook

Computational Collective Intelligence. Technologies and Applications Second International...

Published 2010

Table of Contents: “... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”
View full text

Electronic eBook

Narrow Search