Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
221	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Concurrent computing Computing Computer architecture X86 instructions SIMD AltiVec Streaming SIMD Extensions Processor register SSE2 Symbolic execution MMX Constant folding
222	DRAGONFLY: A JAVA-BASED IAMC CLIENT PROTOTYPE WEIDONG LIAO, PAUL S. WANG Institute for Computational Mathematics Department of Mathematics & Computer Science Kent State University Kent, Ohio 44242, U.S.A. Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2001-04-01 20:43:16 Software Application software Mathematical software Cross-platform software Functional languages Formula editors Mathematical markup languages MathML Maple Wolfram Mathematica Symbolic computation Design Science
223	285 Doc. Math. J. DMV Presentations of Subshifts and Their Topologi al Conjuga y Invariants Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:20:44 Algebra Mathematics Linear algebra Matrix theory Combinatorics on words Symbolic dynamics Markov processes Subshift of finite type Matrix Eigenvalues and eigenvectors Shift space Spectrum
224	A Vision System for Symbolic Interpretation of Dynamic Scenes using ARSOM Antonio Chella, Donatella Guarino, Ignazio Infantino, Roberto Pirrone Dipartimento di Ingegneria Automatica e Informatica - University of Palermo Add to Reading List Source URL: www.antoniochella.it Language: English - Date: 2013-06-11 17:38:47 Computational neuroscience Artificial neural network Mathematical psychology Computer vision Active contour model
225	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 Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry
226	Symbolic manipulation on a TI-92: New threats or hidden treasures?* Barry Kissane, Jen Bradley & Marian Kemp Murdoch University The availability of hand held devices that can undertake symbolic manipulation is a recent p Add to Reading List Source URL: wwwstaff.murdoch.edu.au Language: English - Date: 2001-10-26 02:25:28 Programmable calculators Office equipment Graphing calculators Mathematics education Calculator Calculus Equation solving Algebra Arithmetic Maple Software calculator Integral
227	Answer Key for California State Standards: Algebra I Algebra I I: Symbolic reasoning and calculations with symbols are central in algebra. Through the study of algebra, a student develops an understanding of the symbolic Add to Reading List Source URL: www.csun.edu Language: English - Date: 2002-08-25 16:30:59 Elementary algebra Equation solving Exponentiation Algebra Equation Symbolic computation Multiplicative inverse Factorization
228	Indexing the Trajectories of Moving Objects in Symbolic Indoor Space Christian S. Jensen1 , Hua Lu1 , and Bin Yang1,2 1 Department of Computer Science, Aalborg University, Denmark Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2009-05-07 07:48:03 R-tree Minimum bounding rectangle Range query Radio-frequency identification Bin
229	111 Documenta Math. On the Structure of Covers of Sofic Shifts Rune Johansen Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2011-04-22 12:51:16 Combinatorics on words Symbolic dynamics Graph operations Graph theory Ergodic theory Subshift of finite type Line graph Bipartite graph Graph Sofic Shift space Bipartite half
230	2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Branch differences and Lambert W D. J. Jeffrey and J. E. Jankowski Department of Applied Mathematics, The University of Weste Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2015-11-17 11:49:43 Logarithms Complex analysis E Special functions Inverse functions Lambert W function Branch point Inverse trigonometric functions Inverse hyperbolic function Complex number Exponential function Natural logarithm

UPDATE