Orbifold - PDFSEARCH.IO - Document Search Engine

Orbifold
Results: 526

#	Item
201	Object Closure Conversion ∗ Neal Glew Cornell University 24 August[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-25 13:13:33 Computer science Computability theory Lambda calculus Programming language semantics Denotational semantics Orbifold Theoretical computer science Models of computation Applied mathematics
202	Elementarily Equivalent Structures for Topological Languages over Regions in Euclidean Space Ernest Davis∗ Dept. of Computer Science New York University [removed] Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2012-06-01 15:13:57 Mathematical logic Symbol Constructible universe Interpretation First-order logic Orbifold Root system Logic Model theory Mathematics
203	CURRICULUM VITAE TYLER J. JARVIS Education. Ph.D: M.A: Add to Reading List Source URL: math.byu.edu Language: English - Date: 2013-10-24 10:54:25 String theory Symplectic topology Symmetry Algebraic geometry Moduli theory Orbifold Quantum cohomology Moduli space Moduli Physics Abstract algebra Geometry
204	Preferential Semantics using Non-smooth Preference Relations∗ XXX January 10, 2013 Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-11 03:16:39 Algebraic topology Deduction Entailment Logical consequence Metalogic Transitive set Sheaf Constructible universe Orbifold Logic Abstract algebra Mathematics
205	Computer Aided Geometric Design[removed]–116 www.elsevier.com/locate/cagd Guided spline surfaces K. Karˇciauskas a , J. Peters b,∗ a Department of Mathematics and Informatics, Naugarduko 24, 03225 Vilnius, Lith Add to Reading List Source URL: www.cise.ufl.edu Language: English - Date: 2009-04-06 17:05:56 Mathematics Orbifold Topology Curvature Multivariable calculus Mathematical analysis
206	Tilings Benjamin Blander Darren Lo June 19, 2003 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2014-07-15 14:25:43 Mosaic Symmetry Tessellation Tree Rectangle Connectivity Dual graph Tutte polynomial Orbifold Graph theory Mathematics Planar graphs
207	The Number of Symbol Comparisons in QuickSort and QuickSelect ´e1 , Julien Cle ´ment1 , James Allen Fill2 , and Brigitte Valle Philippe Flajolet3 Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2009-04-25 11:06:18 Quicksort Mathematics Mathematical analysis Spectral theory Orbifold Beta code Statistics Symbol Markov chain
208	Abstract machines for higher-order term sharing Connor Lane Smith University of Kent [removed] Abstract Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Symbol Lambda calculus De Bruijn index Curry–Howard correspondence Orbifold Mathematics Computer science Theoretical computer science
209	Proving the Security of AES Substitution-Permutation Network Thomas Baign`eres? and Serge Vaudenay EPFL http://lasecwww.epfl.ch Add to Reading List Source URL: www.baigneres.net Language: English - Date: 2013-07-24 10:25:38 Entailment Logical consequence Metalogic Curry–Howard correspondence Advanced Encryption Standard Orbifold Measure of non-compactness Logic Deduction Proof theory
210	Online Topic-Aware Influence Maximization Shuo Chen† Ju Fan‡ Guoliang Li† Jianhua Feng† Add to Reading List Source URL: www.vldb.org Language: English - Date: 2015-01-10 21:47:11 Graphical models Differential topology Orbifold

UPDATE