output
20212026
most citedSource-sink cooperation dynamics constrain institutional evolution in a group-structured society

18 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

5 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…

physics.soc-ph2021★ 18 cited

Source-sink cooperation dynamics constrain institutional evolution in a group-structured society

Laurent Hébert-Dufresne, Timothy M. Waring, Guillaume St-Onge +6

Societies change through time, entailing changes in behaviors and institutions. We ask how social change occurs when behaviors and institutions are interdependent. We model a group…

math.NT2021★ 5 cited

Higher Mertens constants for almost primes

Jonathan Bayless, Paul Kinlaw, Jared Duker Lichtman

For , a -almost prime is a positive integer with exactly prime factors, counted with multiplicity. In this article we give elementary proofs of precise asymptotics fo…