Publication

TimSoethout/tla-ci: TLA+ specifications used in "Automated Validation of State-Based Client-Centric Isolation with TLA+". Software|Data

T.M. Soethout (Tim)

Autocrine inhibition of cell motility can drive epithelial branching morphogenesis in the absence of growth Article

E.G. Rens (Lisanne), M.T. Zeegers (Mathé), I. Rabbers (Iraes), A. Szabó (Andras) and R.M.H. Merks (Roeland)

Effective and Efficient Computation with Multiple-timescale Spiking Recurrent Neural Networks In Proceedings

B. Yin (Bojian), F. Corradi (Federico) and S.M. Bohte (Sander)

Role of the TPC in the cloud age In Proceedings

A. Crolotte (Alain), L. Fei-Fei (Li), M. Poess, P.A. Boncz (Peter) and R. Nambiar (Raghunath)

VRTogether co-organized the "First International Workshop on Tools for Creating XR Media Experience - VRTogether - 30-07-2020 Magazine Article

Emergence of Scale-Free Blackout Sizes in Power Grids Article

T. Nesti (Tommaso), F. Sloothaak and A.P. Zwart (Bert)

Novel approaches for electron tomography to investigate the structure and stability of nanomaterials in 3 dimensions Article

S. Bals (Sara), W. Albrecht (Wiebke), H. Vanrompay (Hans), E. Bladt (Eva), A. Skorikov (Alexander), T.M. De Oliveira (Thais Milagres), N. Winckelmans (Naomi), J. Buurlage (Jan-Willem), D.M. Pelt (Daniël), K.J. Batenburg (Joost), et al. S. van Aert (Sandra)

Analyzing large frequency disruptions in power systems using large deviations theory In Proceedings

B.J. Patch (Brendan) and A.P. Zwart (Bert)