Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
101	ISC 2016 Cat 2 Solver Arjen Kouwenhoven Ilya Chebanenko Migchiel de Jong Zoran Ocokoljic Add to Reading List Source URL: www.wfcc.ch Language: Estonian - Date: 2016-02-14 15:42:39
102	All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:16 Mathematical analysis Mathematics Analysis Functions and mappings Computability theory Static program analysis Termination analysis Big O notation Derivative Bijection Expected value Recursion
103	RULE SOLVER™ Constraint Programming with OpenRules® USER MANUAL Add to Reading List Source URL: openrules.com Language: English - Date: 2014-05-18 17:14:24 Software engineering Computing Software Expert systems Rule engines Numerical software Decision support systems Mathematical modeling Constraint satisfaction Constraint programming Business rules engine AMPL
104	ISC 2016 Cat 1 Solver Piotr Murdzia Andrey Zhuravlev Boris Tummes John Nunn Add to Reading List Source URL: www.wfcc.ch Language: German - Date: 2016-02-14 15:42:41
105	Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. Conway Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 16:21:50 Theoretical computer science Formal methods Logic in computer science Constraint programming Electronic design automation NP-complete problems Satisfiability modulo theories Solver SMT Uninterpreted function Model checking Alt-Ergo
106	VALERIE NGUYEN \| \| https://www.linkedin.com/in/valerienguyen4 PROFESSIONAL SUMMARY Inquisitive, persistent, problem-solver seeking a challenging position in the biotechnology indu Add to Reading List Source URL: venturabiocenter.com Language: English - Date: 2015-12-25 20:38:18 Chemistry Biology Molecular biology Biochemistry Laboratory techniques Polymerase chain reaction Biotechnology Real-time polymerase chain reaction Gel electrophoresis Assay BioTek Transfection
107	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-08-18 13:33:42 Mathematics Equations Polynomials Numerical analysis Algebra Operations research Global optimization System of polynomial equations Mathematical optimization Linear programming Constraint satisfaction Interval arithmetic
108	A Global Nonhydrostatic Atmospheric Solver Using a Hexagonal C-Grid Discretization Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2011-07-19 10:48:52 Climate modeling Diagrams Discrete geometry Atmospheric model Voronoi Mesh generation Grid Mathematics Computer science Environmental science
109	Scoring rubric for “How far does the flour travel?” 1 Largest House of Mud Display 2 A State Museum Display Add to Reading List Source URL: www.makingmathematicians.com Language: English - Date: 2016-01-19 00:32:48 Numerical software Theoretical computer science Solver Neuropsychology Problem solving Chess problem Software
110	DEVELOPING THE ENGINEERS OF THE FUTURE How do you build a better problem solver? For Anuja Ranadive, it’s a question worth Add to Reading List Source URL: www.opg.com Language: English - Date: 2016-08-09 10:39:34 Engineering Ethics Philosophy of science Engineer