Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
801	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
802	FSLINT 1 Published : [removed]License : None Add to Reading List Source URL: en.flossmanuals.net Language: English - Date: 2014-02-19 17:20:25 File managers File system Symbolic link Find Computer file Windows Vista Windows Explorer Software System software Computing
803	Unleashing Mayhem on Binary Code Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Automated theorem proving Concolic testing Symbolic execution KeY X86 Parallel computing Function Type system Mathematics Computing Data types
804	Using Excel for simple data analysis Add to Reading List Source URL: www.censusatschool.org.uk Language: English - Date: 2013-10-25 07:41:57 Spreadsheet Chart Pivot table SYmbolic LinK FarPoint Spread Software Microsoft Office Microsoft Excel
805	Creating a high-resolution spatial/symbolic model of the inner organs based on the Visible Human Andreas Pommert a Karl Heinz H¨ohne a Bernhard Pflesser a Ernst Richter b Martin Riemer a Thomas Schiemann a Rainer Schube Add to Reading List Source URL: www.uke.de Language: English - Date: 2015-04-09 10:04:17 Optics Image processing Volume rendering Segmentation Voxel X-ray computed tomography Visible Human Project 3D modeling Ellipsoid Imaging 3D computer graphics 3D imaging
806	Proving the Absence of Run-Time Errors in Safety-Critical Avionics Code Patrick Cousot École normale supérieure, 45 rue d’Ulm, 75230 Paris cedex 05, France , www.di.ens.fr/ cousot Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2007-07-02 03:28:12 Abstract interpretation Astrée Patrick Cousot ALGOL 68 Abstraction Program analysis Symbolic computation SAS Programming language theory Software engineering Computing
807	Crowd of small symbolic 3d figures forming a heart, isolated Add to Reading List Source URL: www.cpc.ac.uk Language: English - Date: 2015-01-26 04:11:38 Labor Business Labour relations Globalization Precarity Unemployment Precarious work NEET Young adult Human resource management Employment Sociology
808	Symbolic power and urban inequality - Taking Bourdieu to Town Graffiti and the “commons” of the city: what approaches to informal and creative practice could nudge us towards more valued shared environments? Marcus W Add to Reading List Source URL: www.designagainstcrime.com Language: English - Date: 2014-02-24 12:55:54 Street culture Writing Anonymous artists Culture jamming Street art Philadelphia Anti-Graffiti Network Stencil graffiti Agonism Vandalism Visual arts Public art Graffiti
809	NATURAL FORMALISM PETER KOEPKE The language of mathematics as found in textbooks and research articles is a variant of natural language which admits symbolic terms and formulas within argumentative natural language conte Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2015-03-28 11:33:54 Philosophy of mathematics Logical syntax Formal languages Proof theory Mathematical proof Formal proof Formalism Automated theorem proving Theorem Logic Mathematics Mathematical logic
810	How 1 World Trade Center Officially Became The Tallest Building In The U.S. By Al Barbarino When construction workers hoisted the final crown atop 1 World Trade Center back in May, it reached its symbolic 1,776 feet. Fla Add to Reading List Source URL: www.panynj.gov Language: English Council on Tall Buildings and Urban Habitat New York City World Trade Center Structural engineering

UPDATE