11![CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A](https://www.pdfsearch.io/img/c717133c83549641701f8e6f0305a7c0.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 15:56:37
|
---|
12![Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers](https://www.pdfsearch.io/img/eb5be622cbd48cc120efd3ae96551c11.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-05-14 04:41:41
|
---|
13![Checklist for applications for ordinary internet domain names with a .swiss ending A customer advisory service for the internet ending .swiss is incumbent on accredited registrars or resellers which are listed at www.nic Checklist for applications for ordinary internet domain names with a .swiss ending A customer advisory service for the internet ending .swiss is incumbent on accredited registrars or resellers which are listed at www.nic](https://www.pdfsearch.io/img/591cbc4407dbff7adeeda94f0b3151b5.jpg) | Add to Reading ListSource URL: dot.swissLanguage: English - Date: 2018-03-31 11:44:22
|
---|
14![EXPERT PREDICTS EVERY DAY TRENDS THAT WON’T EXIST IN THE FUTURE Trends expert Jacqui Ma works with BACARDÍ® rum and Lonely Whale to look at the obscure trends that haven’t made it to 2018 and reveals the things she EXPERT PREDICTS EVERY DAY TRENDS THAT WON’T EXIST IN THE FUTURE Trends expert Jacqui Ma works with BACARDÍ® rum and Lonely Whale to look at the obscure trends that haven’t made it to 2018 and reveals the things she](https://www.pdfsearch.io/img/3386fadceb4acfab176e2ee926c4c8f5.jpg) | Add to Reading ListSource URL: d3bbd6es2y3ctk.cloudfront.netLanguage: English - Date: 2018-08-21 12:43:02
|
---|
15![6 OctoberIPCC SR1.5 Changes to the Underlying Scientific-Technical Assessment to ensure consistency with the approved Summary for Policymakers 6 OctoberIPCC SR1.5 Changes to the Underlying Scientific-Technical Assessment to ensure consistency with the approved Summary for Policymakers](https://www.pdfsearch.io/img/76f66334a4e3d5716dd57336e1c09a33.jpg) | Add to Reading ListSource URL: report.ipcc.chLanguage: English - Date: 2018-10-07 20:49:31
|
---|
16![Efficient Traffic Routing with Progress Guarantees Stefan Blumer Manuel Eichelberger Roger Wattenhofer Efficient Traffic Routing with Progress Guarantees Stefan Blumer Manuel Eichelberger Roger Wattenhofer](https://www.pdfsearch.io/img/4f80fb3ede6d1f3b384cdf7511abddd2.jpg) | Add to Reading ListSource URL: www.tik.ee.ethz.chLanguage: English - Date: 2018-08-16 04:03:22
|
---|
17![A mixed-methods framework for analyzing text data: Integrating computational techniques with qualitative methods in demography A mixed-methods framework for analyzing text data: Integrating computational techniques with qualitative methods in demography](https://www.pdfsearch.io/img/05d849e244c543c11527d02bd7b0aca9.jpg) | Add to Reading ListSource URL: www.demographic-research.orgLanguage: English - Date: 2017-11-01 05:07:43
|
---|
18![MB Type One-Person Font License (1) This license covers one person: you, the license owner. Below, I’ll shorten this to “you.” (2) I, Matthew Butterick (d/b/a MB Type), own the fonts delivered with this license. Be MB Type One-Person Font License (1) This license covers one person: you, the license owner. Below, I’ll shorten this to “you.” (2) I, Matthew Butterick (d/b/a MB Type), own the fonts delivered with this license. Be](https://www.pdfsearch.io/img/0b421367df512a0f2274543debf1e1e1.jpg) | Add to Reading ListSource URL: typographyforlawyers.comLanguage: English - Date: 2016-07-29 13:14:17
|
---|
19![Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London](https://www.pdfsearch.io/img/d5b1cfda83662865c6ec829782d02c18.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-09 08:09:33
|
---|
20![Thinking Fast and Slow with Deep Learning and Tree Search Thomas Anthony1, , Zheng Tian1 , and David Barber1,2 arXiv:1705.08439v4 [cs.AI] 3 Dec 2017 Thinking Fast and Slow with Deep Learning and Tree Search Thomas Anthony1, , Zheng Tian1 , and David Barber1,2 arXiv:1705.08439v4 [cs.AI] 3 Dec 2017](https://www.pdfsearch.io/img/7a08d54ba6f3ed839d87b38878ec73e6.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2017-12-04 21:14:29
|
---|