51![](https://www.pdfsearch.io/img/bed24a2b64ec482a347fc7f21c8b2a7b.jpg) | Add to Reading ListSource URL: distribution.nbni.co.uk- Date: 2016-04-20 08:17:21
|
---|
52![Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt](https://www.pdfsearch.io/img/bd46895409190156de4170eb328ac414.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2018-02-20 10:22:48
|
---|
53![12 Supporting like-minded projects. Providing a mutual aid network; 12 Supporting like-minded projects. Providing a mutual aid network;](https://www.pdfsearch.io/img/8d99ee053c8b68d3b24c14772272dcc8.jpg) | Add to Reading ListSource URL: www.radicalroutes.org.ukLanguage: English - Date: 2017-02-28 18:06:11
|
---|
54![On the Size of Pairing-based Non-interactive Arguments? Jens Groth?? University College London, UK Abstract. Non-interactive arguments enable a prover to convince a verifier that a statement is true. R On the Size of Pairing-based Non-interactive Arguments? Jens Groth?? University College London, UK Abstract. Non-interactive arguments enable a prover to convince a verifier that a statement is true. R](https://www.pdfsearch.io/img/92039a2b26b0c794793ccceeea4e81df.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2016-05-31 08:55:32
|
---|
55![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
|
---|
56![International Journal of Robotics 36(12):1312–1340 c The Author(sReprints and permission: sagepub.co.uk/journalsPermissions.nav International Journal of Robotics 36(12):1312–1340 c The Author(sReprints and permission: sagepub.co.uk/journalsPermissions.nav](https://www.pdfsearch.io/img/7d35ff73b960ef5097d7798d83a00e54.jpg) | Add to Reading ListSource URL: symbolaris.comLanguage: English - Date: 2018-02-19 21:17:33
|
---|
57![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
|
---|
58![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
|
---|
59![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
|
---|
60![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
|
---|