C-theorem

Results: 386



#Item
51Model theory / Automated theorem proving / Logic programming / First-order logic / Predicate logic / Symbol / Substitution / Constructible universe / Interpretation

N. Kobayashi and B. C. Pierce (Eds): Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), LNCS Vol. 2215, pp. 219–242, 2001. c Springer-Verlag Berlin Heidelberg 2001 Nominal Logic:

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2001-10-22 05:59:46
52Dimension theory / Fractals / Hausdorff dimension / Metric geometry / Borel measure / NC / Peetre theorem / Hlder condition

Measurable functions are of bounded variation on a set of dimension 1/2 Andr´as M´ath´e∗ Abstract We show that for every Lebesgue measurable function f : [0, 1] → R there exists a compact set C

Add to Reading List

Source URL: homepages.warwick.ac.uk

Language: English - Date: 2012-01-10 05:32:01
53Metric geometry / Banach space / Functional analysis / HahnBanach theorem / Continuous function / Separable space / Complete metric space / Probability theory / BanachAlaoglu theorem / Proofs of convergence of random variables

Houston Journal of Mathematics c University of Houston Volume , No. , THICKNESS OF THE UNIT SPHERE, `1 -TYPES,

Add to Reading List

Source URL: page.mi.fu-berlin.de

Language: English - Date: 2010-06-01 06:35:50
54Operator theory / Spectral theorem / Hilbert space / Self-adjoint operator / Unbounded operator / Compact operator / Normal operator / Fredholm operator / Trace class / GelfandNaimarkSegal construction / Affiliated operator / C*-algebra

A Comprehensive Course in Analysis Part 4: Operator Theory Barry Simon Draft: November 16, 2014

Add to Reading List

Source URL: math.caltech.edu

Language: English - Date: 2014-12-08 00:38:31
55Probability distributions / FisherTippettGnedenko theorem / Generalized extreme value distribution / Boris Vladimirovich Gnedenko / L. H. C. Tippett / Normal distribution / Extreme value theory / Stability postulate

Statistics and clustering of extreme space climate events Alexander Ruzmaikin Statistics of Large Numbers: LLN, CLT, Gaussian Distribution

Add to Reading List

Source URL: www.spaceclimate.fi

Language: English - Date: 2016-04-02 11:31:09
56

Some remarks to the theorem of Wan for HQC mappings Miljan Kneˇzevi´c University of Belgrade, Faculty of Mathematics, Belgrade, SERBIA []

Add to Reading List

Source URL: tesla.pmf.ni.ac.rs

- Date: 2016-05-16 10:11:27
    57

    EPJ Web of Conferences 112, ) DOI: epjconf  C Owned by the authors, published by EDP Sciences, 2016 Factorization theorem, gluon poles and new contributions in

    Add to Reading List

    Source URL: www.epj-conferences.org

    Language: English
      58

      C OMPOSITIO M ATHEMATICA D IPENDRA P RASAD On an extension of a theorem of Tunnell Compositio Mathematica, tome 94, no), p.

      Add to Reading List

      Source URL: www.math.tifr.res.in

      Language: English - Date: 2006-11-13 17:52:15
        59Mathematical analysis / Statistics / Mathematics / Summary statistics / Probability distributions / Random walk / Central limit theorem / Law of large numbers / Large deviations theory / Ising model / Mode / Heat transfer physics

        MATHEMATISCHES FORSCHUNGSINSTITUT OBERWOLFACH T a g u n g s b e r i c h t

        Add to Reading List

        Source URL: www.fam.tuwien.ac.at

        Language: English - Date: 2003-06-14 17:14:40
        60Signal processing / Regression analysis / Empirical process / Autocorrelation / Covariance and correlation / Time series analysis / Vladimir Vapnik / GlivenkoCantelli theorem

        IEEE TRANSACTIONS ON INFORMATION 128 c J(Wi- w/&(w) = J(w - Wk),

        Add to Reading List

        Source URL: www.ifp.illinois.edu

        Language: English - Date: 2003-07-08 17:06:56
        UPDATE