DOI:Data science promises new insights, helping transform information into knowledge that can drive science and industry. BY FRANCINE BERMAN, ROB RUTENBAR, BRENT HAILPERN,

Source URL: destrin.smalldata.io

• Computing
• Information
• Knowledge
• Academic publishing
• Open access
• Information science
• Open science
• Big data
• Transaction processing
• Data science
• Data sharing
• Computer science

Intelligent Healthcare Blockchain Network Contents 01 Abstract

Source URL: allive.io

• Health
• Cryptocurrencies
• Decentralization
• Concurrent computing
• Healthcare in the United States
• Electronic health record
• Decentralized application
• Health care
• Healthcare industry
• Health technology in the United States
• Blockchain

让 EOS 跑起来 EOS 编译、测试指南（一） 扫一扫关注欧链小秘书

Source URL: oraclechain.io

• Draft:ETH GOOD GAMES
• Draft:TLS

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Source URL: scungao.github.io

• Computational complexity theory
• Theoretical computer science
• Mathematical logic
• NP-complete problems
• Electronic design automation
• Formal methods
• Logic in computer science
• Predicate logic
• Boolean satisfiability problem
• Quantifier
• Limit of a function
• Exponential time hypothesis

ScientoMiner ICR - the Gephi plugin for importing scholarly citations data from Crossref services

Source URL: workshop-oc.github.io

• Information science
• Library science
• Altmetrics
• Bibliometrics
• Bibliographic database
• Bibliographic record
• BASE

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: jorgenavas.github.io

• Mathematics
• Theoretical computer science
• Logic
• Automated theorem proving
• Logic programming
• Complex analysis
• Logical truth
• Propositional calculus
• Substitution
• Abstract interpretation
• Unification
• Term

ICSM: Change Impact Analysis for AspectJ Programs

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Cross-cutting concern
• Subject-oriented programming
• Advice
• Aspect

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: seahorn.github.io

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba Ölveczky

Source URL: scungao.github.io