Appointment of Chair in Computational Intelligence for Software Engineering

First Page		Document Content
Date: 2014-09-15 05:50:53 Russell Group University of Engineering and Technology Taxila Australian National University Computer science University of Birmingham Electromagnetism Higher education Engineering Carnegie Mellon School of Computer Science Department of Computer Science		Appointment of Chair in Computational Intelligence for Software Engineering Add to Reading List Source URL: www.cercia.ac.uk Download Document from Source Website File Size: 1,04 MB Share Document on Facebook

	Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science DocID: 1xW0O - View Document
	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 DocID: 1xW0E - View Document
	The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University DocID: 1xVYc - View Document
	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 DocID: 1xVY6 - View Document
	Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗ Department of Computer Science DocID: 1xVXr - View Document