Contracts for Abstract Processes in Service Composition
Analysis of MiniJava Programs via Translation to ML
Hydrodynamic Equations for Microscopic Phase Densities Approximate Lie Group Analysis of a Model Advection Equation on an
  Unstructured Grid Attainable set for rank 3 step 2 free Carnot group with positive
  controls Quantization causes waves:Smooth finitely computable functions are
  affine A Social Network for Societal-Scale Decision-Making Systems Regular graded algebras and obstructed categories with duality Downside Risk analysis applied to Hedge Funds universe BBGKY Dynamics: from Localization to Pattern Formation From data to noise to data: mixing physics across temperatures with
  generative artificial intelligence Phonemic and Graphemic Multilingual CTC Based Speech Recognition Quantum algorithm for Petz recovery channels and pretty good
  measurements Recognizing Treelike k-Dissimilarities Weaving knotted vector fields with tunable helicity GDC 2: Compression of large collections of genomes Quantum Randi Challenge On a Bayesian Approach to Malware Detection and Classification through
  $n$-gram Profiles Twin-width IV: ordered graphs and matrices Loop Groups, Higgs Fields and Generalised String Classes On the locus formed by the maximum heights of projectile motion with air
  resistance Approximate universality in the tunneling potential for curved field
  emitters -- a line charge model approach Cascaded Mutual Modulation for Visual Reasoning
cs.PL