643 citations
- Ludwig-Maximilians-Universität MünchenDE115 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Instituto de Astrofísica de CanariasES7 papers
- KU LeuvenBE6 papers
- Universidad de La LagunaES6 papers
- Centro de AstrobiologíaES5 papers
- University of BonnDE5 papers
- University of Hawaiʻi at MānoaUS5 papers
- ETH ZurichCH4 papers
- European Southern ObservatoryCL4 papers
- Munich Center for Machine Learning4 papers
- Siemens (Germany)DE4 papers
7 papers · 1 filter
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
Dirk Beyer, Karlheinz Friedberger
Verifying multi-threaded programs is becoming more and more important, because of the strong trend to increase the number of processing units per CPU socket. We introduce a new con…
Magnetic massive stars as progenitors of "heavy" stellar-mass black holes
V. Petit, Z. Keszthelyi, R. MacInnis +7
The groundbreaking detection of gravitational waves produced by the inspiralling and coalescence of the black hole (BH) binary GW150914 confirms the existence of "heavy" stellar-ma…
Modeling the early evolution of massive OB stars with an experimental wind routine
Zsolt Keszthelyi, Joachim Puls, Gregg Wade
Stellar evolution models of massive stars are very sensitive to the adopted mass-loss scheme. The magnitude and evolution of mass-loss rates significantly affect the main sequence…
Automatic Liver and Lesion Segmentation in CT Using Cascaded Fully Convolutional Neural Networks and 3D Conditional Random Fields
Patrick Ferdinand Christ, Mohamed Ezzeldin A. Elshaer, Florian Ettlinger +10
Automatic segmentation of the liver and its lesion is an important step towards deriving quantitative biomarkers for accurate clinical diagnosis and computer-aided decision support…
From Nonstandard Analysis to various flavours of Computability Theory
Sam Sanders
As suggested by the title, it has recently become clear that theorems of Nonstandard Analysis (NSA) give rise to theorems in computability theory (no longer involving NSA). Now, th…
The IACOB project: III. New observational clues to understand macroturbulent broadening in massive O- and B-type stars
S. Simón-Díaz, M. Godart, N. Castro +5
We aim to provide new empirical clues about macroturbulent spectral line broadening in O- and B-type stars to evaluate its physical origin. We use high-resolution spectra of ~430 s…