University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
691	Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-06-25 05:08:25 Mathematical analysis Temporal logic Mathematics Computation tree logic Logic in computer science Determinacy Distribution Linear temporal logic Universal representation
692	From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A Schett Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:17:22 Mathematics Graph theory Theoretical computer science Mathematical logic Graph Rewriting Kruskal's tree theorem
693	SDX-Based Flexibility or Internet Correctness? Pick Two! R¨udiger Birkner, Arpit Gupta?, Nick Feamster?, Laurent Vanbever ETH Z¨urich ?Princeton University Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2017-04-17 08:02:50 Internet architecture Computing Internet Network architecture Border Gateway Protocol Forwarding plane IP routing Routing Control plane Cyclone Sidr Forwarding Peering
694	Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2014-02-26 06:04:38 Parallel computing Application programming interfaces Computer programming Message Passing Interface Computing Edsger W. Dijkstra Deadlock NC Software engineering Model checking
695	ALLOY AND THE FUTURE OF NETWORKING (MAYBE) Pamela Zave Princeton University Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Computing Network architecture Data transmission Computer networking Multiprotocol Label Switching P4 Packet processing Computer network Internet Protocol Internet protocol suite IPv6 Packet radio
696	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:40:50 Mathematics Formal languages Finite automata Model checking Mathematical logic Omega language Theory of computation Muller automaton Sigma-algebra Tree Structure Measure
697	On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-07-29 05:44:10 Formal methods Model checkers Metaphysics Model checking Theoretical computer science PRISM model checker Computing Refinement Abstraction Markov chain Stochastic
698	Learning Outcomes for Master of Marketing (MM) National Qualification Framework for Iceland Master of Marketing at Reykjavik University Master of Marketing (MM) is a 90 ECTS-credit qualification at master level. It focus Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-06-27 06:38:03 Marketing Education Cognition Human behavior Academic degree Master's degree Research Bachelor's degree Critical thinking Outline of marketing
699	Learning Outcomes for Master of Accounting and Auditing (MACC) National Qualification Framework for Iceland Master in Accounting and Auditing at Reykjavik University The Master in Accounting and Auditing (MACC) at Reykja Add to Reading List Source URL: en.ru.is Language: English - Date: 2017-06-23 07:02:12 Accounting Economy Business Financial accounting Audit International Financial Reporting Standards Auditing Professional accounting bodies Internal audit Materiality Institute of Internal Auditors
700	DASHTrails: An Approach for Modeling and Analysis of Distribution-Adapted Sequential Hypotheses and Trails Martin Atzmueller and Andreas Schmidt and Mark Kibanov University of Kassel, Research Center for Information Syst Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:45:19 Design of experiments Statistics Probability and statistics Markov models Statistical theory Psychometrics Statistical hypothesis testing Graph theory Markov chain Bayesian inference Matrix Data transformation

UPDATE