4.2k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Utrecht UniversityNL210 papers
- Delft University of TechnologyNL196 papers
- Centre National de la Recherche ScientifiqueFR195 papers
- Centrum Wiskunde & InformaticaNL163 papers
- University of TwenteNL158 papers
- University of AmsterdamNL113 papers
- Radboud University NijmegenNL89 papers
- University of Rome Tor VergataIT84 papers
- Vrije Universiteit AmsterdamNL79 papers
- Leiden UniversityNL72 papers
- University of GroningenNL58 papers
- Philips (Netherlands)NL56 papers
65 papers · 1 filter
Computation Tree Logic with Deadlock Detection
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This r…
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach
Nikola Trčka
We first study labeled transition systems with explicit successful termination. We establish the notions of strong, weak, and branching bisimulation in terms of boolean matrix theo…
Vector magnetic field microscopy using nitrogen vacancy centers in diamond
B. J. Maertz, A. P. Wijnheijmer, G. D. Fuchs +2
The localized spin triplet ground state of a nitrogen vacancy (NV) center in diamond can be used in atomic-scale detection of local magnetic fields. Here we present a technique usi…
Optimal Prandtl number for heat transfer in rotating Rayleigh-Benard convection
Richard J. A. M. Stevens, Herman J. H. Clercx, Detlef Lohse
Numerical data for the heat transfer as a function of the Prandtl (Pr) and Rossby (Ro) numbers in turbulent rotating Rayleigh-Benard convection are presented for Rayleigh number Ra…
Reconstructing Experiences through Sketching
Evangelos Karapanos, Jean-Bernard Martens, Marc Hassenzahl
We present iScale, a survey tool for the retrospective elicitation of longitudinal user experience data. iScale employs sketching in imposing a process in the reconstruction of one…
Random-roughness hydrodynamic boundary conditions
Christian Kunert, Jens Harting, Olga I. Vinogradova
We report results of lattice Boltzmann simulations of a high-speed drainage of liquid films squeezed between a smooth sphere and a randomly rough plane. A significant decrease in t…
Probing photo-ionization: Experiments on positive streamers in pure gasses and mixtures
S Nijdam, F M J H van de Wetering, R Blanc +2
Positive streamers are thought to propagate by photo-ionization whose parameters depend on the nitrogen:oxygen ratio. Therefore we study streamers in nitrogen with 20%, 0.2% and 0.…
On the number of spanning trees a planar graph can have
Kevin Buchin, André Schulz
We prove that any planar graph on vertices has less than spanning trees. Under the restriction that the planar graph is 3-connected and contains no triangle and…
On the freeness of the cyclotomic BMW algebras: admissibility and an isomorphism with the cyclotomic Kauffman tangle algebras
Stewart Wilcox, Shona Yu
The cyclotomic Birman-Murakami-Wenzl (BMW) algebras B_n^k, introduced by R. Häring-Oldenburg, are a generalisation of the BMW algebras associated with the cyclotomic Hecke algebras…
On the structure of 3-nets embedded in a projective plane
Aart Blokhuis, Gábor Korchmáros, Francesco Mazzocca
We investigate finite 3-nets embedded in a projective plane over a (finite or infinite) field of any characteristic p. Such an embedding is regular when each of the three classes o…
Tail asymptotics for the total progeny of the critical killed branching random walk
Elie Aidekon
We consider a branching random walk on with a killing barrier at zero. At criticality, the process becomes eventually extinct, and the total progeny is therefore f…
Fully reversible transition from Wenzel to Cassie-Baxter states on corrugated superhydrophobic surfaces
R. J. Vrancken, H. Kusumaatmaja, K. Hermans +4
Liquid drops on textured surfaces show different dynamical behaviors depending on their wetting states. They are extremely mobile when they are supported by composite solid-liquid-…
Nonparametric methods for volatility density estimation
Bert van Es, Peter Spreij, Harry van Zanten
Stochastic volatility modelling of financial processes has become increasingly popular. The proposed models usually contain a stationary volatility process. We will motivate and re…
Proceedings Second International Workshop on Computational Models for Cell Processes
Ralph-Johan Back, Ion Petre, Erik de Vink
The second international workshop on Computational Models for Cell Processes (ComProc 2009) took place on November 3, 2009 at the Eindhoven University of Technology, in conjunction…
Lattice Boltzmann simulations in microfluidics: probing the no-slip boundary condition in hydrophobic, rough, and surface nanobubble laden microchannels
Jens Harting, Christian Kunert, Jari Hyväluoma
In this contribution we review recent efforts on investigations of the effect of (apparent) boundary slip by utilizing lattice Boltzmann simulations. We demonstrate the applicabili…
Turbulence-induced melting of a nonequilibrium vortex crystal in a forced thin fluid film
Prasad Perlekar, Rahul Pandit
To develop an understanding of recent experiments on the turbulence-induced melting of a periodic array of vortices in a thin fluid film, we perform a direct numerical simulation o…
Room-temperature ferromagnetism in graphite driven by 2D networks of point defects
J. Cervenka, M. I. Katsnelson, C. F. J. Flipse
Ferromagnetism in carbon-based materials is appealing for both applications and fundamental science purposes because carbon is a light and bio-compatible material that contains onl…
Contact angle determination in multicomponent lattice Boltzmann simulations
Sebastian Schmieschek, Jens Harting
Droplets on hydrophobic surfaces are ubiquitous in microfluidic applications and there exists a number of commonly used multicomponent and multiphase lattice Boltzmann schemes to s…
Partition Arguments in Multiparty Communication Complexity
Jan Draisma, Eyal Kushilevitz, Enav Weinreb
Consider the "Number in Hand" multiparty communication complexity model, where k players holding inputs x_1,...,x_k in {0,1}^n communicate to compute the value f(x_1,...,x_k) of a…
Singular lines of trilinear forms
Jan Draisma, Ron Shaw
We prove that an alternating e-form on a vector space over a quasi-algebraically closed field always has a singular (e-1)-dimensional subspace, provided that the dimension of the s…
Motion of a Vortex Filament in the Local Induction Approximation: Reformulation of the Da Rios-Betchov Equations in the Extrinsic Filament Coordinate Space
B. K. Shivamoggi, G. J. F. van Heijst
In recognition of the highly non-trivial task of computation of the inverse Hasimoto transformation mapping the intrinsic geometric parameter space onto the extrinsic vortex filame…
Divorticity and Dihelicity In Two-Dimensional Hydrodynamics
B. K. Shivamoggi, G. J. F. van Heijst, J. Juul Rasmussen
A framework is developed based on the concepts of {\it divorticity} ($\equiv\nabla\times\bfo$, $\bfo$ being the vorticity) and $\textit{dihelicity} g \lp \equiv\bfv\cd…
Vortex Motion in Superfluid He: Effects of Normal Fluid Flow
Bhimsen K. Shivamoggi
The motion of a vortex filament in superfluid 4He is considered by using the Hall-Vinen-Bekarevich-Khalatnikov (HVBK) phenomenological model for the scattering process between the…
Novel scaling limits for critical inhomogeneous random graphs
Shankar Bhamidi, Remco van der Hofstad, Johan S. H. van Leeuwaarden
We find scaling limits for the sizes of the largest components at criticality for rank-1 inhomogeneous random graphs with power-law degrees with power-law exponent τ. We investigat…