Orbifold - PDFSEARCH.IO - Document Search Engine

Orbifold
Results: 526

#	Item
131	Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-05 06:52:11 Model theory Modal logic Denotational semantics Logic in computer science Kripke semantics Structure Natural deduction Orbifold Logic Mathematical logic Mathematics
132	ASYMPTOTICS OF ANALYTIC TORSION FOR HYPERBOLIC THREE–MANIFOLDS JEAN RAIMBAULT Abstract. We prove that for certain sequences of hyperbolic three–manifolds with cusps which converge to hyperbolic three–space in a wea Add to Reading List Source URL: www.math.univ-toulouse.fr Language: English - Date: 2014-11-06 04:47:12 Differential geometry Hyperbolic geometry Connection Curvature 3-manifolds Analytic torsion Hyperbolic manifold Orbifold Congruence subgroup Geometry Abstract algebra Topology
133	Online Topic-Aware Influence Maximization Shuo Chen† Ju Fan‡ Guoliang Li† Jianhua Feng† Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2015-04-07 22:55:50 Graphical models Differential topology Orbifold
134	CCCG 2004, Montreal, Quebec, August 9–11, 2004 Surface Reconstruction, One Triangle at a Time Daniel Freedman Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-08-23 15:27:23 Geometry Algebraic topology Geometric topology Polytopes Simplex Simplicial complex Delaunay triangulation Graph Orbifold Topology Triangulation Mathematics
135	arXiv:1108.5997v1 [physics.gen-ph] 30 AugThe Zeta Function Approach for Casimir Energy Calculations in Higher Dimensions R. K. Obousy∗ Casimir Energy Research Group, Icarus Interstellar Inc., Add to Reading List Source URL: lanl.arxiv.org Language: English - Date: 2011-08-31 00:36:42 Meromorphic functions Analytic number theory String theory Riemann zeta function Zeta function regularization Orbifold Casimir effect Supergravity Gamma function Mathematical analysis Physics Quantum field theory
136	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
137	POLYNOMIALS FOR GLp × GLq ORBIT CLOSURES IN THE FLAG VARIETY BENJAMIN J. WYSER AND ALEXANDER YONG A BSTRACT. The subgroup K = GLp × GLq of GLp+q acts on the (complex) flag variety GLp+q /B with finitely many orbits. We Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-03-04 10:08:04 Representation theory Schubert polynomial Proof theory Algebraic geometry Orbifold Symbol Abstract algebra Mathematics Algebra
138	COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON Abstract. This paper describes a general algorithm for finding the commensurator of a non-arithmetic hyperbolic manifold with Add to Reading List Source URL: www.ms.unimelb.edu.au Language: English - Date: 2007-12-23 22:40:43 Geometric topology Hyperbolic geometry Riemannian manifolds Kleinian groups SnapPea Orbifold Hyperbolic 3-manifold Arithmetic hyperbolic 3-manifold Hyperbolic manifold Topology Geometry 3-manifolds
139	A Formally-Verified C Static Analyzer Jacques-Henri Jourdan Vincent Laporte Sandrine Blazy Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2014-10-28 11:05:08 Abstract interpretation Field theory Ring theory Function Valuation Ring Interpretation Finitary relation Orbifold Mathematics Abstract algebra Algebra
140	Relational Parametricity and Units of Measure Andrew J. Kennedy In Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages, Paris, France, JanuaryThe following copyright notice is requi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:28 Denotational semantics Physics Applied mathematics Orbifold Theoretical computer science Symbol Physical quantity