Analysis

Results: 187493



#Item
1I1 / Garbage collection

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
2Mathematics / Algebra / Abstract algebra / Homotopy theory / Category theory / Algebraic structures / Differential geometry / Symmetry / Groupoid / Lie algebroid / Group action

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
3Computational 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

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
4Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning

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
5Computing / Computer graphics / 3D rendering / Video game development / Computer programming / Graphics hardware / Graphics libraries / Texture atlas / Graphics processing unit / Texture mapping / Optimizing compiler / Rendering

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
6Cryptocurrencies / Blockchains / Economy / Cross-platform software / Money / Concurrent computing / Alternative currencies / Ethereum / Smart contract / Counterparty / RootStock / Bitcoin

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
7World Wide Web / Spamming / Marketing / Cyberspace / Email spam / Anti-spam techniques / URL shortening / Spam / Affiliate marketing / Email / Honeypot / Blacklist

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
8Abstract algebra / Mathematics / Finite fields / Calculus of variations / EulerLagrange equation / Leonhard Euler / State-space representation / XTR

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
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
    10Medicine / Endocrine system / Anatomy / Prostate cancer / Histopathology / RTT / Prostate-specific antigen / Testosterone / Androgen receptor / Prostate / Quantifier

    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
    UPDATE