Controls over Spreadsheets for Financial Reporting in Practice
A Case Study of the 2016 Korean Cyber Command Compromise
Convo: What does conversational programming need? An exploration of
  machine learning interface design A Machine Learning Framework for Computing the Most Probable Paths of
  Stochastic Dynamical Systems Self-Driving Vehicle Verification Towards a Benchmark The condensation and ordering of models of empty liquids Multiplicity estimates, analytic cycles and Newton polytopes PyAutoFit: A Classy Probabilistic Programming Language for Model
  Composition and Fitting DIALOG: A framework for modeling, analysis and reuse of digital forensic
  knowledge Mean field dynamics of graphs I: Evolution of probabilistic cellular
  automata for random and small-world graphs Deterministic particle flows for constraining stochastic nonlinear
  systems Distribution of zeros of random and quantum chaotic sections of positive
  line bundles Characteristic market behaviors caused by intervention in a foreign
  exchange market Agent based Tools for Modeling and Simulation of Self-Organization in
  Peer-to-Peer, Ad-Hoc and other Complex Networks The Morse theory of \v{C}ech and Delaunay complexes Learning Reasoning Strategies in End-to-End Differentiable Proving Many-body localization in infinite chains Unconstrained optimisation on Riemannian manifolds The geometric distribution of Selmer groups of elliptic curves over
  function fields Meissner-like effect for synthetic gauge field in multimode cavity QED
cs.CY