Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
241	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 Partial differential equations Solitons Scattering theory Integrable systems Ordinary differential equations Inverse scattering transform Differential equation CamassaHolm equation Kortewegde Vries equation KaupKupershmidt equation Inverse scattering problem Equation solving
242	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 Data types Symbolic execution Pointer Array data structure Array data type Bit array Type system Concolic testing
243	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 Electronic design Symbolic circuit analysis GEC
244	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 Graph Graph theory SYmbolic LinK
245	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 Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
246	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 Abstract interpretation Symbolic execution Program optimization APL Concolic testing
247	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 Linguistics Cognitive science Applied linguistics Language acquisition Philosophy of language Universal grammar Origin of language Language The Symbolic Species Evolutionary linguistics Mimesis Mimetic Theory of Language Development
248	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 Marguerite Harl Jan Joosten Alain Le Boulluec Solar water disinfection
249	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 Logic in computer science Logic programming Automated theorem proving Formal languages Type theory Substitution Unification Admissible rule Futures and promises Rewrite order Rewriting Symbol
250	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 Computer algebra Algebraic geometry Computer science Grbner basis Symbolic computation Computer-aided design Finite field Polynomial Algorithm Theoretical computer science Vladimir Gerdt

UPDATE