State Space Reduction in the Maude-NRL Protocol Analyzer
Deciding Hedged Bisimilarity
Sofic boundaries and a-T-menability Joint Optimization in Edge-Cloud Continuum for Federated Unsupervised
  Person Re-identification Cuckoo Trie: Exploiting Memory-Level Parallelism for Efficient DRAM
  Indexing Complex Relativity: Gravity and Electromagnetic Fields Web Image Context Extraction with Graph Neural Networks and Sentence
  Embeddings on the DOM tree An analysis of the superiorization method via the principle of
  concentration of measure Multivariate Big Data Analysis for Intrusion Detection: 5 steps from the
  haystack to the needle Universal Statistics of the Scattering Coefficient of Chaotic Microwave
  Cavities A deep learning approach to resonant light transmission through single
  subwavelength apertures Efficient generation of optical bottle beams Things not Written in Text: Exploring Spatial Commonsense from Visual
  Signals Master Graduation Thesis: A Lightweight and Distributed Container-based
  Framework NMR measurements in dynamically controlled field pulse The Decrease in Physics Enrollment One photon-per-bit receiver using near-noiseless phase-sensitive
  amplification Cell Migration Model with Multiple Chemical Compasses
cs.CR cs.LO