Univalent categories and the Rezk completion
W-Types with Reductions and the Small Object Argument
Thermodynamics in Terms of a Sequence of $n-$chains Derived from a
  Martingale Decomposition of the Energy Process Characteristics of proposed 3 and 4 telescope configurations for Darwin
  and TPF-I Independent Sets in Algebraic Hypergraphs Tools in the orbit space approach to the study of invariant functions:
  rational parametrization of strata Non-smooth Approach for Contact Dynamics and Impulse-based Control of
  Frictional Furuta Pendulum Generalized "Square roots of Not" matrices, their application to the
  unveiling of hidden logical operators and to the definition of fully matrix
  circular Euler functions Concurrent computing machines and physical space-time Transformation Models in High-Dimensions AirDraw: Leveraging Smart Watch Motion Sensors for Mobile Human Computer
  Interactions An Efficient MAC Protocol with Selective Grouping and Cooperative
  Sensing in Cognitive Radio Networks Hybrid Wavelet and EMD/ICA Approach for Artifact Suppression in
  Pervasive EEG The program-size complexity of self-assembled paths Towards a classification of Lindenmayer systems Towards A Novel Unified Framework for Developing Formal, Network and
  Validated Agent-Based Simulation Models of Complex Adaptive Systems Spectral Invariants of Operators of Dirac Type on Partitioned Manifolds Remote determination of the shape of Jupiter's vortices from laboratory
  experiments Discussion on the spectral coherence between planetary, solar and
  climate oscillations: a reply to some critiques A Faster Algorithm for Solving One-Clock Priced Timed Games The ELAPS Framework: Experimental Linear Algebra Performance Studies Representations of $(2,n)$-semigroups by multiplace functions Ramsey-Milman phenomenon, Urysohn metric spaces, and extremely amenable
  groups
math.CT math.LO