Uh and um in Children With Autism Spectrum Disorders or Language Impairment

Source URL: alison.rbind.io

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

IEEE ROBOTICS AND AUTOMATION LETTERS. PREPRINT VERSION. ACCEPTED DECEMBER, Accurate Angular Velocity Estimation With an Event Camera

Source URL: rpg.ifi.uzh.ch

• Mechanics
• Physics
• Mechanical engineering
• Rotation
• Physical quantities
• Angle
• Angular frequency
• Rotation around a fixed axis
• Rigid body dynamics
• Cosmic distance ladder
• Omega

Neelie Kroes videomessage to Angel Investors – November 2013 "Today in Europe, we must do all we can to tackle rising unemployment, and stimulate weak growth. I know digital technology holds the answer with a huge gro

Source URL: www.businessangelsweek.org

• Economy
• European Union competition law
• Business
• Neelie Kroes
• Competition
• Startup company
• Kroes
• European Commissioner for Competition

Survivors of assault and abuse often live in constant fear. Their days are filled with anxiety, knowing that their abuser or attacker might strike again. Sadly, this is a scenario many Iowans face every day. More than 3,

Source URL: safeathome.iowa.gov

• Human behavior
• Violence
• Abuse
• Crimes
• Rape
• Violence against women
• Sexual abuse
• Domestic violence
• Sexual assault
• Address confidentiality program
• Stalking

Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

Source URL: jorgenavas.github.io

• Finite automata
• DFA minimization
• Deterministic automaton
• Finite-state machine
• Theoretical computer science
• Muller automaton
• Bchi automaton

Differentially Private, Bounded-Loss Prediction Markets Bo Waggoner UPenn→Microsoft with Rafael Frongillo

Source URL: www.bowaggoner.com

• Financial markets
• Forecasting
• Market
• Prediction market
• Social information processing
• Survey methodology
• Market maker

THE LARGE-SCALE GEOMETRY OF LOCALLY COMPACT SOLVABLE GROUPS ROMAIN TESSERA Abstract. This short survey deals with the large-scale geometry of solvable groups. Instead of giving a global overview of this wide subject, we

Source URL: www.normalesup.org

• Geometry
• Mathematics
• Group theory
• Geometric group theory
• Dehn function
• Amenable group
• Nilpotent group
• Lattice
• Solvable group
• Quasi-isometry
• Kazhdan's property
• Distribution

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Plugging a Space Leak with an Arrow Hai Liu and Paul Hudak1

Source URL: thev.net

• Declarative programming
• Software engineering
• Lambda calculus
• Functional programming
• Physics
• Combinatory logic
• Logic in computer science
• Functional reactive programming
• Work
• Higher-order function
• Unfolding

Solvency Markov Decision Processes with Interest Tomáš Brázdil∗1 , Taolue Chen2 , Vojtěch Forejt†3 , Petr Novotný1 , and Aistis Simaitis3 1 2 3

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Mathematical analysis
• Dynamic programming
• Markov processes
• Stochastic control
• Probability
• Markov decision process
• Sigma-algebra
• P versus NP problem
• Reinforcement learning