Theories

Results: 13210



#Item
161

FROM LAX MONAD EXTENSIONS TO TOPOLOGICAL THEORIES MARIA MANUEL CLEMENTINO AND WALTER THOLEN To Manuela, teacher and friend Abstract. We investigate those lax extensions of a Set-monad T =

Add to Reading List

Source URL: people.math.yorku.ca

- Date: 2015-01-08 11:40:52
    162

    ORIGINAL RESEARCH ARTICLE published: 18 July 2013 doi: fpsygThe Sarrazin effect: the presence of absurd statements in conspiracy theories makes canonical information less

    Add to Reading List

    Source URL: www.experimental-psychology.de

    - Date: 2013-07-20 04:55:09
      163

      Journal on Satisfiability, Boolean Modeling and ComputationUniversal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories Francesco Alberti

      Add to Reading List

      Source URL: jsat.ewi.tudelft.nl

      - Date: 2011-12-31 10:54:19
        164

        Journée d’études organisée par le Laboratoire Théories du Politique (LabTop- UMR CRESPPA) et le Centre d’Etudes Sociologiques et Politiques Raymond Aron (UMR CESPRA) Qualifier la contestation : Insurrection, viol

        Add to Reading List

        Source URL: paris.demosphere.eu

        - Date: 2016-11-11 05:44:29
          165

          Exact Solutions of 2d Supersymmetric gauge theories Abhijit Gadde, IAS w. Sergei Gukov and Pavel Putrov

          Add to Reading List

          Source URL: media.scgp.stonybrook.edu

          - Date: 2014-11-05 22:45:17
            166

            Interpretation of Locales in Isabelle: Theories and Proof Contexts Clemens Ballarin Fakult¨at f¨ur Informatik Technische Universit¨at M¨unchenGarching, Germany

            Add to Reading List

            Source URL: isabelle.in.tum.de

            - Date: 2006-05-15 04:20:54
              167

              Quiver Gauge Theories and Integrable Lattice Models Junya Yagi SISSA & INFN, Trieste

              Add to Reading List

              Source URL: media.scgp.stonybrook.edu

              - Date: 2015-06-03 13:26:02
                168

                Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments⋆ Peter Schüller Computer Engineering Department, Faculty of Engineering Marmara University, Turkey

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2015-09-19 04:14:13
                  169

                  Perception & Psychophysics 2005, 67 (6), Distortions of perceived length in the frontoparallel plane: Tests of perspective theories UTA WOLFE and LAURENCE T. MALONEY

                  Add to Reading List

                  Source URL: www.psych.nyu.edu

                  - Date: 2006-06-23 14:35:40
                    UPDATE