Digital Investigation of Security Attacks on Cardiac Implantable Medical
  Devices
Probabilistic annotations for protocol models
Motility at the origin of life: Its characterization and a model Assessing Human Error Against a Benchmark of Perfection Distributed Sketching for Randomized Optimization: Exact
  Characterization, Concentration and Lower Bounds The full-tails gamma distribution applied to model extreme values Modelling, Reduction and Analysis of Markov Automata (extended version) Large-scale weakly nonlinear perturbations of convective magnetic
  dynamos in a rotating layer Impact of climate change on surface stirring and transport in the
  Mediterranean Sea Fire! PGW Circuit Complexity Oceanic Ambient Noise as a Background to Acoustic Neutrino Detection What's in a crowd? Analysis of face-to-face behavioral networks Application of signal analysis to the embedding problem of
  $\mathbb{Z}^k$-actions Inferring Chemical Reaction Patterns Using Rule Composition in Graph
  Grammars A tip-based source of femtosecond electron pulses at 30keV The effective stability parameter for two-component galactic discs: Is
  1/Q ~ 1/Q_stars + 1/Q_gas ? Commutation relationships and curvature spin-tensors for extended spinor
  connections A Multi-State Power Model for Adequacy Assessment of Distributed
  Generation via Universal Generating Function Permutation Search Methods are Efficient, Yet Faster Search is Possible Molecular impurities interacting with a many-particle environment: from
  helium droplets to ultracold gases pylustrator: Code generation for reproducible figures for publication Phenomenological constraints on accretion of non-annihilating dark
  matter on the PSR B1257+12 pulsar from orbital dynamics of its planets Non-relativistic model of the laws of gravity and electromagnetism,
  invariant under the change of inertial and non-inertial coordinate systems
cs.CR cs.LO