Oded - PDFSEARCH.IO - Document Search Engine

Oded
Results: 300

#	Item
121	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Monitoring Properties of Analog and Mixed-Signal Circuits Oded Maler1 , Dejan Niˇckovi´c2 1 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-07-03 09:22:50
122	Short PCPs Verifiable in Polylogarithmic Time∗ Eli Ben-Sasson † Oded Goldreich Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:24:32
123	Toward Formal Verification of AMS Circuits Oded Maler, Thao Dang, Antoine Girard, Goran Frehse, Alexandre Donze, Tarik Nahhal, Dejan Nickovic, Colas Le Guernic, Rajarshi Ray, Romain Testylier, Noa Shalev ... CNRS - VERIM Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-12-07 13:39:22
124	Computing Reachable States for Nonlinear Biological Models Thao Dang1 , Colas Le Guernic1 , Oded Maler1 cnrs-verimag, 2, av. de Vignate, 38610 Gieres, France Email addresses: (Thao Dang), Colas.Le-Guer Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2010-06-09 11:49:38
125	Near-Optimal and Explicit Bell Inequality Violations Harry Buhrman∗ Oded Regev† Giannicola Scarpa‡ Add to Reading List Source URL: qip2011.quantumlah.org Language: English - Date: 2011-01-11 05:19:49
126	Reachability Analysis via Face Lifting? Thao Dang and Oded Maler Verimag, Centre Equation, 2, av. de Vignate, 38610 Gi eres, France, fThao.Dang, Abstract. In this paper we discuss the problem of calc Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2006-04-28 11:30:06
127	The Euclidean Distortion of Flat Tori Ishay Haviv∗ Oded Regev† June 20, 2010 Add to Reading List Source URL: www2.mta.ac.il Language: English - Date: 2012-06-13 02:09:41
128	DU CONTRÔLE OPTIMAL ET SOUS-OPTIMAL EN PRÉSENCE D’ADVERSAIRES Oded Maler CNRS-V Add to Reading List Source URL: www-verimag.imag.fr Language: French - Date: 2005-01-25 03:06:17
129	Reducing Power with Activity Trigger Analysis Jan Lanik∗ , Julien Legriel† , Erwan Piriou‡ , Emmanuel Viaud† , Fahim Rahim† , Oded Maler∗ , and Solaiman Rahim † ∗ Verimag, † Atrenta, ‡ CEA-LIST Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2015-08-03 06:29:25
130	Diversity Oriented Local Search for Multi-criteria Optimization Oded Maler Abhinav Srivastav April 8, 2015 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2015-04-08 12:22:31

UPDATE