MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r

Source URL: homes.cs.washington.edu

• Mathematical optimization
• Mechanics
• Physics
• Dynamical systems
• Mechanical engineering
• Contact dynamics
• Linear complementarity problem
• Multibody system
• Trajectory optimization
• Constraint
• Degrees of freedom
• Inverse dynamics

Tongtongcoin A Specialized cryptocurrency for Payment and Remittance Tongtongcoin is a decentralized Blockchain-based cryptocurrency devised to dramatically reduce transaction fees for existing payment systems such as c

Source URL: tongtongcoin.io

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Bitcoin
• Distributed computing
• Computing
• Alternative currencies
• Decentralization
• Smart contract
• Ethereum
• RootStock
• Proof-of-stake

ICT 2018: A temporary note for screen reader users of the hotel booking system

Source URL: ictaccessibilitytesting.org

• Travel
• Hospitality industry
• Human behavior
• Travel technology
• OpenTravel Alliance
• Accessibility
• Ergonomics
• Transportation planning
• Urban design
• Westin Hotels & Resorts
• Hotel
• Marriott International

A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal languages
• Logic in computer science
• Runtime verification
• Finite-state machine
• Geographic information system
• Regular expression
• Software engineering
• Computing

A Framework for Constructing Fast MPC over Arithmetic Circuits with Malicious Adversaries and an Honest-Majority∗ Yehuda Lindell Ariel Nof

Source URL: eprint.iacr.org

Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE

Source URL: www.falkhowar.de

• Transport
• Land transport
• Automation
• Emerging technologies
• Road transport
• Modeling and simulation
• Advanced driver assistance systems
• Simulation
• Advanced driver-assistance systems
• Self-driving car
• Traffic
• Automated driving system

Designing a Secret Handshake: Authenticated Key Exchange as a Capability System Dominic Tarr July 10, 2015 Abstract Capability Based Security is a conceptual framework for designing

Source URL: dominictarr.github.io

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Key management
• Public key infrastructure
• Man-in-the-middle attack
• Secure Shell
• Forward secrecy
• Elliptic-curve DiffieHellman
• Replay attack
• Cryptographic protocol
• Handshaking

GEMS ELECTION RESULTS Election Summary Report May 6, 2014 Summary For 1 PORTSMOUTH 1-A, All Counters, All Races SCIOTO COUNTY

Source URL: scioto.ohioboe.com

Stomach Acid & Hunger Introduction It is not uncommon for individuals to occasionally feel hungry, weak and shaky or develop a ‘sour stomach’ between meals. Many will interpret this as a sign they need more nutrients

Source URL: alkaway.com

• Health
• Medicine
• Clinical medicine
• RTT
• Nutrition
• Abdomen
• Digestive system
• Diets
• Low-carbohydrate diet
• Human nutrition
• Insulin resistance
• Gastrointestinal tract

CogniSight SDK For MatLab CONNECTING MATLAB TO A NEUROMEM SILICON NETWORK FOR VISION APPLICATIONS Version 5.0

Source URL: www.general-vision.com

• Mathematical software
• Software
• Application software
• Array programming languages
• Cross-platform software
• Econometrics software
• Linear algebra
• MATLAB
• Parallel computing
• Windows API
• Installation