M´emoire d’habilitation: G´eom´etrie `a grande ´echelle et analyse sur les groupes localement compacts 3 janvier 2016 Pr´

Source URL: www.normalesup.org

One-shot learning of generative speech concepts Brenden M. Lake* Chia-ying Lee* James R. Glass

Source URL: cims.nyu.edu

• Artificial intelligence
• Learning
• Machine learning
• Computational linguistics
• Markov models
• Hierarchical hidden Markov model
• Bayesian statistics
• Speech recognition
• Hidden Markov model
• Dynamic time warping
• Language model
• Speech perception

Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang

Source URL: pxtp.github.io

• Logic
• Mathematical logic
• Abstraction
• Formal languages
• Syntax
• Formal systems
• Proof assistants
• Type theory
• Metamath
• Formal proof
• Theory
• OMDoc

2015 Mississippi Autism Board- Special Meeting MINUTES July 24, 2015 A second, special meeting of the Mississippi Autism Board (“Board”) was called to order on Friday July 24, 2015, at 11:15 a.m. at the Secretary of

Source URL: sos.ms.gov

• Psychology
• Meetings
• Minutes
• Parliamentary procedure
• Jackson
• Mississippi
• Mississippi
• Motion
• Board of directors
• United States
• Professional practice of behavior analysis
• Business

1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.

Source URL: rjoshi.org

• Software engineering
• Formal methods
• Mathematical logic
• Type theory
• Theoretical computer science
• Type systems
• Edsger W. Dijkstra
• Predicate transformer semantics
• Extended static checking
• ESC/Java
• Type inference
• HindleyMilner type system

Election Tuesday, Polling Hours: 6:30 a.m. to 7:30 p.m.

Source URL: www.sos.state.oh.us

• Elections
• Voting
• Politics
• Group decision-making
• Ballot
• Write-in candidate
• Electronic voting
• Vote counting
• Optical scan voting system
• Spoilt vote

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

Mississippi Autism Board July 21, 2017 Meeting Minutes A meeting of the Mississippi Autism Board (“Board”) was called to order on Friday, July 21, 2017, at 10:33 a.m. at the Secretary of State’s Office in the Heber

Source URL: sos.ms.gov

• Parliamentary procedure
• Democracy
• Motion
• Mississippi
• United States
• Second
• Minutes

11 SeptemberData & Analytics in M&A The art of the possible Christian Westermann, Partner, Data & Analytics Leader Dev Singh, Director, Transaction Services and Deals Data Analytics

Source URL: www.fuw.ch

• Information technology management
• Business
• PricewaterhouseCoopers
• Business process management
• Automation
• Business process modeling
• Economy
• Management

M I S S I S S I P P I ’ S BU S I N E S S OCTOBER 2017 Monitoring the state’s economy

Source URL: www.mississippi.edu