Analysis - PDFSEARCH.IO - Document Search Engine

Analysis
Results: 187493

#	Item
1	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
2	ARTICLE IN PRESS Journal of Functional Analysis–133 K-duality for pseudomanifolds with isolated singularities Add to Reading List Source URL: math.univ-bpclermont.fr Language: English - Date: 2018-03-05 11:11:22 Mathematics Algebra Abstract algebra Homotopy theory Category theory Algebraic structures Differential geometry Symmetry Groupoid Lie algebroid Group action
3	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
4	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
5	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
6	An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti and Livio Pompianu arXiv:1703.06322v1 [cs.CR] 18 Mar 2017 Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-03-20 20:43:31 Cryptocurrencies Blockchains Economy Cross-platform software Money Concurrent computing Alternative currencies Ethereum Smart contract Counterparty RootStock Bitcoin
7	Click Trajectories: End-to-End Analysis of the Spam Value Chain Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-02-12 13:32:16 World Wide Web Spamming Marketing Cyberspace Email spam Anti-spam techniques URL shortening Spam Affiliate marketing Email Honeypot Blacklist
8	LNCSTheoretical Analysis of XL over Small Fields Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:41 Abstract algebra Mathematics Finite fields Calculus of variations EulerLagrange equation Leonhard Euler State-space representation XTR
9	Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:59
10	Towards Personalized Cancer Therapy Using Delta-Reachability Analysis∗ Bing Liu Soonho Kong Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Medicine Endocrine system Anatomy Prostate cancer Histopathology RTT Prostate-specific antigen Testosterone Androgen receptor Prostate Quantifier