Isabelle - PDFSEARCH.IO - Document Search Engine

Isabelle
Results: 1487

#	Item
621	PRESS RELEASE ISABELLE CORNARO MARCH 4 - APRIL 19, 2014 OPENING RECEPTION: March 1, 3-6pm Isabelle Cornaro’s series of 10 wall paintings Reproductions are based on her 16mm movie “Floues et Colorées” (Hazy and Col Add to Reading List Source URL: hannahhoffmangallery.com Language: English - Date: 2014-06-27 14:10:20
622	Isabelle Dutailly Rédaction, formation, conseil 73 rue Louis Lumière – 75020 PARIS www.dutailly.net – Déroulé de cours Writer Add to Reading List Source URL: dutailly.net Language: French - Date: 2013-10-28 10:25:16
623	An Empirical Study of Some x86 SIMD Integer Extensions Isabelle Hurbain and Georges-Andr´e Silber Centre de recherche en informatique, Mines de Paris, Fontainebleau, France, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-01-18 04:33:55 Computer programming Parallel computing Intrinsic function SIMD SSE2 Streaming SIMD Extensions Vectorization X86 MMX Computing Computer architecture X86 instructions
624	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge Add to Reading List Source URL: www.gilith.com Language: English - Date: 2012-06-04 20:10:04 Logic in computer science Automated theorem proving Formal methods Proof assistant Isabelle HOL Automated reasoning Logic for Computable Functions Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical software Mathematics
625	SM2-U Soil Model for Sub-Meso scales - Urban Model Description Patrice G. Mestayer1, Sylvain Dupont2, Isabelle Calmet1, Sylvie Leroyer1, Alexander Mahura1, Thibauld Penelon1 Add to Reading List Source URL: fumapex.dmi.dk Language: English - Date: 2004-05-19 07:00:06 Environment Environmental soil science Heat transfer Water pollution Irrigation Impervious surface Evapotranspiration Urban heat island METRIC Earth Hydrology Water
626	An evaluation of the automatic generation of parallel X86 SIMD integer instructions by GCC and ICC Isabelle Hurbain November, 15th Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-02-28 09:49:25 X86 instructions X86 architecture C programming language Concurrency control Volatile variable Parallel computing CPUID X86 MOV Computing Computer architecture Software
627	Des jeux de contes, fables et poésie pour nos Juniors par Isabelle Mazarguil \| 21 août 2012 Les amoureux du jeu et en particulier du jeu de société le connaissent bien : le festival du jeu de Parthenay, qui a lieu to Add to Reading List Source URL: www.alf-ludotheques.org Language: French - Date: 2014-06-10 09:46:40
628	ARTICLE par Isabelle Mazarguil \| 22 août 2012 Des jeux de connaissance, de chiffres et de lettres pour les enfants à la rentrée Add to Reading List Source URL: www.alf-ludotheques.org Language: French - Date: 2014-06-10 09:46:40
629	Pressemitteilung: Du Moulin Pop-up „HAMMER“ im Kunsthaus Lempertz Isabelle Du Moulin zeigt mit „HAMMER“ im Kunsthaus Lempertz drei wichtige zeitgenössische Größen zur Neupositionierung von urbanen Räumen. Na Add to Reading List Source URL: www.berlin-kopenhagen.de Language: German - Date: 2014-09-12 05:19:30
630	OpenTheory: Package Management for Higher Order Logic Theories Joe Hurd Galois, Inc. Add to Reading List Source URL: www.gilith.com Language: English - Date: 2009-08-21 07:30:13 Automated theorem proving Logic in computer science Mathematical logic Formal methods Isabelle Proof assistant Mathematical proof Logic for Computable Functions Theorem Theoretical computer science Mathematics Logic

UPDATE