Matthias

Results: 3580



#Item
941

Proofs, upside down A functional correspondence between natural deduction and the sequent calculus Matthias Puech

Add to Reading List

Source URL: www.pps.univ-paris-diderot.fr

Language: English - Date: 2013-12-17 22:40:37
    942

    Computing Security in the Developing World: A Case for Multidisciplinary Research Yahel Ben-David, ∗

    Add to Reading List

    Source URL: matthias.vallentin.net

    Language: English - Date: 2016-03-04 12:19:03
      943

      Gasp: an OCaml library for manipulating LF objects Matthias Puech1 Univ Paris Diderot, Sorbonne Paris Cité, PPS, UMR 7126 CNRS, PiR2, INRIA Paris-Rocquencourt, FParis, France Università di Bologna, Dipartimento

      Add to Reading List

      Source URL: www.pps.univ-paris-diderot.fr

      Language: English - Date: 2013-03-11 06:12:58
        944

        A Dempster-Shafer Theoretic Approach to Understanding Indirect Speech Acts Tom Williams1 , Rafael C. Núñez2 , Gordon Briggs1 , Matthias Scheutz1 , Kamal Premaratne2 , and Manohar N. Murthi2 Human-Robot Interaction Labo

        Add to Reading List

        Source URL: hrilab.tufts.edu

        Language: English - Date: 2014-08-10 15:12:58
          945

          Here’s My Cert, So Trust Me, Maybe? Understanding TLS Errors on the Web Devdatta Akhawe Bernhard Amann

          Add to Reading List

          Source URL: matthias.vallentin.net

          Language: English - Date: 2016-03-04 12:19:03
            946

            POWER: A Domain-Independent Algorithm for Probabilistic, Open-World Entity Resolution Tom Williams and Matthias Scheutz Abstract— The problem of uniquely identifying an entity described in natural language, known as re

            Add to Reading List

            Source URL: hrilab.tufts.edu

            Language: English - Date: 2015-07-29 04:04:17
              947

              1 The Affect Dilemma for Artificial Agents: Should We Develop Affective Artificial Agents? Matthias Scheutz Human-Robot Interaction Laboratory

              Add to Reading List

              Source URL: hrilab.tufts.edu

              Language: English - Date: 2012-11-27 12:23:14
                948

                Öffentlicher Verkehr und Mobility Pricing Regierungsrat Matthias Michel Mittwochgesellschaft, 18. Februar 2015 Grundlageninformationen Verkehr

                Add to Reading List

                Source URL: www.mittwochgesellschaft-zug.ch

                Language: German - Date: 2015-02-19 08:47:05
                  949

                  Matthias Wolff Matthias Wolff ist geschäftsführender Gesellschafter der Stadtzeitung. Davor war er bei der Strategieberatung Roland Berger im Bereich Restrukturierung und bei Capgemini Consulting tätig. Matthias Wolff

                  Add to Reading List

                  Source URL: www.diestadtzeitung.de

                  - Date: 2015-04-27 08:31:35
                    950

                    Output D4: Key Stakeholder List EU Key Stakeholders 1. Dr. Matthias Heinemann Swiss Federal Institute of Technology.

                    Add to Reading List

                    Source URL: www2.spi.pt

                    Language: English - Date: 2011-05-26 06:31:54
                      UPDATE