Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics ? Chuchu Fan1[0000−0003−4671−233X] , Umang Mathur1[0000−0002−7610−0660] , Sayan Mitra1[0000−0001−7082−5516] , and Mahesh Vi

Source URL: mitras.ece.illinois.edu

• Control theory
• Systems theory
• Control engineering
• Systems science
• Classical control theory
• Computational mathematics
• Mathematical modeling
• State-space representation

Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

Source URL: formal.iti.kit.edu

• Logic
• Non-classical logic
• Mathematical logic
• Metaphysics
• Philosophical logic
• Artificial intelligence
• Description logic
• Information science
• Model theory
• Modal logic
• First-order logic
• Web Ontology Language

Published as a conference paper at ICLRM AKING N EURAL P ROGRAMMING A RCHITECTURES G ENERALIZE VIA R ECURSION Jonathon Cai, Richard Shin, Dawn Song Department of Computer Science

Source URL: people.eecs.berkeley.edu

• Computer programming
• Software engineering
• Computing
• Recursion
• Computability theory
• Theoretical computer science
• Subroutines
• Algorithms
• Quicksort
• Divide and conquer algorithm
• Recurrent neural network
• Artificial neural network

Learning gem5 – Part II Modifying and Extending gem5 Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

Source URL: learning.gem5.org

• Computer programming
• Software engineering
• Computing
• Cross-platform software
• High-level programming languages
• Object-oriented programming languages
• Build automation
• Compiling tools
• Python
• SCons
• C++
• Comment

Calculemus Igitur Lambert Meertens Kestrel Institute & Utrecht University (1)

Source URL: www.kestrel.edu

• Surname
• Patronymic surnames
• Genealogy
• Lambert Meertens
• Meertens
• Lambert
• Algebraic structure
• Scientific law

Circuits Resilient to Additive Attacks with Applications to Secure Computation Daniel Genkin Yuval Ishai

Source URL: web.eecs.umich.edu

• Circuit complexity
• Theoretical computer science
• Computational complexity theory
• Cryptographic protocols
• Electronic engineering
• Theory of computation
• Secure multi-party computation
• Logic families
• Digital circuits
• Transistortransistor logic
• NC
• Circuit

M I S S I S S I P P I ’ S BU S I N E S S Monitoring the state’s economy DECEMBER 2017 VOLUME 75, NUMBER 12

Source URL: www.mississippi.edu

Formale Systeme II: Theorie SS 2016 Prof. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Slides by courtesy of Andr´e Platzer, CMU

Source URL: formal.iti.kit.edu

Velocity-based Storage and Stowage Decisions in a Semiautomated Fulfillment System by Rong Yuan Submitted to the Sloan School of Management on July 19, 2016 in partial fulfillment of the requirements for the degree of Do

Source URL: web.mit.edu

• Automated storage and retrieval system
• Library automation
• Warehouses
• Inventory
• Business
• Web storage
• Computer data storage
• Gun pod
• Stowage
• POD
• Economy

Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr

Source URL: users.cecs.anu.edu.au

• Mathematics
• Heuristics
• Edsger W. Dijkstra
• Automated planning and scheduling
• Mathematical optimization
• Shortest path problem
• Admissible heuristic
• Search algorithm
• Methodology
• Algorithm
• Cognition