Turbo Parsers: Dependency Parsing by Approximate Variational Inference Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ ∗ School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213, USA

Source URL: users.isr.ist.utl.pt

• Belief propagation
• Coding theory
• Probability theory
• Combinatory logic

An Implementation of Multi-Level Modelling in F-Logic Muzaffar Igamberdiev, Georg Grossmann, and Markus Stumptner 1st International Workshop on Multi-Level Modelling (MULTI 2014)

Source URL: miso.es

• Knowledge representation
• Semantic Web
• Information science
• Technical communication
• Knowledge engineering
• Ontology
• Interoperability
• ISO 15926
• F-logic

Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Category theory
• Formal methods
• Bisimulation
• Functional programming
• Coinduction
• Denotational semantics
• F-coalgebra
• Robin Milner
• Type theory
• Weak equivalence

D-ADMM: A DISTRIBUTED ALGORITHM FOR COMPRESSED SENSING AND OTHER SEPARABLE OPTIMIZATION PROBLEMS João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 2

Source URL: users.isr.ist.utl.pt

• Algorithm
• Mathematical logic
• Theoretical computer science
• Distributed computing
• Game artificial intelligence
• Routing algorithms
• Augmented Lagrangian method

The complexity of positive first-order logic without equality Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. Barnaby Martin ´Equipe d

Source URL: www.fields.utoronto.ca

• Functional analysis
• Lemmas
• Symbol
• FO
• IP
• Dual space
• Craig interpolation
• Model theory
• Linear temporal logic

MCS 401 – Computer Algorithms I Syllabus Lev Reyzin SpringTime and Location: M-W-F, 11:00-11:50pm, Behavioral Sciences Building (BSB) 319

Source URL: homepages.math.uic.edu

• Algorithm
• Mathematical logic
• Theoretical computer science
• Course

1 Distributed Basis Pursuit João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel Abstract—We propose a distributed algorithm for solving the

Source URL: www.ee.ucl.ac.uk

• NP-complete problems
• Algorithm
• Mathematical logic
• Theoretical computer science
• NP
• Eigenvalues and eigenvectors
• HeldKarp algorithm
• Belief propagation

F r a u n h o f e r I n s t i t u t e f o r Mic r o e l e c t r o n ic C i r c u i t s a n d S y s t e m s Programme Inter Carnot Fraunhofer HOTMOS High temperature SOI CMOS technology platform for applications up to 25

Source URL: www.ims.fraunhofer.de

• Digital electronics
• Logic families
• Integrated circuits
• Microtechnology
• Silicon on insulator
• CMOS
• Gallium nitride
• MOSFET
• Soitec

Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation [Extended Abstract]? Danny Dolev1 , Matthias F¨ ugger2 , Christoph Lenzen1 , and Ulrich Schmid2 1

Source URL: people.mpi-inf.mpg.de