Gerard - PDFSEARCH.IO - Document Search Engine

Gerard
Results: 3021

#	Item
611	The Effects of Democratization on Public Goods and Redistribution: Evidence from China∗ Monica Martinez-Bravo†, Gerard Padró i Miquel‡, Nancy Qian§and Yang Yao¶ May 5, 2012 Abstract Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2012-05-05 18:20:23 Elections Democracy Political philosophy Redistribution of wealth Socioeconomics Welfare state Land reform Rural society in China Democratization Politics Sociology Economics
612	Validation of Advanced Driving Assistance Systems Authors: Gérard Yahiaoui [NEXYAD], Nicolas DU LAC [INTEMPORA], Contributors: Laurent RAFAELLI [ALL4TEC], Roman KATZ [Ibeo Automotive Systems GmbH], Philippe DE SOUZA [CI Add to Reading List Source URL: storage.canalblog.com Language: English - Date: 2015-02-27 10:33:43 Simulation Science Model-based testing Test automation Prototype Validation Software testing Technology Business
613	2012 APTCC Male Competitors Gerard Reynolds Australia Matt Weatherhead Add to Reading List Source URL: www.itcc-isa.com - Date: 2012-10-20 13:19:27
614	BEYOND PHOTOGRAPHY THE DIGITAL DARKROOM Gerard J. Holzmann Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Publishing Gerard J. Holzmann NASA personnel Computer programmers Prentice Hall Brian Kernighan CAT Unix VAX Computing Computer architecture Typesetting
615	ACM: Software System Award Page 1 of 2 Software System Award CONTACT: Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Computing Gerard J. Holzmann ACM Software System Award SPIN model checker ACM Portal Peter J. Denning Computer science Association for Computing Machinery Science
616	Social Fragmentation, Public Goods and Elections: Evidence from China∗ Gerard Padró i Miquel†, Nancy Qian‡and Yang Yao§ August 14, 2014 Abstract Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2014-08-14 07:35:41 Cult Culture Religion Democracy Falun Gong
617	Defensive Weapons and Defensive Alliances Sylvain Chassang Gerard Padr´o i Miquel∗ Princeton University Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2009-06-13 11:44:18 Game theory Counter-terrorism Crime of aggression International criminal law Preemptive war International relations First strike War Nash equilibrium Military science International law Nuclear strategies
618	Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.” Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods Computing
619	Gerard J. Holzmann Work: Laboratory for Reliable Software NASA/JPL, 4800 Oak Grove Drive Add to Reading List Source URL: spinroot.com Language: English - Date: 2015-05-15 14:06:48 Science Software development Logic in computer science Systems engineering Software quality Gerard J. Holzmann Software verification Formal verification Model checking Formal methods Theoretical computer science Software testing
620	Sino-french workshop on «Photonics and Optoelectronics » 25th September 2014 Thursday 25th September 2014 From 9:30 to 17:30 : workshop at the headquarter of CNRS, Campus Gérard-Mégie, Auditorium Add to Reading List Source URL: www.chaire-psa.u-psud.fr Language: English - Date: 2014-11-19 11:30:01 Electromagnetic radiation Atomic molecular and optical physics Photonic metamaterial Optical computing Laser Photonics Physics Optics

UPDATE