Skip to main content

Showing 1–26 of 26 results for author: Rieder, S

.
  1. arXiv:2405.10350  [pdf, other

    cs.LG cs.AI cs.SE

    Monitizer: Automating Design and Evaluation of Neural Network Monitors

    Authors: Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretinsky, Stefanie Mohr, Sabine Rieder

    Abstract: The behavior of neural networks (NNs) on previously unseen types of data (out-of-distribution or OOD) is typically unpredictable. This can be dangerous if the network's output is used for decision-making in a safety-critical system. Hence, detecting that an input is OOD is crucial for the safe application of the NN. Verification approaches do not scale to practical NNs, making runtime monitoring m… ▽ More

    Submitted 16 May, 2024; originally announced May 2024.

    Comments: accepted at CAV 2024

  2. arXiv:2310.20413  [pdf, other

    astro-ph.SR astro-ph.GA

    Observational Bias and Young Massive Cluster Characterisation II. Can Gaia accurately observe young clusters and associations?

    Authors: Anne S. M. Buckner, Tim Naylor, Clare L. Dobbs, Steven Rieder, Thomas J. R. Bending

    Abstract: Observations of clusters suffer from issues such as completeness, projection effects, resolving individual stars and extinction. As such, how accurate are measurements and conclusions are likely to be? Here, we take cluster simulations (Westerlund2- and Orion- type), synthetically observe them to obtain luminosities, accounting for extinction and the inherent limits of Gaia, then place them within… ▽ More

    Submitted 13 November, 2023; v1 submitted 31 October, 2023; originally announced October 2023.

    Comments: 19 pages, 10 figures, 6 tables. Accepted for publication in MNRAS

  3. arXiv:2305.15109  [pdf, ps, other

    cs.AI eess.SY

    Guessing Winning Policies in LTL Synthesis by Semantic Learning

    Authors: Jan Kretinsky, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder

    Abstract: We provide a learning-based technique for guessing a winning strategy in a parity game originating from an LTL synthesis problem. A cheaply obtained guess can be useful in several applications. Not only can the guessed strategy be applied as best-effort in cases where the game's huge size prohibits rigorous approaches, but it can also increase the scalability of rigorous LTL synthesis in several w… ▽ More

    Submitted 24 May, 2023; originally announced May 2023.

  4. arXiv:2301.13611  [pdf, other

    astro-ph.SR astro-ph.CO astro-ph.GA

    Bringing Stellar Evolution & Feedback Together: Summary of proposals from the Lorentz Center Workshop, 2022

    Authors: Sam Geen, Poojan Agrawal, Paul A. Crowther, B. W. Keller, Alex de Koter, Zsolt Keszthelyi, Freeke van de Voort, Ahmad A. Ali, Frank Backs, Lars Bonne, Vittoria Brugaletta, Annelotte Derkink, Sylvia Ekström, Yvonne A. Fichtner, Luca Grassitelli, Ylva Götberg, Erin R. Higgins, Eva Laplace, Kong You Liow, Marta Lorenzo, Anna F. McLeod, Georges Meynet, Megan Newsome, G. André Oliva, Varsha Ramachandran , et al. (12 additional authors not shown)

    Abstract: Stars strongly impact their environment, and shape structures on all scales throughout the universe, in a process known as ``feedback''. Due to the complexity of both stellar evolution and the physics of larger astrophysical structures, there remain many unanswered questions about how feedback operates, and what we can learn about stars by studying their imprint on the wider universe. In this whit… ▽ More

    Submitted 31 January, 2023; originally announced January 2023.

    Comments: Accepted to the Publications of the Astronomical Society of the Pacific

  5. Using Molecular Gas Observations to Guide Initial Conditions for Star Cluster Simulations

    Authors: Alison Sills, Steven Rieder, Anne S. M. Buckner, Alvaro Hacar, Simon Portegies Zwart, Paula S. Teixeira

    Abstract: The earliest evolution of star clusters involves a phase of co-existence of both newly-formed stars, and the gas from which they are forming. Observations of the gas in such regions provide a wealth of data that can inform the simulations which are needed to follow the evolution of such objects forward in time. We present a method for transforming the observed gas properties into initial condition… ▽ More

    Submitted 16 December, 2022; originally announced December 2022.

    Comments: 11 pages, 12 figures, accepted for publication in MNRAS

  6. arXiv:2212.07773  [pdf, other

    cs.LG

    Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks

    Authors: Vahid Hashemi, Jan Křetínsky, Sabine Rieder, Jessica Schmidt

    Abstract: Runtime monitoring provides a more realistic and applicable alternative to verification in the setting of real neural networks used in industry. It is particularly useful for detecting out-of-distribution (OOD) inputs, for which the network was not trained and can yield erroneous results. We extend a runtime-monitoring approach previously proposed for classification networks to perception systems… ▽ More

    Submitted 15 December, 2022; originally announced December 2022.

    Comments: 14 Pages, 1 Table, 5 Figures. Accepted at the International Symposium of Formal Methods 2023 (FM 2023)

  7. The early evolution of young massive clusters: The kinematic history of NGC6611 / M16

    Authors: Mitchel Stoop, Lex Kaper, Alex de Koter, Difeng Guo, Henny J. G. L. M. Lamers, Steven Rieder

    Abstract: In the first few Myr the massive stars dynamically interact, produce runaways and affect the initial binary population. Observing and interpreting the dynamics of young massive clusters is key to our understanding of the star formation process and predicting the outcome of stellar evolution. We have studied NGC6611 in the Eagle Nebula (M16), a young massive cluster hosting 19 O stars. We used Gaia… ▽ More

    Submitted 6 December, 2022; v1 submitted 18 July, 2022; originally announced July 2022.

    Comments: replaced with accepted version to A&A. 28 pages, 15 figures

    Journal ref: A&A 670, A108 (2023)

  8. arXiv:2205.13537  [pdf, other

    astro-ph.SR astro-ph.EP astro-ph.HE

    Revisiting Common Envelope Evolution -- A New Semi-Analytic Model for N-body and Population Synthesis Codes

    Authors: Alessandro Alberto Trani, Steven Rieder, Ataru Tanikawa, Giuliano Iorio, Riccardo Martini, Georgii Karelin, Hila Glanz, Simon Portegies Zwart

    Abstract: We present a novel way of modeling common envelope evolution in binary and few-body systems. We consider the common envelope inspiral as driven by a drag force with a power-law dependence in relative distance and velocity. The orbital motion is resolved either by direct N-body integration or by solving the set of differential equations for the orbital elements as derived using perturbation theory.… ▽ More

    Submitted 23 August, 2022; v1 submitted 26 May, 2022; originally announced May 2022.

    Comments: 14 Pages, 8 Figures, accepted for publication in PRD

  9. arXiv:2205.03305  [pdf, other

    astro-ph.GA astro-ph.SR

    Observational Bias and Young Massive Cluster Characterisation I. 2D Perspective Effects

    Authors: Anne S. M. Buckner, Kong You Liow, Clare L. Dobbs, Tim Naylor, Steven Rieder

    Abstract: Understanding the formation and evolution of high mass star clusters requires comparisons between theoretical and observational data to be made. Unfortunately, while the full phase space of simulated regions is available, often only partial 2D spatial and kinematic data is available for observed regions. This raises the question as to whether cluster parameters determined from 2D data alone are re… ▽ More

    Submitted 6 May, 2022; originally announced May 2022.

    Comments: 16 pages, 10 figures, 1 table. Accepted for publication in MNRAS

  10. RE-EDS Using GAFF Topologies: Application to Relative Hydration Free-Energy Calculations for Large Sets of Molecules

    Authors: Salome R. Rieder, Benjamin Ries, Kay Schaller, Candide Champion, Emilia P. Barros, Philippe H. Huenenberger, Sereina Riniker

    Abstract: Free-energy differences between pairs of end-states can be estimated based on molecular dynamics (MD) simulations using standard pathway-dependent methods such as thermodynamic integration (TI), free-energy perturbation, or Bennett's acceptance ratio. Replica-exchange envelo** distribution sampling (RE-EDS), on the other hand, allows for the sampling of multiple end-states in a single simulation… ▽ More

    Submitted 10 June, 2022; v1 submitted 4 April, 2022; originally announced April 2022.

    Journal ref: J. Chem. Inf. Mol. (2022), 62, 3043-3056

  11. Grouped star formation: converting sink particles to stars in hydrodynamical simulations

    Authors: K. Y. Liow, S. Rieder, C. L. Dobbs, S. E. Jaffa

    Abstract: Modelling star formation and resolving individual stars in numerical simulations of molecular clouds and galaxies is highly challenging. Simulations on very small scales can be sufficiently well resolved to consistently follow the formation of individual stars, whilst on larger scales sinks that have masses sufficient to fully sample the IMF can be converted into realistic stellar populations. How… ▽ More

    Submitted 9 December, 2021; originally announced December 2021.

    Comments: 15 pages, 16 figures, 2 tables, accepted for publication in MNRAS

  12. The formation and early evolution of embedded star clusters in spiral galaxies

    Authors: Steven Rieder, Clare Dobbs, Thomas Bending, Kong You Liow, James Wurster

    Abstract: We present Ekster, a new method for simulating star clusters from birth in a live galaxy simulation that combines the smoothed-particle hydrodynamics (SPH) method Phantom with the $N$-body method PeTar. With Ekster, it becomes possible to simulate individual stars in a simulation with only moderately high resolution for the gas, allowing us to study whole sections of a galaxy rather than be restri… ▽ More

    Submitted 18 November, 2021; originally announced November 2021.

    Comments: 14 pages, 13 figures, accepted for publication in MNRAS

  13. arXiv:2007.10991  [pdf, other

    astro-ph.EP astro-ph.SR

    Two Directly Imaged, Wide-orbit Giant Planets around the Young, Solar Analog TYC 8998-760-1

    Authors: Alexander J. Bohn, Matthew A. Kenworthy, Christian Ginski, Steven Rieder, Eric E. Mamajek, Tiffany Meshkat, Mark J. Pecaut, Maddalena Reggiani, Jozua de Boer, Christoph U. Keller, Frans Snik, John Southworth

    Abstract: Even though tens of directly imaged companions have been discovered in the past decades, the number of directly confirmed multiplanet systems is still small. Dynamical analysis of these systems imposes important constraints on formation mechanisms of these wide-orbit companions. As part of the Young Suns Exoplanet Survey (YSES) we report the detection of a second planetary-mass companion around th… ▽ More

    Submitted 21 July, 2020; originally announced July 2020.

    Comments: Accepted for publication in ApJL (12 pages, 8 figures, 2 tables)

    Journal ref: ApJL, 898, L16 (2020)

  14. arXiv:2004.09438  [pdf, other

    astro-ph.GA astro-ph.SR

    The formation of young massive clusters by colliding flows

    Authors: C. L. Dobbs, K. Y. Liow, S. Rieder

    Abstract: Young massive clusters (YMCs) are the most intense regions of star formation in galaxies. Formulating a model for YMC formation whilst at the same time meeting the constraints from observations is highly challenging however. We show that forming YMCs requires clouds with densities $\gtrsim$ 100 cm$^{-3}$ to collide with high velocities ($\gtrsim$ 20 km s$^{-1}$). We present the first simulations w… ▽ More

    Submitted 20 April, 2020; originally announced April 2020.

    Comments: 6 pages, 5 figures, accepted for publication in MNRAS Letters

  15. arXiv:1805.00033  [pdf, other

    astro-ph.CO astro-ph.GA

    The Cosmic Ballet: spin and shape alignments of haloes in the cosmic web

    Authors: Punyakoti Ganeshaiah Veena, Marius Cautun, Rien van de Weygaert, Elmo Tempel, Bernard J. T. Jones, Steven Rieder, Carlos S. Frenk

    Abstract: We investigate the alignment of haloes with the filaments of the cosmic web using an unprecedently large sample of dark matter haloes taken from the P-Millennium $Λ$CDM cosmological N-body simulation. We use the state-of-the-art NEXUS morphological formalism which, due to its multiscale nature, simultaneously identifies structures at all scales. We find strong and highly significant alignments, wi… ▽ More

    Submitted 19 September, 2018; v1 submitted 30 April, 2018; originally announced May 2018.

    Comments: Accepted to MNRAS on 16th August 2018

    Journal ref: 2018MNRAS.481..414G

  16. arXiv:1803.04301  [pdf, other

    astro-ph.GA astro-ph.SR

    Dynamical evolution of stars and gas of young embedded stellar sub-clusters

    Authors: Alison Sills, Steven Rieder, Jennifer Scora, Jessica McCloskey, Sarah Jaffa

    Abstract: We present simulations of the dynamical evolution of young embedded star clusters. Our initial conditions are directly derived from X-ray, infrared, and radio observations of local systems, and our models evolve both gas and stars simultaneously. Our regions begin with both clustered and extended distributions of stars, and a gas distribution which can include a filamentary structure in addition t… ▽ More

    Submitted 12 March, 2018; originally announced March 2018.

    Comments: Accepted for publication in MNRAS. 11 pages, 13 figures, 2 tables

  17. Constraints on the size and dynamics of the J1407b ring system

    Authors: Steven Rieder, Matthew A. Kenworthy

    Abstract: Context. J1407 (1SWASP J140747.93-394542.6 in full) is a young star in the Scorpius-Centaurus OB association that underwent a series of complex eclipses over 56 days in 2007. To explain these, it was hypothesised that a secondary substellar companion, J1407b, has a giant ring system filling a large fraction of the Hill sphere, causing the eclipses. Observations have not successfully detected J1407… ▽ More

    Submitted 21 November, 2016; v1 submitted 27 September, 2016; originally announced September 2016.

    Comments: 6 pages, 4 figures, published in Astronomy & Astrophysics. v3: update to published version, with minor corrections

    Journal ref: A&A 596, A9 (2016)

  18. arXiv:1508.00737  [pdf, other

    astro-ph.CO math.AT math.GT

    Felix: A Topology based Framework for Visual Exploration of Cosmic Filaments

    Authors: Nithin Shivshankar, Pratyush Pranav, Vijay Natarajan, Rien van de Weygaert, E G Patrick Bos, Steven Rieder

    Abstract: The large-scale structure of the universe is comprised of virialized blob-like clusters, linear filaments, sheet-like walls and huge near empty three-dimensional voids. Characterizing the large scale universe is essential to our understanding of the formation and evolution of galaxies. The density range of clusters, walls and voids are relatively well separated, when compared to filaments, which s… ▽ More

    Submitted 4 August, 2015; originally announced August 2015.

    Comments: 14 pages, 9 figures, 2 tables. Accepted for publication in IEEE Transactions on Visualization & Computer Graphics. A detailed description of the project, including the software and the supplementary material is available at http://vgl.serc.iisc.ernet.in/felix/

    Journal ref: IEEE Transactions on Visualization & Computer Graphics, 22(6), 2015, 1745-1759

  19. The cosmic web in CosmoGrid void regions

    Authors: Steven Rieder, Rien van de Weygaert, Marius Cautun, Burcu Beygu, Simon Portegies Zwart

    Abstract: We study the formation and evolution of the cosmic web, using the high-resolution CosmoGrid \$Λ\$CDM simulation. In particular, we investigate the evolution of the large-scale structure around void halo groups, and compare this to observations of the VGS-31 galaxy group, which consists of three interacting galaxies inside a large void. The structure around such haloes shows a great deal of tenuous… ▽ More

    Submitted 5 November, 2014; originally announced November 2014.

    Comments: 5 pages, 3 figures, 1 table; Proceedings of IAU Symposium 308 "The Zeldovich Universe: Genesis and Growth of the Cosmic Web", 23-28 June 2014, Tallinn, Estonia

  20. arXiv:1312.0910  [pdf, other

    cs.DC cs.NI

    MPWide: a light-weight library for efficient message passing over wide area networks

    Authors: Derek Groen, Steven Rieder, Simon Portegies Zwart

    Abstract: We present MPWide, a light weight communication library which allows efficient message passing over a distributed network. MPWide has been designed to connect application running on distributed (super)computing resources, and to maximize the communication performance on wide area networks for those without administrative privileges. It can be used to provide message-passing between application, mo… ▽ More

    Submitted 3 December, 2013; originally announced December 2013.

    Comments: accepted by the Journal Of Open Research Software, 13 pages, 4 figures, 1 table

    Journal ref: Journal of Open Research Software 1(1):e9, 2013

  21. arXiv:1309.7352  [pdf, other

    astro-ph.CO astro-ph.SR

    Evolution of star clusters in a cosmological tidal field

    Authors: Steven Rieder, Tomoaki Ishiyama, Paul Langelaan, Junichiro Makino, Stephen L. W. McMillan, Simon Portegies Zwart

    Abstract: We present a method to couple N-body star cluster simulations to a cosmological tidal field, using the Astrophysical Multipurpose Software Environment. We apply this method to star clusters embedded in the CosmoGrid dark matter-only LambdaCDM simulation. Our star clusters are born at z = 10 (corresponding to an age of the Universe of about 500 Myr) by selecting a dark matter particle and initializ… ▽ More

    Submitted 27 September, 2013; originally announced September 2013.

    Comments: 14 pages, 14 figures, accepted for publication in MNRAS

  22. Assembly of filamentary void galaxy configurations

    Authors: Steven Rieder, Rien van de Weygaert, Marius Cautun, Burcu Beygu, Simon Portegies Zwart

    Abstract: We study the formation and evolution of filamentary configurations of dark matter haloes in voids. Our investigation uses the high-resolution LambdaCDM simulation CosmoGrid to look for void systems resembling the VGS_31 elongated system of three interacting galaxies that was recently discovered by the Void Galaxy Survey (VGS) inside a large void in the SDSS galaxy redshift survey. HI data revealed… ▽ More

    Submitted 30 July, 2013; v1 submitted 26 July, 2013; originally announced July 2013.

    Comments: 21 pages, 19 figures, 2 tables, accepted for publication in MNRAS

  23. arXiv:1109.5559  [pdf, other

    cs.DC astro-ph.CO

    High performance cosmological simulations on a grid of supercomputers

    Authors: Derek Groen, Steven Rieder, Simon Portegies Zwart

    Abstract: We present results from our cosmological N-body simulation which consisted of 2048x2048x2048 particles and ran distributed across three supercomputers throughout Europe. The run, which was performed as the concluding phase of the Gravitational Billion Body Problem DEISA project, integrated a 30 Mpc box of dark matter using an optimized Tree/Particle Mesh N-body integrator. We ran the simulation up… ▽ More

    Submitted 26 September, 2011; originally announced September 2011.

    Comments: Accepted for the INFOCOMP 2011 conference, 6 pages, 2 figures, 4 tables

    MSC Class: 68M14 (primary); 68M20; 85A40 (secondary) ACM Class: C.2.4; C.2.5

  24. The Cosmogrid Simulation: Statistical Properties of Small Dark Matter Halos

    Authors: Tomoaki Ishiyama, Steven Rieder, Junichiro Makino, Simon Portegies Zwart, Derek Groen, Keigo Nitadori, Cees de Laat, Stephen McMillan, Kei Hiraki, Stefan Harfst

    Abstract: We present the results of the "Cosmogrid" cosmological N-body simulation suites based on the concordance LCDM model. The Cosmogrid simulation was performed in a 30Mpc box with 2048^3 particles. The mass of each particle is 1.28x10^5 Msun, which is sufficient to resolve ultra-faint dwarfs. We found that the halo mass function shows good agreement with the Sheth & Tormen fitting function down to ~10… ▽ More

    Submitted 8 April, 2013; v1 submitted 10 January, 2011; originally announced January 2011.

    Comments: 15 pages, 18 figures, accepted by ApJ

    Journal ref: 2013, ApJ, 767, 146

  25. A Light-Weight Communication Library for Distributed Computing

    Authors: Derek Groen, Steven Rieder, Paola Grosso, Cees de Laat, Simon Portegies Zwart

    Abstract: We present MPWide, a platform independent communication library for performing message passing between computers. Our library allows coupling of several local MPI applications through a long distance network and is specifically optimized for such communications. The implementation is deliberately kept light-weight, platform independent and the library can be installed and used without administrati… ▽ More

    Submitted 16 August, 2010; originally announced August 2010.

    Comments: 17 pages, 10 figures, published in Computational Science & Discovery

    MSC Class: 68M14 (primary); 68M20; 85-08; 85A40 (secondary) ACM Class: C.2.4; C.2.5

    Journal ref: Derek Groen et al 2010 Comput. Sci. Disc. 3 015002

  26. Probability distributions and Gleason's Theorem

    Authors: Sebastian Rieder, Karl Svozil

    Abstract: We discuss concrete examples for frame functions and their associated density operators, as well as for non-Gleason type probability measures.

    Submitted 8 August, 2006; originally announced August 2006.

    Comments: Presented at the 4th conference on Foundations of Probability and Physics, held in Vaexjoe, June 4-9, 2006