40 citations
- Technical University of DenmarkDK9 papers
- University of CopenhagenDK3 papers
- Ames National LaboratoryUS2 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR2 papers
- École Polytechnique Fédérale de LausanneCH2 papers
- Helmholtz-Zentrum Berlin für Materialien und EnergieDE2 papers
- Iowa State UniversityUS2 papers
- Paul Scherrer InstituteCH2 papers
- Utrecht UniversityNL2 papers
- Aarhus UniversityDK1 paper
- Australian Nuclear Science and Technology OrganisationAU1 paper
- Brookhaven National LaboratoryUS1 paper
15 papers
Measured group birefringence and group velocity dispersion of elliptical-core ZBLAN fibres for mid-infrared supercontinuum generation
Shreesha Rao D. S., Christian R. Petersen, Anupamaa Rampur +2
Polarisation-maintaining ZBLAN optical fibres with small elliptical cores are attractive for nonlinear frequency conversion, for example in supercontinuum generation (SCG), and for…
Emergence of low-energy spin waves in superconducting electron-doped cuprates
Kristine M. L. Krighaar, Jeppe J. Cederholm, Ellen M. S. Schriver +11
In order to fully utilize the technological potential of unconventional superconductors, an enhanced understanding of the superconducting mechanism is necessary. In the best perfor…
In the Picture: Medical Imaging Datasets, Artifacts, and their Living Review
Amelia Jiménez-Sánchez, Natalia-Rozalia Avlona, Sarah de Boer +26
Datasets play a critical role in medical imaging research, yet issues such as label quality, shortcuts, and metadata are often overlooked. This lack of attention may harm the gener…
Fully-Adaptive Dynamic Connectivity of Square Intersection Graphs
Ivor van der Hoog, André Nusser, Eva Rotenberg +1
A classical problem in computational geometry and graph algorithms is: given a dynamic set S of geometric shapes in the plane, efficiently maintain the connectivity of the intersec…
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report)
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller +1
Software-Defined Networking (SDN) significantly simplifies programming, reconfiguring, and optimizing network devices, such as switches and routers. The de facto standard for progr…
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski +2
This paper presents a quantitative program verification infrastructure for discrete probabilistic programs. Our infrastructure can be viewed as the probabilistic analogue of Boogie…