9 citations · 13 across the 4 of their papers we have counts for
4 papers
A Formalization of Operads in Coq
Zachary Flores, Angelo Taranto, Eric Bond +1
What provides the highest level of assurance for correctness of execution within a programming language? One answer, and our solution in particular, to this problem is to provide a…
Localization and Cantor spectrum for quasiperiodic discrete Schrödinger operators with asymmetric, smooth, cosine-like sampling functions
Yakir Forman, Tom VandenBoom
We prove Cantor spectrum and almost-sure Anderson localization for quasiperiodic discrete Schrödinger operators with potential sampled with Diophantine fr…
Modeling aggregation processes of Lennard-Jones particles via stochastic networks
Yakir Forman, Maria Cameron
We model an isothermal aggregation process of particles/atoms interacting according to the Lennard-Jones pair potential by mapping the energy landscapes of each cluster size on…
A study of cascading failures in real and synthetic power grid topologies using DC power flows
Russell Spiewak, Sergey V. Buldyrev, Yakir Forman +2
Using the linearized DC power flow model, we study cascading failures and their spatial and temporal properties in the US Western Interconnect (USWI) power grid. We also introduce…