Oded - PDFSEARCH.IO - Document Search Engine

Oded
Results: 300

#	Item
151	Trace Diagnostics using Temporal Implicants Thomas Ferrère1 , Oded Maler1 , Dejan Niˇckovi´c2 1 Verimag, University of Grenoble / CNRS 2 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2015-07-06 12:04:22
152	Dynamical Systems Biology Oded Maler CNRS - VERIMAG Grenoble, France Jerusalem, December 2013 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2013-12-16 12:29:17
153	Timed Regular Expressions Eugene Asarin Paul Caspi Oded Maler∗ Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2003-09-04 08:34:48
154	On Randomness Extraction in AC0 Oded Goldreich1 , Emanuele Viola2 , and Avi Wigderson3 1 2 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-05-27 10:18:38
155	Volume 42 • Issue 1 IMS Bulletin January/February 2013 Add to Reading List Source URL: bulletin.imstat.org Language: English - Date: 2012-12-15 09:00:08 Brownian motion Stochastic Schramm–Loewner evolution Probability theory Central limit theorem Wiener process Empirical process Annals of Mathematical Statistics Oded Schramm Statistics Stochastic processes Random walk
156	What Drives Content Tagging: The Case of Photos on Flickr Oded Nov Polytechnic University New York, NY, USA Add to Reading List Source URL: faculty.poly.edu Language: English - Date: 2008-11-10 11:56:51
157	HVCAgenda November 6 – Day 1 09:00 Registration 09:30 Opening Remarks Oded Cohn, Director, IBM Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2012-11-26 04:25:08 Technology Business Computing Formal methods IBM Research OWASP Software verification Model checking Verification and validation Software testing Pharmaceutical industry Validity
158	Volume 42 • Issue 6 IMS Bulletin September 2013 Add to Reading List Source URL: bulletin.imstat.org Language: English - Date: 2013-08-28 18:20:01 Epidemiologists M. S. Bartlett Academia Oded Schramm Ars Conjectandi Probability Fellows of the Royal Society Mathematics Statistics
159	Efficient Secure Two-Party Protocols: Techniques and Constructions Add to Reading List Source URL: www.eng.biu.ac.il Language: English - Date: 2014-09-16 07:30:08 Secure two-party computation Zero-knowledge proof Commitment scheme Oblivious transfer Computational indistinguishability Oded Goldreich Ciphertext indistinguishability Man-in-the-middle attack Cryptography Cryptographic protocols Secure multi-party computation
160	Risk, Cooperation and the Economic Origins of Social Trust: an Empirical InvestigationI am grateful to Oded Galor for his advice and mentorship, and to Pedro Dal Bo, Brian Knight, Louis Putterman, and David Weil for thei Add to Reading List Source URL: www.rubendurante.net - Date: 2013-02-22 06:19:28

UPDATE