Common Vulnerabilities and Exposures CVE IDs and How to Get Them Daniel Adinolfi

Source URL: cve.mitre.org

• Computer security
• Computing
• Cyberwarfare
• Common Vulnerabilities and Exposures
• Mitre Corporation
• Computer network security
• CVE
• CERT Coordination Center
• Vulnerability database
• United States Computer Emergency Readiness Team
• Common Weakness Enumeration
• Shellshock

Analysis of QUAD Bo-Yin Yang1 , Owen Chia-Hsin Chen2 , Daniel J. Bernstein3 , and Jiun-Ming Chen4 1 4

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• QUAD
• Stream cipher
• Parametric equation
• Hidden Field Equations

vRAM: Faster Verifiable RAM With Program-Independent Preprocessing Yupeng Zhang∗ , Daniel Genkin† , ∗ , Jonathan Katz∗ , Dimitrios Papadopoulos‡ , ∗ and Charalampos Papamanthou∗ ∗ University † Universi

Source URL: web.eecs.umich.edu

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments Adina Aniculaesei Daniel Arnsberger

Source URL: www.falkhowar.de

• Robotics
• Emerging technologies
• Robot
• Mobile robot
• Industrial robot
• Self-driving car
• Autonomous robot
• Collision avoidance system
• Control engineering
• Technology
• Automation
• Humanoid robot

Software Quality Journal manuscript No. (will be inserted by the editor) Automated Testing of DSL Implementations Experiences from Building mbeddr Daniel Ratiu · Markus Voelter ·

Source URL: mbeddr.com

• Software engineering
• Computing
• Computer programming
• Language workbench
• High-level programming languages
• Domain-specific language
• JetBrains MPS
• JetBrains
• Red
• Interpreter
• Structure editor
• Declarative programming

June 2018 Edition Initial Coin Offerings A strategic perspective Authors: Daniel Diemers, Zurich

Source URL: www.pwc.ch

• Cryptocurrencies
• Economy
• Alternative currencies
• Money
• Finance
• Initial coin offering
• Gram
• Huobi
• Filecoin
• Petro
• Everipedia
• PricewaterhouseCoopers

CRYPTO20: The First Tokenized Cryptocurrency Index Fund Daniel SCHWARTZKOPFF, Luke SCHWARTZKOPFF, Raymond BOTHA, Matthew FINLAYSON with Frans CRONJE, on behalf of CRYPTO20 October 15, 2017 You are not eligible and you a

Source URL: cdn.crypto20.com

• Economy
• Money
• Finance
• Cryptocurrencies
• Investment
• Alternative currencies
• Funds
• Digital currencies
• Rebalancing investments
• Exchange-traded fund
• Bitcoin
• Active management

Learning to Pass Expectation Propagation Messages Nicolas Heess∗ Gatsby Unit, UCL Daniel Tarlow Microsoft Research

Source URL: papers.nips.cc

• Probability and statistics
• Statistical theory
• Statistics
• Graphical models
• Bayesian statistics
• Market research
• Market segmentation
• Machine learning
• Factor graph
• Belief propagation
• Variational Bayesian methods
• Mixture model

©Copyright 2015 Daniel Perelman Program Synthesis Without Full Specifications for Novel Applications

Source URL: homes.cs.washington.edu

• Software engineering
• Computing
• Computer programming
• Algorithm
• Mathematical logic
• Theoretical computer science
• JavaScript
• Eval
• Futures and promises

User Session Identification Based on Strong Regularities in Inter-activity Time Aaron Halfaker1 Oliver Keyes1 Daniel Kluver2 Jacob Thebault-Spieker2 Tien Nguyen2 Kenneth Shores2 Anuradha Uduwage2 Morten Warncke-Wang2 1

Source URL: www.www2015.it

• Digital marketing
• World Wide Web
• Humancomputer interaction
• Computing
• Marketing
• Big data
• Business intelligence
• Session
• GroupLens Research
• Web analytics
• Recommender system
• Activity theory