A Scheme to Verify Services with Unboundedly many Clients using NuSMV
Learnability and Positive Equivalence Relations
Modeling off-resonant nonlinear-optical cascading in mesoscopic thin
  films and guest-host molecular systems Common Metrics to Benchmark Human-Machine Teams (HMT): A Review Monte Carlo model for electron degradation in methane Adversarial Attacks and Mitigation for Anomaly Detectors of
  Cyber-Physical Systems Logic circuits from zero forcing Multiparticle SUSY quantum mechanics and the representations of
  permutation group Tenacious tagging of images via Mellin monomials On The Homotopy Type of Higher Orbifolds and Haefliger Classifying
  Spaces A Bonnet-Myers type theorem for quaternionic contact structures WSNet: Compact and Efficient Networks Through Weight Sampling The Rank and Hanna Neumann Property of Some Submonoids of a Free Monoid Actionable Approaches to Promote Ethical AI in Libraries Boolean logic gate design principles in unconventional computers: an NMR
  case study Workflow Provenance in the Lifecycle of Scientific Machine Learning Cell motility: a viscous fingering analysis of active gels Exploiting Nontrivial Connectivity for Automatic Speech Recognition An optical phase-locking with large and tunable frequency difference
  based on vertical-cavity surface-emitting laser STUDIES: Corpus of Japanese Empathetic Dialogue Speech Towards Friendly
  Voice Agent
cs.LO