arXiv subjects

Andreas Schreiber

Publications and source records attributed to Andreas Schreiber.

16 recordsLinked to original sources

arXiv2023

A Static Analysis Platform for Investigating Security Trends in Repositories

Static analysis tools come in many forms andconfigurations, allowing them to handle various tasks in a (secure) development process: code style linting, bug/vulnerability detection, verification, etc., and adapt to the specific requirements of a software project, thus reducing the number of false positives.The wide range of configuration options poses a hurdle in their use for software developers, as the tools cannot be deployed out-of-the-box. However, static analysis tools only develop their full benefit if they are integrated into the software development workflow and used on regular. Vulnerability management should be integrated via version history to identify hotspots, for example. We present an analysis platform that integrates several static analysis tools that enable Git-based repositories to continuously monitor warnings across their version history. The framework is easily extensible with other tools and programming languages. We provide a visualization component in the form of a dashboard to display security trends and hotspots. Our tool can also be used to create a database of security alerts at a scale well-suited for machine learning applications such as bug or vulnerability detection.

cs.SE↗

arXiv2021

Implicit Gender Bias in Computer Science -- A Qualitative Study

Gender diversity in the tech sector is - not yet? - sufficient to create a balanced ratio of men and women. For many women, access to computer science is hampered by socialization-related, social, cultural and structural obstacles. The so-called implicit gender bias has a great influence in this respect. The lack of contact in areas of computer science makes it difficult to develop or expand potential interests. Female role models as well as more transparency of the job description should help women to promote their - possible - interest in the job description. However, gender diversity can also be promoted and fostered through adapted measures by leaders.

cs.CY↗

arXiv2020

Anisotropic 3D Multi-Stream CNN for Accurate Prostate Segmentation from Multi-Planar MRI

Background and Objective: Accurate and reliable segmentation of the prostate gland in MR images can support the clinical assessment of prostate cancer, as well as the planning and monitoring of focal and loco-regional therapeutic interventions. Despite the availability of multi-planar MR scans due to standardized protocols, the majority of segmentation approaches presented in the literature consider the axial scans only. Methods: We propose an anisotropic 3D multi-stream CNN architecture, which processes additional scan directions to produce a higher-resolution isotropic prostate segmentation. We investigate two variants of our architecture, which work on two (dual-plane) and three (triple-plane) image orientations, respectively. We compare them with the standard baseline (single-plane) used in literature, i.e., plain axial segmentation. To realize a fair comparison, we employ a hyperparameter optimization strategy to select optimal configurations for the individual approaches. Results: Training and evaluation on two datasets spanning multiple sites obtain statistical significant improvement over the plain axial segmentation ($p<0.05$ on the Dice similarity coefficient). The improvement can be observed especially at the base ($0.898$ single-plane vs. $0.906$ triple-plane) and apex ($0.888$ single-plane vs. $0.901$ dual-plane). Conclusion: This study indicates that models employing two or three scan directions are superior to plain axial segmentation. The knowledge of precise boundaries of the prostate is crucial for the conservation of risk structures. Thus, the proposed models have the potential to improve the outcome of prostate cancer diagnosis and therapies.

eess.IV↗

arXiv2020

Testing the Jeans, Toomre and Bonnor-Ebert concepts for planetesimal formation: 3D streaming instability simulations of diffusion regulated formation of planetesimals

We perform streaming instability simulations at Hill density and beyond, to demonstrate that Planetesimal formation is not completed when pebble accumulations exceed the local Hill density. We find that Hill density is not a sufficient criterion for further gravitational collapse of a pebble cloud into a planetesimal, but that additionally the accumulated mass has to be large enough to overcome turbulent diffusion. A Toomre analysis of the system indicates that linear self-gravity modes play no role on the scale of our numerical simulation. We nevertheless find that self-gravity, by vertically contracting the pebble layer, increases the strength of turbulence, which is either an indication of Kelvin Helmholtz Instability or a boost of the streaming-instability. We furthermore determine the Bonnor-Ebert central density to which a pebble cloud of given mass has to be compressed before it would be able to continue contraction against internal diffusion. As the equivalent "solid body" size of the pebble cloud scales with the central density to the power of -1/6, it is much easier to have a pebble cloud of 100 km equivalent size to collapse than one of 10 km for the same level of turbulent diffusion. This can explain the lack of small bodies in the solar system and predicts to have small objects formed by gravitational collapse at large pebble to gas ratios, in the outskirts of the solar nebula and at late times of generally reduced gas mass.

astro-ph.EP↗

arXiv2020

Visualization of Contributions to Open-Source Projects

We want to analyze visually, to what extend team members and external developers contribute to open-source projects. This gives a high-level impression about collaboration in that projects. We achieve this by recording provenance of the development process and use graph drawing on the resulting provenance graph. Our graph drawings show, which developers are jointly changed the same files -- and to what extent -- which we show at Germany's COVID-19 exposure notification app 'Corona-Warn-App'.

cs.SE↗

arXiv2020

Turbulence sets the length scale for planetesimal formation: Local 2D simulations of streaming instability and planetesimal formation

The trans-Neptunian object 2014 MU69, named Arrokoth, is the most recent evidence that planetesimals did not form by successive collisions of smaller objects, but by the direct gravitational collapse of a pebble cloud. But what process sets the physical scales on which this collapse may occur? Star formation has the Jeans mass, that is when gravity is stronger than thermal pressure, helping us to understand the mass of our sun. But what controls mass and size in the case of planetesimal formation? Both asteroids and Kuiper belt objects show a kink in their size distribution at 100 km. Here we derive a gravitational collapse criterion for a pebble cloud to fragment to planetesimals, showing that a critical mass is needed for the clump to overcome turbulent diffusion. We successfully tested the validity of this criterion in direct numerical simulations of planetesimal formation triggered by the streaming instability. Our result can, therefore, explain the sizes for planetesimals found forming in streaming instability simulations in the literature, while not addressing the detailed size distribution. We find that the observed characteristic diameters of $\sim$ 100 km correspond to the critical mass of a pebble cloud set by the strength of turbulent diffusion stemming from streaming instability for a wide region of a solar nebula model from 2 - 60 au, with a tendency to allow for smaller objects at distances beyond and at late times, when the nebula gas gets depleted.

astro-ph.EP↗

arXiv2020

RCE: An Integration Environment for Engineering and Science

We present RCE (Remote Component Environment), an open-source framework developed primarily at DLR (German Aerospace Center) that enables its users to construct and execute multidisciplinary engineering workflows comprising multiple disciplinary tools. To this end, RCE supplies users with an easy-to-use graphical interface that allows for the intuitive integration of disciplinary tools. Users can execute the individual tools on arbitrary nodes present in the network and all data accrued during the execution of the workflow are collected and stored centrally. Hence, RCE makes it easy for collaborating engineers to contribute their individual disciplinary tools to a multidisciplinary design or analysis, and simplifies the subsequent analysis of the workflow's results.

cs.SE↗

arXiv2018

Instabilities and Flow Structures in Protoplanetary Disks: Setting the Stage for Planetesimal Formation

This chapter highlights the properties of turbulence and meso-scale flow structures in protoplanetary disks and their role in the planet formation process. Here we focus on the formation of planetesimals from a gravitational collapse of a pebble cloud. Large scale and long lived flow structures - vortices and zonal flows - are a consequence of weak magneto and hydrodynamic instabilities in the pressure and entropy stratified quasi-Keplerian shear flow interacting with the fast rotation of the disk. The vortices and zonal flows on the other hand are particle traps tapping into the radial pebble flux of the disk, leading to locally sufficient accumulations to trigger gravitational collapse, directly converting pebbles to many kilometer sized planetesimals. This collapse is moderated by the streaming instability, which is a back-reaction from the particle accumulations onto the gas flow. Without trapping pebbles and increasing thus the local solid to gas ratio, this back-reaction would ultimately prevent the formation of planetsimals via turbulent diffusion. The formation of long lived flow structures is therefore a necessary condition for an efficient and fast formation of planetesimals.

astro-ph.EP↗

arXiv2018

Azimuthal and Vertical Streaming Instability at High Dust-to-gas Ratios and on the Scales of Planetesimal Formation

The collapse of dust particle clouds directly to km-sized planetesimals is a promising way to explain the formation of planetesimals, asteroids and comets. In the past, this collapse has been studied in stratified shearing box simulations with super-solar dust-to-gas ratio ε, allowing for streaming instability (SI) and gravitational collapse. This paper studies the non-stratified SI under dust-to-gas ratios from ε=0.1 up to ε=1000 without self-gravity. The study covers domain sizes of L=0.1 H, 0.01 H and 0.001 H, in terms of gas disk scale height H, using the PencilCode. They are performed in radial-azimuthal (2-d) and radial-vertical (2.5-d) extent. The used particles of St=0.01 and 0.1 mark the upper end of the expected dust growth. SI-activity is found up to very high dust-to-gas ratios, providing fluctuations in the local dust-to-gas ratios and turbulent particle diffusion δ. We find an SI-like instability that operates in r-φeven when vertical modes are suppressed. This new azimuthal streaming instability (aSI) shows similar properties and appearance as the SI. Both, SI and aSI, show diffusivity at ε=100 only to be two orders of magnitude lower than at ε=1, suggesting a δ~ ε^{-1} relation that is shallow around ε= 1. The (a)SI ability to concentrate particles is found to be uncorrelated with its strength in particle turbulence. Finally, we performed a resolution study to test our findings of the aSI. This paper stresses out the importance of properly resolving the (a)SI at high dust-to-gas ratios and planetesimal collapse simulations, leading else wise to potentially incomplete results.

astro-ph.EP↗

arXiv2013

Spatio-spectral characteristics of parametric down-conversion in waveguide arrays

High dimensional quantum states are of fundamental interest for quantum information processing. They give access to large Hilbert spaces and, in turn, enable the encoding of quantum information on multiple modes. One method to create such quantum states is parametric down-conversion (PDC) in waveguide arrays (WGAs) which allows for the creation of highly entangled photon-pairs in controlled, easily accessible spatial modes, with unique spectral properties. In this paper we examine both theoretically and experimentally the PDC process in a lithium niobate WGA. We measure the spatial and spectral properties of the emitted photon-pairs, revealing strong correlations between spectral and spatial degrees of freedom of the created photons. Our measurements show that, in contrast to prior theoretical approaches, spectrally dependent coupling effects have to be taken into account in the theory of PDC in WGAs. To interpret the results, we developed a theoretical model specifically taking into account spectrally dependent coupling effects, which further enables us to explore the capabilities and limitations for engineering the spatial correlations of the generated quantum states.

quant-ph↗

arXiv2012

Increasing the dimensionality of quantum walks using multiple walkers

We show that with the addition of multiple walkers, quantum walks on a line can be transformed into lattice graphs of higher dimension. Thus, multi-walker walks can simulate single-walker walks on higher dimensional graphs and vice versa. This exponential complexity opens up new applications for present-day quantum walk experiments. We discuss the applications of such higher-dimensional structures and how they relate to linear optics quantum computing. In particular we show that multi-walker quantum walks are equivalent to the BosonSampling model for linear optics quantum computation proposed by Aaronson & Arkhipov. With the addition of control over phase-defects in the lattice, which can be simulated with entangling gates, asymmetric lattice structures can be constructed which are universal for quantum computation.

quant-ph↗

arXiv2012

A 2D Quantum Walk Simulation of Two-Particle Dynamics

Multi-dimensional quantum walks can exhibit highly non-trivial topological structure, providing a powerful tool for simulating quantum information and transport systems. We present a flexible implementation of a 2D optical quantum walk on a lattice, demonstrating a scalable quantum walk on a non-trivial graph structure. We realized a coherent quantum walk over 12 steps and 169 positions using an optical fiber network. With our broad spectrum of quantum coins we were able to simulate the creation of entanglement in bipartite systems with conditioned interactions. Introducing dynamic control allowed for the investigation of effects such as strong non-linearities or two-particle scattering. Our results illustrate the potential of quantum walks as a route for simulating and understanding complex quantum systems.

quant-ph↗

arXiv2011

Using Provenance to support Good Laboratory Practice in Grid Environments

Conducting experiments and documenting results is daily business of scientists. Good and traceable documentation enables other scientists to confirm procedures and results for increased credibility. Documentation and scientific conduct are regulated and termed as "good laboratory practice." Laboratory notebooks are used to record each step in conducting an experiment and processing data. Originally, these notebooks were paper based. Due to computerised research systems, acquired data became more elaborate, thus increasing the need for electronic notebooks with data storage, computational features and reliable electronic documentation. As a new approach to this, a scientific data management system (DataFinder) is enhanced with features for traceable documentation. Provenance recording is used to meet requirements of traceability, and this information can later be queried for further analysis. DataFinder has further important features for scientific documentation: It employs a heterogeneous and distributed data storage concept. This enables access to different types of data storage systems (e. g. Grid data infrastructure, file servers). In this chapter we describe a number of building blocks that are available or close to finished development. These components are intended for assembling an electronic laboratory notebook for use in Grid environments, while retaining maximal flexibility on usage scenarios as well as maximal compatibility overlap towards each other. Through the usage of such a system, provenance can successfully be used to trace the scientific workflow of preparation, execution, evaluation, interpretation and archiving of research data. The reliability of research results increases and the research process remains transparent to remote research partners.

cs.DC↗

arXiv2011

Photon propagation in a discrete fiber network: An interplay of coherence and losses

We study light propagation in a photonic system that shows stepwise evolution in a discretized environment. It resembles a discrete-time version of photonic waveguide arrays or quantum walks. By introducing controlled photon losses to our experimental setup, we observe unexpected effects like sub-exponential energy decay and formation of complex fractal patterns. This demonstrates that the interplay of linear losses, discreteness and energy gradients leads to genuinely new coherent phenomena in classical and quantum optical experiments. Moreover, the influence of decoherence is investigated.

physics.optics↗

arXiv2011

Zitterbewegung, Bloch Oscillations and Landau-Zener Tunneling in a Quantum Walk

We experimentally investigate a discrete time quantum walk in a system of coupled fiber loops and observe typical phenomena known from the wave propagation in periodic structures as ballistic spreading or an oscillation between two internal quantum states similar to Zitterbewegung (trembling motion). If a position-dependent phase gradient is applied we find localization and Bloch oscillations of the field for moderate as well as Landau-Zener tunneling for strong phase gradients.

quant-ph↗

arXiv2011

Multi-walker discrete time quantum walks on arbitrary graphs, their properties, and their photonic implementation

Quantum walks have emerged as an interesting alternative to the usual circuit model for quantum computing. While still universal for quantum computing, the quantum walk model has very different physical requirements, which lends itself more naturally to some physical implementations, such as linear optics. Numerous authors have considered walks with one or two walkers, on one dimensional graphs, and several experimental demonstrations have been performed. In this paper we discuss generalizing the model of discrete time quantum walks to the case of an arbitrary number of walkers acting on arbitrary graph structures. We present a formalism which allows for analysis of such situations, and several example scenarios for how our techniques can be applied. We consider the most important features of quantum walks -- measurement, distinguishability, characterization, and the distinction between classical and quantum interference. We also discuss the potential for physical implementation in the context of linear optics, which is of relevance to present day experiments.

quant-ph↗