51![Sleep Deprivation and Information Integration The Effects of Sleep Deprivation on Information-Integration Categorization Performance W. Todd Maddox, PhD1,2; Brian D. Glass, BS1; Sasha M. Wolosin, BS1; Zachary R. Savarie Sleep Deprivation and Information Integration The Effects of Sleep Deprivation on Information-Integration Categorization Performance W. Todd Maddox, PhD1,2; Brian D. Glass, BS1; Sasha M. Wolosin, BS1; Zachary R. Savarie](https://www.pdfsearch.io/img/fc4aeb0058696f4b64fc7e350e17c973.jpg) | Add to Reading ListSource URL: www.homepages.ucl.ac.ukLanguage: English - Date: 2014-01-17 10:18:12
|
---|
52![Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exa Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exa](https://www.pdfsearch.io/img/db1367f29d326bf3faa5c30345d930fd.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-04-21 06:03:55
|
---|
53![24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨ 24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨](https://www.pdfsearch.io/img/3777c3d5107718598dd74dbb3c644026.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:35
|
---|
54![Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2 Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2](https://www.pdfsearch.io/img/9110e2a7508f936b79ba681c030d525c.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-05-09 09:40:14
|
---|
55![The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin](https://www.pdfsearch.io/img/9b249e40f023970a1a04cd88fb167811.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-02 12:35:21
|
---|
56![Incremental Runtime Verification of Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , Hongyang Qu1 , and Mateusz Ujma1 1 Incremental Runtime Verification of Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , Hongyang Qu1 , and Mateusz Ujma1 1](https://www.pdfsearch.io/img/0cb81f09a7ee29822e6b36c4f04ce58b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-08-15 08:49:17
|
---|
57![54th Annual Conference of the Royal Musical Association University of Bristol, Department of Music – Programme overview without abstracts – Thursday, 13th September:30 am – 5:00 pm: Registration (Foyer) 54th Annual Conference of the Royal Musical Association University of Bristol, Department of Music – Programme overview without abstracts – Thursday, 13th September:30 am – 5:00 pm: Registration (Foyer)](https://www.pdfsearch.io/img/3885746bf97c836900c3dba40f769da7.jpg) | Add to Reading ListSource URL: www.bristol.ac.ukLanguage: English - Date: 2018-09-12 13:42:24
|
---|
58![Beyond the Best: Real-Time Non-Invasive Collection of BGP Messages Stefano Vissicchio Luca Cittadini Maurizio Pizzonia Luca Vergantini Valerio Mezzapesa Beyond the Best: Real-Time Non-Invasive Collection of BGP Messages Stefano Vissicchio Luca Cittadini Maurizio Pizzonia Luca Vergantini Valerio Mezzapesa](https://www.pdfsearch.io/img/3f31bf08ac962abe4815269977d5750d.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English - Date: 2016-11-17 12:53:02
|
---|
59![A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas](https://www.pdfsearch.io/img/e7ce247cfaa4154e04d07aaebe07c965.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:44
|
---|
60![1 “I Can’t Get No Satisfaction”: Helping Autonomous Systems Identify Their Unsatisfied Inter-domain Interests Juan Camilo Cardona, Stefano Vissicchio, Paolo Lucente, and Pierre Francois 1 “I Can’t Get No Satisfaction”: Helping Autonomous Systems Identify Their Unsatisfied Inter-domain Interests Juan Camilo Cardona, Stefano Vissicchio, Paolo Lucente, and Pierre Francois](https://www.pdfsearch.io/img/4407b3da44ddbfe7b515520a1b7135bc.jpg) | Add to Reading ListSource URL: inl.info.ucl.ac.beLanguage: English - Date: 2018-05-31 05:55:58
|
---|