HACKEN.IO Terms and Conditions Last Updated: October 4, 2018 Please read carefully these Terms and Conditions (hereinafter - the “Terms”, “Terms of Use”) before using a website “https://hacken.io/” and/or any

Source URL: hub.hacken.io

• Cryptocurrencies
• Blockchains
• Contract law
• Computing
• Concurrent computing
• Information
• Bitcoin
• Ethereum
• Indemnity
• Smart contract

Small Data: Applications and Architecture Cheng-Kang Hsieh∗ , Faisal Alquaddoomi† , Fabian Okeke‡ , John P. Pollak§ , Lucky Gunasekara¶ and Deborah Estrink ∗ UCLA CSD; Los Angeles, CA, USA (

Source URL: destrin.smalldata.io

Session A4: Browsers CCS’17, October 30-November 3, 2017, Dallas, TX, USA Deterministic Browser Yinzhi Cao

Source URL: acmccs.github.io

PDF Document

Source URL: liqnet.io

PDF Document

Source URL: cityofzion.io

JMIR MHEALTH AND UHEALTH Swendeman et al Original Paper

Source URL: destrin.smalldata.io

• Medicine
• Health
• Clinical medicine
• Journal of Medical Internet Research
• Cardiovascular disease
• MHealth
• Biomarker
• Recall
• Validity

The SMT-LIBv2 Language and Tools: A Tutorial David R. Cok GrammaTech, Inc. VersionNovember 23, 2013

Source URL: smtlib.github.io

• Theoretical computer science
• Software engineering
• Constraint programming
• Computing
• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Solver
• SMT
• Constraint satisfaction problem

Session A4: Browsers CCS’17, October 30-November 3, 2017, Dallas, TX, USA Hindsight: Understanding the Evolution of UI Vulnerabilities in Mobile Browsers

Source URL: acmccs.github.io

• Software
• Computing
• Web browsers
• Portable software
• Embedded Linux
• Freeware
• Cloud clients
• Opera
• Browser security
• Chromium
• Google Chrome
• Firefox

Learning to generate HTML code from images with no supervisory data Ali Davody * 1 Homa Davoudi * 1 Mihai S. Baba 1 R˘azvan V. FlorianIntroduction

Source URL: uclmr.github.io

• Computational neuroscience
• Applied mathematics
• Cybernetics
• Cognitive science
• Computational statistics
• Machine learning
• Emerging technologies
• Machine learning algorithms
• Artificial neural network
• Neural network
• Artificial intelligence
• Reinforcement learning

Theoretical Computer Science–24 Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

Source URL: jorgenavas.github.io

• Formal languages
• Mathematics
• Language
• Combinatorics
• Context-free language
• Regular language
• Context-free grammar
• Kleene star
• Regular expression
• Omega-regular language
• Complementation of Bchi automaton