Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
541	Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Formal methods Electronic design automation Logic in computer science NP-complete problems Model theory Function Boolean satisfiability problem Structure Parameter Mathematics Theoretical computer science Mathematical logic
542	Computer algebra in quantum computing and quantum information theory Special Session at the 21st International Conference on Applications of Computer AlgebraACA2015), July 20-23, 2015, Kalamata, Greece. Add to Reading List Source URL: www.iitis.pl Language: English - Date: 2014-11-26 05:29:41 Quantum mechanics Computational complexity theory Computer algebra Quantum information Quantum information theory Quantum computer Quantum algorithm Symbolic computation Schrödinger equation Applied mathematics Theoretical computer science Physics
543	SherLog: Error Diagnosis by Connecting Clues from Run-time Logs Ding Yuan Haohui Mai Add to Reading List Source URL: opera.ucsd.edu Language: English - Date: 2010-01-25 16:41:36 Information retrieval Log analysis Type system Find Symbolic execution Computing Type theory Information science
544	Billions and Billions of Constraints: Whitebox Fuzz Testing in Production Ella Bounimova Patrice Godefroid Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-15 15:23:34 Theoretical computer science Constraint programming Fuzz testing Symbolic execution KeY Sage Constraint optimization Concolic testing Software testing Mathematical software Software engineering
545	Neerchokikoo The ground that you walk on today is symbolic for 38,000 Native people who call Portland home. It represents our past, present and future. Once called Neerchokikoo, this site was a thriving village for the M Add to Reading List Source URL: www.verdenw.org Language: English - Date: 2012-11-22 00:49:52 Columbia River Gorge Columbia River Columbia Slough Portland Oregon Chinook people Chinook salmon Slough Portland Maine Chinook wind Geography of the United States West Coast of the United States Geography of North America
546	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Imperial College London Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-04-25 20:08:55 Computing Concolic testing Symbolic execution Java Pathfinder Test Data Generation Fuzz testing KeY Model checking Dynamic program analysis Software testing Formal methods Software development
547	PRESS RELEASE Caitlin MacBride Painting symbols. Symbolic girls. The figures she paints are mannequins: The poser powerhouse kitsch of Jodamo International--its playfully improvised outfits; the dusty headless figure in Add to Reading List Source URL: www.kaylaguthrie.com Language: English - Date: 2010-11-14 10:15:39 Behavior Femininity Poser Women artists Art Gender Graphics software Software
548	J. Symbolic Computation, 1–000 Algorithms for graded injective resolutions and local cohomology over semigroup rings David Helm and Ezra Miller Mathematics Department, Harvard University, Cambridge, MA, USA Add to Reading List Source URL: www.math.duke.edu Language: English - Date: 2005-05-13 15:17:54 Commutative algebra Homological algebra Algebraic geometry Injective module Category theory Finitely-generated module Module Essential extension Ample line bundle Abstract algebra Algebra Module theory
549	LAW REVIEW DECEMBERBURNING THE AMERICAN FLAG: POLITICAL PROTEST WITH CONSTITUTIONAL PROTECTION James C. Kozlowski, J.D., Ph.D. © 1989 James C. Kozlowski Add to Reading List Source URL: cehdclass.gmu.edu Language: English - Date: 2005-10-10 15:25:06 Texas v. Johnson First Amendment to the United States Constitution Freedom of expression Flag desecration Symbolic speech Flag of the United States Flag United States Constitution Flag Desecration Amendment Law Case law Flags
550	Symbolic Intergenerational Contract on the common advancement of the worldwide energy revolution Preamble "Sustainable development is a development which secures the quality of life of the current generation and simultan Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Earth Energy in Africa Energy policy Energy economics Low-carbon economy Desertec Sustainable energy Sustainability Energy development Environment Technology Environmental social science

UPDATE