Andr

Results: 535



#Item
51

A Differential Operator Approach to Equational Differential Invariants? (Invited Paper) Andr´e Platzer Computer Science Department, Carnegie Mellon University, Pittsburgh, USA

Add to Reading List

Source URL: symbolaris.com

- Date: 2014-08-04 10:09:21
    52

    Conflict-Driven Answer Set Solving Martin Gebser and Benjamin Kaufmann and Andr´e Neumann and Torsten Schaub∗ Institut f¨ur Informatik, Universit¨at Potsdam, Postfach, D–14439 Potsdam, Germany Abstract

    Add to Reading List

    Source URL: www.cs.uni-potsdam.de

    - Date: 2008-03-06 05:55:32
      53

      Statistical Model Checking for Markov Decision Processes David Henriques∗† , Jo˜ao G. Martins∗‡ , Paolo Zuliani∗ , Andr´e Platzer∗ , Edmund M. Clarke∗ ∗ Computer † SQIG

      Add to Reading List

      Source URL: symbolaris.com

      - Date: 2014-08-04 10:11:57
        54

        Teaching CPS Foundations With Contracts Andr´e Platzer Computer Science Department Carnegie Mellon University Pittsburgh, USA

        Add to Reading List

        Source URL: symbolaris.com

        - Date: 2014-08-04 10:07:15
          55

          Proportional fairness in heterogeneous peer-to-peer networks through reciprocity and Gibbs sampling Mart´ın Zubeld´ıa, Andr´es Ferragut and Fernando Paganini Universidad ORT Uruguay Abstract— This paper studies pe

          Add to Reading List

          Source URL: fi.ort.edu.uy

            56

            Andr´ as M´ ath´e, Department of Analysis, E¨ otv¨ os Lor´ and University, P´

            Add to Reading List

            Source URL: homepages.warwick.ac.uk

            - Date: 2012-01-10 05:49:48
              57

              From "Business Biographies” in the Farm Bureau News, Sept. 21, 1933: The Farm Bureau News was published by the Island County Farm Bureau in Oak Harbor, WA between 1920 andR. L. MAYLOR Ray Maylor, Island County C

              Add to Reading List

              Source URL: www.gsswi.org

              - Date: 2014-03-19 13:24:10
                58

                171 Documenta Math. Power Reductivity over an Arbitrary Base ` Andr´

                Add to Reading List

                Source URL: www.math.uiuc.edu

                - Date: 2010-06-21 15:52:28
                  59

                  Learning LATEX by Doing Andr´e Heck c March 2005, AMSTEL Institute ° Contents

                  Add to Reading List

                  Source URL: www.science.uva.nl

                  - Date: 2005-03-14 03:56:54
                    60

                    ‫برنامج ‪ Martus‬المحمول‬ ‫لنظام ‪Android‬‬ ‫مقدمة حول ‪ Martus‬المحمول‬ ‫‪ Martus‬المحمول هو تطبيق آمن يعتمد على نظام ‪ Andr

                    Add to Reading List

                    Source URL: www.martus.org

                    - Date: 2015-12-10 19:02:59
                      UPDATE