Publication
Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
Publication
Monadic Second-Order Logic on Finite Sequences
Publication
Opting Into Optimal Matchings
Publication
Bringing LTL Model Checking to Biologists
Vidéo
Community Detection in the Stochastic Block Model: Approximate Belief Propagation
The stochastic block model is one of the simplest models for a random graph with different types of vertices, known as communities. In this talk I will describe an efficient algorithm that distinguishes between vertices…
Outil
Open Solving Library for ODEs
C# library that implements algorithms for the numerical solution of ordinary differential equations. The library incorporates .NET desktop and Silverlight builds.