Automated Diagnosis of Software Configuration Errors Sai Zhang Michael D. Ernst

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• SQL keywords
• Software
• Debugging
• Grammar
• Predicate
• Semantics
• Null
• Error
• Where
• Extensible Storage Engine

Learning Human Utility from Video Demonstrations for Deductive Planning in Robotics Nishant Shukla, Yunzhong He, Frank Chen, and Song-Chun Zhu Center for Vision, Cognition, Learning, and Autonomy University of California

Source URL: shukla.io

• Theoretical computer science
• Logic in computer science
• Logic programming
• Mathematics
• Mathematical logic
• Fluent
• Situation calculus
• Event calculus
• Utility
• Artificial neural network
• Robotics
• Robot

Crypto Hardware 加密硬件 Ethereum Meetup – Shenzhen – July 29th, 2017 Lionello Lunesu 李欧 Enuma Technologies Limited WeChat微信号：lionello

Source URL: blog.enuma.io

Die shipcloud GmbH stellt Ihren Kunden im Zuge der Registrierung eine Vereinbarung zur Auftragsverarbeitung nach Art. 28 DS-GVO zum Abschluss zur Verfügung, die an dieser Stelle nur zu Informationszwecken dargestellt wi

Source URL: www.shipcloud.io

LNCSSPT: Storyboard Programming Tool

Source URL: rishabhmit.bitbucket.io

• Computer programming
• Software engineering
• Computing
• Data types
• Recursion
• Binary trees
• Theoretical computer science
• Subroutines
• Linked list
• Tree
• Binary search tree
• ALGOL 68

Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan ETH Zurich Yuri Meshman

Source URL: practicalsynthesis.github.io

• Concurrency control
• Edsger W. Dijkstra
• Flag
• Vexillology
• Mutual exclusion
• Computer programming
• Critical section
• Thread
• Computing
• Software engineering
• Peterson's algorithm
• Lamport's bakery algorithm

Neural Machine Translation for Query Construction and Composition Tommaso Soru 1 Edgard Marx 1 Andr´e Valdestilhas 1 Diego Esteves 2 Diego Moussallem 1 Gustavo Publio 1 Abstract Research on question answering with know

Source URL: uclmr.github.io

• Computing
• Computational linguistics
• Linguistics
• Information science
• Artificial neural network
• SPARQL
• Semantic parsing
• Word-sense disambiguation
• Semantic Web
• Natural language processing
• Query language
• Question answering

TECHSPECS WHITEPAPER WWW.TECHSPECS.IO Table Of Contents Executive Summary…..……………………………………………………………………………………….………….…3

Source URL: icorating.com

• E-commerce
• Online marketplace
• Consumer electronics

Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae Sicun Gao

Source URL: scungao.github.io

妖精购物街（PixieCoin）白皮书 版本 V.0.9 妖精购物街项目组 目 录

Source URL: www.pixiecoin.io