Westsächsische Hochschule Zwickau

Bias in AI systems poses risks of unfair outcomes, especially in sensitive domains such as healthcare. Existing approaches often address fairness only at the algorithmic level, leaving broader system-level safeguards under-specified. This paper presents a model-driven methodology for embedding AI bias requirements into SysML, enabling ethical concerns to be captured alongside functional and technical requirements. The methodology models safeguards such as confidence scoring, fairness evaluators, and human-in-the-loop oversight as firstclass SysML requirements, blocks, and interactions, ensuring traceability and verifiability within model-driven engineering processes. We demonstrate the approach through a smart home case study for early chronic kidney disease (CKD) monitoring, where system diagrams explicitly incorporate bias mitigation elements. This work contributes a structured method for operationalising ethical requirements in AI-enabled systems and lays the foundation for extending model-driven engineering with dedicated ethics modelling patterns.

The Maximum (Minimum) Leaf Spanning Tree problem asks for a spanning tree with the largest (smallest) number of leaves. As spanning trees are often computed using graph search algorithms, it is natural to restrict this problem to the set of search trees of some particular graph search, e.g., find the Breadth-First Search (BFS) tree with the largest number of leaves. We study this problem for Generic Search (GS), BFS and Lexicographic Breadth-First Search (LBFS) using search trees that connect each vertex to its first neighbor in the search order (first-in trees) just like the classic BFS tree. In particular, we analyze the complexity of these problems, both in the classical and in the parameterized sense. Among other results, we show that the minimum and maximum leaf problems are in for the first-in trees of GS, BFS and LBFS when parameterized by the number of leaves in the tree. However, when these problems are parameterized by the number of internal vertices of the tree, they are 𝖶[1] -hard for the first-in trees of GS, BFS and LBFS.

No caso da tradução de textos literários contemporâneos do sueco para as línguas românicas, as formas de tratamento apresentam um desafio especial, pois, depois da assim chamada “du-reform” na Suécia, a forma generalizada de tratamento no singular, em sueco é o pronome T (du), também em situações, nas quais as formas de proximidade não são possíveis nas línguas românicas. Se bem que em textos literários, a oralidade é apenas recriada (portanto a representação escrita da oralidade é diferente de interações reais), certos parâmetros relevantes para a escolha de formas de tratamento, como o grau de conhecimento mútuo das personagens ou a distância hierárquica são analisáveis. Além disso, textos literários costumam apresentar uma grande variedade de situações. O objetivo deste estudo é, portanto, analisar de maneira qualitativa decisões tradutológicas divergentes e convergentes com relação às formas de tratamento nas respectivas traduções para línguas românicas do romance Kinesen escrito por Henning Mankell traduzidas diretamente do sueco. Mesmo se convém tomar em consideração que o texto original influencia de certa maneira os textos traduzidos, podemos considerar que os tradutores, nas suas decisões, julgam a aceitabilidade da forma de tratamento em questão para cada uma das situações. Assim, suas decisões podem ser indícios valiosos para divergências e convergências no uso e na aceitabilidade nos contextos idênticos das formas de tratamento nas línguas em questão.

Le XXIIe Congrès des romanistes scandinaves a eu lieu à Turku, Finlande en août 2024. Ce volume réunit une quarantaine d’articles reflétant la variété thématique et linguistique des communications - les voix romanistes du nord.