3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.CT2023
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…
physics.soc-ph2016★ 3 cited
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…