Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
  and 24th International Workshop on Functional and (Constraint) Logic
  Programming
A graded dependent type system with a usage-aware semantics (extended
  version)
GENNI: Visualising the Geometry of Equivalences for Neural Network
  Identifiability Marketing Impact on Diffusion in Social Networks Origin of broad polydispersion in functionalized dendrimers and its
  effects on cancer cell binding affinity Superradiant instabilities of rotating black branes and strings Sparse Bayesian Learning via Stepwise Regression Spectral decoupling allows training transferable neural networks in
  medical imaging Group and phase velocities in the free-surface visco-potential flow: new
  kind of boundary layer induced instability Interferobot: aligning an optical interferometer by a reinforcement
  learning agent Hidden Order behind Two Dimensional Random Vortices Accelerating Federated Edge Learning via Optimized Probabilistic Device
  Scheduling Differentiable reservoir computing Causal--Path Local Time--Stepping in the Discontinuous Galerkin Method
  for Maxwell's equations Investor Reaction to Financial Disclosures Across Topics: An Application
  of Latent Dirichlet Allocation Graphene: carbon in two dimensions Twisted K-theory of differentiable stacks Goal-oriented adaptive sampling under random field modelling of response
  probability distributions A Bivariate Dead Band Process Adjustment Policy Singular Dynamic Mode Decompositions Seiberg-Witten Theory and Random Partitions Simulation de traces r\'eelles d'E/S disque de PC Pseudosingularity in the eigenvalue integral equations Computational multifocal microscopy
cs.PL cs.LO