-
Using application conditions to rank graph transformations for graph repair
Authors:
Lars Fritsche,
Alexander Lauer,
Andy Schürr,
Gabriele Taentzer
Abstract:
When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph is consistent or inconsistent with respect to a set of constraints, recent work has presented an approach to consistency as a graduated property. This allows living with inconsistencies for a while and repairing them when…
▽ More
When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph is consistent or inconsistent with respect to a set of constraints, recent work has presented an approach to consistency as a graduated property. This allows living with inconsistencies for a while and repairing them when necessary. When repairing inconsistencies in a graph, we use graph transformation rules with so-called impairment- and repair-indicating application conditions to understand how much repair gain certain rule applications would bring. Both types of conditions can be derived from given graph constraints. Our main theorem shows that the difference between the number of actual constraint violations before and after a graph transformation step can be characterized by the difference between the numbers of violated impairment-indicating and repair-indicating application conditions. This theory forms the basis for algorithms with look-ahead that rank graph transformations according to their potential for graph repair. An initial evaluation shows that graph repair can be well supported by rules with these new types of application conditions.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
Authors:
Lars Fritsche,
Jens Kosiol,
Alexander Lauer,
Adrian Möller,
Andy Schürr
Abstract:
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (which might cause information loss). From a theoretical point of view, so-called short-cut (SC) rules have been developed that enable provably correct propagation…
▽ More
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (which might cause information loss). From a theoretical point of view, so-called short-cut (SC) rules have been developed that enable provably correct propagation of changes while avoiding information loss. However, to be able to react to every possible change, an infinite set of such rules might be necessary. Practically, only small sets of pre-computed basic SC rules have been used, severely restricting the kind of changes that can be propagated without loss of information. In this work, we close that gap by develo** an approach to compute more complex required SC rules on-the-fly during synchronisation. These higher-order SC rules allow us to cope with more complex scenarios when multiple changes must be handled in one step. We implemented our approach in the model transformation tool eMoflon. An evaluation shows that the overhead of computing higher-order SC rules on-the-fly is tolerable and at times even improves the overall performance. Above that, completely new scenarios can be dealt with without the loss of information.
△ Less
Submitted 25 June, 2024; v1 submitted 15 December, 2023;
originally announced December 2023.
-
Rule-based Graph Repair using Minimally Restricted Consistency-Improving Transformations
Authors:
Alexander Lauer
Abstract:
Model-driven software engineering is a suitable method for dealing with the ever-increasing complexity of software development processes. Graphs and graph transformations have proven useful for representing such models and changes to them. These models must satisfy certain sets of constraints. An example are the multiplicities of a class structure. During the development process, a change to a mod…
▽ More
Model-driven software engineering is a suitable method for dealing with the ever-increasing complexity of software development processes. Graphs and graph transformations have proven useful for representing such models and changes to them. These models must satisfy certain sets of constraints. An example are the multiplicities of a class structure. During the development process, a change to a model may result in an inconsistent model that must at some point be repaired. This problem is called model repair. In particular, we will consider rule-based graph repair which is defined as follows: Given a graph $G$, a constraint $c$ such that $G$ does not satisfy $c$, and a set of rules $R$, use the rules of $\mathcal{R}$ to transform $G$ into a graph that satisfies $c$.
Known notions of consistency have either viewed consistency as a binary property, either a graph is consistent w.r.t. a constraint $c$ or not, or only viewed the number of violations of the first graph of a constraint. In this thesis, we introduce new notions of consistency, which we call consistency-maintaining and consistency-increasing transformations and rules, respectively. This is based on the possibility that a constraint can be satisfied up to a certain nesting level.
We present constructions for direct consistency-maintaining or direct consistency-increasing application conditions, respectively. Finally, we present an rule-based graph repair approach that is able to repair so-called \emph{circular conflict-free constraints}, and so-called circular conflict-free sets of constraints. Intuitively, a set of constraint $C$ is circular conflict free, if there is an ordering $c_1, \ldots, c_n$ of all constraints of $C$ such that there is no $j <i$ such that a repair of $c_i$ at all graphs satisfying $c_j$ leads to a graph not satisfying $c_j$.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Machine-learned cloud classes from satellite data for process-oriented climate model evaluation
Authors:
A. Kaps,
A. Lauer,
G. Camps-Valls,
P. Gentine,
L. Gómez-Chova,
V. Eyring
Abstract:
Clouds play a key role in regulating climate change but are difficult to simulate within Earth system models (ESMs). Improving the representation of clouds is one of the key tasks towards more robust climate change projections. This study introduces a new machine-learning based framework relying on satellite observations to improve understanding of the representation of clouds and their relevant p…
▽ More
Clouds play a key role in regulating climate change but are difficult to simulate within Earth system models (ESMs). Improving the representation of clouds is one of the key tasks towards more robust climate change projections. This study introduces a new machine-learning based framework relying on satellite observations to improve understanding of the representation of clouds and their relevant processes in climate models. The proposed method is capable of assigning distributions of established cloud types to coarse data. It facilitates a more objective evaluation of clouds in ESMs and improves the consistency of cloud process analysis. The method is built on satellite data from the MODIS instrument labelled by deep neural networks with cloud types defined by the World Meteorological Organization (WMO), using cloud type labels from CloudSat as ground truth. The method is applicable to datasets with information about physical cloud variables comparable to MODIS satellite data and at sufficiently high temporal resolution. We apply the method to alternative satellite data from the Cloud\_cci project (ESA Climate Change Initiative), coarse-grained to typical resolutions of climate models. The resulting cloud type distributions are physically consistent and the horizontal resolutions typical of ESMs are sufficient to apply our method. We recommend outputting crucial variables required by our method for future ESM data evaluation. This will enable the use of labelled satellite data for a more systematic evaluation of clouds in climate models.
△ Less
Submitted 28 October, 2022; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Infectious Disease Forecasting for Public Health
Authors:
Stephen A Lauer,
Alexandria C Brown,
Nicholas G Reich
Abstract:
Forecasting transmission of infectious diseases, especially for vector-borne diseases, poses unique challenges for researchers. Behaviors of and interactions between viruses, vectors, hosts, and the environment each play a part in determining the transmission of a disease. Public health surveillance systems and other sources provide valuable data that can be used to accurately forecast disease inc…
▽ More
Forecasting transmission of infectious diseases, especially for vector-borne diseases, poses unique challenges for researchers. Behaviors of and interactions between viruses, vectors, hosts, and the environment each play a part in determining the transmission of a disease. Public health surveillance systems and other sources provide valuable data that can be used to accurately forecast disease incidence. However, many aspects of common infectious disease surveillance data are imperfect: cases may be reported with a delay or in some cases not at all, data on vectors may not be available, and case data may not be available at high geographical or temporal resolution. In the face of these challenges, researchers must make assumptions to either account for these underlying processes in a mechanistic model or to justify their exclusion altogether in a statistical model. Whether a model is mechanistic or statistical, researchers should evaluate their model using accepted best practices from the emerging field of infectious disease forecasting while adopting conventions from other fields that have been develo** forecasting methods for decades. Accounting for assumptions and properly evaluating models will allow researchers to generate forecasts that have the potential to provide valuable insights for public health officials. This chapter provides a background to the practice of forecasting in general, discusses the biological and statistical models used for infectious disease forecasting, presents technical details about making and evaluating forecasting models, and explores the issues in communicating forecasting results in a public health context.
△ Less
Submitted 29 May, 2020;
originally announced June 2020.
-
The covariate-adjusted residual estimator and its use in both randomized trials and observational settings
Authors:
Stephen A. Lauer,
Nicholas G. Reich,
Laura B. Balzer
Abstract:
We often seek to estimate the causal effect of an exposure on a particular outcome in both randomized and observational settings. One such estimation method is the covariate-adjusted residuals estimator, which was designed for individually or cluster randomized trials. In this manuscript, we study the properties of this estimator and develop a new estimator that utilizes both covariate adjustment…
▽ More
We often seek to estimate the causal effect of an exposure on a particular outcome in both randomized and observational settings. One such estimation method is the covariate-adjusted residuals estimator, which was designed for individually or cluster randomized trials. In this manuscript, we study the properties of this estimator and develop a new estimator that utilizes both covariate adjustment and inverse probability weighting We support our theoretical results with a simulation study and an application in an infectious disease setting. The covariate-adjusted residuals estimator is an efficient and unbiased estimator of the average treatment effect in randomized trials; however, it is not guaranteed to be unbiased in observational studies. Our novel estimator, the covariate-adjusted residuals estimator with inverse probability weighting, is unbiased in randomized and observational settings, under a reasonable set of assumptions. Furthermore, when these assumptions hold, it provides efficiency gains over inverse probability weighting in observational studies. The covariate-adjusted residuals estimator is valid for use in randomized trials, but should not be used in observational studies. The covariate-adjusted residuals estimator with inverse probability weighting provides an efficient alternative for use in randomized and observational settings.
△ Less
Submitted 24 October, 2019;
originally announced October 2019.
-
Evolving R Coronae Borealis Stars with MESA
Authors:
Amber Lauer,
Emmanouil Chatzopoulos,
Geoffrey C. Clayton,
Juhan Frank,
Dominic C. Marcello
Abstract:
The R Coronae Borealis (RCB) stars are rare hydrogen--deficient, carbon--rich supergiants. They undergo extreme, irregular declines in brightness of many magnitudes due to the formation of thick clouds of carbon dust. It is thought that RCB stars result from the mergers of CO/He white dwarf (WD) binaries. We constructed post--merger spherically asymmetric models computed with the MESA code, and th…
▽ More
The R Coronae Borealis (RCB) stars are rare hydrogen--deficient, carbon--rich supergiants. They undergo extreme, irregular declines in brightness of many magnitudes due to the formation of thick clouds of carbon dust. It is thought that RCB stars result from the mergers of CO/He white dwarf (WD) binaries. We constructed post--merger spherically asymmetric models computed with the MESA code, and then followed the evolution into the region of the HR diagram where the RCB stars are located. We also investigated nucleosynthesis in the dynamically accreting material of CO/He WD mergers which may provide a suitable environment for significant production of 18O and the very low 16O/18O values observed. We have also discovered that the N abundance depends sensitively on the peak temperature in the He--burning shell. Our MESA modeling consists of engineering the star by adding He--WD material to an initial CO--WD model, and then following the post--merger evolution using a nuclear--reaction network to match the observed RCB abundances as it expands and cools to become an RCB star. These new models are more physical because they include rotation, mixing, mass-loss, and nucleosynthesis within MESA. We follow the later evolution beyond the RCB phase to determine the stars' likely lifetimes. The relative numbers of known RCB and Extreme Helium (EHe) stars correspond well to the lifetimes predicted from the MESA models. In addition, most of computed abundances agree very well with the observed range of abundances for the RCB class.
△ Less
Submitted 21 June, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Probing the single-particle character of rotational states in $^{19}$F using a short-lived isomeric beam
Authors:
D. Santiago-Gonzalez,
K. Auranen,
M. L. Avila,
A. D. Ayangeakaa,
B. B. Back,
S. Bottoni,
M. P. Carpenter,
J. Chen,
C. M. Deibel,
A. A. Hood,
C. R. Hoffman,
R. V. F. Janssens,
C. L. Jiang,
B. P. Kay,
S. A. Kuvin,
A. Lauer,
J. P. Schiffer,
J. Sethi,
R. Talwar,
I. Wiedenhoever,
J. Winkelbauer,
S. Zhu
Abstract:
A beam containing a substantial component of both the $J^π=5^+$, $T_{1/2}=162$ ns isomeric state of $^{18}$F and its $1^+$, 109.77-min ground state has been utilized to study members of the ground-state rotational band in $^{19}$F through the neutron transfer reaction $(d$,$p)$ in inverse kinematics. The resulting spectroscopic strengths confirm the single-particle nature of the 13/2$^+$ band-term…
▽ More
A beam containing a substantial component of both the $J^π=5^+$, $T_{1/2}=162$ ns isomeric state of $^{18}$F and its $1^+$, 109.77-min ground state has been utilized to study members of the ground-state rotational band in $^{19}$F through the neutron transfer reaction $(d$,$p)$ in inverse kinematics. The resulting spectroscopic strengths confirm the single-particle nature of the 13/2$^+$ band-terminating state. The agreement between shell-model calculations, using an interaction constructed within the $sd$ shell, and our experimental results reinforces the idea of a single-particle/collective duality in the descriptions of the structure of atomic nuclei.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
Probing the UV-Induced Photodissociation of CH$_\text{3}$I and C$_\text{6}$H$_\text{3}$F$_\text{2}$I with Femtosecond Time-Resolved Coulomb Explosion Imaging at FLASH
Authors:
Kasra Amini,
Evgeny Savelyev,
Felix Brauße,
Nora Berrah,
Cédric Bomme,
Mark Brouard,
Michael Burt,
Lauge Christensen,
Stefan Düsterer,
Benjamin Erk,
Hauke Höppner,
Thomas Kierspel,
Faruk Krecinic,
Alexandra Lauer,
Jason W. L. Lee,
Maria Müller,
Erland Müller,
Terence Mullins,
Harald Redlin,
Nora Schirmel,
Jan Thøgersen,
Simone Techert,
Sven Toleikis,
Rolf Treusch,
Sebastian Trippel
, et al. (10 additional authors not shown)
Abstract:
We explore time-resolved Coulomb explosion induced by intense, extreme ultraviolet (XUV) femtosecond pulses from the FLASH free-electron laser as a method to image photo-induced molecular dynamics in two molecules, iodomethane and 2,6-difluoroiodobenzene. At an excitation wavelength of 267\,nm, the dominant reaction pathway in both molecules is neutral dissociation via cleavage of the carbon--iodi…
▽ More
We explore time-resolved Coulomb explosion induced by intense, extreme ultraviolet (XUV) femtosecond pulses from the FLASH free-electron laser as a method to image photo-induced molecular dynamics in two molecules, iodomethane and 2,6-difluoroiodobenzene. At an excitation wavelength of 267\,nm, the dominant reaction pathway in both molecules is neutral dissociation via cleavage of the carbon--iodine bond. This allows investigating the influence of the molecular environment on the absorption of an intense, femtosecond XUV pulse and the subsequent Coulomb explosion process. We find that the XUV probe pulse induces local inner-shell ionization of atomic iodine in dissociating iodomethane, in contrast to non-selective ionization of all photofragments in difluoroiodobenzene. The results reveal evidence of electron transfer from methyl and phenyl moieties to a multiply charged iodine ion. In addition, indications for ultrafast charge rearrangement on the phenyl radical are found, suggesting that time-resolved Coulomb explosion imaging is sensitive to the localization of charge in extended molecules.
△ Less
Submitted 30 January, 2018; v1 submitted 2 August, 2017;
originally announced August 2017.
-
Alignment, Orientation, and Coulomb Explosion of Difluoroiodobenzene Studied with the Pixel Imaging Mass Spectrometry (PImMS) Camera
Authors:
Kasra Amini,
Rebecca Boll,
Alexandra Lauer,
Michael Burt,
Jason W L Lee,
Lauge Christensen,
Felix Brauße,
Terence Mullins,
Evgeny Savelyev,
Utuq Ablikim,
Nora Berrah,
Cédric Bomme,
Stefan Düsterer,
Benjamin Erk,
Hauke Höppner,
Per Johnsson,
Thomas Kierspel,
Faruk Krecinic,
Jochen Küpper,
Maria Müller,
Erland Müller,
Harald Redlin,
Arnaud Rouzée,
Nora Schirmel,
Jan Thøgersen
, et al. (11 additional authors not shown)
Abstract:
Laser-induced adiabatic alignment and mixed-field orientation of 2,6-difluoroiodobenzene (C6H3F2I) molecules are probed by Coulomb explosion imaging following either near-infrared strong-field ionization or extreme-ultraviolet multi-photon inner-shell ionization using free-electron laser pulses. The resulting photoelectrons and fragment ions are captured by a double-sided velocity map imaging spec…
▽ More
Laser-induced adiabatic alignment and mixed-field orientation of 2,6-difluoroiodobenzene (C6H3F2I) molecules are probed by Coulomb explosion imaging following either near-infrared strong-field ionization or extreme-ultraviolet multi-photon inner-shell ionization using free-electron laser pulses. The resulting photoelectrons and fragment ions are captured by a double-sided velocity map imaging spectrometer and projected onto two position-sensitive detectors. The ion side of the spectrometer is equipped with the Pixel Imaging Mass Spectrometry (PImMS) camera, a time-stam** pixelated detector that can record the hit positions and arrival times of up to four ions per pixel per acquisition cycle. Thus, the time-of-flight trace and ion momentum distributions for all fragments can be recorded simultaneously. We show that we can obtain a high degree of one- and three-dimensional alignment and mixed- field orientation, and compare the Coulomb explosion process induced at both wavelengths.
△ Less
Submitted 21 June, 2017;
originally announced June 2017.
-
Infrastructure and methods for real-time predictions of the 2014 dengue fever season in Thailand
Authors:
Nicholas G. Reich,
Stephen A. Lauer,
Krzysztof Sakrejda,
Sopon Iamsirithaworn,
Soawapak Hinjoy,
Paphanij Suangtho,
Suthanun Suthachana,
Hannah E. Clapham,
Henrik Salje,
Derek A. T. Cummings,
Justin Lessler
Abstract:
Epidemics of communicable diseases place a huge burden on public health infrastructures across the world. Producing accurate and actionable forecasts of infectious disease incidence at short and long time scales will improve public health response to outbreaks. However, scientists and public health officials face many obstacles in trying to create accurate and actionable real-time forecasts of inf…
▽ More
Epidemics of communicable diseases place a huge burden on public health infrastructures across the world. Producing accurate and actionable forecasts of infectious disease incidence at short and long time scales will improve public health response to outbreaks. However, scientists and public health officials face many obstacles in trying to create accurate and actionable real-time forecasts of infectious disease incidence. Dengue is a mosquito-borne virus that annually infects over 400 million people worldwide. We developed a real-time forecasting model for dengue hemorrhagic fever in the 77 provinces of Thailand. We created an operational and computational infrastructure that generated multi-step predictions of dengue incidence in Thai provinces every two weeks throughout 2014. These predictions show mixed performance across provinces, out-performing naïve seasonal models in over half of provinces at a 1.5 month horizon. Additionally, to assess the degree to which delays in case reporting make long-range prediction a challenging task, we compared the performance of our real-time predictions with predictions made with fully reported data. This paper provides valuable lessons for the implementation of real-time predictions in the context of public health decision making.
△ Less
Submitted 15 November, 2015;
originally announced November 2015.
-
Nonparametric estimation of risk measures of collective risks
Authors:
Alexandra Lauer,
Henryk Zähle
Abstract:
We consider two nonparametric estimators for the risk measure of the sum of $n$ i.i.d. individual insurance risks where the number of historical single claims that are used for the statistical estimation is of order $n$. This framework matches the situation that nonlife insurance companies are faced with within in the scope of premium calculation. Indeed, the risk measure of the aggregate risk div…
▽ More
We consider two nonparametric estimators for the risk measure of the sum of $n$ i.i.d. individual insurance risks where the number of historical single claims that are used for the statistical estimation is of order $n$. This framework matches the situation that nonlife insurance companies are faced with within in the scope of premium calculation. Indeed, the risk measure of the aggregate risk divided by $n$ can be seen as a suitable premium for each of the individual risks. For both estimators divided by $n$ we derive a sort of Marcinkiewicz--Zygmund strong law as well as a weak limit theorem. The behavior of the estimators for small to moderate $n$ is studied by means of Monte-Carlo simulations.
△ Less
Submitted 16 September, 2015; v1 submitted 10 April, 2015;
originally announced April 2015.
-
Transport induced melting of crystals of Rydberg dressed atoms in a one dimensional lattice
Authors:
Achim Lauer,
Dominik Muth,
Michael Fleischhauer
Abstract:
We discuss the many-body physics of an ensemble of Rydberg dressed atoms with van der Waals dipole-dipole interactions in a one-dimensional lattice. Using a strong coupling expansion and numerical density-matrix renormalisation group simulations, we calculate the many-body phase diagram. A devil's staircase structure emerges with Mott-insulating phases at any rational filling fraction. Closed anal…
▽ More
We discuss the many-body physics of an ensemble of Rydberg dressed atoms with van der Waals dipole-dipole interactions in a one-dimensional lattice. Using a strong coupling expansion and numerical density-matrix renormalisation group simulations, we calculate the many-body phase diagram. A devil's staircase structure emerges with Mott-insulating phases at any rational filling fraction. Closed analytic expressions are given for the phase boundaries in second order of the tunnelling amplitude and shown to agree very well with the numerical results. The transition point where the incompressible phases melt due to the kinetic energy term depends strongly on the denominator of the filling fraction and varies over many orders of magnitude between different phases.
△ Less
Submitted 17 July, 2012; v1 submitted 2 April, 2012;
originally announced April 2012.