Formal Concept Analysis with Many-sorted Attributes
Structure Formation in Large Theories
A Formal Approach to Modeling the Memory of a Living Organism Correlating Twitter Language with Community-Level Health Outcomes Parallel transport in shape analysis: a scalable numerical scheme QED-SCF, MCSCF and Coupled-cluster Methods in Quantum Chemistry A Methodological Approach to Model CBR-based Systems Power Spectrum Analysis of Physikalisch-Technische Bundesanstalt
  Decay-Rate Data: Evidence for Solar Rotational Modulation Non-Equilibrium Statistical Physics of Currents in Queuing Networks The GALAH survey: Characterization of emission-line stars with spectral
  modelling using autoencoders Validation of community robustness Performance Evaluation of DCA and SRC on a Single Bot Detection Many-Body Effects in the X-ray Absorption Spectra of Liquid Water Hedgehogs in Lehmer's problem Beyond exploding and vanishing gradients: analysing RNN training using
  attractors and smoothness Strengthening Deterministic Policies for POMDPs Pseudo-Random Bit Generation based on 2D chaotic maps of logistic type
  and its Applications in Chaotic Cryptography Managing conflicts between users in Wikipedia Formal Specification and Verification of Autonomous Robotic Systems: A
  Survey Classification of real trivectors in dimension nine Egyptian multiplication and some of its ramifications
cs.LO cs.AI