Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

Source URL: homes.cs.washington.edu

• Numerical analysis
• Mathematics
• Applied mathematics
• Computing
• Error analysis
• Interval arithmetic
• Round-off error
• Program optimization
• Infinite loop
• Algorithm

Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit

Source URL: parallel.princeton.edu

• Computer architecture
• Manycore processors
• Parallel computing
• Hardware description languages
• Computing
• Verilog
• Electronic engineering
• Computer engineering

The MIT Chemical Engineering Department cordially invites you to attend the MIT Chemical Engineering Reception 2018 Annual AIChE Meeting Monday, October 29th, 2018

Source URL: cheme.mit.edu

Chipping Away at Censorship Firewalls with User-Generated Content Sam Burnett, Nick Feamster, and Santosh Vempala School of Computer Science, Georgia Tech {sburnett, feamster, vempala}@cc.gatech.edu Abstract

Source URL: www.usenix.org

• Computing
• Internet privacy
• Software
• Technology
• Internet censorship
• Text messaging
• Email
• Internet censorship circumvention
• Freenet
• Deep packet inspection
• Steganography
• SMS

Instantiation and Pretending to be an SMT Solver with VAMPIRE ∗ Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Mathematical logic
• Logic
• Automated theorem proving
• Logic in computer science
• Formal methods
• Logic programming
• Predicate logic
• Satisfiability modulo theories
• Unification
• Solver
• Resolution

VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer Yong Kiam Tan

Source URL: www.cs.cmu.edu

• Constructible universe
• Mathematical logic
• Mathematics
• Set theory
• Operator theory
• Partial differential equations
• Proof theory
• Ordinal numbers
• Moschovakis coding lemma
• Symbol

Self-Practice Imitation Learning from Weak Policy Qing Da, Yang Yu, and Zhi-Hua Zhou National Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China {daq,yuy,zhouzh}@lamda.nju.edu.cn

Source URL: cs.nju.edu.cn

• Survey methodology
• Machine learning algorithms
• Sampling techniques
• Artificial intelligence
• Sampling
• Support vector machine
• Reinforcement learning
• Simple random sample
• Learning
• Machine learning
• Cognition

Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA

Source URL: www.kestrel.edu

• Mathematics
• Algebra
• Abstract algebra
• Boolean algebra
• Algebraic structures
• Logic in computer science
• Constraint programming
• Boolean satisfiability problem
• Electronic design automation
• DPLL algorithm
• Conjunctive normal form
• Boolean

Recent Advances in Green Industrial Networking Embracing Big Data with Compressive Sensing: A Green Approach in Industrial Wireless Networks Linghe Kong, Daqiang Zhang, Zongjian He, Qiao Xiang, Jiafu Wan, and Meixia Tao

Source URL: wirelesslab.sjtu.edu.cn

• Wireless networking
• Computing
• Wireless
• Technology
• Wireless sensor network
• Big data
• Internet of things
• Sensor node
• Zigbee
• Collection Tree Protocol
• Smart city
• Crowdsensing

11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Model theory
• Metalogic
• Predicate logic
• Formal methods
• Resolution
• First-order logic
• Skolem normal form
• Automated theorem proving
• Quantifier
• Axiom