Scaling up Superoptimization Phitchaya Mangpo Phothilimthana Aditya Thakur

Source URL: pl.eecs.berkeley.edu

• Programming language theory
• Computing
• Software engineering
• Graph connectivity
• Peephole optimization
• Algorithm
• Search algorithm
• Google Search
• Connected component
• ALGOL 68

PDF Document

Source URL: www.kestrel.edu

Adjusting for Confounding with Text Matching∗ Margaret E. Roberts†, Brandon M. Stewart‡, and Richard A. Nielsen§ February 27, 2018¶ Abstract We identify situations in which conditioning on text can address confou

Source URL: scholar.princeton.edu

• Design of experiments
• Causal inference
• Observational study
• Metaphysics
• Statistics
• Estimation theory
• Probability and statistics
• Regression analysis
• Propensity score matching
• Matching
• Confounding
• Average treatment effect

PDF Document

Source URL: www.bjmu.edu.cn

Detecting Task Phases from Power Traces Joseph Granados, Jake Probst, Nick Armour, Jeffrey Bahns, Suzanne Rivoire Sonoma State University Chung-Hsing Hsu

Source URL: rivoire.cs.sonoma.edu

• Machine learning
• Learning
• Artificial intelligence
• Physics
• Image segmentation
• Training
• test
• and validation sets
• K-means clustering
• Data analysis
• Time series
• Phase
• Trace

Elementary Education Bilingual_BS.pdf

Source URL: catalog.southernct.edu

• Large ElectronPositron Collider
• .edu
• Edu

Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases Sandeep Kulkarni* , Murat Demirbas** , Deepak Madeppa** , Bharadwaj Avva** , and Marcelo Leone* *

Source URL: cse.buffalo.edu

• Time
• Measurement
• Synchronization
• Distributed algorithms
• Network Time Protocol
• Clock synchronization
• Vector clock
• Distributed computing
• Ntpd
• Leap second
• Atomic clock
• Unix time

On Dexterity and Dexterous Manipulation

Source URL: www.eng.yale.edu

• Robotics
• Robotic manipulation
• Motor control
• Robot end effector
• Manipulator
• Robonaut
• Dextrous
• Fine motor skill
• Object manipulation
• Robot
• Thumb
• Humanoid robot

James Caldwell Department of Computer Science University of Wyoming Laramie, WYDATE: October 31, 2016

Source URL: www.cs.uwyo.edu

• Automated theorem proving
• Theoretical computer science
• Computing
• Mathematics
• Nuprl
• Interactive Theorem Proving
• Proof assistant
• Robert Lee Constable
• ACL2
• Formal methods
• Computer science
• Automated reasoning

Early Childhood Education_EPC.pdf

Source URL: catalog.southernct.edu

• .edu
• Edu