481![Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1 Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1](https://www.pdfsearch.io/img/0ccdf46211064e80566d62adb9739d10.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2014-03-24 08:41:21
|
---|
482![We know (nearly) nothing! But can we learn? Stephan Schulz DHBW Stuttgart We know (nearly) nothing! But can we learn? Stephan Schulz DHBW Stuttgart](https://www.pdfsearch.io/img/250622303b95f23cf42f9bbb616fc4dd.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:46
|
---|
483![Noname manuscript No. (will be inserted by the editor) Programming Discrete Distributions with Chemical Reaction Networks Luca Cardelli · Marta Kwiatkowska · Luca Laurenti Noname manuscript No. (will be inserted by the editor) Programming Discrete Distributions with Chemical Reaction Networks Luca Cardelli · Marta Kwiatkowska · Luca Laurenti](https://www.pdfsearch.io/img/79e75abab6357fbe1121ea788a4811a0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-12-06 07:00:48
|
---|
484![Farewell to Servers: Hardware, Software, and Network Approaches towards Datacenter Resource Disaggregation Yiying Zhang Farewell to Servers: Hardware, Software, and Network Approaches towards Datacenter Resource Disaggregation Yiying Zhang](https://www.pdfsearch.io/img/bcb2e77b612ec09cd4411b1ce9639285.jpg) | Add to Reading ListSource URL: prof.ict.ac.cn- Date: 2018-04-01 04:31:27
|
---|
485![Stroboscope: Declarative Network Monitoring on a Budget Olivier Tilmans Université catholique de Louvain Stroboscope: Declarative Network Monitoring on a Budget Olivier Tilmans Université catholique de Louvain](https://www.pdfsearch.io/img/ae514a90108212deeda81a4f7bf6084f.jpg) | Add to Reading ListSource URL: inl.info.ucl.ac.beLanguage: English - Date: 2018-05-31 05:55:45
|
---|
486![Resource disaggregation for the 99% Irina Calciu, Aasheesh Kolli, Jayneel Gandhi, Stanko Novakovic, Marcos K. Aguilera, Rajesh Venkatasubramanian, Pratap Subrahmanyam Resource disaggregation for the 99% Irina Calciu, Aasheesh Kolli, Jayneel Gandhi, Stanko Novakovic, Marcos K. Aguilera, Rajesh Venkatasubramanian, Pratap Subrahmanyam](https://www.pdfsearch.io/img/b48c34acd0d5b5350d69b8e1178dbc0a.jpg) | Add to Reading ListSource URL: workshops.inf.ed.ac.ukLanguage: English - Date: 2018-04-02 13:45:56
|
---|
487![Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muffy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1 Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muffy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1](https://www.pdfsearch.io/img/06c2aecf0ee8ede864786d5688d75ef2.jpg) | Add to Reading ListSource URL: www.dcs.ed.ac.ukLanguage: English - Date: 2006-11-20 08:52:25
|
---|
488![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 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](https://www.pdfsearch.io/img/073d72645743e6c21739b8fd1be25671.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-10-20 08:29:16
|
---|
489![Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford](https://www.pdfsearch.io/img/aa1fff0eaf0c4af9296b8b6f106d5e2f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-07-24 04:40:17
|
---|
490![Agent Verification Workshop — Panel University of Liverpool, 11th September 2015
Agent Verification Workshop — Panel Panelists: Agent Verification Workshop — Panel University of Liverpool, 11th September 2015
Agent Verification Workshop — Panel Panelists:](https://www.pdfsearch.io/img/b51f4eeecf2884fdfea50770a1a03251.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-11-05 09:33:23
|
---|