Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
211	Summer Institute Reading List Seminar on Susanne Langer: The Symbolic Mind Robert E. Innis The core readings will attempt to give a sense of the scope and feel of Langer’s philosophical project. They will consist of se Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2007-06-12 07:48:04 Genealogy Philosophy in a New Key American people of German descent Philosophy Susanne Langer Langer Susanne Gender
212	GRAPHIC TO SYMBOLIC REPRESENTATIONS OF MUSICAL NOTATION Craig Stuart Sapp CCARH/Stanford University Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 17:09:26 Music Software Musical notation Music software Music notation file formats Cross-platform software MusicXML Finale Scorewriter Staff LilyPond Music OCR
213	Symbolic-Numeric Computation D. Wang and L. Zhi, Eds. Trends in Mathematics, 335–347 c 2007 Birkh¨ auser Verlag Basel/Switzerland Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2007-01-30 13:16:41 Mathematics Analytic geometry Dynamical systems Equations Multibody system Sine Matrix Symbolic computation Line
214	Gradient Symbolic Representations in Grammar: The case of French Liaison Paul Smolensky & Matthew Goldrick SHORT ABSTRACT Longstanding theoretical debates about whether structure A or structure B is the correct analysi Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2016-07-24 05:30:38 Linguistics Phonology Liaison Harmonic Grammar Connectionism Syllable Artificial neural network Optimality theory Phonotactics Symbolic International Phonetic Alphabet GSC
215	Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-02-21 20:25:08 Software Computing System software Boot loaders BIOS Rootkits System Management Mode Concolic testing Symbolic execution Unified Extensible Firmware Interface QEMU Software testing
216	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software Software testing Automated theorem proving Concolic testing Symbolic execution Software metrics Control flow graph KeY Code coverage Algorithm Data-flow analysis GNU Core Utilities
217	INVERSE INEQUALITY ESTIMATES WITH SYMBOLIC COMPUTATION ¨ CHRISTOPH KOUTSCHAN, MARTIN NEUMULLER, AND CRISTIAN-SILVIU RADU Add to Reading List Source URL: www.koutschan.de Language: English - Date: 2016-04-29 08:40:41 Algebra Mathematics Matrix theory Linear algebra Determinant Eigenvalues and eigenvectors Symbol Square matrix Matrix Spectral theory of ordinary differential equations
218	Welcome to today’s ACM SIGSOFT Webinar Transferring Software Testing Tools to Practice • The presentation starts at the top of the hour and lasts 60 minutes. Slides will advance automatically throughout the event. Yo Add to Reading List Source URL: learning.acm.org Language: English - Date: 2016-08-05 15:49:47 Software Null Cross-linked polyethylene Symbolic execution Microsoft Visual Studio X Window System
219	Chapter 8A—The Symbolic Animal 1 Chapter 8 The Symbolic Animal The rise of the symbolic animal that is the human being is a history of coincidences, resulting in a true novelty, the phenomenon of mind, not just menta Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2007-06-12 07:46:45 Philosophy Cognitive science Cognition Perception Sensory systems Belief Thought Origin of speech Mind Reason Philosophy in a New Key Psychology
220	July 28–31, 2009, Seoul, Korea Conference Program A registration desk will be located in front of the Main Auditorium in Bldg 1 during the conference. You can get your banquet ticket at the registration desk. Plenary Add to Reading List Source URL: issac2009.kias.re.kr Language: English - Date: 2009-07-25 10:25:43 Mathematics Algebra Computer algebra Polynomials Grbner basis Regular chain Polynomial System of polynomial equations Symbolic computation Factorization Resultant Finite field

UPDATE