M-theory

Results: 6111



#Item
641Computability theory / Low

T HE HIERARCHIES M ATHIAS - LIKE FORCING Controlling iterated jumps of Ramsey-type theorems

Add to Reading List

Source URL: ludovicpatey.com

Language: English - Date: 2015-09-20 15:03:06
642

Tilburg University A theory of social thermoregulation in human primates IJzerman, Hans; Coan, J.A.; Wagemans, Fieke; Missler, Marjolein; van Beest, Ilja; Lindenberg, Siegwart; Tops, P.E.W.M. Published in:

Add to Reading List

Source URL: pure.uvt.nl

Language: English - Date: 2015-04-30 05:40:00
    643

    INACCESSIBLE SET AXIOMS MAY HAVE LITTLE CONSISTENCY STRENGTH L. CROSILLA∗ AND M. RATHJEN Abstract. The paper investigates inaccessible set axioms and their consistency strength in constructive set theory. In ZFC inacce

    Add to Reading List

    Source URL: www1.maths.leeds.ac.uk

    Language: English - Date: 2012-10-11 14:48:34
      644Mathematics / Algebra / Abstract algebra / Combinatorics / Number theory / Difference set / Multiplier / Divisor / Abelian group / Ring / Order / Cyclotomic polynomial

      A Survey of the Multiplier Conjecture Daniel M. Gordon IDA Center for Communications Research 4320 Westerra Court San Diego, CAUSA

      Add to Reading List

      Source URL: www.ntu.edu.sg

      Language: English - Date: 2015-09-30 04:43:58
      645Complex systems theory / Systems / Cybernetics / Academics / Glenda Eoyang / Complex adaptive system / Complex system / Chaos theory / Adaptive system / Adaptive capacity / Moodle / Educational technology

      HUMAN SYSTEM DYNAMICS IN ACTION: SHIFTING PATTERNS FOR PEACE PAX 687 SPI 2016 Session 3; May 30-June 3 8:30 a.m. to 5:00 p.m.

      Add to Reading List

      Source URL: www.emu.edu

      Language: English - Date: 2016-05-23 14:53:56
      646

      Testing AdS/CFT at string loops Gianluca Grignani Perugia University & INFN G.Grignani, M.Orselli, B. Ramadanovich, G.W.Semenoff and D. Young, “Divergence cancellation and loop corrections in string field theory on a

      Add to Reading List

      Source URL: wsrtn06.na.infn.it

      Language: English - Date: 2006-10-17 03:43:09
        647Logic / Abstraction / Mathematical logic / Quantification / Propositional calculus / Predicate logic / Semantics / Quantifier / Universal quantification / Proposition / FO / Model theory

        M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS, VOL . 4, N O. 1, M ARCH 2005, 3:24 M IZAR: the first 30 years Roman Matuszewski1 and Piotr Rudnicki2? 1 University of Białystok, Białystok, Poland,

        Add to Reading List

        Source URL: www.mizar.org

        Language: English - Date: 2005-07-20 17:21:01
        648Statistics / Stochastic processes / Statistical theory / Probability / Hierarchical Dirichlet process / Dirichlet process / PitmanYor process / Chinese restaurant process / Dirichlet distribution / Mixture model / Concentration parameter / Pattern recognition

        An Alternative Prior Process for Nonparametric Bayesian Clustering Hanna M. Wallach Department of Computer Science University of Massachusetts Amherst

        Add to Reading List

        Source URL: www-stat.wharton.upenn.edu

        Language: English - Date: 2010-03-26 09:04:06
        649Video editing software / IMovie / Film theory / Digital media / Video / Homography / DV / Non-linear editing system

        Video Collections in Panoramic Contexts Supplemental Material James Tompkin1 Fabrizio Pece2 Rajvi Shah1,3 Shahram Izadi2,4 Jan Kautz2 Christian Theobalt1 MPI f¨ur Informatik1 University College London2 IIIT Hyderabad3 M

        Add to Reading List

        Source URL: gvv.mpi-inf.mpg.de

        Language: English - Date: 2014-10-27 18:14:19
        650Statistics / Estimation theory / M-estimators / Probability distributions / Actuarial science / Copula / Maximum likelihood estimation

        Interval estimation for bivariate t-copulas via Kendall’s tau Liang Peng∗ and Ruodu Wang† February 21, 2014 Abstract

        Add to Reading List

        Source URL: sas.uwaterloo.ca

        Language: English - Date: 2014-06-12 18:10:39
        UPDATE