Using an AI Chatbot to Refine Gherkin Specifications Based on Stakeholder Comments

A software project begins with capturing visions and requirements in an understandable format, e.g., vision videos, which represent complex software-based processes. This video invites comments from stakeholders for validating the vision. However, the easy-to-watch videos must be translated to easy-to-validate requirements, which can be written in the semi-formal Gherkin specification. Requirements engineers use a video and obtained comments to refine Gherkin specifications. However, this is a demanding task. AI chatbots such as ChatGPT can be used in the refinement. We investigated the effectiveness of using ChatGPT. Two requirements engineers used textual description of a vision video and comments of 12 stakeholders to refine Gherkin specifications with and without ChatGPT 3.5. We asked for stakeholders' opinions on the refined specifications with and without ChatGPT. Results show that (1) the understandability, and (2) the stakeholders' satisfaction on refined specifications with and without ChatGPT do not differentiate significantly; (3) ChatGPT generated detailed specifications but made formulation errors. We suggest using an AI Chatbot and learning from its answers to achieve stakeholders' satisfaction

Noise characterisation, analysis and mitigation at the AEI 10 m prototype

The direct measurement of gravitational waves offers an entire new way to detect astronomic events and is extremely valuable for scientific research. It is made possible by highly sensitive ground based laser interferometers detecting small length changes in km-scale arms. A further improvement of those detectors would allow to measure features of already detectable sources more precisely and increase their detection range, but also to find new types of sources. The Albert Einstein Institute (AEI) 10m prototype is a facility where new technologies for gravitational wave detectors can be developed and tested. Its core instrument is an interferometer whose sensitivity is foreseen to be limited by the standard quantum limit (SQL) between 65 Hz-200 Hz. To achieve this sensitivity, numerous subsystems are required to suppress all other noise sources. In order to investigate the performance of those subsystems in the absence of the high-quality interferometer mirrors, a linear suspended cavity called single arm test (SAT) was set up. In the scope of this thesis, a detailed characterisation of the 10m prototype with the help of the SAT was performed. The initial noise budget of the SAT was calculated based on known noise sources. An experimental investigation showed other disturbances affecting the SAT and its sensitivity was gradually improved by reducing their influence. It was estimated for each excess noise source, if a further reduction is necessary on the way towards a Sub-SQL interferometer. Stray light from view ports of the vacuum system and from detection optics outside of it was identified to have a strong coupling path to the readout of the interferometer. It was reduced effectively by attenuating the beams as much as possible on the isolated optical tables in the vacuum system before they pass the view ports. Another critical disturbance is alignment jitter of the input beam due to mechanical resonances of mirror holders and of the optical table which they are attached to. An input mode cleaner (IMC) was installed to attenuate the alignment jitter and the design choices and requirements are explained. The IMC is a short linear cavity consisting of two separately suspended mirrors, resulting in a strong passive isolation in the measurement band of the Sub-SQL interferometer. Since alignment jitter of the input beam only causes length noise for a statically misaligned interferometer, different approaches to improve the alignment stability were also investigated. Apart from better wavefront sensors, compact interferometric sensors can improve the isolation system by enhancing the sensitivity of inertial sensors or by improving the damping of multi-stage suspensions. The usability of homodyne quadrature interferometers (HoQIs) for this purpose was demonstrated in a vertical inertial sensor and at the triple suspension of the main beam splitter. The analysis of the inertial sensor shows that the simple mechanical design of its test mass suspension leads to a temperature dependent cross coupling from tilt motion. The suspended steering mirrors in the 10m prototype are not influenced by this effect and could be converted to potent inertial sensors without adding mass to the system. Based on the results of the SAT, a new optical layout of the 10m prototype is presented with a detailed explanation of the choices. This includes the new IMC and multiple mechanical improvements which will further reduce the input beam alignment jitter and use the limited payload of the isolation tables more efficiently. The layout is designed with the goal to minimise the delay before commissioning the Sub-SQL interferometer and to simplify gradual upgrades based on measured requirements. It also gives a starting point for the addition of a balanced homodyne detection (BHD), pointing out challenges and possible solutions

Parameterized complexity of weighted team definability

In this article, we study the complexity of weighted team definability for logics with team semantics. This problem is a natural analog of one of the most studied problems in parameterized complexity, the notion of weighted Fagin-definability, which is formulated in terms of satisfaction of first-order formulas with free relation variables. We focus on the parameterized complexity of weighted team definability for a fixed formula ϕ of central team-based logics. Given a first-order structure A and the parameter value k ∈ N as input, the question is to determine whether A, T |= ϕ for some team T of size k. We show several results on the complexity of this problem for dependence, independence, and inclusion logic formulas. Moreover, we also relate the complexity of weighted team definability to the complexity classes in the well-known W-hierarchy as well as paraNP

Erfassung und Bewertung des FFH-Lebensraumtyps 3230 "Alpine Flüsse mit Ufergehölzen von Myricaria germanica"

Der FFH-LRT 3230 „Alpine Flüsse mit Ufergehölzen von Myricaria germanica“ ist als Gemeinschaft nied-rigwüchsiger Pioniersträucher definiert, dessen charakteristische Arten, neben Myricaria germanica, Salix eleagnos, Salix purpurea, Salix daphnoides und Salix nigricans sind. Vegetationsökologisch wird der LRT dem Salici-Myricarietum zugeordnet. Myricaria germanica, ist mit ihrem Lebenszyklus optimal an alpine Wildflüsse angepasst und auf deren Hydro- und Morphodynamik angewiesen, so auch der FFH-LRT 3230. Gemäß Artikel 11 der FFH-Richtlinie muss der Erhaltungszustand der Vorkommen des LRTs erfasst und bewertet werden. Im Rahmen dieser Masterarbeit ist der FFH-LRT 3230 gemäß bayerischen und öster-reichischen Vorgaben entlang der Oberen Isar in fünf Untersuchungsgebieten, die sich in ihrem Fließge-wässertyp sowie der Beeinträchtigungsintensität unterscheiden, erfasst und bewertet worden. Gemäß bayerischen Erfassungsvorgaben wurde der LRT abschnittsweise abgegrenzt. Nach österreichischen Vor-gaben wurden die Standorte von Myricaria germanica als FFH-LRT 3230 erfasst. Die Bewertung des Er-haltungszustands erfolgte nach bayerischen und österreichischen Vorgaben auf Grundlage der von der EU vorgegebenen Kriterien. Die „Vollständigkeit der LRT-typischen Habitatstrukturen“ (Bayern) wurde an-hand der Deckungsgrade von Kraut- und Strauchschicht bewertet. Wohingegen die Bewertung der „Habi-tatqualität/-struktur“ (Österreich) mittels der Veränderungen der Hydro- und Morphodynamik erfolgte. Sowohl zur Bewertung der „Vollständigkeit des LRT-typischen Arteninventars“ (Bayern) als auch zur Be-wertung der „Artenzusammensetzung“ (Österreich) wurde das Vorkommen LRT-typischer Arten heran-gezogen. Gemäß österreichischen Vorgaben wurde außerdem der Populationsaufbau von Myricaria ger-manica als Bewertungsindikator verwendet. Die „Beeinträchtigungen“ (Bayern) sind mittels der Beein-flussung der hydrologischen Eigenschaften und der Gewässerbettstruktur, sowie fünf weiteren Indikato-ren bewertet worden. Der „Einfluss“ (Österreich) wurde mit den Indikatoren „Invasive Neophyten“ und „Beeinträchtigungen“ bewertet. Die Ergebnisse dieser Arbeit haben gezeigt, dass die unterschiedlichen Erfassungs- und Bewertungsvor-gaben auch zu unterschiedlichen Ergebnissen führen. Die nach bayerischen Vorgaben abgegrenzte Flä-chen sind um ein Vielfaches größer als die nach österreichischen Vorgaben. Des Weiteren kommt der LRT erfasst nach bayerischen Vorgaben in Fließgewässerabschnitten vor, in denen er nach österreichischen Vorgaben nicht erfasst wurde. Die Differenz des Erfassungsergebnisses vergrößert sich mit steigender Beeinträchtigungsintensität. Auch die Differenz der Bewertung des Erhaltungszustands nimmt mit stei-gender Beeinträchtigungsintensität zu. Insbesondere die Bewertung der Habitatstrukturen unterscheidet sich voneinander. Nach österreichischen Vorgaben verschlechtert sich die Bewertung im Verlauf der Obe-ren Isar, verursacht durch die Bewertung der Auswirkungen des Krüner Wehrs auf die Hydro- und Mor-phodynamik mit C. Nach bayerischen Vorgaben ist erst flussabwärts des Sylvensteinspeichers eine Ver-schlechterung der Bewertung zu erkennen. Auch die Bewertung des Arteninventars weicht voneinander ab. Nach österreichischen Vorgaben verschlechtert sich die Bewertung im Flussverlauf, wohingegen sich die Bewertung nach bayerischen Vorgaben verbessert. Das Einzige nach österreichischen Vorgaben bes-ser bewertete Kriterium ist der Einfluss. Bewertet nach bayerischen Vorgaben verschlechtert sich die Bewertung der Beeinträchtigungen im Flussverlauf, v.a. verursacht durch die Bewertung der Beeinflus-sungen der hydrologischen Eigenschaften durch das Krüner Wehr mit B und den Sylvensteinspeicher mit C. Problematisch ist in erster Linie die großflächige Abgrenzung des LRTs nach bayerischen Vorgaben, da dies zu falschen Rückschlüssen in Bezug auf den (Erhaltungs-)Zustand de LRTs sowie ganzer Flussab-schnitte führen kann. Zudem werden dadurch teilweise die Bewertungsergebnisse beeinflusst. Insgesamt sind auf Grundlage der Ergebnisse und deren Diskussion acht (Handlungs-)Empfehlungen zur Erfassung und Bewertung des FFH-LRTs 3230 entwickelt worden

Modeling, Discretization, Solvers, Optimization, and Simulation of Multiphysics Problems (ENS Paris-Saclay)

The goal of this class is to give an introduction to numerical modeling of multiphysics problems. These can be modeled as nonstationary, nonlinear, coupled partial differential equations. The starting point are physical conservation laws such as mass and momentum. With the help of constitutive laws, these result into the incompressible Navier-Stokes equations and elasticity of Saint-Venant Kirchhoff type. The coupling of coordinate systems is discussed in great detail to obtain a fluid-structure interaction model, which is representative for multiphysics problems. Then, the classical way of temporal discretization, spatial discretization, nonlinear and linear solutions follows. All parts are complemented with numerical examples and illustrations. Finally, numerical simulations of benchmarks and further applications up to fluid-structure optimal control are discussed. The basic programming codes are published open-source on github

Contextualizando lo común: confrontando la historia de la gestión de comunales con el ODS 10 (reducción de las desigualdades)

Tras sufrir un intenso ataque desde el siglo XIX en toda Europa occidental, los bienes comunes vuelven a estar de moda. Es cierto que en un contexto totalmente diferente: ahora se habla de comunes para referirse a todo tipo de recursos e incluso servicios que se entienden como de uso colectivo, incluyendo el agua, el aire, Internet o el conocimiento. Y, como es propio de los estudios jurídicos, aquí se vuelve relevante la cuestión de quién y cómo se gestiona ese acceso común a los recursos y servicios, así como quién se hace responsable de su conservación y reproducción. Para el siglo XXI, mientras resaltamos la necesidad de reducción de las desigualdades, especialmente en su relación con el acceso a un medioambiente sano y saludable, parece intuitivo pensar en la naturaleza como un bien común que debe estar excluido de acciones privatizadoras y/o excluyentes. En esta medida, desde la historia del derecho lo que se propone aquí es estudiar cómo se han desarrollado las relaciones entre comunidad y bienes gestionados y disfrutados en común, partiendo de ejemplos muy localizados y conectándolos con otras experiencias similares. El caso de estudio concreto presentado es lo que hoy conforma la mancomunidad de Aralar-Enirio, en la frontera entre Gipuzkoa y Navarra. De manera similar a lo ocurrido en otros territorios, los intensos cambios sociales ocurridos a partir del siglo XVI dieron lugar a nuevas disputas por el control del acceso a aquellos montes y sierras de uso compartido, generando debates en torno no solo a las formas de uso, sino también en torno a la jurisdicción sobre esos bienes, la determinación de sus usuarios, la actuación en los diferentes niveles institucionales, etc. Esos debates se materializaron en algunos documentos que más tarde fueron interpretados como muestras de una gran capacidad de consenso y negociación. No obstante, a la luz de otros documentos coetáneos, se pretende aquí resaltar el carácter también conflictivo de la regulación de los comunales. Más allá del caso concreto, lo que se pretende aquí es abrir las puertas a una reflexión más amplia no solo sobre la categoría de los bienes comunes, sino sobre de qué hablamos cuando hablamos de comunidad, común, derecho, norma, costumbre, ley, inclusión y exclusión

Integrated procurement and reprocessing planning for reusable medical devices with a limited shelf life

We present a new model formulation for a multiproduct dynamic order quantity problem with product returns and a reprocessing option. The optimization considers the limited shelf life of sterile medical devices as well as the capacity constraints of reprocessing and sterilization resources. The time-varying demand is known in advance and must be satisfied by purchasing new medical devices or by reprocessing used and expired devices. The objective is to determine a feasible procurement and reprocessing plan that minimizes the incurred costs. The problem is solved in a heuristic manner in two steps. First, we use a Dantzig-Wolfe reformulation of the underlying problem, and a column generation approach is applied to tighten the lower bound. In the next step, the obtained lower bound is transformed into a feasible solution using CPLEX. Our numerical results illustrate the high solution quality of this approach. The comparison with a simulation based on the first-come-first-served principle shows the advantage of integrated planning

Alles eine Frage der Perspektive? Universität und Wissenschaften zwischen beharrlichem Wandel und widerständiger Beharrlichkeit

Die drei Aufsätze meiner kumulativen Dissertation verbindet die Analyse von außen initiierter Veränderungsaufforderungen der Organisationsformen und Verfahren, der Epistemik und sozialen Strukturen von Universität und Wissenschaften mit Blick auf Wandlungsbereitschaften und Beharrungskräfte. Sie fragen nach den Grenzen der Veränderungen und stellen darauf ab, einen beharrlichen Wandel zu erklären. Die Untersuchungen kommen zu dem Ergebnis, dass Universität und Wissenschaften Aufforderungen zu Veränderungen in der Art verarbeiten, dass sie diese überwiegend in Etabliertes einfügen. Während ich im ersten und zweiten Aufsatz hochschul- und wissenschaftspolitische Neuordnungen akademischer Karrierewege und ihre Niederschläge auf universitäre Strukturen und etablierte wissenschaftliche Verfahren untersuche, wenden Axel Philipps und ich uns im dritten Beitrag der Drittmittelförderung radikal neuer Forschungsideen zu und fragen, inwieweit diese das Antragstellen verändert. Die Rahmenschrift der Dissertation setzt die theoretischen Konzeptionen, die mit ihnen vorausgesetzten Annahmen über die soziale Wirklichkeit und die empirischen Beobachtungen der drei Aufsätze in den Kontext eines größeren empirischen Phänomens: die Behauptung des Verharrens von Universität und Wissenschaften angesichts ihrer mangelnden Wandlungsfähigkeit. Wenn Universität und Wissenschaften als Organisation gedacht und adressiert werden, setzen daran orientierte Veränderungsmaßnahmen multiple Standards, die mit ihren charakteristischen Eigenarten kollidieren mögen. Dies könnte mithin bedeuten, dass die Besonderheiten von Universität und Wissenschaften durch gewisse Spielräume geschützt werden, die in Phasen der Veränderung ungenutzt bleiben. Zu postulieren wäre dann: Universität und Wissenschaften setzen sich so mit äußeren Zwängen auseinander, dass es ihnen gelingt, sich in ihrem grundsätzlichen Selbstverständnis als Einrichtung eigener Art zu bewahren. Anstelle eines beharrlichen Wandels müsste eine widerständige Beharrlichkeit angenommen werden, die überall dort wirkt, wo äußere Ansprüche die Funktions- und Leistungsfähigkeit von Universität und Wissenschaften in der ihnen eigenen Weise gefährden. Um dies zu überprüfen, wird in der Rahmenschrift eine übergeordnete theoretische Analyseperspektive auf die Ergebnisse der Aufsätze entwickelt, orientiert an der Feldtheorie von Pierre Bourdieu.A question of perspective? Universities and sciences between persistent change and resistant persistence The three studies in my cumulative dissertation combine the analysis of externally initiated calls for change in the organizational forms and procedures, epistemology and social structures of universities and sciences with an emphasis on their willingness to change and their forces of persistence. They address the limits of such change and aim to explain persistent change. The studies conclude that universities and sciences are processing calls for change by predominantly integrating them into established structures. While in the first and second research article I examine politically caused reorganizations of academic career paths and their impact on university structures and established scientific procedures, in the third research article Axel Philipps and I turn to third-party funding for radically new research ideas and question to what extent these funding programmes change applicant’s rhetorical moves of argumentation in research proposals. The dissertation's framework paper places the theoretical conceptions, their presuppositions about social reality, and the empirical observations of all three research articles in the context of a larger empirical phenomenon: the assertion of persistence of universities and sciences in the face of their inability to change. If universities and sciences are thought of and addressed as organizations, then corresponding change measures set multiple standards that may clash with their characteristic peculiarities. This could mean that unused potential protects the special characteristics of universities and sciences in phases of change. It could then be postulated that universities and sciences deal with external forces in such a way that they succeed in preserving their fundamental self-image as institutions of their own kind. Instead of a persistent change, a resistant persistence would have to be assumed, which is effective wherever external demands pose a risk to the functionality and performance of universities and sciences in their own way. To examine this, the framework paper develops an overarching theoretical analysis perspective on the results of the research articles, based on Pierre Bourdieu's field theory

Die paardyadische Kooperationspflicht als Element der Entscheidung für den Zweiten Bildungsweg. Zum Spannungsverhältnis zwischen Individuum und Paarbeziehung

Der Zweite Bildungsweg in Form von Schulen für Erwachsene fußt auf der Idee einer Unabgeschlossenheit von Bildungsverläufen. Gleichzeitig eröffnet er eine Möglichkeit zur Transformation desselben. Subjektiv erlangt er Bedeutung als Neustart der beruflichen Karriere oder als Möglichkeit der Höherqualifikation und Umorientierung. Dies verweist auf eine allgemeine Dynamik der De-Standardisierung von Lebensverläufen und betont eine Individualisierungsbewegung im Erwachsenenalter. Diese Individualisierung trifft im Erwachsenenalter auf unterschiedlichste Lebensmodelle. Im Fokus dieser Arbeit stehen dabei Frauen, die sich aus einer Paarbeziehung heraus für den Schulbesuch im Erwachsenenalter entscheiden. Gerade für diese Gruppe scheint ein besonderes Potential der Emanzipation im Zweiten Bildungsweg zu liegen. Tragend ist dabei die Idee eines sozialen und beruflichen Aufstiegs gegenüber dem Partner/der Partnerin durch den angestrebten Bildungsabschluss. Über einen Mixed-Methods Ansatz wird die These geprüft, inwiefern das Bildungssubjekt (Ich) und die Paarkonstruktion (Wir) spannungsreiche Antipoden der Entscheidung darstellen. Die Ich-Ebene – untersucht über eine quantitative Fragebogenstudie – eröffnet die dominanten Motive eines Bildungsstrebens sowie eines beruflichen Aufstiegswunsches bei gleichzeitiger Ausblendung des Partners/der Partnerin aus der Bildungsentscheidung. Dem gegenüber steht eine Haltung zum Wir – untersucht über eine qualitative-rekonstruktive Interviewstudie ‒, welche die Entscheidung als delegativen Mechanismus einordnet. Es wird deutlich, dass die Entscheidung für den Zweiten Bildungsweg in einer Partnerschaft als kooperative Pflicht das Spannungsverhältnis zwischen individuellem Streben und partnerschaftlicher Verantwortung zum Ausdruck bringt.The Second Chance Education through adult schools is based on the idea of an ongoing educational journey. Simultaneously, it offers a possibility for its transformation. Subjectively, it gains significance as either a fresh start in one's professional career or as an opportunity for further qualification and redirection. This points to a general dynamic of de-standardization in life courses, emphasizing an individualization movement in adulthood. This individualization encounters various life models in adulthood. This study focuses on women who decide to pursue education in adulthood while maintaining a romantic relationship. For this group, there seems to be a particular potential for emancipation in the Second Chance Education. Central to this is the idea of social and professional advancement vis-à-vis the partner through the desired educational attainment. Through a mixed-methods approach, the thesis examines the extent to which the educational subject (the self) and the couple construction (the partnership) represent conflicting poles in the decision-making process. The individual level - examined through a quantitative questionnaire study - revealed the dominant motives for educational aspirations and a desire for career advancement while simultaneously excluding the partner from the educational decision. In contrast, a perspective on the partnership - explored through a qualitative-reconstructive interview study - frames the decision as a delegative mechanism. It becomes evident that the decision for Second Chance Education within a partnership as a cooperative obligation expresses the tension between individual striving and partnership responsibility

Education systems as life course policies? The example of subnational educational regimes and young adults’ family transitions

This study investigates the role of subnational educational opportunities for three typical transitions in young adulthood: 1) leaving the parental home, 2) starting to cohabit and 3) becoming a parent. Educational opportunities shape young adults’ life courses as they facilitate the accumulation of human capital, labour market entry and financial independence. Education systems and opportunities are part of transition regimes shaped by the specific cultural, economic and policy characteristics of a (subnational) context, and are thus likely to affect moving out and family formation. Drawing on the example of Switzerland with its large cantonal variation in educational opportunities, we use longitudinal data from the TREE panel study to follow a cohort of young adults born in the mid-1980s from ages 16 to 29. Event history models show that larger shares of young people in vocational education at a cantonal level are associated with earlier moving out and parenthood, but later partnership formation. The influence of vocational opportunities is moderated by the presence of a university in the canton.Diese Studie untersucht die Rolle subnationaler regionaler Bildungsangebote für drei zentrale Familienübergänge im jungen Erwachsenenalter, nämlich 1) den Auszug aus dem Elternhaus, 2) das Eingehen einer ersten festen Partnerschaft, und 3) den Übergang in die Elternschaft. Bildungsangebote formen Lebensverläufe, da sie die Akkumulation von Humankapitel ermöglichen, den Einstieg in den Arbeitsmarkt erleichtern und die finanzielle Unabhängigkeit junger Menschen von ihren Eltern fördern. Zudem sind sie in Lebensverlaufsregimes eingebettet, welche mit ihren spezifischen kulturellen, ökonomischen und politischen Eigenschaften auch familiäre Übergänge im jungen Erwachsenenalter beeinflussen dürften. Basierend auf dem Beispiel der Schweiz, die durch eine große regionale Heterogenität in der Bildungslandschaft und der Orientierung in Bildungssystemen gekennzeichnet ist, untersuchen wir den Zusammenhang zwischen kantonalen Bildungsangeboten und den drei genannten Übergängen. Dabei nutzen wir Daten der TREE-Panelstudie, welche die Bildungs-, Arbeitsmarkt- und Lebensverläufe einer Kohorte von jungen Erwachsenen von 16 bis 29 Jahren verfolgt. Event History-Modelle zeigen, dass ein höherer Anteil von jungen Menschen in beruflicher Ausbildung in einem Kanton mit früheren Auszügen und Elternschaft, aber späterer Partnerschaft assoziiert ist. Der Zusammenhang zwischen Übergängen und dem Berufsbildungsangebot wird jedoch von der Verfügbarkeit einer Universität im Kanton moderiert