Computer

Results: 301026



#Item
1Functional Programming for Compiling and Decompiling Computer-Aided Design

Functional Programming for Compiling and Decompiling Computer-Aided Design

Add to Reading List

Source URL: ttaylorr.com

Language: English - Date: 2018-10-18 11:59:59
2A 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

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-09-19 11:02:58
3A 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

Add to Reading List

Source URL: individual.utoronto.ca

Language: English - Date: 2017-09-21 13:37:53
4Advance 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

Add to Reading List

Source URL: scholar.harvard.edu

Language: English - Date: 2017-01-29 16:19:28
5Poster: 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

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-05-05 07:38:02
6Reachability 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

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2018-05-14 04:41:41
7Quantitative 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,

Add to Reading List

Source URL: www.prismmodelchecker.org

Language: English - Date: 2016-04-24 16:51:40
8The 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

Add to Reading List

Source URL: thev.net

Language: English - Date: 2011-02-09 02:39:42
9Static 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

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-07-04 05:12:57
10Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗  Department of Computer Science

Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗ Department of Computer Science

Add to Reading List

Source URL: aidanhogan.com

Language: English - Date: 2015-03-23 10:08:58