Analysis - PDFSEARCH.IO - Document Search Engine

Analysis
Results: 187493

#	Item
61	MATHEMATICS OF COMPUTATION Volume 81, Number 279, July 2012, Pages 1487–1511 SArticle electronically published on February 17, 2012 PERTURBATION ANALYSIS OF THE QR FACTOR R Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2017-06-27 04:39:37 Algebra Mathematics Linear algebra Rank QR decomposition Matrix Determinant
62	Context-Aware Text Representation for Social Relation Aided Sentiment Analysis Minh Luan Nguyen Institute for Infocomm Research Singapore Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:56:00 Natural language processing Artificial intelligence Social media Artificial neural networks Computing Computational linguistics Software Machine learning Sentiment analysis Word embedding Deep learning Twitter
63	Poster: An Analysis of Targeted Password Guessing Using Neural Networks Huan Zhou, Qixu Liu, Fangjiao Zhang Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chines Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-13 08:13:56 Cryptography Obfuscation Computer security Password Security Cyberwarfare Salt Identity management Password policy Password fatigue
64	Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-09-15 19:04:15 Computing Software engineering Data types Computer programming Primitive types Formal languages Formal methods ANSI/ISO C Specification Language C String Frama-C Permutation
65	Monopoly without a Monopolist: An Economic Analysis of the Bitcoin Payment System∗ Gur Huberman Jacob D. Leshno Add to Reading List Source URL: moallemi.com Language: English - Date: 2017-12-19 16:42:18 Cryptocurrencies Bitcoin Alternative currencies Blockchains Economy Money Currency Digital currencies Ethereum RootStock Draft:Lightning Bitcoin Bitcoin Cash
66	Static Analysis and Runtime-Assertion Checking: Contribution to Security Counter-Measures Dillon Pariente1 and Julien Signoles2 1 Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-08-11 12:57:48 Software engineering Computing Computer programming Program analysis Object-oriented programming languages Frama-C Software testing Static program analysis Abstract interpretation OCaml Type system Formal methods
67	An Analysis of the Tariff Discrimination Potential of the TransPacific Partnership against Swiss Companies and their Exports Consequences of TPP for Swiss Companies OFFICIAL PROGRAM Add to Reading List Source URL: www.seco.admin.ch Language: English International trade Economy Trade blocs Trans-Pacific Partnership International relations Trans-Pacific Strategic Economic Partnership Agreement The Phoenix Partnership TPPA Preferential trading area Transatlantic Trade and Investment Partnership TPP Trade in Services Agreement
68	AVACS* Automatic Verification and Analysis of Complex Systems Werner Damm AVACS coordinator Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-09-28 03:05:31 Systems science Design for X Engineering University of Freiburg System of systems Systems engineering Systems theory Reliability engineering
69	MyBion Our service uses nanopore DNA sequencing coupled with real-time data analysis to help infectious disease patients. We offer physicians a better way to reach Add to Reading List Source URL: docs.wixstatic.com Language: English - Date: 2018-01-24 08:32:39 ETH Domain cole Polytechnique Fdrale de Lausanne Education in Switzerland Higher education
70	Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Graph theory Graph connectivity Strongly connected component Reachability Graph Node Topological sorting

UPDATE