Symbolic

Results: 1438



#Item
241SYMBOLIC ALGORITHMS AND SOFTWARE FOR THE ´ TEST AND RECURSION OPERATORS FOR PAINLEVE NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS by

SYMBOLIC ALGORITHMS AND SOFTWARE FOR THE ´ TEST AND RECURSION OPERATORS FOR PAINLEVE NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS by

Add to Reading List

Source URL: www.douglasbaldwin.com

Language: English - Date: 2010-10-05 00:49:38
242EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic,

EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic,

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2016-03-08 07:04:45
243Temporal (Dynamic) Networks LectureNovember 2013 CSCI 5352, Network Analysis and Models Prof. Aaron Clauset University of Colorado, Boulder

Temporal (Dynamic) Networks LectureNovember 2013 CSCI 5352, Network Analysis and Models Prof. Aaron Clauset University of Colorado, Boulder

Add to Reading List

Source URL: tuvalu.santafe.edu

Language: English - Date: 2013-11-23 11:09:25
244Type-Directed Automatic Incrementalization Yan Chen Joshua Dunfield Umut A. Acar Max Planck Institute for Software Systems June 12, 2012

Type-Directed Automatic Incrementalization Yan Chen Joshua Dunfield Umut A. Acar Max Planck Institute for Software Systems June 12, 2012

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2012-09-07 17:01:51
245Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1

Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English
246Symbolic execution - model equivalence & applications Matei Popovici, Radu Stoenescu, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest 1. NETWORK SYMBOLIC EXECUTION

Symbolic execution - model equivalence & applications Matei Popovici, Radu Stoenescu, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest 1. NETWORK SYMBOLIC EXECUTION

Add to Reading List

Source URL: conferences.sigcomm.org

Language: English - Date: 2016-07-31 22:09:03
247On the Relation between Language and (Mimetic) Culture Morten H. Christiansen Cornell University What came first: language or culture? On the one hand, language seems to be woven into

On the Relation between Language and (Mimetic) Culture Morten H. Christiansen Cornell University What came first: language or culture? On the one hand, language seems to be woven into

Add to Reading List

Source URL: cnl.psych.cornell.edu

Language: English - Date: 2009-08-26 21:48:34
248The title

The title "Bible of Alexandria" is strictly true only for the Pentateuch of the Septuagint. We chose it for its symbolic value. The "Alexandrian" Pentateuch probably served as a model for the translation of other biblica

Add to Reading List

Source URL: f.hypotheses.org

Language: English - Date: 2013-07-12 05:09:21
249Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting —

Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting —

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

Language: English - Date: 2012-09-07 15:06:52
250Invited Talk Department of Computer Science and Engineering Indian Institute of Technology Kanpur Date: July 22, 2016 Time: 3:00 pm to 4:30 pm Venue: KD 102 Formal Hardware Verification of Arithmetic Data-paths using Alg

Invited Talk Department of Computer Science and Engineering Indian Institute of Technology Kanpur Date: July 22, 2016 Time: 3:00 pm to 4:30 pm Venue: KD 102 Formal Hardware Verification of Arithmetic Data-paths using Alg

Add to Reading List

Source URL: cse.iitk.ac.in

Language: English - Date: 2016-07-15 06:06:20