M - PDFSEARCH.IO - Document Search Engine

M
Results: 408193

#	Item
1	M´emoire d’habilitation: G´eom´etrie `a grande ´echelle et analyse sur les groupes localement compacts 3 janvier 2016 Pr´ Add to Reading List Source URL: www.normalesup.org Language: French - Date: 2016-01-03 06:36:30
2	One-shot learning of generative speech concepts Brenden M. Lake* Chia-ying Lee* James R. Glass Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2014-05-02 16:26:56 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
3	Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Logic Mathematical logic Abstraction Formal languages Syntax Formal systems Proof assistants Type theory Metamath Formal proof Theory OMDoc
4	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 Add to Reading List Source URL: sos.ms.gov Language: English - Date: 2016-01-06 15:46:56 Psychology Meetings Minutes Parliamentary procedure Jackson Mississippi Mississippi Motion Board of directors United States Professional practice of behavior analysis Business
5	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. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 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
6	Election Tuesday, Polling Hours: 6:30 a.m. to 7:30 p.m. Add to Reading List Source URL: www.sos.state.oh.us Language: English - Date: 2018-01-10 13:50:14 Elections Voting Politics Group decision-making Ballot Write-in candidate Electronic voting Vote counting Optical scan voting system Spoilt vote
7	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, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-04-24 16:51:40 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
8	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 Add to Reading List Source URL: sos.ms.gov Language: English - Date: 2017-08-07 16:22:22 Parliamentary procedure Democracy Motion Mississippi United States Second Minutes
9	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 Add to Reading List Source URL: www.fuw.ch Language: English - Date: 2018-09-19 08:17:48 Information technology management Business PricewaterhouseCoopers Business process management Automation Business process modeling Economy Management
10	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 Add to Reading List Source URL: www.mississippi.edu Language: English - Date: 2017-10-04 15:41:38

UPDATE