SMT-Based Nonlinear PDDL+ Planning

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Constraint programming
• Planning Domain Definition Language
• Boolean satisfiability problem
• Satisfiability modulo theories
• Hybrid system

Why Do Developers Get Password Storage Wrong? A Qualitative Usability Study

Source URL: acmccs.github.io

• Cryptography
• Computer security
• Computer access control
• Password
• Crypt
• Salt
• Rainbow table
• Usability
• Bcrypt
• Brute-force attack
• Key derivation function
• Password policy

The Hanoi Omega-Automata Format This document describes the Hanoi Omega-Automata (HOA) format. The name is a reference to the ATVA’13 conference, which was organized in Hanoi, and where the foundations of this format w

Source URL: adl.github.io

• Finite automata
• Model checking
• -automaton
• Generalized Bchi automaton
• Bchi automaton
• Buchi
• Muller automaton
• Automata theory

Financial Services Firm Case Study About The Firm The firm is a large US-based mutual fund investment company consisting of a number of investment teams in a variety of locations throughout the world all under a single

Source URL: appery.io

• Computing
• Software
• Computer architecture
• Information management
• Portal software
• Records management technology
• SharePoint
• Mobile app
• Android
• BlackBerry Limited
• Appsbar

Abstract: The EOS.IO software introduces a new blockchain architecture designed to enable vertical and horizontal scaling of decentralized applications. This is achieved by creating an operating system-like construct upo

Source URL: icorating.com

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Alternative currencies
• Computing
• Distributed computing
• Decentralization
• Cross-platform software
• EOS.IO
• Ethereum
• Smart contract
• Bitcoin

TECHNICAL WHITEPAPER YIELD COIN A multipurpose token pegged to an established, growth orientated and highly successful enterprise of businesses.

Source URL: myyield.io

• Cryptocurrencies
• Alternative currencies
• Blockchains
• Economy
• Money
• Ethereum
• Currency
• Financial technology
• Initial coin offering
• Kin
• Bitcoin
• Draft:SAVE Token

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang 1 Chenglong Wang 2 Rishabh Singh 3 * Wen-tau Yih 4 Xiaodong He 5 * 1. Introduction Conventional supervised training is a pervasive paradigm

Source URL: uclmr.github.io

• Machine learning
• Learning
• Artificial intelligence
• Meta learning
• Support vector machine
• Supervised learning
• Training
• test
• and validation sets

Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani Microsoft Research, Redmond, USA

Source URL: rishabhmit.bitbucket.io

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: jorgenavas.github.io

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

Certificates for Parameterized Model Checking

Source URL: mebsout.github.io

• Konrad Zuse
• History of computing hardware
• Mechanical computers
• Computing
• Theoretical computer science
• Z1
• Z2
• Satisfiability modulo theories
• Z3
• Symbol