BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Michael Weber

Michael Weber appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
astro-ph.SRastro-ph.IMData Structures and AlgorithmsMachine Learningastro-ph.GAComputer VisionCryptography and Securitycs.CYDistributed, Parallel, and Cluster ComputingProgramming LanguagesQuantitative Methods

Catalog footprint

What is connected

16works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2026arXiv

Large-scale time-series spectroscopy for stellar ages

To date, Galactic Astronomy has largely concerned itself with astrophysical processes, and with the locations, space motions and compositions of objects. Consider, for example, the elucidation of the components of the Galaxy over the past decades, its mapping as enabled by Gaia and its predecessors, the photometric and spectroscopic characterization of innumerable astrophysical objects in various wavelength ranges, both from the ground and from space, and the expanding discovery and characterization of exoplanets; all focused on the current, static Galaxy. This White Paper proposes a dedicated program to derive stellar ages from time-series spectroscopy to hasten the transformation of this static conception into a dynamical one with age-labeled objects and events.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Adversarial Vulnerability of Temporal Feature Networks for Object Detection

Taking into account information across the temporal domain helps to improve environment perception in autonomous driving. However, it has not been studied so far whether temporally fused neural networks are vulnerable to deliberately generated perturbations, i.e. adversarial attacks, or whether temporal history is an inherent defense against them. In this work, we study whether temporal feature networks for object detection are vulnerable to universal adversarial attacks. We evaluate attacks of two types: imperceptible noise for the whole image and locally-bound adversarial patch. In both cases, perturbations are generated in a white-box manner using PGD. Our experiments confirm, that attacking even a portion of a temporal input suffices to fool the network. We visually assess generated perturbations to gain insights into the functioning of attacks. To enhance the robustness, we apply adversarial training using 5-PGD. Our experiments on KITTI and nuScenes datasets demonstrate, that a model robustified via K-PGD is able to withstand the studied attacks while keeping the mAP-based performance comparable to that of an unattacked model.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The Great Dimming of Betelgeuse: a Surface Mass Ejection (SME) and its Consequences

The bright supergiant, Betelgeuse (Alpha Orionis, HD 39801), underwent a historic optical dimming during 2020 January 27 $-$ February 13. Many imaging and spectroscopic observations across the electromagnetic spectrum were obtained prior to, during, and subsequent to this dimming event. These observations of Betelgeuse reveal that a substantial surface mass ejection (SME) occurred and moved out through the extended atmosphere of the supergiant. A photospheric shock occurred in 2019 January - March, progressed through the extended atmosphere of the star during the following 11 months and led to dust production in the atmosphere. Resulting from the substantial mass outflow, the stellar photosphere was left with lower temperatures and the chromosphere with a lower density. The mass ejected could represent a significant fraction of the total annual mass loss rate from the star suggesting that episodic mass loss events can contribute an amount comparable to that of the stellar wind. Following the SME, Betelgeuse was left with a cooler average photosphere, an unusual short photometric oscillation, reduced velocity excursions, and the disappearance of the $\sim$400-day pulsation in the optical and radial velocity for more than two years following the Great Dimming.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety

The use of deep neural networks (DNNs) in safety-critical applications like mobile health and autonomous driving is challenging due to numerous model-inherent shortcomings. These shortcomings are diverse and range from a lack of generalization over insufficient interpretability to problems with malicious inputs. Cyber-physical systems employing DNNs are therefore likely to suffer from safety concerns. In recent years, a zoo of state-of-the-art techniques aiming to address these safety concerns has emerged. This work provides a structured and broad overview of them. We first identify categories of insufficiencies to then describe research activities aiming at their detection, quantification, or mitigation. Our paper addresses both machine learning experts and safety engineers: The former ones might profit from the broad range of machine learning topics covered and discussions on limitations of recent methods. The latter ones might gain insights into the specifics of modern ML methods. We moreover hope that our contribution fuels discussions on desiderata for ML systems and strategies on how to propel existing approaches accordingly.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

HIRES, the high-resolution spectrograph for the ELT

HIRES will be the high-resolution spectrograph of the European Extremely Large Telescope at optical and near-infrared wavelengths. It consists of three fibre-fed spectrographs providing a wavelength coverage of 0.4-1.8 mic (goal 0.35-1.8 mic) at a spectral resolution of ~100,000. The fibre-feeding allows HIRES to have several, interchangeable observing modes including a SCAO module and a small diffraction-limited IFU in the NIR. Therefore, it will be able to operate both in seeing and diffraction-limited modes. ELT-HIRES has a wide range of science cases spanning nearly all areas of research in astrophysics and even fundamental physics. Some of the top science cases will be the detection of bio signatures from exoplanet atmospheres, finding the fingerprints of the first generation of stars (PopIII), tests on the stability of Nature's fundamental couplings, and the direct detection of the cosmic acceleration. The HIRES consortium is composed of more than 30 institutes from 14 countries, forming a team of more than 200 scientists and engineers.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the binary orbit of Henry Draper one (HD 1)

We present our final orbit for the late-type spectroscopic binary HD 1. Employed are 553 spectra from 13 years of observations with our robotic STELLA facility and its high-resolution echelle spectrograph SES. Its long-term radial-velocity stability is $\approx$50m/s . A single radial velocity of HD 1 reached a rms residual of 63m/s, close to the expected precision. Spectral lines of HD 1 are rotationally broadened with $v\sin i$ of 9.1$\pm$0.1 km/s . The overall spectrum appears single-lined and yielded an orbit with an eccentricity of 0.5056$\pm$0.0005 and a semi-amplitude of 4.44km/s . We constrain and refine the orbital period based on the SES data alone to 2318.70$\pm$0.32d, compared to 2317.8$\pm$1.1d when including the older data set published by DAO and Cambridge/Coravel. Owing to the higher precision of the SES data, we base the orbit calculation only on the STELLA/SES velocities in order not to degrade its solution. We redetermine astrophysical parameters for HD 1 from spectrum synthesis and, together with the new {\it Gaia} DR-2 parallax, suggest a higher luminosity than published previously. We conclude that HD 1 is a slightly metal-deficient K0 III-II giant 217 times more luminous than the Sun. The secondary remains invisible at optical wavelengths. We present evidence for the existence of a third component.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Spatially Resolved Ultraviolet Spectroscopy of the Great Dimming of Betelgeuse

The bright supergiant, Betelgeuse (Alpha Orionis, HD 39801) experienced a visual dimming during 2019 December and the first quarter of 2020 reaching an historic minimum 2020 February 7$-$13. During 2019 September-November, prior to the optical dimming event, the photosphere was expanding. At the same time, spatially resolved ultraviolet spectra using the Hubble Space Telescope/Space Telescope Imaging Spectrograph revealed a substantial increase in the ultraviolet spectrum and Mg II line emission from the chromosphere over the southern hemisphere of the star. Moreover, the temperature and electron density inferred from the spectrum and C II diagnostics also increased in this hemisphere. These changes happened prior to the Great Dimming Event. Variations in the Mg II k-line profiles suggest material moved outwards in response to the passage of a pulse or acoustic shock from 2019 September through 2019 November. It appears that this extraordinary outflow of material from the star, likely initiated by convective photospheric elements, was enhanced by the coincidence with the outward motions in this phase of the $\sim$400 day pulsation cycle. These ultraviolet observations appear to provide the connecting link between the known large convective cells in the photosphere and the mass ejection event that cooled to form the dust cloud in the southern hemisphere imaged in 2019 December, and led to the exceptional optical dimming of Betelgeuse in 2020 February.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Stellar rotation, binarity, and lithium in the open cluster IC4756

An important aspect in the evolutionary scenario of cool stars is their rotation and the rotationally induced magnetic activity and interior mixing. Stars in open clusters are particularly useful tracers for these aspects because of their known ages. We aim to characterize the open cluster IC4756 and measure stellar rotation periods and surface differential rotation for a sample of its member stars. Thirty-seven cluster stars were observed continuously with the CoRoT satellite for 78 days in 2010. Follow-up high-resolution spectroscopy of the CoRoT targets and deep Strömgren $uvbyβ$ and H$α$ photometry of the entire cluster were obtained with our robotic STELLA facility and its echelle spectrograph and wide-field imager, respectively. We determined high-precision photometric periods for 27 of the 37 CoRoT targets and found values between 0.155 and 11.4 days. Twenty of these are rotation periods. Twelve targets are spectroscopic binaries of which 11 were previously unknown; orbits are given for six of them. Six targets were found that show evidence of differential rotation with $ΔΩ/Ω$ in the range 0.04-0.15. Five stars are non-radially pulsating stars with fundamental periods of below 1d, two stars are semi-contact binaries, and one target is a micro-flaring star that also shows rotational modulation. Nine stars in total were not considered members because of much redder color(s) and deviant radial velocities with respect to the cluster mean. H$α$ photometry indicates that the cluster ensemble does not contain magnetically over-active stars. The cluster average metallicity is -0.08$\pm$0.06 (rms) and its logarithmic lithium abundance for 12 G-dwarf stars is 2.39$\pm$0.17 (rms). [...]

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The LEECH Exoplanet Imaging Survey: Orbit and Component Masses of the Intermediate Age, Late-Type Binary NO UMa

We present high-resolution Large Binocular Telescope LBTI/LMIRcam images of the spectroscopic and astrometric binary NO UMa obtained as part of the LBTI Exozodi Exoplanet Common Hunt (LEECH) exoplanet imaging survey. Our H, K$_s$, and L'-band observations resolve the system at angular separations <0.09". The components exhibit significant orbital motion over a span of ~7 months. We combine our imaging data with archival images, published speckle interferometry measurements, and existing spectroscopic velocity data to solve the full orbital solution and estimate component masses. The masses of the K2.0$\pm$0.5 primary and K6.5$\pm$0.5 secondary are 0.83$\pm$0.02 M$_{\odot}$ and 0.64$\pm$0.02 M$_{\odot}$, respectively. We also derive a system distance of d = 25.87$\pm$0.02 pc and revise the Galactic kinematics of NO UMa. Our revised Galactic kinematics confirm NO UMa as a nuclear member of the ~500 Myr old Ursa Major moving group and it is thus a mass and age benchmark. We compare the masses of the NO UMa binary components to those predicted by five sets of stellar evolution models at the age of the Ursa Major group. We find excellent agreement between our measured masses and model predictions with little systematic scatter between the models. NO UMa joins the short list of nearby, bright, late-type binaries having known ages and fully characterized orbits.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

OpenSPIM - an open access platform for light sheet microscopy

Light sheet microscopy promises to revolutionize developmental biology by enabling live in toto imaging of entire embryos with minimal phototoxicity. We present detailed instructions for building a compact and customizable Selective Plane Illumination Microscopy (SPIM) system. The integrated OpenSPIM hardware and software platform is shared with the scientific community through a public website, thereby making light sheet microscopy accessible for widespread use and optimization to various applications.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Surface differential rotation of IL Hya from time-series Doppler images

We present a time-series Doppler imaging study of the K-subgiant component in the RS CVn-type binary system IL Hya (P orb=12.905 d). From re-processing the unique long-term spectroscopic dataset of 70 days taken in 1996/97, we perform a thorough cross-correlation analysis to derive surface differential rotation. As a result we get solar-type differential rotation with a shear value alpha of 0.05, in agreement with preliminary suggestions from previous attempts. A possible surface pattern of meridional circulation is also detected.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing

We introduce a new compile-time notion of type subsumption based on type simulation. We show how to apply this static subsumption relation to support a more intuitive, object oriented approach to generic programming of reusable, high performance container types. As a first step towards an efficient implementation of the resulting type system in a compiler we present a novel algorithm for bidirectional type inference over arbitrary syntax graphs. The algorithm uses the new static type subsumption relation to compress the data that has to be stored for each node in the typeflow graph. During typeflow analysis this means that the set of types for a given node can be symbolically represented using antichains instead of using bitvectors or some other explicit set representation. This results in a typing algorithm that is both flexible and precise and shows good performance on representative instances.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Parallel Recursive State Compression for Free

This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a tree-based multi-core compression method, which works by leveraging sharing among sub-vectors of state vectors. An algorithmic analysis of both worst-case and optimal compression ratios shows the potential to compress even large states to a small constant on average (8 bytes). Our experiments demonstrate that this holds up in practice: the median compression ratio of 279 measured experiments is within 17% of the optimum for tree compression, and five times better than the median compression ratio of SPIN's COLLAPSE compression. Our algorithms are implemented in the LTSmin tool, and our experiments show that for model checking, multi-core tree compression pays its own way: it comes virtually without overhead compared to the fastest hash table-based methods.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The spectroscopic orbit of Capella revisited

Context. Capella is among the few binary stars with two evolved giant components. The hotter component is a chromospherically active star within the Hertzsprung gap, while the cooler star is possibly helium-core burning. Aims. The known inclination of the orbital plane from astrometry in combination with precise radial velocities will allow very accurate masses to be determined for the individual Capella stars. This will constrain their evolutionary stage and possibly the role of the active star's magnetic field on the dynamical evolution of the binary system. Methods. We obtained a total of 438 high-resolution échelle spectra during the years 2007-2010 and used the measured velocities to recompute the orbital elements. Our double-lined orbital solution yields average residuals of 64 m/s for the cool component and 297 m/s for the more rapidly rotating hotter component. Results. The semi-amplitude of the cool component is smaller by 0.045 km/s than the orbit determination of Torres et al. from data taken during 1996-1999 but more precise by a factor of 5.5, while for the hotter component it is larger by 0.580 km/s and more precise by a factor of 3.6. This corresponds to masses of 2.573\pm0.009 M_sun and 2.488\pm0.008 M_sun for the cool and hot component, respectively. Their relative errors of 0.34% and 0.30% are about half of the values given in Torres et al. for a combined literature- data solution but with absolute values different by 4% and 2% for the two components, respectively. The mass ratio of the system is therefore q = M_A/M_B = 0.9673 \pm 0.0020. Conclusions. Our orbit is the most precise and also likely to be the most accurate ever obtained for Capella.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Boosting Multi-Core Reachability Performance with Shared Hash Tables

This paper focuses on data structures for multi-core reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of an efficient solution is the storage of visited states. In related work, static partitioning of the state space was combined with thread-local storage and resulted in reasonable speedups, but left open whether improvements are possible. In this paper, we present a scaling solution for shared state storage which is based on a lockless hash table implementation. The solution is specifically designed for the cache architecture of modern CPUs. Because model checking algorithms impose loose requirements on the hash table operations, their design can be streamlined substantially compared to related work on lockless hash tables. Still, an implementation of the hash table presented here has dozens of sensitive performance parameters (bucket size, cache line size, data layout, probing sequence, etc.). We analyzed their impact and compared the resulting speedups with related tools. Our implementation outperforms two state-of-the-art multi-core model checkers (SPIN and DiVinE) by a substantial margin, while placing fewer constraints on the load balancing and search algorithms.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Three years of experience with the STELLA robotic observatory

Since May 2006, the two STELLA robotic telescopes at the Izana observatory in Tenerife, Spain, delivered an almost uninterrupted stream of scientific data. To achieve such a high level of autonomous operation, the replacement of all troubleshooting skills of a regular observer in software was required. Care must be taken on error handling issues and on robustness of the algorithms used. In the current paper, we summarize the approaches we followed in the STELLA observatory.

0 citations0 reviewsNo code linkedOpen access