Jay

Results: 6750



#Item
101EXTENSIONS OF THE HHT-α METHOD TO DIFFERENTIAL-ALGEBRAIC EQUATIONS IN MECHANICS LAURENT O. JAY ∗ AND

EXTENSIONS OF THE HHT-α METHOD TO DIFFERENTIAL-ALGEBRAIC EQUATIONS IN MECHANICS LAURENT O. JAY ∗ AND

Add to Reading List

Source URL: homepages.cae.wisc.edu

- Date: 2006-12-20 15:11:00
    102Modeling Asynchronous Message Passing for C Programs Everett Morse, Nick Vrvilo, Eric Mercer, and Jay McCarthy Brigham Young University, Provo UT 84601, USA, {eamorse,nick.vrvilo}@byu.net, {egm,jay}@cs.byu.edu,

    Modeling Asynchronous Message Passing for C Programs Everett Morse, Nick Vrvilo, Eric Mercer, and Jay McCarthy Brigham Young University, Provo UT 84601, USA, {eamorse,nick.vrvilo}@byu.net, {egm,jay}@cs.byu.edu,

    Add to Reading List

    Source URL: jeapostrophe.github.io

    - Date: 2018-04-03 12:30:31
      103Trusted Multiplexing of Cryptographic Protocols Jay McCarthy1 and Shriram Krishnamurthi2 1 Brigham Young University 2 Brown University

      Trusted Multiplexing of Cryptographic Protocols Jay McCarthy1 and Shriram Krishnamurthi2 1 Brigham Young University 2 Brown University

      Add to Reading List

      Source URL: jeapostrophe.github.io

      - Date: 2018-04-03 12:30:31
        104Computing in Cantor’s Paradise With λZFC Neil Toronto and Jay McCarthy and PLT @ Brigham Young University, Provo, Utah, USA Abstract. Applied mathematicians increasingly use comp

        Computing in Cantor’s Paradise With λZFC Neil Toronto and Jay McCarthy and PLT @ Brigham Young University, Provo, Utah, USA Abstract. Applied mathematicians increasingly use comp

        Add to Reading List

        Source URL: jeapostrophe.github.io

        - Date: 2018-04-03 12:30:31
          105Jeremiah W. (Jay) Nixon Governor State of Missouri Department of Insurance, Financial Institutions and

          Jeremiah W. (Jay) Nixon Governor State of Missouri Department of Insurance, Financial Institutions and

          Add to Reading List

          Source URL: finance.mo.gov

          - Date: 2016-09-15 14:56:52
            106A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

            A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

            Add to Reading List

            Source URL: jeapostrophe.github.io

            - Date: 2018-04-03 12:30:31
              107AXIS: Generating Explanations at Scale with Learnersourcing and Machine Learning Joseph Jay Williams1 Juho Kim2 Anna Rafferty3 Samuel Maldonado4

              AXIS: Generating Explanations at Scale with Learnersourcing and Machine Learning Joseph Jay Williams1 Juho Kim2 Anna Rafferty3 Samuel Maldonado4

              Add to Reading List

              Source URL: iis.seas.harvard.edu

              - Date: 2016-02-21 08:53:28
                108A Semantics for Context-Sensitive Reduction Semantics Casey Klein1 , Jay McCarthy2 , Steven Jaconette1 , and Robert Bruce Findler1 1 2 Northwestern University

                A Semantics for Context-Sensitive Reduction Semantics Casey Klein1 , Jay McCarthy2 , Steven Jaconette1 , and Robert Bruce Findler1 1 2 Northwestern University

                Add to Reading List

                Source URL: www.eecs.northwestern.edu

                - Date: 2011-09-24 18:20:36
                  109Jeremiah W. (Jay) Nixon Governor State of Missouri Department of Insurance, Financial Institutions and

                  Jeremiah W. (Jay) Nixon Governor State of Missouri Department of Insurance, Financial Institutions and

                  Add to Reading List

                  Source URL: finance.mo.gov

                  - Date: 2016-09-15 14:56:48
                    110Jeremiah W. (Jay) Nixon Department of Insurance Financial Institutions and Professional Registration John M. Huff, Director

                    Jeremiah W. (Jay) Nixon Department of Insurance Financial Institutions and Professional Registration John M. Huff, Director

                    Add to Reading List

                    Source URL: finance.mo.gov

                    - Date: 2016-09-15 14:56:52