52 citations · 211 across the 14 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cond-mat.stat-mech2015★ 52 cited
Overcoming timescale and finite-size limitations to compute nucleation rates from small scale Well Tempered Metadynamics simulations
Matteo Salvalaglio, Pratyush Tiwary, Giovanni Maria Maggioni +2
Condensation of a liquid droplet from a supersaturated vapour phase is initiated by a prototypical nucleation event. As such it is challenging to compute its rate from atomistic mo…
cs.LO2015
Sequent Calculus in the Topos of Trees
Ranald Clouston, Rajeev Goré
Nakano's "later" modality, inspired by Gödel-Löb provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this m…