What Programs Want: Automatic Inference of Input Data Specifications
Relational Parametricity and Control
GeoTextTagger: High-Precision Location Tagging of Textual Documents
  using a Natural Language Processing Approach Agent-Based {\mu}-Tools Integrated into a Co-Design Platform Spinfoam on Lefschetz Thimble: Markov Chain Monte-Carlo Computation of
  Lorentzian Spinfoam Propagator A longitudinal study of field emission in CEBAF's SRF cavities 1995-2015 Approximation capability of two hidden layer feedforward neural networks
  with fixed weights Combinatorial Intersection Cohomology for Fans Evaporation and fluid dynamics of a sessile drop of capillary size Adaptive phase field modelling of crack propagation in orthotropic
  functionally graded materials Modeling rf breakdown arcs II: plasma / materials interactions Geometric Perspectives on Fundamental Solutions in the Linearized
  Satellite Relative Motion Problem A Finite Test for the Linearizability of Two-Input Systems by a
  Two-Dimensional Endogenous Dynamic Feedback Computing stable numerical solutions for multidimensional American
  option pricing problems: a semi-discretization approach A visual search engine for Bangladeshi laws Membrane flutter induced by radiation of surface gravity waves on a
  uniform flow A Tutorial on Solution Properties of State Space Models of Dynamical
  Systems Does Link Prediction Help Detect Feature Interactions in Software
  Product Lines (SPLs)? Power-law Distributions in Information Science - Making the Case for
  Logarithmic Binning Insights from the Wikipedia Contest (IEEE Contest for Data Mining 2011)
cs.PL cs.LO