3 citations
- Augusta University HealthUS3 papers
- Augusta UniversityUS1 paper
- Beijing Academy of Quantum Information SciencesCN1 paper
- Dakota State UniversityUS1 paper
- North Carolina Agricultural and Technical State UniversityUS1 paper
- Sun Yat-sen UniversityCN1 paper
- University of California, Santa BarbaraUS1 paper
- University of IdahoUS1 paper
- University of MilanIT1 paper
3 papers
cs.LO2026
Barbed Similarity for the -Calculus in Beluga: A Case Study in Coinductive Reasoning
Lea Trogni, Gabriele Cecilia, Alberto Momigliano
We formalize strong barbed similarity for the pi-calculus in the Beluga proof assistant, completing a line of work addressing the Concurrent Calculi Formalization Benchmark. By ext…
quant-ph2024★ 3 cited
Quantum Adversarial Machine Learning and Defense Strategies: Challenges and Opportunities
Eric Yocam, Anthony Rizi, Mahesh Kamepalli +3
As quantum computing continues to advance, the development of quantum-secure neural networks is crucial to prevent adversarial attacks. This paper proposes three quantum-secure des…
cond-mat.mes-hall2023★ 3 cited
A spin-rotation mechanism of Einstein-de Haas effect based on a ferromagnetic disk
Xin Nie, Jun Li, Trinanjan Datta +1
Spin-rotation coupling (SRC) is a fundamental phenomenon that connects electronic spins with the rotational motion of a medium. We elucidate the Einstein-de Haas (EdH) effect and i…