91![Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin](https://www.pdfsearch.io/img/28e15f347aa592876ea61375efa49240.jpg) | Add to Reading ListSource URL: symbolaris.comLanguage: English - Date: 2018-02-19 21:13:22
|
---|
92![The future is here Project Ubin: SGD on Distributed Ledger A report developed with the contributions of Bank of America Merrill Lynch, BCS Information Systems, Credit Suisse, DBS Bank, HSBC, J.P. Morgan, Mitsubishi UFJ F The future is here Project Ubin: SGD on Distributed Ledger A report developed with the contributions of Bank of America Merrill Lynch, BCS Information Systems, Credit Suisse, DBS Bank, HSBC, J.P. Morgan, Mitsubishi UFJ F](https://www.pdfsearch.io/img/aa518337b97d32042463ebd3ec0849a0.jpg) | Add to Reading ListSource URL: www.mas.gov.sgLanguage: English - Date: 2017-05-26 06:14:36
|
---|
93![All Your Cards Are Belong To Us: Understanding Online Carding Forums Andreas Haslebacher, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.stringhini}@cs All Your Cards Are Belong To Us: Understanding Online Carding Forums Andreas Haslebacher, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.stringhini}@cs](https://www.pdfsearch.io/img/96379f3bc867e2f89573196bec720344.jpg) | Add to Reading ListSource URL: jonaolapo.github.ioLanguage: English - Date: 2018-10-25 12:11:25
|
---|
94![International Mathematics Research Notices Advance Access published November 1, 2012 J. Grivaux (2012) “The Hochschild–Kostant–Rosenberg Isomorphism for Quantized Analytic Cycles,” International Mathematics Resea International Mathematics Research Notices Advance Access published November 1, 2012 J. Grivaux (2012) “The Hochschild–Kostant–Rosenberg Isomorphism for Quantized Analytic Cycles,” International Mathematics Resea](https://www.pdfsearch.io/img/9c315a0e70b8b4b2e815cebf4d7afcb7.jpg) | Add to Reading ListSource URL: jgrivaux.perso.math.cnrs.frLanguage: English - Date: 2016-04-27 12:14:31
|
---|
95![Accepted for publication in J. Functional Programming 1 Finger trees: a simple general-purpose data structure Accepted for publication in J. Functional Programming 1 Finger trees: a simple general-purpose data structure](https://www.pdfsearch.io/img/8fb2ff1e109931a637c17e2b46be229f.jpg) | Add to Reading ListSource URL: www.staff.city.ac.ukLanguage: English - Date: 2014-10-28 05:49:57
|
---|
96![Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at](https://www.pdfsearch.io/img/70ee3ac14ada118b31bf4b70b1d9d6ec.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
97![Internet Scale User-Generated Live Video Streaming: The Twitch Case Jie Deng, Gareth Tyson, Felix Cuadrado, and Steve Uhlig Queen Mary University of London, UK {j.deng,gareth.tyson,felix.cuadrado,steve.uhlig}@qmul.ac.uk Internet Scale User-Generated Live Video Streaming: The Twitch Case Jie Deng, Gareth Tyson, Felix Cuadrado, and Steve Uhlig Queen Mary University of London, UK {j.deng,gareth.tyson,felix.cuadrado,steve.uhlig}@qmul.ac.uk](https://www.pdfsearch.io/img/885064d8061aabed22360ee0b418f898.jpg) | Add to Reading ListSource URL: www.eecs.qmul.ac.ukLanguage: English - Date: 2017-01-15 07:42:16
|
---|
98![Proceedings on Privacy Enhancing Technologies ; ):37–61 Sheharbano Khattak*, Tariq Elahi*, Laurent Simon, Colleen M. Swanson, Steven J. Murdoch, and Ian Goldberg SoK: Making Sense of Censorship Resistance Syst Proceedings on Privacy Enhancing Technologies ; ):37–61 Sheharbano Khattak*, Tariq Elahi*, Laurent Simon, Colleen M. Swanson, Steven J. Murdoch, and Ian Goldberg SoK: Making Sense of Censorship Resistance Syst](https://www.pdfsearch.io/img/83435d8162632c953979607c305853d3.jpg) | Add to Reading ListSource URL: sheharbano.comLanguage: English - Date: 2017-02-16 07:58:22
|
---|
99![1 Draft of Jamieson, J., & Boase, JListening to social rhythms: Exploring interactional, time stamped data using sonification. In L. Sloan and A. Quan-Haase (Eds.), The SAGE handbook of social media research me 1 Draft of Jamieson, J., & Boase, JListening to social rhythms: Exploring interactional, time stamped data using sonification. In L. Sloan and A. Quan-Haase (Eds.), The SAGE handbook of social media research me](https://www.pdfsearch.io/img/9f7bca6f2b80e35a5ad42c4a4bde8c0e.jpg) | Add to Reading ListSource URL: individual.utoronto.caLanguage: English - Date: 2017-09-21 13:37:55
|
---|
100![Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science](https://www.pdfsearch.io/img/17d966abe713f4f5f9a5ec65cca5898b.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2018-05-02 19:51:01
|
---|