Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
231	Audio Engineering Society Convention Paper Presented at the 125th Convention 2008 October 2–5 San Francisco, CA, USA The papers at this Convention have been selected on the basis of a submitted abstract and extended p Add to Reading List Source URL: www.j3l7h.de Language: English - Date: 2009-06-16 12:05:23 File managers Virtual folder Windows Vista Computer file Directory structure File shortcut File Explorer File system NTFS Directory Symbolic link Shelf
232	HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Convex analysis Mathematical optimization Convex optimization Operations research Variational analysis Subgradient method Subderivative Ellipsoid method Convex function Generalized algebraic data type Convex set Map
233	Do umenta Mathemati a Journal der Deutschen Mathematiker-Vereinigung Band 4, 1999 Andrew Ranicki Singularities, Double Points, Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-16 06:01:14 Combinatorics on words Symbolic dynamics Ergodic theory Subshift of finite type Operator theory Von Neumann algebra Haagerup property Shift space Automorphism BogdanovTakens bifurcation Brunella Grassmannian
234	Crafting a Repository of Knowledge Based on Transformation Rules A.D. Rich (1) and D.J. JeffreyLoli’i Way, Kamuela, Hawaii, USA. Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2009-04-06 23:30:16 Elementary algebra Computer algebra Symbolic computation Expression Identity Computer algebra system Algebraic expression Integral Trigonometric functions Draft:Formulae Lambda calculus definition
235	Cellular Automata Reversible over Limit Set? S IAMAK TAATI† Turku Centre for Computer Science, and Department of Mathematics, University of Turku, Finland Reversibility of dynamics is a fundamental feature of nature, Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:20 Combinatorics on words Symbolic dynamics Markov processes Spectral theory Ergodic theory Subshift of finite type Shift space Spectral theory of ordinary differential equations Jordan normal form
236	CHAOS 17, 015115 共2007兲 Statistical physics approach to categorize biologic signals: From heart rate dynamics to DNA sequences C.-K. Peng Margret and H. A. Rey Institute for Nonlinear Dynamics in Medicine, Division Add to Reading List Source URL: reylab.bidmc.harvard.edu Language: English - Date: 2007-03-30 19:24:25 Statistical distance Symbolic Sequence Nucleic acid sequence Entropy Similarity measure Time series
237	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Software testing Concolic testing Symbolic execution Java Pathfinder KeY Random testing Model checking Satisfiability modulo theories Unit testing Type system White-box testing Fuzz testing
238	Implementation of the DKSS Algorithm for Multiplication of Large Numbers Christoph Lüders Universität Bonn The International Symposium on Symbolic and Algebraic Computation, Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 10:37:54 Multiplication Binary operations SchnhageStrassen algorithm Digital signal processing Arnold Schnhage Fast Fourier transform ToomCook multiplication Factorial Exponentiation Matrix Multiplication algorithm
239	C u r r e n t A n t h r o p o l o g y Volume 46, Number 2, April 2005 䉷 2005 by The Wenner-Gren Foundation for Anthropological Research. All rights reserved$10.00 Signaling Theory, Strategic I Add to Reading List Source URL: www.ceacb.ucl.ac.uk Language: English - Date: 2005-09-29 11:39:14 Social psychology Sexual selection Animal communication Ethology Game theory Signalling theory Thorstein Veblen Handicap principle Symbolic capital Conspicuous consumption The Theory of the Leisure Class Altruism
240	REAL-TIME CORPUS-BASED CONCATENATIVE SYNTHESIS FOR SYMBOLIC NOTATION Daniele Ghisi STMS Lab (IRCAM, CNRS, UPMC) Add to Reading List Source URL: tenor2016.tenor-conference.org Language: English - Date: 2016-05-17 08:15:07 Metallurgy Affine geometry Centroid Means Crystallite Image segmentation Concatenative synthesis Carat

UPDATE