Reasoning with Individuals for the Description Logic SHIQ
Linear Temporal Logic Modulo Theories over Finite Traces (Extended
  Version)
Monitoring with uncertainty Amenable groups that act on the line Voltage Collapse and ODE Approach to Power Flows: Analysis of a Feeder
  Line with Static Disorder in Consumption/Production Bounds and definability in polynomial rings Density Functional Theory with Spatial-Symmetry Breaking and
  Configuration Mixing Biometric Blockchain: A Better Solution for the Security and Trust of
  Food Logistics New metal-plastic hybrid additive manufacturing strategy: Fabrication of
  arbitrary metal-patterns on external and even internal surfaces of 3D plastic
  structures Several Constants Arising in Statistical Mechanics IAU 2015 Resolution B3 on Recommended Nominal Conversion Constants for
  Selected Solar and Planetary Properties Emergent Criticality from Co-evolution in Random Boolean Networks The Price of Majority Support Deep Learning Based Power Control for Quality-Driven Wireless Video
  Transmissions $\mathtt{bimEX}$: A Mathematica package for exact computations in $3+1$
  bimetric relativity Systematic assessment of the quality of fit of the stochastic block
  model for empirical networks Reversing the irreversible: from limit cycles to emergent time symmetry On Differentially Algebraic Generating Series for Walks in the Quarter
  Plane Evolutionary Hierarchical Harvest Schedule Optimization for Food Waste
  Prevention From Quantity to Quality: Massive Molecular Dynamics Simulation of
  Nanostructures under Plastic Deformation in Desktop and Service Grid
  Distributed Computing Infrastructure How Hidden are Hidden Processes? A Primer on Crypticity and Entropy
  Convergence Quantum Fields as Category Algebras
cs.LO cs.AI