Order-embedding - PDFSEARCH.IO - Document Search Engine

Order-embedding
Results: 61

#	Item
11	Tom LaGatta Publications & Projects Math/Statistical Modeling Publications (3) Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2014-01-06 03:10:13 Stochastic processes Abstract algebra Order theory Data analysis Topological data analysis Fractional Brownian motion Embedding
12	Mathematical Research Letters 1, 167–VAN KAMPEN’S EMBEDDING OBSTRUCTION IS INCOMPLETE FOR 2-COMPLEXES IN R4 Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-07 06:11:07 Differential topology Category theory Embedding General topology Order theory Generalised Whitehead product Orbifold
13	761 Documenta Math. A Bound for the Torsion in the K -Theory of Algebraic Integers Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-23 07:52:18 Model theory Category theory Differential topology Embedding Order theory Structure Sigma-algebra Decomposition of spectrum
14	Universality Homomorphism order Locally injective homomorphisms Locally injective homomorphisms are universal on connected graphs Add to Reading List Source URL: www.ucw.cz Language: English - Date: 2013-11-18 11:55:01 Model theory Morphisms Functions and mappings Mathematical structures Universal algebra Homomorphism Structure Embedding Injective function Age Graph homomorphism
15	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Scala-Virtualized: Linguistic Reuse for Deep Embeddings Tiark Rompf · Nada Amin · Adriaan Moors · Philipp Haller · Martin Odersky Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-09-27 08:16:30 Functional languages Object-oriented programming languages Order theory Scala Embedding Monad OCaml
16	Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao Add to Reading List Source URL: stratosphere.eu Language: English - Date: 2016-05-27 12:05:58 Software engineering Computer programming Computing Functional languages Higher-order functions Programming language comparisons Concurrent programming languages Object-oriented programming languages Monad Set-builder notation Scala Haskell
17	Title Abstract Definitions and Examples Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-24 22:25:28 Knot theory Abstract algebra Order theory Functions and mappings Distributive property Braid group Braid theory Racks and quandles Model theory Embedding Algebra Laver table
18	Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:53 Logic Mathematical logic Non-classical logic Philosophical logic Predicate logic Model theory First-order logic Barcan formula Modal logic KeY
19	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
20	Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Asterios Katsifodimos Volker Markl Add to Reading List Source URL: stratosphere.eu Language: English - Date: 2016-05-27 12:05:58 Software engineering Computer programming Computing Higher-order functions Functional languages Concurrent programming languages Programming language comparisons Functional programming Apache Spark List comprehension Oz Monad

UPDATE