635 citations
- Centrum Wiskunde & InformaticaNL28 papers
- Delft University of TechnologyNL9 papers
- Leiden UniversityNL7 papers
- University of AmsterdamNL7 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- California Institute of TechnologyUS5 papers
- Radboud University NijmegenNL5 papers
- Vrije Universiteit AmsterdamNL5 papers
- Courant Institute of Mathematical SciencesUS3 papers
- IMECBE3 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Max Planck Institute of Quantum OpticsDE3 papers
4 papers · 1 filter
Off-lattice Monte Carlo Simulation of Supramolecular Polymer Architectures
Henry E. Amuasi, Cornelis Storm
We introduce an efficient, scalable Monte Carlo algorithm to simulate cross-linked architectures of freely-jointed and discrete worm-like chains. Bond movement is based on the disc…
Differential Privacy versus Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano +1
Differential privacy is a notion of privacy that has become very popular in the database community. Roughly, the idea is that a randomized query mechanism provides sufficient priva…
Comment on "NOx production in laboratory discharges simulating blue jets and red sprites" by H. Peterson et al
Sander Nijdam, Eddie van Veldhuizen, Ute Ebert
Peterson et al. [2009] intend to determine the NOx production of sprites and blue jets from laboratory experiments. Sprite discharges are known to be physically similar to streamer…
Robustness of Equations Under Operational Extensions
Peter D. Mosses, MohammadReza Mousavi, Michel A. Reniers
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are…