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

Source URL: alloytools.org

• Mathematics
• Theoretical computer science
• Formal methods
• Model theory
• Conflict-driven clause learning
• Solver
• Alloy
• Metamodeling
• Meta-Object Facility
• Embedding
• First-order logic
• Mathematical logic

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

Source URL: eceweb.ucsd.edu

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

Source URL: galton.uchicago.edu

• 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

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

Source URL: www.ma.huji.ac.il

• Mathematics
• Mathematical analysis
• Algebra
• Functions and mappings
• Stochastic processes
• Algebraic geometry
• Differential topology
• Embedding
• Order theory
• Mixing
• Ample line bundle
• Mean dimension

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

Source URL: www.monmeetings.org

• Mathematics
• Physics
• Theoretical physics
• Order theory
• Lorentzian manifolds
• Quantum gravity
• Exact solutions in general relativity
• Causal sets
• Minkowski space
• Metric tensor
• Spatial network
• Space

GEOMETRY OF FEASIBLE SPACES OF TENSORS A Dissertation by YANG QI

Source URL: www.math.tamu.edu

• Algebra
• Mathematics
• Tensors
• Binary operations
• Multilinear algebra
• Linear algebra
• Tensor
• Symmetric tensor
• Segre embedding
• Rank
• Higher-order singular value decomposition

Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao

Source URL: www.user.tu-berlin.de

• 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

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

Source URL: community.haskell.org

• Software engineering
• Mathematics
• Declarative programming
• Lambda calculus
• Functional programming
• Functions and mappings
• Let expression
• Embedding
• Monad
• Anonymous function

Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Asterios Katsifodimos Volker Markl

Source URL: www.user.tu-berlin.de

• Higher-order functions
• Functional programming
• Functional languages
• Concurrent programming languages
• Programming language comparisons
• List comprehension
• Apache Spark
• Oz
• Monad
• Fold
• Scala
• Map