Department of Computer Science - PDFSEARCH.IO - Document Search Engine

Department of Computer Science
Results: 12626

#	Item
1	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 Computing Computer architecture Android System software Online marketplaces Google Play Intent
2	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 Artificial neural networks Mathematics Computational neuroscience Applied mathematics Mathematical analysis Lipschitz continuity operator Continuous function Gradient descent Convolutional neural network Rectifier Deep learning
3	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 Software engineering Computing Programming paradigms Evaluation strategy Functional programming Computer programming Concurrent programming languages Functional reactive programming Reactive programming Computer architecture Dataflow programming Dataflow
4	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 Computing Computer graphics 3D rendering Video game development Computer programming Graphics hardware Graphics libraries Texture atlas Graphics processing unit Texture mapping Optimizing compiler Rendering
5	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 Graph theory Mathematics Discrete mathematics Morphisms Semantic Web Knowledge representation Graph operations Blank node Cograph Graph homomorphism Graph coloring Resource Description Framework
6	Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:02 Probability and statistics Probability theory Artificial intelligence Machine learning Computational statistics Graphical models Computational linguistics Natural language processing Conditional random field Probabilistic programming language Inference Support vector machine
7	Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu ABSTRACT Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:47:38 Software Computing Digital media Internet search engines Geosocial networking Geographic information systems Recommender system Yelp Local search Geocoding Personal Inc. Database
8	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:59 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
9	Published as a conference paper at ICLRM AKING N EURAL P ROGRAMMING A RCHITECTURES G ENERALIZE VIA R ECURSION Jonathon Cai, Richard Shin, Dawn Song Department of Computer Science Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2017-03-10 19:56:16 Computer programming Software engineering Computing Recursion Computability theory Theoretical computer science Subroutines Algorithms Quicksort Divide and conquer algorithm Recurrent neural network Artificial neural network
10	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic