Cs
Slither: A Static Analysis Framework For Smart Contracts
Asymptotic Seed Bias in Respondent-driven Sampling
Static Program Analysis for String Manipulation Languages
EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness
Maps and Globes in Virtual Reality
sql4ml A declarative end-to-end workflow for machine learning
The demise of the filesystem and multi level service architecture
Efficient Knowledge Graph Accuracy Evaluation
Multi-Task Regression-based Learning for Autonomous Unmanned Aerial Vehicle Flight Control within Unstructured Outdoor Environments
A Study of Network Congestion in Two Supercomputing High-Speed Interconnects
Automatic Support Removal for Additive Manufacturing Post Processing
Schema-agnostic Progressive Entity Resolution (extended version)
Mining Closed Episodes with Simultaneous Events
Probabilistic Permutation Synchronization using the Riemannian Structure of the Birkhoff Polytope
Feature Maps: A Comprehensible Software Representation for Design Pattern Detection
Recommending Comprehensive Solutions for Programming Tasks by Mining Crowd Knowledge
Dataspace: A Reconfigurable Hybrid Reality Environment for Collaborative Information Analysis
Deep Learning by Doing: The NVIDIA Deep Learning Institute and University Ambassador Program
