Pascal

Results: 3744



#Item
621

Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Add to Reading List

Source URL: www.verit-solver.org

Language: English - Date: 2015-06-10 09:33:21
    622

    Achieving Long-Term Surveillance in VigilNet Tian He† , Pascal Vicaire, Ting Yan, Qing Cao‡ , Gang Zhou, Lin Gu, Liqian Luo‡ , Radu Stoleru, John A. Stankovic, Tarek F. Abdelzaher‡ Department of Computer Science

    Add to Reading List

    Source URL: faculty.cs.tamu.edu

    Language: English - Date: 2006-12-14 12:58:22
      623

      Managing the Weakest Link: A Game-Theoretic Approach for the Mitigation of Insider Threats Aron Laszka 1,2 Benjamin Johnson 3 Pascal Sch¨ottle Jens Grossklags 1 Rainer B¨

      Add to Reading List

      Source URL: aronlaszka.com

      Language: English - Date: 2015-02-08 13:32:47
        624

        Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt

        Add to Reading List

        Source URL: www.montefiore.ulg.ac.be

        Language: English - Date: 2011-07-11 06:39:50
          625

          Automated Proofs for Asymmetric Encryption. ⋆ Judica¨el Courant, Marion Daubignard, Cristian Ene, Yassine Lakhnech, and Pascal Lafourcade

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          Language: English - Date: 2008-09-19 09:09:56
            626

            StarDust: A Flexible Architecture for Passive Localization in ∗ Wireless Sensor Networks Radu Stoleru, Pascal Vicaire, Tian He† , John A. Stankovic Department of Computer Science, University of Virginia of Computer S

            Add to Reading List

            Source URL: faculty.cs.tamu.edu

            Language: English - Date: 2006-09-13 12:59:00
              627

              Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

              Add to Reading List

              Source URL: www.montefiore.ulg.ac.be

              Language: English - Date: 2011-07-11 05:58:16
                628

                Integrating SMT solvers in Rodin I David D´eharbea , Pascal Fontaineb , Yoann Guyotc , Laurent Voisind a Universidade

                Add to Reading List

                Source URL: www.verit-solver.org

                Language: English - Date: 2015-06-10 10:15:17
                  629

                  Judgment and Decision Making, Vol. 9, No. 6, November 2014, pp. 510–522 Cognitive conflict in social dilemmas: An analysis of response dynamics Pascal J. Kieslich∗

                  Add to Reading List

                  Source URL: www.decisionsciencenews.com

                  Language: English - Date: 2014-11-29 11:49:45
                    UPDATE