United - PDFSEARCH.IO - Document Search Engine

United
Results: 2363957

#	Item
41	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-04-04 09:30:36 Probability theory Statistical randomness Probability Markov models Stochastic game Markov chain Determinacy Game theory Strategy Probabilistic automaton Markov decision process Stochastic process
42	Carpenter v. United States) Add to Reading List Source URL: www.supremecourt.gov Language: English - Date: 2018-06-22 08:31:39 Law Case law Privacy law Privacy of telecommunications Surveillance Carpenter v. United States Katz v. United States United States v. Jones Third-party doctrine Riley v. California Expectation of privacy Fourth Amendment to the United States Constitution
43	National Quantum Initiative Act The National Quantum Initiative Act establishes a federal program to accelerate quantum research and development for the United States’ economic and national security. Quantum Informatio Add to Reading List Source URL: science.house.gov Language: English - Date: 2018-06-12 17:38:57 Theoretical computer science Quantum information science Emerging technologies Physics Quantum cryptography Quantum mechanics Quantum computing Quantum technology Quantum information Quantum network Pittsburgh Quantum Institute
44	Report of the Center for Reproductive Rights on the Nomination of Judge Brett Kavanaugh to be Associate Justice of the United States Supreme Court August 30, 2018 Add to Reading List Source URL: www.reproductiverights.org Language: English - Date: 2018-08-30 06:22:22 Supreme Court of the United States Case law Law Brett Kavanaugh Sexual revolution Pro-choice movement Azar v. Garza Abortion in the United States Roe v. Wade Whole Woman's Health v. Hellerstedt Abortion-rights movements Reproductive rights
45	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:42:36 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
46	Thesis Abstract: Constructing Heuristics for PDDL+ Planning Domains Wiktor Piotrowski Supervised by: Daniele Magazzeni and Maria Fox Department of Informatics King’s College London United Kingdom Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:38 Automated planning and scheduling Artificial intelligence Planning Domain Definition Language Mathematical optimization Model checking Heuristic Motion planning Genetic algorithm Protein domain Cognitive science Learning
47	00 September 4, 2018 The Honorable Charles E. Grassley, Chair Committee on the Judiciary United States Senate Add to Reading List Source URL: womenlawyersonguard.org Language: English - Date: 2018-09-04 16:15:34 Brett Kavanaugh United States Court of Appeals for the District of Columbia Circuit 21st century in the United States United States Washington D.C. Roger Brown
48	Chainspace: A Sharded Smart Contracts Platform Mustafa Al-Bassam∗ , Alberto Sonnino∗ , Shehar Bano∗ , Dave Hrycyszyn† and George Danezis∗ ∗ University College London, United Kingdom † constructiveproof.com Add to Reading List Source URL: sheharbano.com Language: English - Date: 2018-04-25 05:23:47 Computing Cryptocurrencies Transaction processing Data management Data Blockchains Information Alternative currencies Two-phase commit protocol Database transaction Consensus Ethereum
49	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-06-19 11:02:11 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
50	No ================================================================ In The Supreme Court of the United States Add to Reading List Source URL: 15ycf92lfvue3pm0as2w6tec-wpengine.netdna-ssl.com Language: English - Date: 2017-08-15 19:56:24 Law Case law Privacy law Searches and seizures Surveillance United States v. Jones Fourth Amendment to the United States Constitution Expectation of privacy Riley v. California Privacy Kyllo v. United States Louis Brandeis