Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
841	Symbolic Dynamic Programming for First-Order MDPs Craig Boutilier Ray Reiter Bob Price Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2010-08-27 08:09:21 Predicate logic Dynamic programming Functions and mappings Equations Mathematical optimization Markov decision process Reinforcement learning Continuous function Function Mathematics Statistics Logic
842	34th AIAA Fluid Dynamics Conference 28 June–01 July 2004, Portland, OR AIAA #2004–2330 Hybrid Symbolic-Numeric Methodology Add to Reading List Source URL: www.mssrc.com Language: English - Date: 2014-09-28 22:04:34 Partial differential equations Differential calculus Differential equations Wave mechanics Multivariable calculus Wave equation Taylor series Finite difference method Ordinary differential equation Calculus Mathematical analysis Mathematics
843	Preliminary versions of this paper were presented at ISIT 1997 in Ulm, Germany, on June 30, 1997, and at ISCTA 1997, Ambleside U.K., on July 15, 1997. Draft of 23 Sep[removed]:14 a.m. The Generalized Distributive Law∗ Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:08 Hidden Markov model Mathematics Science Numerical software COMPASS/Sample Code SYmbolic LinK Ring theory Semiring Vehicle Identification Number
844	PARALLEL SYSTEM OF COMPUTER ALGEBRA Malaschonok G.I. Tambov State University Laboratory of Algebraic Computations Internatsionalnaya, 33, Tambov[removed], RUSSIA e-mail: [removed] Add to Reading List Source URL: lit.jinr.ru Language: English - Date: 2012-05-11 15:26:28 Applied mathematics Symbolic computation Algorithm Parallel computing Computer algebra system Polynomial Algebraic geometry Magma computer algebra system Mathematics Computer algebra Algebra
845	Microsoft Word - Froelich6_1.doc Add to Reading List Source URL: act.maydaygroup.org Language: English - Date: 2013-12-24 14:23:19 Critical pedagogy Philosophy of education Education reform Music education Symbolic interactionism Learning theory Interactionism Inclusion Special education Education Educational psychology Disability
846	Acid: A Debugger Built From A Language Phil Winterbottom Lucent Technologies Inc ABSTRACT Acid is an unusual source-level symbolic debugger for Plan 9. It is implemented as a language interpreter with specialized primiti Add to Reading List Source URL: www.vitanuova.com Language: English - Date: 2004-08-30 10:28:36 Debugging Debuggers Data types Procedural programming languages Breakpoint GNU Debugger Magic number C dynamic memory allocation Pointer Computer programming Computing Software engineering
847	International Mathematical Olympiad Preliminary Selection Contest 2007 — Hong Kong Outline of Solutions Answers: Add to Reading List Source URL: www.mathdb.org Language: English - Date: 2007-10-04 22:57:03 Coding theory Algebra Lenstra elliptic curve factorization SYmbolic LinK Finite fields Mathematics Integer factorization algorithms
848	Symbolic Execution of Distributed Software MEng Final Report Written by Milen Dzhumerov Supervisor: Peter Pietzuch Second Supervisor: Cristian Cadar Add to Reading List Source URL: assets.milen.me Language: English - Date: 2015-03-09 10:58:44 Distributed computing Model checking File system Symbolic execution
849	BPD Case Study Symbolic Sept 11.pub Add to Reading List Source URL: www.blueprintdata.com Language: English - Date: 2012-02-26 15:18:23 Unified threat management Computing Internet Content-control software Computer network security Websense
850	MASSACHVSETTS INSTITVTE OF TECHNOLOGY[removed]Adventures in Advanced Symbolic Programming Request for Proposals—Spring 2015 Overview As advertised in the Red Tape Memo, you will do a significant term project for 6. Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2015-03-02 11:02:01 Domain-specific language Compiler Free software Cross-platform software Systems engineering Device driver synthesis and verification Software Software licenses Computing

UPDATE