**Glass-Box Program Synthesis: A Machine Learning Approach**

**Identification of Causalities in Spatio-temporal Data**

**DOC: Deep Open Classification of Text Documents**

**Stochastic Nonconvex Optimization with Large Minibatches**

**Understanding a Version of Multivariate Symmetric Uncertainty to assist in Feature Selection**

**Active Learning amidst Logical Knowledge**

**On the regularization of Wasserstein GANs**

**Multi-Rack Distributed Data Storage Networks**

**On Tropical Linear and Integer Programs**

**Embodied Evolution in Collective Robotics: A Review**

**Analysis of structured Markov processes**

**PMV: Pre-partitioned Generalized Matrix-Vector Multiplication for Scalable Graph Mining**

**Adaptive Nonparametric Clustering**

**Tensors Come of Age: Why the AI Revolution will help HPC**

**Tensor Product Generation Networks**

**Output Range Analysis for Deep Neural Networks**

**EDEN: Evolutionary Deep Networks for Efficient Machine Learning**

• String order parameters for 1d Floquet Symmetry Protected Topological Phases

• Collaborative Service Caching for Edge Computing in Dense Small Cell Networks

• Fast Vehicle Detection in Aerial Imagery

• Multimodal Image Super-Resolution via Joint Sparse Representations induced by Coupled Dictionaries

• Two applications of polylog functions and Euler sums

• Can you fool AI with adversarial examples on a visual Turing test?

• Shadows of characteristic cycles, Verma modules, and positivity of Chern-Schwartz-MacPherson classes of Schubert cells

• Comparing Powers of Edge Ideals

• Entanglement dynamics in random media

• Topology-dependent density optima for efficient simultaneous network exploration

• On Extreme Value Index Estimation under Random Censoring

• A Simulation Comparison of Estimators of Conditional Extreme Value Index under Right Random Censoring

• Decorated Dyck paths, the Delta conjecture, and a new q,t-square

• Camera-Aware Multi-Resolution Analysis (CAMRA) for Raw Sensor Data Compression

• On the error of a priori sampling: zero forcing sets and propagation time

• An application of kissing numbers in sum-product estimates

• Image similarity using Deep CNN and Curriculum Learning

• The importance of scale in spatially varying coefficient modeling

• Network Topology and Communication-Computation Tradeoffs in Decentralized Optimization

• BOSS-LDG: A Novel Computational Framework that Brings Together Blue Waters, Open Science Grid, Shifter and the LIGO Data Grid to Accelerate Gravitational Wave Discovery

• On the Model Shrinkage Effect of Gamma Process Edge Partition Models

• Dynamic Reconfiguration of Mission Parameters in Underwater Human-Robot Collaboration

• Estimation of the Hurst Exponent Using Trimean Estimators on Nondecimated Wavelet Coefficients

• Evaluating the Sensitivity of Flood Return Levels to Data Length by Maximum Likelihood Estimation

• Convex Relaxations for Global Optimization Under Uncertainty Described by Continuous Random Variables

• Green Heterogeneous Cloud Radio Access Networks: Potential Techniques, Performance Tradeoffs, and Challenges

• Exploiting Dual Connectivity in Heterogeneous Cellular Networks

• Closure of resource-bounded randomness notions under polynomial time permutations

• On Stein’s Identity and Near-Optimal Estimation in High-dimensional Index Models

• Ultra-Dense HetNets Meet Big Data: Green Frameworks, Techniques, and Approaches

• TuringMobile: A Turing Machine of Oblivious Mobile Robots with Limited Visibility and its Applications

• A Deep Learning Model for Traffic Flow State Classification Based on Smart Phone Sensor Data

• Converting Your Thoughts to Texts: Enabling Brain Typing via Deep Feature Learning of EEG Signals

• Sensing-Constrained LQG Control

• Towards End-to-End Car License Plates Detection and Recognition with Deep Neural Networks

• Catching Anomalous Distributed Photovoltaics: An Edge-based Multi-modal Anomaly Detection

• UAV and Service Robot Coordination for Indoor Object Search Tasks

• Conjugate Phase Retrieval on ${\mathbb C}^M$ by real vectors

• Conic Optimization Theory: Convexification Techniques and Numerical Algorithms

• Learning a Predictive Model for Music Using PULSE

• Simulation-based Estimation and Inference of Production Frontiers

• Object-oriented Neural Programming (OONP) for Document Understanding

• Learning to Inpaint for Image Compression

• Polysemy Detection in Distributed Representation of Word Sense

• Bayesian Inference of Network Epidemics

• Learning Multi-grid Generative ConvNets by Minimal Contrastive Divergence

• Spectral radius of a star with one long arm

• Learning to Label Affordances from Simulated and Real Data

• Control Problems and Invariant Subspaces for the Sabra Shell Model of Turbulence

• Generating Sentences by Editing Prototypes

• An enhanced method to compute the similarity between concepts of ontology

• Redesigning Bitcoin’s fee market

• Signatures of many-body localization in steady states of open quantum systems

• Partial matching width and its application to lower bounds for branching programs

• Perfect matchings in highly cyclically connected regular graphs

• Performance Limitations of Distributed Integral Control in Power Networks Under Noisy Measurements

• Improving a Multi-Source Neural Machine Translation Model with Corpus Extension for Low-Resource Languages

• In-Place Initializable Arrays

• A New Cooperative Framework for Parallel Trajectory-Based Metaheuristics

• Input-to-Output Gate to Improve RNN Language Models

• On the Benefits of QoS-Differentiated Posted Pricing in Cloud Computing: An Analytical Model

• Cubature rules and expected value of some complex functions

• Telling Cause from Effect using MDL-based Local and Global Regression

• SCARFF: a Scalable Framework for Streaming Credit Card Fraud Detection with Spark

• Further studies on square-root boundaries for Bessel processes

• UBSegNet: Unified Biometric Region of Interest Segmentation Network

• Interplay of interaction and disorder in the steady state of an open quantum system

• Frame difference families and resolvable balanced incomplete block designs

• Computing Tree Decompositions with FlowCutter: PACE 2017 Submission

• Russo-Seymour-Welsh estimates for the Kostlan ensemble of random polynomials

• Multi-layer Visualization for Medical Mixed Reality

• On $k$-rainbow independent domination in graphs

• Graph rigidity for unitarily invariant matrix norms

• User and Developer Interaction with Editable and Readable Ontologies

• All Classical Adversary Methods are Equivalent for Total Functions

• Reachability Switching Games

• Selective final state spectroscopy and multifractality in two-component ultracold Bose-Einstein condensates: a numerical study

• Optimal Stationary Synchronization of Heterogeneous Linear Multi-Agent Systems

• Backtracking strategies for accelerated descent methods with smooth composite objectives

• Response to a small external force and fluctuations of a passive particle in a one-dimensional diffusive environment

• Interpretable High-Dimensional Inference Via Score Projection with an Application in Neuroimaging

• The smallest eigenvalues of Hamming graphs, Johnson graphs and other distance-regular graphs with classical parameters

• On the existence of a solution to a spectral estimation problem \emph{à la} Byrnes-Georgiou-Lindquist

• AutoEncoder by Forest

• Motions of grid-like reflection frameworks

• A note on preconditioning weighted linear least squares, with consequences for weakly-constrained variational data assimilation

• Visibility in the vacant set of the Brownian interlacements and the Brownian excursion process

• On the separation conjecture in Avoider-Enforcer games

• MDP environments for the OpenAI Gym

• Geodesics Toward Corners in First Passage Percolation

• Automated sub-cortical brain structure segmentation combining spatial and deep convolutional features

• Multi-Person Brain Activity Recognition via Comprehensive EEG Signal Analysis

• Exploring cascading outages and weather via processing historic data

• Distributed Information Bottleneck Method for Discrete and Gaussian Sources

• From time-series to complex networks: Application to the cerebrovascular flow patterns in atrial fibrillation

• Beyond opening up the black box: Investigating the role of algorithmic systems in Wikipedian organizational culture

• Generalized Sparse and Low-Rank Optimization for Ultra-Dense Networks

• Region-Based Image Retrieval Revisited

• BCS-type second-order phase transition of classical Langmuir wave system

• Discrete Choice and Rational Inattention: a General Equivalence Result

• Integration of Japanese Papers Into the DBLP Data Set

• Joint Detection and Recounting of Abnormal Events by Learning Deep Generic Knowledge

• Interactive Coding for Markovian Protocols

• Automatic Error Analysis of Human Motor Performance for Interactive Coaching in Virtual Reality

• Rao-Blackwellization to give Improved Estimates in Multi-List Studies

• V-cycle multigrid algorithms for discontinuous Galerkin methods on non-nested polytopic meshes

• Modelling reporting delays for disease surveillance data

• On cubic graphical regular representations of finite simple groups

• Quasitrivial semigroups: characterizations and enumerations

• Activated Random Walk on a cycle