AMPL - PDFSEARCH.IO - Document Search Engine

AMPL
Results: 274

#	Item
51	Growing Solver-Aided Languages with ROSETTE Emina Torlak & Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:03 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL Theoretical computer science Applied mathematics Software engineering
52	1 sensornet tasking in the large querying, inference, etc. joe hellerstein Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2004-01-28 17:15:00 Database management systems Query languages Software engineering Relational database management systems Computer languages TinyOS Database AMPL Wireless sensor network Computing Operations research Data management
53	A FRAMEWORK FOR REPRESENTING AND PROCESSING ARBITRARY MATHEMATICS Arnold Neumaier and Peter Schodl Fakult¨at f¨ur Mathematik, University of Vienna,Nordbergstr. 15, A-1090 Wien, Austria Keywords: Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2011-05-11 10:42:47 Operations research Computer algebra systems Scientific modeling Mathematical optimization Mathematical modeling Mathematics Semantic memory AMPL Modeling language Mathematical software Science Computing
54	Typical S1 Sensitivity h(t) Aug 26 ‘02 Diff. Arml. Cal. Freq. Cal. Las. Ampl. Cal. Add to Reading List Source URL: www.geo600.org - Date: 2014-02-06 08:00:31
55	Typical S4 Sensitivity h(t) Feb 22 ‘05 Diff. Arml. Cal. E Arml. Cal. Freq. Cal. Las. Ampl. Cal. Add to Reading List Source URL: www.geo600.org - Date: 2014-02-06 08:00:32
56	Interfacing NEOS from R The R package rneos Bernhard Pfaff Invesco Asset Management Deutschland GmbH, Frankfurt am Main Add to Reading List Source URL: www.pfaffikus.de Language: English - Date: 2012-07-05 15:38:29 Applied mathematics Linear programming AMPL MOSEK Semidefinite programming Invesco Semi-infinite Global optimization Operations research Mathematical optimization Mathematics
57	Introduction The SYMPHONY Black Box Solver The SYMPHONY Callable Library Example The SYMPHONY Framework for Mixed-Integer Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2010-06-19 14:25:54 Computer programming Numerical software COIN-OR Linear programming Lis Subroutine Solver AMPL MINTO Operations research Software Numerical analysis
58	Typical S5 Sensitivity h(t) Jun 3 ‘06 Diff. Arml. Cal. Osc. Phase Cal. Freq. Cal. Las. Ampl. Cal. Add to Reading List Source URL: www.geo600.org - Date: 2014-02-06 06:05:06
59	The difference between ground-based and satellite ozone data by station Add to Reading List Source URL: woudc.org Language: English - Date: 2012-12-05 10:56:56 Operations research Software engineering Computing Applied mathematics AMPL Mathematical modeling Mathematical optimization
60	The difference between ground-based and satellite ozone data by station Add to Reading List Source URL: woudc.org Language: English - Date: 2012-12-05 10:55:38 Operations research Software engineering Computing Applied mathematics AMPL Mathematical modeling Mathematical optimization

UPDATE