Formalism

Results: 333



#Item
71

Formalism Design (2) COMP34512 Sebastian Brandt (Slides by Bijan Parsia, )

Add to Reading List

Source URL: studentnet.cs.manchester.ac.uk

Language: English - Date: 2014-03-17 09:46:49
    72

    Formalism Design COMP34512 Sebastian Brandt (slides by Bijan Parsia )

    Add to Reading List

    Source URL: studentnet.cs.manchester.ac.uk

    Language: English - Date: 2014-03-04 12:45:10
      73Quantum measurement / Interpretations of quantum mechanics / Quantum mechanics / Quantum states / GhirardiRiminiWeber theory / Objective collapse theory / De BroglieBohm theory / Mathematical formulation of quantum mechanics / Wave function collapse / Schrdinger equation / Wave function / Measurement in quantum mechanics

      J Stat Phys DOIs10955The Quantum Formalism and the GRW Formalism Sheldon Goldstein · Roderich Tumulka · Nino Zanghì

      Add to Reading List

      Source URL: math.rutgers.edu

      Language: English - Date: 2012-09-24 11:30:18
      74Philosophy / Cognition / Philosophical methodology / Culture / Literary criticism / Digital humanities / Russian formalism / Analysis / Tfidf / Literary theory / Hermeneutics / Stylistics

      A Companion to Digital Literary Studies "ss1-6-7"

      Add to Reading List

      Source URL: digitalhumanities.buffalo.edu

      Language: English - Date: 2008-09-16 15:37:59
      75

      Overview Mathematical Formalism Examples Conclusion The Cohomology of

      Add to Reading List

      Source URL: qpl.science.ru.nl

      Language: English - Date: 2011-11-02 06:38:56
        76

        A non-commuting Stabilizer Formalism Xiaotong Ni* , Oliver Buerschaper† , and Maarten Van den Nest* * †

        Add to Reading List

        Source URL: www.quantum-lab.org

        Language: English - Date: 2014-11-28 23:31:32
          77Mathematics / Philosophy of mathematics / Logic / Philosophy / Mathematical logic / Epistemology / Formal sciences / Constructivism / Foundations of mathematics / Intuitionism / Finitary / Formalism

          A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands

          Add to Reading List

          Source URL: www.cs.ru.nl

          Language: English - Date: 2009-05-27 06:08:40
          78

          XS-Stabilizer Formalism Xiaotong Ni (MPQ) joint work with Buerschaper, Van den Nest QIP 15’

          Add to Reading List

          Source URL: www.quantum-lab.org

          Language: English - Date: 2015-02-25 18:02:38
            79

            The Syntax Definition Formalism SDF Mark van den Brand Paul Klint Jurgen Vinju:18:09 +0200 (Mon, 22 Oct 2007)

            Add to Reading List

            Source URL: www.meta-environment.org

            Language: English - Date: 2010-02-24 10:14:45
              80

              HW #4 Solutions (221B) 2) WKB Scattering a) In using the WKB method, we are using an approximation, and we must adjust our formalism to maintain consistency within this approximation. In particular, the phase shifts are

              Add to Reading List

              Source URL: hitoshi.berkeley.edu

              Language: English - Date: 2014-01-31 18:27:00
                UPDATE