Orbifold - PDFSEARCH.IO - Document Search Engine

Orbifold
Results: 526

#	Item
121	A taste of linear logic? Philip Wadler Department of Computing Science, University of Glasgow, G12 8QQ, Scotland () Abstract. This tutorial paper provides an introduction to intuitionistic Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-16 06:24:47 Mathematics Deduction Natural deduction Curry–Howard correspondence Monotonicity of entailment Deduction theorem Linear logic Orbifold Sequent calculus Logic Proof theory Mathematical logic
122	Heuristics and Symmetries in Classical Planning Alexander Shleyfman Michael Katz Technion, Haifa, Israel Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-12-03 11:40:58 Physics Abstract algebra Permutation Symmetry Model theory Theoretical physics Orbifold Combinatorics Differential geometry Mathematics
123	Description of my Research Dave Witte Morris Contents 0. Remarks for the non-expert 0.1. Actions on the circle 0.2. Superrigidity Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2003-09-14 00:58:20 Lie groups Group theory Algebraic geometry Modular forms Lattice Unipotent Arithmetic group Quasigroup Orbifold Abstract algebra Algebra Algebraic groups
124	Ultrametric Semantics of Reactive Programs Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-04-05 08:15:20 Software engineering Natural deduction Proof theory Denotational semantics Monad Symbol Orbifold Theoretical computer science Deduction Mathematical logic
125	Draft submitted for publication at ICFPSafe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-07-21 09:41:27 Data types Type theory ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
126	Splitting (Complicated) Surfaces Is Hard∗ Erin W. Chambers† ´ Eric Colin de Verdi`ere‡ Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2008-06-23 11:08:11 Differential geometry Algebraic topology Homotopy theory Curves Differential geometry of curves Geometric group theory Orbifold Fundamental group Topology Geometry Abstract algebra
127	CCCG 2003, Halifax, Nova Scotia, August 11–13, 2003 On Coherent Rotation Angles for As-Rigid-As-Possible Shape Interpolation Jaeil Choi and Andrzej Szymczak College of Computing, Georgia Tech {jerry,andrzej}@cc.gatech Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-01-08 18:44:35 Triangulation Algebraic topology Differential topology Triangles Surfaces Orientability Rotation matrix Winding number Orbifold Geometry Topology Mathematics
128	Distance Makes the Types Grow Stronger A Calculus for Differential Privacy Jason Reed Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-09-20 13:05:54 Dynamical system Differential privacy Mathematics Structure Programming language semantics Orbifold Allan variance Mathematical analysis Symbol Continuous function
129	Asia Pacific Mathematics Newsletter 1 Seifert Seifert Fibering Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2014-02-27 03:52:46 Algebraic topology Homotopy theory Differential geometry Fiber bundles Differential topology Fundamental group Orbifold Principal bundle Nilmanifold Topology Abstract algebra Geometry
130	CCCG 2009, Vancouver, BC, August 17–19, 2009 On the Dilation of Delaunay Triangulations of Points in Convex Position Shiliang Cui∗ Iyad A. Kanj† Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:33:54 Triangle geometry Delaunay triangulation Trigonometry Euclidean plane geometry Orbifold Symbol Geometry Triangles Triangle

UPDATE