Reduction of order

Results: 228



#Item
1Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order

Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order

Add to Reading List

Source URL: mitras.ece.illinois.edu

Language: English - Date: 2018-09-21 21:52:10
2Variation of Parameters The general solution to a second order non- homogeneous differential equation can be reduced to solving 2 first order differential equations. This differs from reduction of order in that we have 2

Variation of Parameters The general solution to a second order non- homogeneous differential equation can be reduced to solving 2 first order differential equations. This differs from reduction of order in that we have 2

Add to Reading List

Source URL: calculus7.com

Language: English - Date: 2009-08-11 13:21:53
    3Unfolding-based Partial Order Reduction∗ César Rodríguez1 , Marcelo Sousa2 , Subodh Sharma3 , and Daniel Kroening4 1 Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, France 2,4 Department of Computer Science,

    Unfolding-based Partial Order Reduction∗ César Rodríguez1 , Marcelo Sousa2 , Subodh Sharma3 , and Daniel Kroening4 1 Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, France 2,4 Department of Computer Science,

    Add to Reading List

    Source URL: drops.dagstuhl.de

    - Date: 2015-08-25 09:27:37
      4Guaranteed control of switched control systems using model order reduction and state-space bisection Adrien Le Coënt1 , Florian de Vuyst1 , Christian Rey2,3 , Ludovic Chamoin2 , and Laurent Fribourg4 1

      Guaranteed control of switched control systems using model order reduction and state-space bisection Adrien Le Coënt1 , Florian de Vuyst1 , Christian Rey2,3 , Ludovic Chamoin2 , and Laurent Fribourg4 1

      Add to Reading List

      Source URL: drops.dagstuhl.de

      - Date: 2015-11-26 04:11:11
        5The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University,

        The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University,

        Add to Reading List

        Source URL: www.bedewell.com

        Language: English - Date: 2010-06-03 07:34:14
        6ES 111 Mathematical Methods in the Earth Sciences Lecture Outline 16 - Tues 17th Nov 2015 Constant Coefficient HLDE’s The general form of an n-th order, homogeneous linear ODE is an (x)y (n) + an−1 (x)y (n−1) + ·

        ES 111 Mathematical Methods in the Earth Sciences Lecture Outline 16 - Tues 17th Nov 2015 Constant Coefficient HLDE’s The general form of an n-th order, homogeneous linear ODE is an (x)y (n) + an−1 (x)y (n−1) + ·

        Add to Reading List

        Source URL: www.es.ucsc.edu

        Language: English - Date: 2015-11-16 14:32:21
        7Backlog Reduction Goals for FY08, FY09, and FY10 in Furtherance of Executive Order 13,392, “Improving Agency Disclosure of Information October 31, 2007 The Railroad Retirement Board (RRB) and the Office of Inspector of

        Backlog Reduction Goals for FY08, FY09, and FY10 in Furtherance of Executive Order 13,392, “Improving Agency Disclosure of Information October 31, 2007 The Railroad Retirement Board (RRB) and the Office of Inspector of

        Add to Reading List

        Source URL: www.rrb.gov

        Language: English - Date: 2007-11-01 17:16:46
        8NEWS RELEASE Contact: Elana RosenbaumFOR IMMEDIATE RELEASE New Book Promotes Living Well With Cancer Through Mindfulness Hardwick, MA — While there have been many books written on meditation and perhaps e

        NEWS RELEASE Contact: Elana RosenbaumFOR IMMEDIATE RELEASE New Book Promotes Living Well With Cancer Through Mindfulness Hardwick, MA — While there have been many books written on meditation and perhaps e

        Add to Reading List

        Source URL: satyahouse.com

        Language: English - Date: 2008-04-23 07:26:47
        919 THOMAS • IRVINE, CA 92618 • USA Manufacturers of pH & DO for Science and Industry ORDER DESK & TECHNICAL SERVICE Telephone: 1-888 pH PROBE

        19 THOMAS • IRVINE, CA 92618 • USA Manufacturers of pH & DO for Science and Industry ORDER DESK & TECHNICAL SERVICE Telephone: 1-888 pH PROBE

        Add to Reading List

        Source URL: www.broadleyjames.com

        Language: English - Date: 2015-09-15 11:02:24
        10The complexity of positive first-order logic without equality∗ Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. fmadelaine@laic.u-cler

        The complexity of positive first-order logic without equality∗ Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. fmadelaine@laic.u-cler

        Add to Reading List

        Source URL: www.bedewell.com

        Language: English - Date: 2009-11-10 10:55:46