ARIA - PDFSEARCH.IO - Document Search Engine

ARIA
Results: 1485

#	Item
1	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
2	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: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-25 05:07:53 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
3	Add to Reading List Source URL: www.growbots.com Language: English - Date: 2018-06-19 06:08:59 Marketing Computing Business economics HTML5 Scalable Vector Graphics XLink Stroke Sales process engineering Inbound marketing Internal combustion engine
4	PDF Document Add to Reading List Source URL: www.asso-aria.org - Date: 2017-11-24 00:32:09
5	Osservazioni alla Bozza di Strategia Energetica Nazionale C1 Sulla mancanza dell’obiettivo principale “qualità dell’aria” Add to Reading List Source URL: www.aspoitalia.it Language: Italian - Date: 2014-03-07 05:01:21
6	ACQUARIA – 22 ottobre, Verona Ritorna a Veronafiere l’appuntamento con le Tecnologie per Analisi, Distribuzione e Trattamento dell’Acqua e dell’Aria Milano, 12 dicembre 2008 – La seconda edizione di ACQ Add to Reading List Source URL: www.eiomfiere.it Language: Italian - Date: 2009-01-15 11:48:02
7	Toward Practical Homomorphic Evaluation of Block Ciphers Using Prince Yarkın Dor¨oz, Aria Shahverdi, Thomas Eisenbarth, and Berk Sunar Worcester Polytechnic Institute {ydoroz,ashahverdi,teisenbarth,sunar}@wpi.edu Add to Reading List Source URL: www.chi.uni-hannover.de Language: English - Date: 2014-03-07 11:05:16
8	I MPULSE -R ESPONSE AND CAD-M ODEL -B ASED P HYSICAL M ODELING IN FAUST P.-A. G RUMIAUX , R. M ICHON , E. G ALLEGO A RIAS AND P. J OUVELOT , , {emilio.gallego_aria Add to Reading List Source URL: www.cri.mines-paristech.fr Language: English - Date: 2018-02-07 05:02:15
9	ARIA Roman Turovsky-Savchuk À c Add to Reading List Source URL: polyhymnion.org Language: Romanian - Date: 2017-04-30 13:23:22
10	ARIA Gotthold Ephraim.Sautscheck À Á Add to Reading List Source URL: polyhymnion.org Language: Romanian - Date: 2008-08-04 08:08:07

UPDATE