Dario

Results: 632



#Item
31

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants? Alessandro Abate1 , Iury Bessa2 , Dario Cattaruzza1 , Lucas Cordeiro1,2 , Cristina David1 , Pascal Kesseli1 , Daniel Kroening1 , and Eliz

Add to Reading List

Source URL: arxiv.org

- Date: 2017-05-08 23:51:14
    32

    Authenticating Computation on Groups: New Homomorphic Primitives and Applications Dario Catalano1 , Antonio Marcedone2,? , and Orazio Puglisi1 1 2

    Add to Reading List

    Source URL: eprint.iacr.org

    - Date: 2014-02-13 08:43:21
      33

      Publicly Verifiable Delegation of Large Polynomials and Matrix Computations, with Applications Dario Fiore1 and Rosario Gennaro2? 1 Department of Computer Science, New York University, USA

      Add to Reading List

      Source URL: eprint.iacr.org

      - Date: 2012-07-23 10:44:48
        34

        nº8 / octubreDe festival en festival / Encuentro Nacional de Artesanos / Dolina en Bahía / Boyaaños Club Pacífico / Muestra de obras de Darío Barco /

        Add to Reading List

        Source URL: cultura.bahiablanca.gov.ar

        - Date: 2016-09-30 15:12:14
          35

          Towards A Hybrid Approach to Software Verification (Extended Abstract) Dario Della Monica1 and Adrian Francalanza2 1 ICE-TCS, Reykjavik University, Iceland

          Add to Reading List

          Source URL: staff.um.edu.mt

          - Date: 2015-10-09 11:50:15
            36

            Muerte accidental de un anarquista - Darío Fo

            Add to Reading List

            Source URL: www.kclibertaria.comyr.com

            - Date: 2013-06-01 00:52:01
              37

              Concrete Problems in AI Safety arXiv:1606.06565v2 [cs.AI] 25 Jul 2016 Dario Amodei∗ Google Brain

              Add to Reading List

              Source URL: arxiv.org

              - Date: 2016-07-25 20:41:25
                38

                The inflammasomes in recognition and response to intracellular pathogens and evasion mechanisms Dario S. Zamboni University of São Paulo Medical School of Ribeirão Preto, FMRP/USP

                Add to Reading List

                Source URL: www.fapesp.br

                - Date: 2016-06-09 14:14:17
                  39

                  Questions et arguments en philosophie de l’esprit (CO1) Mʀ  Sɪɴ Cɢɴɪɪ / Dario Taraborelli

                  Add to Reading List

                  Source URL: nitens.org

                  - Date: 2008-06-13 10:58:39
                    40

                    Microsoft Word - Dario, Ruben - Desde la Pampa.doc

                    Add to Reading List

                    Source URL: www.edu.mec.gub.uy

                    - Date: 2006-02-13 07:09:13
                      UPDATE