635 citations
- Centrum Wiskunde & InformaticaNL24 papers
- University of AmsterdamNL7 papers
- California Institute of TechnologyUS5 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Delft University of TechnologyNL5 papers
- Radboud University NijmegenNL5 papers
- Leiden UniversityNL4 papers
- Courant Institute of Mathematical SciencesUS3 papers
- IMECBE3 papers
- Max Planck Institute of Quantum OpticsDE3 papers
- Max Planck SocietyDE3 papers
- Microsoft (United States)US3 papers
35 papers · 1 filter
Branching Bisimilarity with Explicit Divergence
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definitio…
Size dependent exciton g-factor in self-assembled InAs/InP quantum dots
N. A. J. M. Kleemans, J. van Bree, M. Bozkurt +6
We have studied the size dependence of the exciton g-factor in self-assembled InAs/InP quantum dots. Photoluminescence measurements on a large ensemble of these dots indicate a mul…
Correlation between magnetism and spin-dependent transport in CoFeB alloys
P. V. Paluskar, R. Lavrijsen, M. Sicot +3
We report a correlation between the spin polarization of the tunneling electrons (TSP) and the magnetic moment of amorphous CoFeB alloys. Such a correlation is surprising since the…
A study of the possibility of sprites in the atmospheres of other planets
Yoav Yair, Yukihiro Takahashi, Roy Yaniv +2
Sprites are a spectacular type of transient luminous events (TLE) which occur above thunderstorms immediately after lightning. They have shapes of giant jellyfish, carrots or colum…
Non-oriented solutions of the eikonal equation
Mark A. Peletier, Marco Veneroni
We study a new formulation for the eikonal equation |grad u| =1 on a bounded subset of R^2. Instead of a vector field grad u, we consider a field P of orthogonal projections on 1-d…
Streamers, sprites, leaders, lightning: from micro- to macroscales
Ute Ebert, Davis D. Sentman
"Streamers, sprites, leaders, lightning: from micro- to macroscales" was the theme of a workshop in October 2007 in Leiden, The Netherlands; it brought researchers from plasma phys…