Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
581	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
582	Part A. SYMBOLIC METHODS Part B. Complex asymptotics Part C. Distributions Part D. Frontiers Analytic Combinatorics— Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2008-03-23 11:28:44 Integral transforms Combinatorics Mellin transform Analytic combinatorics Exponentiation Function Recurrence relation Symbolic combinatorics Mathematics Mathematical analysis Complex analysis
583	Part A. SYMBOLIC METHODS Part B. Complex asymptotics Part C. Distributions Part D. Frontiers Analytic Combinatorics— Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2007-01-03 18:12:47 Integral transforms Combinatorics Mellin transform Exponentiation Function Recurrence relation Symbolic combinatorics Mathematics Mathematical analysis Complex analysis
584	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
585	Sociology and Anthropology 181 Add to Reading List Source URL: www.mtsu.edu Language: English - Date: 2015-03-02 22:18:44 Criminology Interpersonal communication Symbolic interactionism Structural functionalism Sociological theory Outline of sociology Public sociology Sociology Science Anthropology
586	SeptLecture 4: Introduction to Mathematica III Simplifying and Picking Apart Expressions, Calculus, Numerical Evaluation R is that it reduces or even eliminates A great advantage of using a symbolic algebra so Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-05 10:03:09 Computer algebra systems Cross-platform software Mathematica Numerical software Wolfram Research Exponentiation Function Rational function Read–eval–print loop Mathematical software Mathematics Software
587	Exploring the Symbolic/Subsymbolic Continuum: A Case Study of RAAM Douglas S. Blank () Lisa A. Meeden () James B. Marshall () Department Add to Reading List Source URL: dangermouse.brynmawr.edu Language: English - Date: 2003-11-12 11:58:47 Ethology Cognitive science Connectionism Algorithm Neural network ACT-R Computational neuroscience Science Knowledge
588	SYMBOLIC VISUALIZATION—A METHOD OF PSYCHOS1NTHESIS Robert Gerard, Ph.D. Presented at the 5th International Congress for Psychotherapy, Vienna (Austria), August 21st, 1961 Psychosynthesis, as outlined by Assagioli in hi Add to Reading List Source URL: synthesiscenter.org Language: English - Date: 2011-03-08 13:17:52 Science Psychotherapy Infographics Computer graphics Scientific modeling Psychosynthesis Visualization Roberto Assagioli Active imagination Psychology Mind Clinical psychology
589	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. April Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2006-08-13 19:55:54 Computability theory Predicate logic Lisp programming language Formal languages Function Free variables and bound variables Combinatory logic Expression Lisp Logic Mathematics Mathematical logic
590	Urban Studies, Vol. 43, No. 2, 357– 370, FebruaryPirate Towns: Reworking Social and Symbolic Infrastructures in Johannesburg and Douala AbdouMaliq Simone [Paper first received, February 2005; in final form, July Add to Reading List Source URL: www.abdoumaliqsimone.com Language: English - Date: 2011-08-19 03:25:09 Urban economics Affordable housing Gentrification Urban geography Environment Science Culture Concentrated poverty Urban agriculture Human geography Urban studies and planning Sociology

UPDATE