Analysis - PDFSEARCH.IO - Document Search Engine

Analysis
Results: 187493

#	Item
71	Differential Power Analysis and Fault Attacks on Hash-Based Signature Schemes Matthias J. Kannwischer 27 March 2018 Radboud University, Nijmegen, The Netherlands Add to Reading List Source URL: kannwischer.eu Language: English - Date: 2018-03-26 10:26:09 Cryptography Cryptographic hash functions Post-quantum cryptography Hashing Search algorithms Power analysis XMSS Hash function SHA-2 DPA Digital signature Crypt
72	Static Reference Analysis for GUI Objects in Android Software Atanas Rountev Dacong Yan Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Computing Computer programming Software engineering Knowledge representation Tree Node Static single assignment form Object Process Methodology Recursion
73	Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1 Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Software Engineering Institute Carnegie Mellon Silicon Valley Software engineering Mellon Pittsburgh
74	Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS) Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Metaphysics Data types Search algorithms Mathematics Model checking Tree Information science Abstraction B-tree Breadth-first search Reachability FO
75	Time Series Analysis Using NOC Noriaki Kawamae The University of Tokyo 7 Chome-3-1 Hongo, Bunkyo, Tokyo, Japan Japan Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:45:00 Computational linguistics Linguistics Corpus linguistics Artificial intelligence Statistical natural language processing Speech recognition Applied linguistics Natural language processing Topic model N-gram Time series
76	ArmaTweet: Detecting Events by Semantic Tweet Analysis Alberto Tonon1 , Philippe Cudré-Mauroux1 , Albert Blarer2 , Vincent Lenders2 , and Boris Motik3 1 Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2017-06-18 04:00:12 Computing Information science Semantic Web Data management Knowledge representation Open data Resource Description Framework Twitter DBpedia SPARQL WordNet Semantics
77	A Securities Law Framework for Blockchain Tokens To estimate how likely a particular blockchain token is be a security under US federal securities law Refer to: full legal analysis Instructions Step 1: Copy to a new goog Add to Reading List Source URL: hacken.io Language: English - Date: 2017-10-05 12:06:50 Cryptocurrencies Ethereum Alternative currencies Blockchains Numismatics Economy Money Cross-platform software Initial coin offering Token Kin Draft:Bancor protocol
78	Mississippi Autism Board The Regulating Board for Applied Behavior Analysis P.O. Box 136 Jackson, MSTelephoneFaxwww.MSAutism.sos.ms.gov Add to Reading List Source URL: sos.ms.gov Language: English - Date: 2016-02-26 16:06:09 Psychology Licensure Occupations Behaviorism Professional certification Professional practice of behavior analysis
79	DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress () Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen Add to Reading List Source URL: alloytools.org Language: English* - Date: 2018-06-13 06:07:43 Models of computation Intel Scientific modelling Dash Transition system Epistemology Philosophy of science Writing
80	A Securities Law Framework for Blockchain Tokens To estimate how likely a particular blockchain token is be a security under US federal securities law Refer to: full legal analysis Instructions Step 1: Copy to a new goog Add to Reading List Source URL: hacken.io Language: English - Date: 2017-10-12 11:57:40 Cryptocurrencies Ethereum Alternative currencies Blockchains Numismatics Economy Money Cross-platform software Initial coin offering Token Kin Draft:Bancor protocol