Decision - PDFSEARCH.IO - Document Search Engine

Decision
Results: 65562

#	Item
1	Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:17:29 Mathematics Mathematical analysis Mathematical logic Boolean algebra Experiment Measure theory Sigma-algebra Symbol Lie algebras Moschovakis coding lemma Generalised Whitehead product
2	Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith Add to Reading List Source URL: people.engr.ncsu.edu Language: English - Date: 2018-09-14 10:06:51 Ethics Philosophy Emerging technologies Human behavior Professional ethics Codes of conduct Philosophy of life Business ethics Ethical decision Computer ethics Self-driving car Ethical code
3	ANNOUNCEMENT ON MOBIILE PHONE NUMBER TRUNCATION PLAN Dear Valued Customers, Pursuant to Decision No. 798/QD-BTTTT of the Ministry of Information and Communications dated 25 May 2018 on mobile phone number truncation plan Add to Reading List Source URL: www.hsbc.com.vn Language: English - Date: 2018-09-27 04:45:34 Numerical analysis Truncation Telephone numbers Telephone numbers in Vietnam Telephone numbers in the United Kingdom
4	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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:12:50 Mathematics Mathematical analysis Dynamic programming Markov processes Stochastic control Probability Markov decision process Sigma-algebra P versus NP problem Reinforcement learning
5	SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Multiplexing T-carrier Schedule
6	Israel: Military Court Decision on Killing Neutralized Palestinian Assailant Add to Reading List Source URL: www.loc.gov Language: English - Date: 2017-02-03 09:47:55 Israel State of Palestine English criminal law Hebron shooting incident Military justice Manslaughter in English law Law Justice Common law Wave of violence in Israeli-Palestinian conflict
7	Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-15 09:37:52 Logic 120-cell Linear temporal logic Substitution Markov decision process Symbol Theoretical computer science Mathematical logic
8	Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-04 06:58:47
9	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:48:09 Mathematics Linear temporal logic Temporal logic Mathematical logic Symbol Structure Model theory Distribution operator
10	Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Computability theory Mathematics Mathematical logic Theory of computation Computable number Decision problem Computable function NC Continuous function First-order logic Real closed field Limit of a function