Unification

Results: 1593



#Item
1SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration

SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
2System Science of Virtual Reality: Toward the Unification of Empirical and Subjective Science John Ringland

System Science of Virtual Reality: Toward the Unification of Empirical and Subjective Science John Ringland

Add to Reading List

Source URL: www.anandavala.info

Language: English - Date: 2011-02-28 06:57:34
    3THE ROTTERDAM RULES: CHANGES FROM COGSA Copyright 2010, Charles M. Davis 1 In 1924, when the Hague Rules (The International Convention for the Unification of Certain Rules Relating to Bills of Lading, August 25, 1924) we

    THE ROTTERDAM RULES: CHANGES FROM COGSA Copyright 2010, Charles M. Davis 1 In 1924, when the Hague Rules (The International Convention for the Unification of Certain Rules Relating to Bills of Lading, August 25, 1924) we

    Add to Reading List

    Source URL: davismarine.com

    Language: English - Date: 2012-02-07 13:16:24
      4The GEMS (Gravity ElectroMagnetism Super) Unification Theory and The NASA JSC EM Thruster J.E. Brandenburg Morningstar Applied Physics LLC

      The GEMS (Gravity ElectroMagnetism Super) Unification Theory and The NASA JSC EM Thruster J.E. Brandenburg Morningstar Applied Physics LLC

      Add to Reading List

      Source URL: ssi.org

      Language: English - Date: 2018-02-02 13:25:07
        5Eliminating Timing Leaks by Unification (Extended Abstract) Boris K¨opf and Heiko Mantel ETH Z¨ urich, Switzerland {boris.koepf,heiko.mantel}@inf.ethz.ch

        Eliminating Timing Leaks by Unification (Extended Abstract) Boris K¨opf and Heiko Mantel ETH Z¨ urich, Switzerland {boris.koepf,heiko.mantel}@inf.ethz.ch

        Add to Reading List

        Source URL: software.imdea.org

        Language: English - Date: 2010-09-02 11:11:48
          6Technical Report No. 498 Eliminating Implicit Information Leaks by Transformational Typing and Unification Boris K¨opf1 and Heiko Mantel2? 1

          Technical Report No. 498 Eliminating Implicit Information Leaks by Transformational Typing and Unification Boris K¨opf1 and Heiko Mantel2? 1

          Add to Reading List

          Source URL: software.imdea.org

          Language: English - Date: 2010-09-02 11:11:48
            7SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration

            SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration

            Add to Reading List

            Source URL: sygus.seas.upenn.edu

            Language: English - Date: 2017-07-30 12:53:29
              8Efficient Algorithms for Bounded Rigid E -Unification? Peter Backeman and Philipp R¨ ummer Uppsala University, Sweden

              Efficient Algorithms for Bounded Rigid E -Unification? Peter Backeman and Philipp R¨ ummer Uppsala University, Sweden

              Add to Reading List

              Source URL: www.philipp.ruemmer.org

              Language: English - Date: 2015-10-30 07:54:33
                9Energy-Density or Force-Unification Eras of the Cosmos including “wormhole” weak force IVB connections between eras (John A. Gowan, Feb., 2015) MULTIVERSE

                Energy-Density or Force-Unification Eras of the Cosmos including “wormhole” weak force IVB connections between eras (John A. Gowan, Feb., 2015) MULTIVERSE

                Add to Reading List

                Source URL: www.johnagowan.org

                Language: English - Date: 2018-08-13 00:59:30
                  10Free Variables and Theories: Revisiting Rigid E -Unification? Peter Backeman and Philipp R¨ ummer Uppsala University, Sweden

                  Free Variables and Theories: Revisiting Rigid E -Unification? Peter Backeman and Philipp R¨ ummer Uppsala University, Sweden

                  Add to Reading List

                  Source URL: www.philipp.ruemmer.org

                  Language: English - Date: 2015-10-30 07:54:04