Norman - PDFSEARCH.IO - Document Search Engine

Norman
Results: 6691

#	Item
1	Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-06-22 09:34:32 Mathematics Temporal logic Mathematical analysis Mathematical logic Formal languages Model theory Generalized functions Computation tree logic Logic in computer science Linear temporal logic Interpretation IP
2	Probabilistic Model Checking of Complex Biological Pathways John Heath a , Marta Kwiatkowska b,? , Gethin Norman b , David Parker b , Oksana Tymchyshyn c a School Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-12-19 10:53:34 Cell biology Biology Cell signaling Tyrosine kinase receptors Signal transduction Proteins Phosphorus Fibroblast growth factor receptor GRB2 MAPK/ERK pathway Fibroblast growth factor FRS2
3	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
4	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
5	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
6	Probabilistic Mobile Ambients Marta Kwiatkowskaa , Gethin Norman∗,a , David Parkera , Maria Grazia Vigliottib a Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD of Computing, Imperi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-01-19 04:25:05 Mathematics Mathematical logic Theoretical computer science Logic in computer science Temporal logic Process calculi Ambient calculus Computation tree logic Bisimulation Propositional calculus Distribution Well-formed formula
7	Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-04-16 06:37:28 Dynamic programming Markov decision process Stochastic control Symbol PP Probability and statistics Probability Theoretical computer science Models of computation
8	T DR AF Quantitative Verification Techniques for Biological Processes Marta Kwiatkowska, Gethin Norman, and David Parker Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-01-12 07:51:06 Protein kinases Cell biology Biology Signal transduction Cell signaling Biochemistry Mitogen-activated protein kinase kinase Mitogen-activated protein kinase MAPK phosphatase Mitogen MAP kinase kinase kinase
9	Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-10-20 08:29:16 Network architecture Distributed computing Gossip protocol PRISM model checker Computing Application software Distributed data storage Software Game theory
10	PDF Document Add to Reading List Source URL: paleo.anglo-norman.org - Date: 2003-01-01 03:44:24