.uk - PDFSEARCH.IO - Document Search Engine

.uk
Results: 509634

#	Item
141	FLIP the (Flow) Table: Fast LIghtweight Policy-preserving SDN Updates Stefano Vissicchio∗ , Luca Cittadini† ∗ Universit´e catholique de Louvain † RomaTre University Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Network flow problem Physics Internet architecture Flow network Routing Work
142	PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-12-15 10:57:28 Markov processes Probability Markov models Model checkers PRISM model checker Model checking Markov reward model Markov chain Markov decision process Probabilistic CTL Prism
143	PDF Document Add to Reading List Source URL: www.agendapoetry.co.uk - Date: 2018-01-11 04:42:46
144	Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-12-22 18:19:34 Statistical randomness Temporal logic Theoretical computer science Probability Markov models Model checkers Markov processes Model checking PRISM model checker Markov decision process Linear temporal logic Computation tree logic
145	Microsoft Word - fpw_scanj_revision.doc Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2008-04-25 06:42:44 Education Human behavior Educational stages Tertiary education Training Apprenticeship Occupations Vocational education Electrician Vocational school Master craftsman
146	Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-18 11:48:39 Markov models Concurrency Graph theory Markov chain Stochastic Petri net Computing Mathematics Formal methods
147	Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-10-24 07:08:14 Metaphysics Formal methods Theoretical computer science Modal logic Philosophical logic Predicate abstraction Markov decision process Logic Refinement Abstraction Krivine machine
148	Zero Returns to Compulsory Schooling in Germany: Evidence and Interpretation Jörn-Ste¤en Pischke LSE Till von Wachter Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2006-04-19 09:18:04 Education Secondary education Educational stages Compulsory education Tenth grade Vocational education Education in Germany Ninth grade Student Hauptschule State school Apprenticeship
149	PDF Document Add to Reading List Source URL: distribution.nbni.co.uk - Date: 2016-04-20 08:17:02
150	PDF Document Add to Reading List Source URL: www.trinity.ox.ac.uk - Date: 2015-08-26 09:14:30