Computer - PDFSEARCH.IO - Document Search Engine

Computer
Results: 301026

#	Item
1	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 3D computer graphics Computer graphics Computer-aided engineering Polygon mesh STL Constructive solid geometry 3D modeling Mesh Geometry processing
2	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 I1 Garbage collection
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 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2017-09-21 13:37:53 Virology Microbiology Computer viruses Biology Security Virus Influenza HIV Antivirus software Viral marketing Comparison of computer viruses Viral neuronal tracing
4	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 Computational linguistics Linguistics Natural language processing Applied linguistics Statistical natural language processing Corpus linguistics Artificial intelligence applications Topic model Machine translation Document-term matrix Latent Dirichlet allocation Text corpus
5	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
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 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
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, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-04-24 16:51:40 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
8	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
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 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
10	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

UPDATE