Invariant

Results: 1457



#Item
1Geometry / Differential geometry / Theoretical physics / Riemannian manifolds / Complex manifolds / Riemannian geometry / Symplectic geometry / Khler manifold / Einstein manifold / KhlerEinstein metric / Ricci curvature / Zbl

Grivaux, Julien  Tian’s invariant of the Grassmann manifold. (English) Zbl  J. Geom. Anal. 16, No. 3, For a compact Kählerian manifold M , Tian’s invariant α(M ) is connected to the ex

Add to Reading List

Source URL: jgrivaux.perso.math.cnrs.fr

Language: English - Date: 2018-03-18 08:55:55
2Mathematics / Geometry / Algebra / Geometric group theory / Topological groups / Topology / Field theory / Metric geometry / Amenable group / Kazhdan's property / Valuation / Von Neumann algebra

A NOTION OF GEOMETRIC COMPLEXITY AND ITS APPLICATION TO TOPOLOGICAL RIGIDITY ERIK GUENTNER, ROMAIN TESSERA, AND GUOLIANG YU Abstract. We introduce a geometric invariant, called finite decomposition complexity (FDC), to s

Add to Reading List

Source URL: www.normalesup.org

Language: English - Date: 2011-10-21 02:00:00
3

Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English - Date: 2016-02-15 05:41:47
    4Geometry / Group theory / Lie groups / Mathematics / Geometric group theory / Topological groups / Algebraic groups / Fourier analysis / Kazhdan's property / Lattice / Amenable group / Reductive group

    Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1340) A VIEW ON INVARIANT RANDOM SUBGROUPS Tsachik Gelander ‫גלנדר( )צחיק‬

    Add to Reading List

    Source URL: eta.impa.br

    Language: English - Date: 2018-07-25 13:17:42
    5Software engineering / Computer programming / Programming language theory / Compiler optimizations / Control flow / Loop optimization / Heap / Optimizing compiler / Foreach loop

    Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA

    Add to Reading List

    Source URL: dacongy.github.io

    Language: English - Date: 2017-06-27 01:04:15
    6Statistical randomness / Stochastic processes / Complex analysis / Statistical mechanics / Lvy processes / SchrammLoewner evolution / Loop-erased random walk / Conformal loop ensemble / Brownian motion / Gaussian free field / Random walk / Wiener process

    Conformally Invariant Loop Measures Gregory F. Lawler∗ March 3, 2018 Abstract There have been incredible progress in the last twenty years in the rigorous analysis of planar statistical

    Add to Reading List

    Source URL: eta.impa.br

    Language: English - Date: 2018-07-28 17:09:47
    7Formal methods / I0 / Loop invariant

    LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi

    Add to Reading List

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

    Language: English - Date: 2017-08-02 04:54:12
    8

    PDF Document

    Add to Reading List

    Source URL: invariant.org

    - Date: 2010-12-24 17:50:18
      9

      Invariant mass reconstruction of the 1,2 meson in the decay channel experiment 2

      Add to Reading List

      Source URL: redtop.fnal.gov

      Language: English - Date: 2017-06-05 16:32:10
        10

        Ordinary elliptic curves of high rank over Fp (x) with constant j-invariant II Claus Diem and Jasper Scholten July 17, 2006 Abstract

        Add to Reading List

        Source URL: www.mathematik.uni-leipzig.de

        Language: English - Date: 2012-11-27 05:34:03
          UPDATE