Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
791	Jasymca[removed]Symbolic Calculator for Java Helmut Dersch March 15, 2009 Abstract Jasymca is an interactive System for solving math problems. It supports arbitrary precision numbers and symbolic variables. Scalars, vector Add to Reading List Source URL: webuser.hs-furtwangen.de Language: English - Date: 2009-03-15 14:17:19 Computer arithmetic Polynomial Arbitrary-precision arithmetic Integral transform MATLAB Differential equation Square root Floating point Vector space Mathematics Algebra Mathematical analysis
792	ANALYTIC COMBINATORICS — SYMBOLIC COMBINATORICS P HILIPPE F LAJOLET & ROBERT S EDGEWICK Algorithms Project Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2002-05-26 11:05:28 Enumerative combinatorics Integer sequences Analytic combinatorics Symbolic combinatorics Generating function Catalan number Permutation Partition Mathematical analysis Mathematics Combinatorics Discrete mathematics
793	1 BUILDING A CLOUD FILESYSTEM Jeff Darcy / Mark Wagner Principal Software Engineers, Red Hat Add to Reading List Source URL: pl.atyp.us Language: English - Date: 2011-05-05 11:37:32 Network file systems Distributed data storage GlusterFS Internet privacy Dropbox Privacy File system Symbolic link Gluster Computing Cloud computing Software
794	Michael Henchman is a multi-instrumentalist whose songwriting often draws inspiration from roads less traveled, both symbolic and real, that have beckoned since childhood. Growing up in Europe and across the U.S., and li Add to Reading List Source URL: michaelhenchman.com Language: English - Date: 2015-02-20 15:43:31 Economy of Alaska Trans-Alaska Pipeline System Transportation in Alaska Folk music Maria Muldaur United States Alaska Western United States BP
795	Introduction: The Symbolic Capital of Ignorance Ilana Gershon and Dhooleka Sarhadi Raj Social Analysis 44(2): 3-14. Ignorance can take many forms—including ideologically inspired false consciousness, the innocence of b Add to Reading List Source URL: mypage.iu.edu Language: English - Date: 2007-08-28 17:59:58 Ignorance Epistemology Sociological aspects of secrecy Will Ethology Knowledge Philosophy Belief
796	Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2012-09-22 22:22:15 Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing
797	A New Lingua Franca for Symbolic Computation Alexander Konovalov Centre of Interdisciplinary Research in Computational Algebra University of St Andrews Add to Reading List Source URL: www.singular.uni-kl.de Language: English - Date: 2010-10-29 09:34:47 Cross-platform software Functional languages Computer algebra systems Sage GAP Multi-core processor Maple SINGULAR Mathematica Mathematical software Software Application software
798	All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution (but might have been afraid to ask) (Yes, we were trying to overflow the title length field Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Symbolic execution David Brumley Pennsylvania Higher education Academia Computer programming Taint checking Carnegie Mellon University
799	Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:43:49 Computer science Theory of computation Church–Turing thesis Computable function Halting problem Entscheidungsproblem Turing machine Emil Leon Post Computable number Theoretical computer science Computability theory Mathematics

UPDATE