Value-oriented Legal Argumentation in Isabelle/HOL

in International Conference on Interactive Theorem Proving (ITP-2021) - Proceedings (2021)

Jongen a Meedercher ginn an de Schoulbicher ongläich duergestallt

Speeches/Talks (2021)

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions

in Proceedings of AAMAS (2021)

Impact of model-agnostic nonconformity functions on efficiency of conformal classifiers: an extensive study

in Proceedings of Machine Learning Research (2021), 152

Die Mehrsprachigkeit der Prosa. Ein Kapitel aus Finnegans Wake

in Dell’Anno, Sina; Imboden, Achim; Simon, Ralf (Eds.) et al Prosa: Theorie, Exegese, Geschichte (2021)

Einleitung

in Dembeck, Till; Pavlik, Jennifer (Eds.) Medienwissenschaften und Mediendidaktik im Dialog. Zum Status Quoe von Medienbildung im Deutschunterricht (2021)

Short-Term Fluctuation of Subjective Age and its Correlates: An Ecological Momentary Assessment of Older Adults

in Innovation in Aging (2021), 5(Supplement_1), 287-287

We examined short-term fluctuations of subjective age with data obtained from 123 young-old (Mage = 67.19 years) and 47 old-old adults (Mage = 86.59 years) who reported their momentary subjective age six ... [more ▼]

We examined short-term fluctuations of subjective age with data obtained from 123 young-old (Mage = 67.19 years) and 47 old-old adults (Mage = 86.59 years) who reported their momentary subjective age six times a day over seven consecutive days as they were going about their everyday lives. Participants felt younger on a large majority of occasions, and 25% of the total variability in subjective age could be attributed to within-person variation. Those with younger trait subjective ages exhibited larger moment-to-moment variation, while chronological age did not impact variability. Furthermore, we investigated relationships between within-day fluctuations of subjective age and daily cortisol fluctuations. Our findings extend the literature on subjective age by showing that how old people feel can vary on a momentary basis, that state and trait components of subjective age are related, and that fluctuations in subjective age are related to biomarkers of stress. [less ▲]

Designing Pareto optimal electricity retail rates when utility customers are prosumers

in Energy Policy (2021), 156

Electric retail rate design is relevant to utilities, customers, and regulators as retail rates impact the utility's revenue as well as the customers' electricity bills. In California, regulators approve ... [more ▼]

Electric retail rate design is relevant to utilities, customers, and regulators as retail rates impact the utility's revenue as well as the customers' electricity bills. In California, regulators approve rate proposals by privately owned vertical integrated utilities. Approval, however, is subject to compliance with multiple, potentially conflicting objectives such as economic or environmental objectives. Additionally, retail rates are price signals that affect how customers use electricity services. When utility customers change their usage, they also impact the ratemaking objectives to which rates have been designed. This suggests a feedback loop, which is particularly pronounced with prosumers, as they can systematically optimize their interactions with the electricity system. Prevalent ratemaking methods may not deliver retail rates that are optimal for multiple objectives when customers are prosumers. We propose a novel ratemaking method that formalizes the problem of designing retail rates as a multi-criteria optimization problem and accounts for prosumer reactions through a simulation-based optimization approach. Through a fictive case study, we found that the resulting Pareto frontiers are useful in recognizing and balancing tradeoffs among conflicting ratemaking objectives. Additionally, our results indicate that prevailing retail rates in California are not Pareto optimal. [less ▲]

School Alienation Among Adolescents in Switzerland and Luxembourg: The Role of Parent and Peer Supportive Attitudes Toward School and Teacher Autonomy Support

in Youth and Society (2021), early online

Prior research has shown that socialization agents such as parents, peers, and teachers can play a significant role in adolescents’ educational outcomes, both through direct support or indirectly via ... [more ▼]

Prior research has shown that socialization agents such as parents, peers, and teachers can play a significant role in adolescents’ educational outcomes, both through direct support or indirectly via supportive attitudes that foster students’ bonding to school and academic motivation. However, less is known about the effects of parent and peer supportive attitudes and teacher autonomy support on unfavorable educational outcomes such as school alienation. This study investigated the role of socialization agents in the development of school alienation among 544 secondary school students in Switzerland and 535 secondary school students in Luxembourg in grades 7 to 9. Results of structural equation modeling showed that the role of socialization agents varies across the school alienation domains and educational contexts, with peers having the most substantial impact on all three domains of alienation in both countries. [less ▲]

Discovering Pesticides and their Transformation Products in Luxembourg Waters using Open Cheminformatics Approaches

E-print/Working paper (2021)

Abstract The diversity of hundreds of thousands of potential organic pollutants and the lack of (publicly available) information about many of them is a huge challenge for environmental sciences ... [more ▼]

Abstract The diversity of hundreds of thousands of potential organic pollutants and the lack of (publicly available) information about many of them is a huge challenge for environmental sciences, engineering, and regulation. Suspect screening based on high-resolution liquid chromatography-mass spectrometry (LC-HRMS) has enormous potential to help characterize the presence of these chemicals in our environment, enabling the detection of known and newly emerging pollutants, as well as their potential transformation products (TPs). Here, suspect list creation (focusing on pesticides relevant for Luxembourg, incorporating data sources in 4 languages) was coupled to an automated retrieval of related TPs from PubChem based on high confidence suspect hits, to screen for pesticides and their TPs in Luxembourgish river samples. A computational workflow was established to combine LC-HRMS analysis and pre-screening of the suspects (including automated quality control steps), with spectral annotation to determine which pesticides and, in a second step, their related TPs may be present in the samples. The data analysis with Shinyscreen (https://git-r3lab.uni.lu/eci/shinyscreen/), an open source software developed in house, coupled with custom-made scripts, revealed the presence of 162 potential pesticide masses and 135 potential TP masses in the samples. Further identification of these mass matches was performed using the open source MetFrag (https://msbi.ipb-halle.de/MetFrag/). Eventual target analysis of 36 suspects resulted in 31 pesticides and TPs confirmed at Level-1 (highest confidence), and five pesticides and TPs not confirmed due to different retention times. Spatio-temporal analysis of the results showed that TPs and pesticides followed similar trends, with a maximum number of potential detections in July. The highest detections were in the rivers Alzette and Mess and the lowest in the Sûre and Eisch. This study (a) added pesticides, classification information and related TPs into the open domain, (b) developed automated open source retrieval methods - both enhancing FAIRness (Findability, Accessibility, Interoperability and Reusability) of the data and methods; and (c) will directly support “L’Administration de la Gestion de l’Eau” on further monitoring steps in Luxembourg. [less ▲]