Alessandro

Results: 1849



#Item
381

A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets Alessandro Coglio and Cordell Green Kestrel Institute, Palo Alto, California, USA {coglio,green}@kestrel.edu

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2008-11-26 03:29:52
    382

    Digital Tourist Gaze and Mega Events Alessandro Inversinia, Manuela De Carlob and Isabella Regaa a Bournemouth University, UK {ainversini, irega}@bournemouth.ac.uk

    Add to Reading List

    Source URL: 3ws1wk1wkqsk36zmd6ocne81.wpengine.netdna-cdn.com

    Language: English - Date: 2016-01-18 22:43:39
      383

      Null weak values in quantum dots and beyond OZ, Alessandro Romito, and Yuval Gefen and Experiment: OZ, Alessandro Romito, D. J. Starling, G. A. Howland, J. C. Howell , and Yuval Gefen

      Add to Reading List

      Source URL: qd2012.itp.ac.ru

      Language: English - Date: 2012-09-25 12:43:22
        384

        percorsi Oreste Piccioni, storia di un fisico creativo, innovatore e combattivo Alessandro Pascolini Dipartimento di fisica e astronomia “Galileo Galilei”, Università di Padova, Padova, Italia INFN, Sezione di Padov

        Add to Reading List

        Source URL: prometeo.sif.it

        Language: Italian - Date: 2015-08-19 02:58:40
          385

          CERTIFICADO DE PARTICIPAÇÃO Certificamos que Alessandro Romanini Motta, portador do CPF nº participou da palestra “Empreender é a outra face da sua moeda se você gosta de construir coisas” realizada

          Add to Reading List

          Source URL: eventos.ufabc.edu.br

          Language: Portuguese - Date: 2016-04-13 17:03:28
            386

            Independent Thinking and Advice Alessandro Profumo e il management completano l’acquisto della partecipazione di maggioranza in Equita, raggiungendo così il controllo dell’intero capitale della Società Milano, 25

            Add to Reading List

            Source URL: www.equitasim.it

            Language: Italian - Date: 2016-01-25 11:43:25
              387

              Citation Networks Filippo Radicchi, Santo Fortunato, Alessandro Vespignani Outline General features:

              Add to Reading List

              Source URL: mod_know.virtualknowledgestudio.nl

              Language: English - Date: 2010-11-05 09:14:05
                388

                Second-Order Functions and Theorems in ACL2 Alessandro Coglio Kestrel Institute http://www.kestrel.edu/~coglio SOFT (‘Second-Order Functions and Theorems’) is a tool to mimic second-order functions and theorems in t

                Add to Reading List

                Source URL: www.kestrel.edu

                Language: English - Date: 2015-09-27 15:47:00
                  389

                  The spreading of misinformation online Michela Del Vicarioa, Alessandro Bessib, Fabiana Zolloa, Fabio Petronic, Antonio Scalaa,d, Guido Caldarellia,d, H. Eugene Stanleye, and Walter Quattrociocchia,1 a Laboratory of Comp

                  Add to Reading List

                  Source URL: www.pnas.org

                  Language: English - Date: 2016-01-14 08:51:16
                    390

                    arXiv:1510.04267v1 [cs.CY] 14 OctDebunking in a World of Tribes Fabiana Zollo1 , Alessandro Bessi1,2 , Michela Del Vicario1 , Antonio Scala1,3,4 , Guido Caldarelli1,3,4 , Louis Shekhtman5 , Shlomo Havlin5 , Walter

                    Add to Reading List

                    Source URL: arxiv.org

                    Language: English - Date: 2015-10-15 20:10:25
                      UPDATE