Odes

Results: 119



#Item
1Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke

Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
2Primary Source Document with Questions (DBQs) SELECTION FROM THE CLASSIC OF ODES: I BEG OF YOU, CHUNG TZU (ODE 8) Introduction

Primary Source Document with Questions (DBQs) SELECTION FROM THE CLASSIC OF ODES: I BEG OF YOU, CHUNG TZU (ODE 8) Introduction

Add to Reading List

Source URL: afe.easia.columbia.edu

Language: English - Date: 2009-09-17 15:54:07
    3Language-based abstractions for dynamical systems Andrea Vandin IMT School for Advanced Studies Lucca, Lucca, Italy Ordinary differential equations (ODEs) are the primary means to model dynamic

    Language-based abstractions for dynamical systems Andrea Vandin IMT School for Advanced Studies Lucca, Lucca, Italy Ordinary differential equations (ODEs) are the primary means to model dynamic

    Add to Reading List

    Source URL: qapl17.doc.ic.ac.uk

    - Date: 2017-04-20 09:16:43
      4T HE VELOCITY C OMPILER : E XTRACTING E FFICIENT M ULTICORE E XECUTION FROM L EGACY S EQUENTIAL C ODES M ATTHEW J OHN B RIDGES

      T HE VELOCITY C OMPILER : E XTRACTING E FFICIENT M ULTICORE E XECUTION FROM L EGACY S EQUENTIAL C ODES M ATTHEW J OHN B RIDGES

      Add to Reading List

      Source URL: liberty.princeton.edu

      - Date: 2011-11-28 14:53:09
        5Microsoft Word - odes-PenaltiesForViolatingNYSPropertyMaintenanceCodeDone

        Microsoft Word - odes-PenaltiesForViolatingNYSPropertyMaintenanceCodeDone

        Add to Reading List

        Source URL: townoflittlefalls.com

        - Date: 2016-02-29 11:33:45
          69th AIMS CONFERENCE – ABSTRACTS 156 Special Session 35: Qualitative Theory of Nonlinear ODEs and Applications

          9th AIMS CONFERENCE – ABSTRACTS 156 Special Session 35: Qualitative Theory of Nonlinear ODEs and Applications

          Add to Reading List

          Source URL: www.aimsciences.org

          - Date: 2012-06-23 07:34:42
            7Microsoft Word - CatullusTranslated.doc

            Microsoft Word - CatullusTranslated.doc

            Add to Reading List

            Source URL: www.theaterofpompey.com

            Language: English - Date: 2009-09-27 22:41:39
            8VATES The Journal of New Latin Poetry Issue 2, AutumnCONTENTS

            VATES The Journal of New Latin Poetry Issue 2, AutumnCONTENTS

            Add to Reading List

            Source URL: pineapplepubs.snazzystuff.co.uk

            Language: English - Date: 2013-10-27 06:18:01
            9$SPAD/src/input kamke2.input Timothy Daly December 30, 2008 Abstract This is the 50 ODEs of the Kamke test suite as published by E. S. Cheb-Terrab[1]. They have been rewritten using Axiom syntax. Where

            $SPAD/src/input kamke2.input Timothy Daly December 30, 2008 Abstract This is the 50 ODEs of the Kamke test suite as published by E. S. Cheb-Terrab[1]. They have been rewritten using Axiom syntax. Where

            Add to Reading List

            Source URL: axiom-developer.org

            Language: English - Date: 2008-12-30 18:00:24
            10Exponential Decay of Quantum Wave Functions I’ve no doubt that for ODEs, the questions and techniques for exponential decay of solutions go back a long way, maybe even to the nineteenth century. For one body systems wi

            Exponential Decay of Quantum Wave Functions I’ve no doubt that for ODEs, the questions and techniques for exponential decay of solutions go back a long way, maybe even to the nineteenth century. For one body systems wi

            Add to Reading List

            Source URL: math.caltech.edu

            Language: English - Date: 2016-03-23 14:33:13