-
Computing safe bicycle routes -- Berechnung sicherer Fahrradwege
Authors:
Julia Sudhoff Santos,
Lars Kroll
Abstract:
The safety of streets is difficult to quantify numerically. However, it is possible to sort streets regarding their safety into ordered categories, like safe, neutral and unsafe. In this paper we model the computation of safe bicycle routes as an optimization problem with ordinal coefficients. We describe an appropriate optimality concept for ordinal optimization problems and introduce a solution…
▽ More
The safety of streets is difficult to quantify numerically. However, it is possible to sort streets regarding their safety into ordered categories, like safe, neutral and unsafe. In this paper we model the computation of safe bicycle routes as an optimization problem with ordinal coefficients. We describe an appropriate optimality concept for ordinal optimization problems and introduce a solution strategy for ordinal routing problems. Furthermore, we introduce a concept to incorporate safety preferences by introducing weights such that longer path with a higher safety rating are preferred. We apply the concept of ordinal routing to compute safe bicycle routes in Stuttgart, Germany, based on dates from OpenStreetMaps. We show that the choice of the weights does not only represent the trade-off of safety vs. path length, but has also an impact on the number of alternative solutions and thus on the computation time.
--
Die Sicherheit von Wegen ist nur eingeschränkt messbar und daher schwierig zu quantifizieren. Dahingegen ist es verhältnismäßig leicht Wege bezüglich ihrer Sicherheit in geordnete Kategorien, wie beispielsweise sicher, neutral und gefährlich einzuordnen. In diesem Beitrag werden Optimierungsprobleme mit geordneten Kategorien formuliert und Optimalität für diese definiert. Daraus wird eine Lösungsstrategie für solche Probleme abgeleitet. Darüber hinaus wird erklärt, wie die Abgrenzung zwischen den Kategorien erhöht werden kann, sodass längere aber dafür sicherere Wege mit Hilfe von Gewichten berechnet werden können. Diese theoretischen Ergebnisse werden in der Praxis angewendet und es werden auf Grundlage von Daten von OpenStreetMaps sichere Fahrradwege in Stuttgart berechnet. Dabei zeigt sich, dass eine gute Wahl der Gewichte zu weniger Lösungen und kürzeren Rechenzeiten führt.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
First inverse kinematics measurement of resonances in $^7$Be($α,γ$)$^{11}$C relevant to neutrino-driven wind nucleosynthesis using DRAGON
Authors:
A. Psaltis,
A. A. Chen,
R. Longland,
D. S. Connolly,
C. R. Brune,
B. Davids,
J. Fallis,
R. Giri,
U Greife,
D. A. Hutcheon,
L. Kroll,
A. Lennarz,
J. Liang,
M. Lovely,
M. Luo,
C. Marshall,
S. N. Paneru,
A. Parikh,
C. Ruiz,
A. C. Shotter,
M. Williams
Abstract:
A possible mechanism to explain the origin of the light $p$-nuclei in the Galaxy is the nucleosynthesis in the proton-rich neutrino-driven wind ejecta of core-collapse supernovae via the $νp$-process. However this production scenario is very sensitive to the underlying supernova dynamics and the nuclear physics input. As far as the nuclear uncertainties are concerned, the breakout from the $pp$-ch…
▽ More
A possible mechanism to explain the origin of the light $p$-nuclei in the Galaxy is the nucleosynthesis in the proton-rich neutrino-driven wind ejecta of core-collapse supernovae via the $νp$-process. However this production scenario is very sensitive to the underlying supernova dynamics and the nuclear physics input. As far as the nuclear uncertainties are concerned, the breakout from the $pp$-chains via the $^7$Be($α,γ$)$^{11}$C reaction has been identified as an important link which can influence the nuclear flow and therefore the efficiency of the $νp$-process. However its reaction rate is poorly known over the relevant temperature range, T = 1.5-3 GK. We report on the first direct measurement of two resonances of the $^7$Be($α,γ$)$^{11}$C reaction with previously unknown strengths using an intense radioactive $^7$Be beam from the ISAC facility and the DRAGON recoil separator in inverse kinematics. We have decreased the $^7$Be($α,γ$)$^{11}$C reaction rate uncertainty to $\sim$ 9.4-10.7% over the relevant temperature region.
△ Less
Submitted 14 September, 2022;
originally announced September 2022.
-
Direct measurement of resonances in $^7$Be($α,γ$)$^{11}$C relevant to $νp$-process nucleosynthesis
Authors:
A. Psaltis,
A. A. Chen,
R. Longland,
D. S. Connolly,
C. R. Brune,
B. Davids,
J. Fallis,
R. Giri,
U Greife,
D. A. Hutcheon,
L. Kroll,
A. Lennarz,
J. Liang,
M. Lovely,
M. Luo,
C. Marshall,
S. N. Paneru,
A. Parikh,
C. Ruiz,
A. C. Shotter,
M. Williams
Abstract:
We have performed the first direct measurement of two resonances of the $^7$Be($α,γ$)$^{11}$C reaction with unknown strengths using an intense radioactive $^7$Be beam and the DRAGON recoil separator. We report on the first measurement of the 1155 and 1110 keV resonance strengths of $1.73 \pm 0.25(stat.) \pm 0.40(syst.)$ eV and $125 ^{+27}_{-25}(stat.) \pm 15(syst.)$ meV, respectively. The present…
▽ More
We have performed the first direct measurement of two resonances of the $^7$Be($α,γ$)$^{11}$C reaction with unknown strengths using an intense radioactive $^7$Be beam and the DRAGON recoil separator. We report on the first measurement of the 1155 and 1110 keV resonance strengths of $1.73 \pm 0.25(stat.) \pm 0.40(syst.)$ eV and $125 ^{+27}_{-25}(stat.) \pm 15(syst.)$ meV, respectively. The present results have reduced the uncertainty in the $^7$Be($α,γ$)$^{11}$C reaction rate to $\sim$ 9.4-10.7% over T = 1.5-3 GK, which is relevant for nucleosynthesis in the neutrino-driven outflows of core-collapse supernovae ($νp$-process). We find no effect of the new, constrained reaction rate on $νp$-process nucleosynthesis.
△ Less
Submitted 14 September, 2022;
originally announced September 2022.
-
Transplanting Trees: Chromatic Symmetric Function Results through the Group Algebra of $S_n$
Authors:
Angèle M. Foley,
Joshua Kazdan,
Larissa Kröll,
Sofía Martínez Alberga,
Oleksii Melnyk,
Alexander Tenenbaum
Abstract:
One of the major outstanding conjectures in the study of chromatic symmetric functions (CSF's) states that trees are uniquely determined by their CSF's. Though verified on graphs of order up to twenty-nine, this result has been proved only for certain subclasses of trees. Using the definition of the CSF that emerges via the Frobenius character map applied to $\mathbb{C}[S_n]$, we offer new algebra…
▽ More
One of the major outstanding conjectures in the study of chromatic symmetric functions (CSF's) states that trees are uniquely determined by their CSF's. Though verified on graphs of order up to twenty-nine, this result has been proved only for certain subclasses of trees. Using the definition of the CSF that emerges via the Frobenius character map applied to $\mathbb{C}[S_n]$, we offer new algebraic proofs of several results about the CSF's of trees. Additionally, we prove that a "parent function" of the CSF defined in the group ring of $S_n$ can uniquely determine trees, providing further support for Stanley's conjecture.
△ Less
Submitted 20 January, 2022; v1 submitted 18 December, 2021;
originally announced December 2021.
-
Lecture Notes on Leader-based Sequence Paxos -- An Understandable Sequence Consensus Algorithm
Authors:
Seif Haridi,
Lars Kroll,
Paris Carbone
Abstract:
Agreement among a set of processes and in the presence of partial failures is one of the fundamental problems of distributed systems. In the most general case, many decisions must be agreed upon over the lifetime of a system with dynamically changing membership. Such a sequence of decisions represents a distributed log, and can form the underlying abstraction for driving a replicated state machine…
▽ More
Agreement among a set of processes and in the presence of partial failures is one of the fundamental problems of distributed systems. In the most general case, many decisions must be agreed upon over the lifetime of a system with dynamically changing membership. Such a sequence of decisions represents a distributed log, and can form the underlying abstraction for driving a replicated state machine. While this abstraction is at the core of many systems with strong consistency requirements, algorithms that achieve such sequence consensus are often poorly understood by developers and have presented a significant challenge to many students of distributed systems. In these lecture notes we present a complete and practical Paxos-based algorithm for reconfigurable sequence consensus in the fail-recovery model, and a clear path of simple step-by-step transformations to it from the basic Paxos algorithm.
△ Less
Submitted 31 August, 2020;
originally announced August 2020.
-
Fully-automated Body Composition Analysis in Routine CT Imaging Using 3D Semantic Segmentation Convolutional Neural Networks
Authors:
Sven Koitka,
Lennard Kroll,
Eugen Malamutmann,
Arzu Oezcelik,
Felix Nensa
Abstract:
Body tissue composition is a long-known biomarker with high diagnostic and prognostic value in cardiovascular, oncological and orthopaedic diseases, but also in rehabilitation medicine or drug dosage. In this study, the aim was to develop a fully automated, reproducible and quantitative 3D volumetry of body tissue composition from standard CT examinations of the abdomen in order to be able to offe…
▽ More
Body tissue composition is a long-known biomarker with high diagnostic and prognostic value in cardiovascular, oncological and orthopaedic diseases, but also in rehabilitation medicine or drug dosage. In this study, the aim was to develop a fully automated, reproducible and quantitative 3D volumetry of body tissue composition from standard CT examinations of the abdomen in order to be able to offer such valuable biomarkers as part of routine clinical imaging. Therefore an in-house dataset of 40 CTs for training and 10 CTs for testing were fully annotated on every fifth axial slice with five different semantic body regions: abdominal cavity, bones, muscle, subcutaneous tissue, and thoracic cavity. Multi-resolution U-Net 3D neural networks were employed for segmenting these body regions, followed by subclassifying adipose tissue and muscle using known hounsfield unit limits. The Sørensen Dice scores averaged over all semantic regions was 0.9553 and the intra-class correlation coefficients for subclassified tissues were above 0.99. Our results show that fully-automated body composition analysis on routine CT imaging can provide stable biomarkers across the whole abdomen and not just on L3 slices, which is historically the reference location for analysing body composition in the clinical routine.
△ Less
Submitted 25 February, 2020;
originally announced February 2020.
-
Spiders and their Kin: An Investigation of Stanley's Chromatic Symmetric Function for Spiders and Related Graphs
Authors:
Angèle M. Foley,
Joshua Kazdan,
Larissa Kröll,
Sofía Martínez Alberga,
Oleksii Melnyk,
Alexander Tenenbaum
Abstract:
We study the chromatic symmetric functions of graph classes related to spiders, namely generalized spider graphs (line graphs of spiders), and what we call horseshoe crab graphs. We show that no two generalized spiders have the same chromatic symmetric function, thereby extending the work of Martin, Morin and Wagner. Additionally, we establish that a subclass of generalized spiders, which we call…
▽ More
We study the chromatic symmetric functions of graph classes related to spiders, namely generalized spider graphs (line graphs of spiders), and what we call horseshoe crab graphs. We show that no two generalized spiders have the same chromatic symmetric function, thereby extending the work of Martin, Morin and Wagner. Additionally, we establish that a subclass of generalized spiders, which we call generalized nets, has no e-positive members, providing a more general counterexample to the necessity of the claw-free condition. We use yet another class of generalized spiders to construct a counterexample to a problem involving the $e$-positivity of claw-free, P4-sparse graphs, showing that Tsujie's result on the e-positivity of claw-free, P4-free graphs cannot be extended to graphs in this set. Finally, we investigate the e-positivity of another type of graphs, the horseshoe crab graphs (a class of unit interval graphs), and prove the positivity of all but one of the coefficients. This has close connections to the work of Gebhard and Sagan and Cho and Huh.
△ Less
Submitted 28 June, 2022; v1 submitted 9 December, 2018;
originally announced December 2018.
-
KompicsTesting - Unit Testing Event Streams
Authors:
Ifeanyi W. Ubah,
Lars Kroll,
Alexandru A. Ormenisan,
Seif Haridi
Abstract:
In this paper we present KompicsTesting, a framework for unit testing components in the Kompics component model. Components in Kompics are event-driven entities which communicate asynchronously solely by message passing. Similar to actors in the actor model, they do not share their internal state in message-passing, making them less prone to errors, compared to other models of concurrency using sh…
▽ More
In this paper we present KompicsTesting, a framework for unit testing components in the Kompics component model. Components in Kompics are event-driven entities which communicate asynchronously solely by message passing. Similar to actors in the actor model, they do not share their internal state in message-passing, making them less prone to errors, compared to other models of concurrency using shared state. However, they are neither immune to simpler logical and specification errors nor errors such as dataraces that stem from nondeterminism. As a result, there exists a need for tools that enable rapid and iterative development and testing of message passing components in general, in a manner similar to the xUnit frameworks for functions and modular segments code. These frameworks work in an imperative manner, ill suited for testing message-passing components given that the behavior of such components are encoded in the streams of messages that they send and receive. In this work, we present a theoretical framework for describing and verifying the behavior of message-passing components, independent of the model and framework implementation, in a manner similar to describing a stream of characters using regular expressions. We show how this approach can be used to perform both black box and white box testing of components and illustrate its feasibility through the design and implementation a prototype based on this approach, KompicsTesting.
△ Less
Submitted 12 May, 2017;
originally announced May 2017.