1![Functional Programming for Compiling and Decompiling Computer-Aided Design Functional Programming for Compiling and Decompiling Computer-Aided Design](https://www.pdfsearch.io/img/17d148fdedd1d70503e5c5020aaf456a.jpg) | Add to Reading ListSource URL: ttaylorr.comLanguage: English - Date: 2018-10-18 11:59:59
|
---|
2![A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017](https://www.pdfsearch.io/img/5fdb192c08a94a4ec86e79f2036b6622.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-09-19 11:02:58
|
---|
3![A Plague of Viruses: Biological, Computer and Marketing12 Jeffrey Boase and Barry Wellman Abstract We analyze the transfer of biological, computer and marketing viruses. Despite differences between these three types of v A Plague of Viruses: Biological, Computer and Marketing12 Jeffrey Boase and Barry Wellman Abstract We analyze the transfer of biological, computer and marketing viruses. Despite differences between these three types of v](https://www.pdfsearch.io/img/738c3e42a80733ef373b488cb0e1cf5f.jpg) | Add to Reading ListSource URL: individual.utoronto.caLanguage: English - Date: 2017-09-21 13:37:53
|
---|
4![Advance Access publication February 4, 2015 Political Analysis:254–277 doi:pan/mpu019 Computer-Assisted Text Analysis for Comparative Politics Advance Access publication February 4, 2015 Political Analysis:254–277 doi:pan/mpu019 Computer-Assisted Text Analysis for Comparative Politics](https://www.pdfsearch.io/img/476571372077a7f408141969ad291bbe.jpg) | Add to Reading ListSource URL: scholar.harvard.eduLanguage: English - Date: 2017-01-29 16:19:28
|
---|
5![Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science](https://www.pdfsearch.io/img/c4895d09a9e90f6d94f2801841c74150.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-05-05 07:38:02
|
---|
6![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
|
---|
7![Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,](https://www.pdfsearch.io/img/9cf4c03e043b852604fe480de929af96.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2016-04-24 16:51:40
|
---|
8![The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University](https://www.pdfsearch.io/img/aac26d80dfbf893d8eb5122afb0fb006.jpg) | Add to Reading ListSource URL: thev.netLanguage: English - Date: 2011-02-09 02:39:42
|
---|
9![Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/47ee5d91acbc665de48bb2a25c4259f3.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-04 05:12:57
|
---|
10![Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗ Department of Computer Science Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗ Department of Computer Science](https://www.pdfsearch.io/img/75ae78e05b27a7123314a3b05ebbec1c.jpg) | Add to Reading ListSource URL: aidanhogan.comLanguage: English - Date: 2015-03-23 10:08:58
|
---|