On correctness of an n queens program
The Refinement Calculus of Reactive Systems
Trees, Tight-Spans and Point Configuration CMS Sematrix: A Tool to Aid the Development of Clinical Quality Measures
  (CQMs) The Witt classes of $SO(2r)_{2r}$ Construction of complex potentials for multiply connected domains McKean-Vlasov equations involving hitting times: blow-ups and global
  solvability Non-Invasive MGMT Status Prediction in GBM Cancer Using Magnetic
  Resonance Images (MRI) Radiomics Features: Univariate and Multivariate
  Machine Learning Radiogenomics Analysis Edible Resonators Fundamental limitations of network reconstruction The Activation Entropy Change in Enzymatic Reaction Catalyzed by
  Isochorismate-Pyruvate Lyase of Pseudomonas Aeruginosa PchB Excited-State Wigner Crystals in One Dimension Crystal chemistry of three-component white dwarfs and neutron star
  crusts: phase stability, phase stratification, and physical properties Molecular mechanism of water permeation in helium impermeable graphene
  and graphene oxide membrane Quantum L\'evy Processes and Fractional Kinetics Sugar and Stops in Drivers with Insulin-Dependent Type 1 Diabetes Global attractor for a Ginzburg-Landau type model of rotating
  Bose-Einstein condensates Predicting Voting Outcomes in the Presence of Communities, Echo Chambers
  and Multiple Parties Imaging through highly scattering environments using ballistic and
  quasi-ballistic light in a common-path Sagnac interferometer ECA-RuleML: An Approach combining ECA Rules with temporal interval-based
  KR Event/Action Logics and Transactional Update Logics Sparse and compositionally robust inference of microbial ecological
  networks How Many Political Parties Should Brazil Have? A Data-driven Method to
  Assess and Reduce Fragmentation in Multi-Party Political Systems A Graph Partitioning Algorithm for Leak Detection in Water Distribution
  Networks Interacting Hopf Algebras: the theory of linear systems On the Distribution of Plasmoids In High-Lundquist-Number Magnetic
  Reconnection Extremal values of semi-regular continuants and codings of interval
  exchange transformations
cs.LO cs.PL cs.SE