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
          155Brownian 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

          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
          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
            157Technology / Business / Computing / Formal methods / IBM Research / OWASP / Software verification / Model checking / Verification and validation / Software testing / Pharmaceutical industry / Validity

            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
            158Epidemiologists / M. S. Bartlett / Academia / Oded Schramm / Ars Conjectandi / Probability / Fellows of the Royal Society / Mathematics / Statistics

            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
            159Secure 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

            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
            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