Order-embedding - PDFSEARCH.IO - Document Search Engine

Order-embedding
Results: 61

#	Item
1	AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA About me Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Mathematics Theoretical computer science Formal methods Model theory Conflict-driven clause learning Solver Alloy Metamodeling Meta-Object Facility Embedding First-order logic Mathematical logic
2	Partial Order Embedding with Multiple Kernels Brian McFee BMCFEE @ CS . UCSD . EDU Department of Computer Science and Engineering, University of California, San Diego, CAUSA Gert Lanckriet GERT @ ECE . UCSD . EDU Add to Reading List Source URL: eceweb.ucsd.edu - Date: 2015-07-31 19:00:27
3	S TATC MSC 35425: T OPICS IN S TATISTICAL M ACHINE L EARNING Syllabus, Spring 2016 Topics in Statistical Machine Learning is a second course in machine learning, with students assumed to have previous exposure t Add to Reading List Source URL: galton.uchicago.edu Language: English - Date: 2016-04-13 06:56:12 Statistics Machine learning Artificial intelligence Learning Statistical models Language modeling Word embedding Pattern recognition Bayesian inference Mixture model Artificial neural network Higher-order singular value decomposition
4	MEAN DIMENSION AND AN EMBEDDING PROBLEM: AN EXAMPLE ELON LINDENSTRAUSS, MASAKI TSUKAMOTO Abstract. For any positive integer D, we construct a minimal dynamical system with mean dimension equal to D/2 that cannot be embed Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2013-08-09 05:15:48 Mathematics Mathematical analysis Algebra Functions and mappings Stochastic processes Algebraic geometry Differential topology Embedding Order theory Mixing Ample line bundle Mean dimension
5	Networks embedded in Lorentzian spaces James Clough, Tim Evans Centre for Complexity Science, Imperial College London, London, SW7 2AZ, U.K. {james.clough09,t.evans}@imperial.ac.uk Embedding the nodes of a network in a s Add to Reading List Source URL: www.monmeetings.org Language: English - Date: 2015-09-04 10:24:55 Mathematics Physics Theoretical physics Order theory Lorentzian manifolds Quantum gravity Exact solutions in general relativity Causal sets Minkowski space Metric tensor Spatial network Space
6	GEOMETRY OF FEASIBLE SPACES OF TENSORS A Dissertation by YANG QI Add to Reading List Source URL: www.math.tamu.edu Language: English - Date: 2013-07-24 16:18:51 Algebra Mathematics Tensors Binary operations Multilinear algebra Linear algebra Tensor Symmetric tensor Segre embedding Rank Higher-order singular value decomposition
7	Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao Add to Reading List Source URL: www.user.tu-berlin.de Language: English - Date: 2016-07-21 07:25:50 Software engineering Computer programming Computing Functional languages Higher-order functions Programming language comparisons Concurrent programming languages Object-oriented programming languages Monad Scala Set-builder notation Haskell
8	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: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
9	Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Asterios Katsifodimos Volker Markl Add to Reading List Source URL: www.user.tu-berlin.de Language: English - Date: 2016-07-21 07:25:50 Higher-order functions Functional programming Functional languages Concurrent programming languages Programming language comparisons List comprehension Apache Spark Oz Monad Fold Scala Map