CRI - PDFSEARCH.IO - Document Search Engine

CRI
Results: 2263

#	Item
871	Automatic Streamization in GCC Antoniu Pop MINES ParisTech, Centre de Recherche en Informatique, Mathématiques et Systèmes Sebastian Pop Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2009-07-21 08:36:55 OpenMP Parallel computing Software engineering The Alphabet Cipher Four-square cipher Computer programming Computing Fortran
872	The Corrosive Effects of Alcohol and Drug Misuse on NH’s Workforce and Economy November 2014 Prepared by: Add to Reading List Source URL: new-futures.org Language: English - Date: 2014-12-16 15:05:36 Addiction Alcohol abuse Public health Alcoholism CRI Drug rehabilitation Arguments for and against drug prohibition Substance dependence Drug addiction Substance abuse Ethics
873	Labour Party Guaranteed Interview Scheme The Labour Party is an accredited employer of the Positive about Disabled People scheme. We guarantee to interview anyone with a disability whose application meets the minimum cri Add to Reading List Source URL: www.labour.org.uk Language: English - Date: 2014-09-01 10:48:58 Disability Educational psychology Population
874	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50 Propositional calculus Boolean algebra Non-classical logic Logic in computer science Cut-elimination theorem Intuitionistic logic Sequent calculus Sequent First-order logic Mathematical logic Logic Proof theory
875	DASL Domestic Violence and Substance Misuse Project Report Libby Ranzetta, October 2005 www.ranzettaconsulting.co.uk Add to Reading List Source URL: www.avaproject.org.uk Language: English - Date: 2010-04-20 06:43:24 Abuse Family therapy Domestic violence Violence against men Violence Behavior CRI Violence against women Ethics Gender-based violence
876	Beyond Do Loops: Data Transfer Generation with Convex Array Regions 1 Serge Guelton , Mehdi Amini Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2012-09-21 03:38:36 C programming language C++ Procedural programming languages Sizeof C Increment and decrement operators Sequence container ALGOL 68 Struct Computer programming Software engineering Computing
877	Introduction Bernstein’s Conditions Scheduling Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-05-16 04:32:04 Software engineering Compiler optimizations Programming language implementation Computer architecture Inline expansion Multi-core processor Compiler Scheduling Task parallelism Computing Parallel computing Computer programming
878	Technical Tours Information Remember to register. Each tour is limited to 68 registrations. Carbon Recycling International Carbon Recycling International (CRI) captures carbon dioxide from industrial emissions and conver Add to Reading List Source URL: www.sorpa.is Language: English Anaerobic digestion Biomass Fuels Alternative energy Low-carbon economy Geothermal energy Renewable energy Renewable resource Biogas Energy Sustainability Technology
879	Specification of Web Services Sudhir Agarwal and Anupriya Ankolekar Institute of Applied Informatics and Formal Description Methods (AIFB), University of Karlsruhe (TH), Germany Transparency of business processes is cri Add to Reading List Source URL: www2006.org Language: English - Date: 2006-09-05 12:42:56 Process calculi Π-calculus Calculus Control theory Function Mathematics Theoretical computer science Applied mathematics
880	Fabien Coelho Fabien Coelho ` Algebre Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2015-02-19 11:02:46

UPDATE