@misc{63408, author = {{Anonymous, A}}, title = {{{Clustering with Rényi Divergence}}}, year = {{2025}}, } @misc{63406, author = {{Anoynmous, A}}, title = {{{BUFF Transform}}}, year = {{2025}}, } @article{63882, author = {{Dinkelbach, Lars and Wudy, Stefan A. and Hartmann, Michaela F. and Libuda, Lars and Föcker, Manuel and Hebebrand, Johannes and Hinney, Anke and Nöthlings, Ute and Alexy, Ute and Grasemann, Corinna and Hirtz, Raphael}}, issn = {{0165-0327}}, journal = {{Journal of Affective Disorders}}, publisher = {{Elsevier BV}}, title = {{{Urinary steroid metabolome shows adrenal, gonadal, and neuroactive steroid dysregulation in adolescents with depressive symptoms}}}, doi = {{10.1016/j.jad.2025.120867}}, volume = {{399}}, year = {{2025}}, } @techreport{63597, author = {{Hartung, Olaf}}, keywords = {{Museum, Ausstellung, Geschichte, Friedrich Wilhelm Weber}}, pages = {{350}}, publisher = {{Eigendruck}}, title = {{{Ein neues Webermuseum. Ideen und Konzepte für die Neugestaltung des Friedrich-Wilhelm-Weber-Museums in Bad Driburg-Alhausen}}}, year = {{2025}}, } @unpublished{61065, abstract = {{Abduction is the task of computing a sufficient extension of a knowledge base (KB) that entails a conclusion not entailed by the original KB. It serves to compute explanations, or hypotheses, for such missing entailments. While this task has been intensively investigated for perfect data and under classical semantics, less is known about abduction when erroneous data results in inconsistent KBs. In this paper we define a suitable notion of abduction under repair semantics and propose a set of minimality criteria that guides abduction towards `useful' hypotheses. We provide initial complexity results on deciding existence of and verifying abductive solutions with these criteria, under different repair semantics and for the description logics DL-Lite and EL_bot.}}, author = {{Haak, Anselm and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}}, booktitle = {{arXiv:2507.21955}}, title = {{{Why not? Developing ABox Abduction beyond Repairs}}}, year = {{2025}}, } @inproceedings{63888, author = {{Haak, Anselm and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}}, booktitle = {{Proceedings of the 38th International Workshop on Description Logics - DL 2025}}, editor = {{Tendera, Lidia and Ibanez Garcia, Yazmin and Koopmann, Patrick}}, location = {{Opole, Poland}}, title = {{{Why not? Developing ABox Abduction beyond Repairs}}}, year = {{2025}}, } @inbook{60834, author = {{Ott, Manuel and Jung, Philipp and Bödger, Christian and Mozgova, Iryna and Koch, Rainer and Tröster, Thomas}}, booktitle = {{Innovative Produktentwicklung durch additive Fertigung}}, editor = {{Lachmayer, Roland and Kaierle, Stefan and Oel, Marcus}}, pages = {{117--127}}, title = {{{Fused Deposition Modeling and its Extension Through Metal-Filled Filaments as a Means of Self-Help for Individuals with Physical Disabilities}}}, doi = {{doi.org/10.1007/978-3-662-69327-8}}, year = {{2025}}, } @inbook{63868, author = {{Mangeni, Teddy and Bogere, Paul and Asiimwe, Henry and Freitag, Christine}}, booktitle = {{Sustainable Energy Development in East Africa: Interdisciplinary Approaches}}, editor = {{Freitag, Christine and Temmen, Katrin and Hehenkamp, Burkhard and Klaus, Tobias and Krauter, Stefan}}, pages = {{260--271}}, title = {{{Approaches to Community Learning in Microgrid Development}}}, year = {{2025}}, } @unpublished{64071, abstract = {{Stimulated by the renewed interest and recent developments in semi-empirical quantum chemical (SQC) methods for noncovalent interactions, we examine the properties of liquid water at ambient conditions by means of molecular dynamics (MD) simulations, both with the conventional NDDO-type (neglect of diatomic differential overlap) methods, e.g. AM1 and PM6, and with DFTB-type (density-functional tight-binding) methods, e.g. DFTB2 and GFN-xTB. Besides the original parameter sets, some specifically reparametrized SQC methods (denoted as AM1-W, PM6-fm, and DFTB2-iBi) targeting various smaller water systems ranging from molecular clusters to bulk are considered as well. The quality of these different SQC methods for describing liquid water properties at ambient conditions are assessed by comparison to well-established experimental data and also to BLYP-D3 density functional theory-based ab initio MD simulations. Our analyses reveal that static and dynamics properties of bulk water are poorly described by all considered SQC methods with the original parameters, regardless of the underlying theoretical models, with most of the methods suffering from too weak hydrogen bonds and hence predicting a far too fluid water with highly distorted hydrogen bond kinetics. On the other hand, the reparametrized force-matchcd PM6-fm method is shown to be able to quantitatively reproduce the static and dynamic features of liquid water, and thus can be used as a computationally efficient alternative to electronic structure-based MD simulations for liquid water that requires extended length and time scales. DFTB2-iBi predicts a slightly overstructured water with reduced fluidity, whereas AM1-W gives an amorphous ice-like structure for water at ambient conditions.}}, author = {{Wu, Xin and Elgabarty, Hossam and Alizadeh, Vahideh and Henao Aristizabal, Andres and Zysk, Frederik and Plessl, Christian and Ehlert, Sebastian and Hutter, Jürg and Kühne, Thomas D.}}, title = {{{Benchmarking semi-empirical quantum chemical methods on liquid water}}}, year = {{2025}}, } @inbook{63859, author = {{Vochatzer, Stefanie and Engelman , Sebastian }}, booktitle = {{"Nicht die Wahrheit wird anerkennt" - Mathilde Vaerting (1884-1977) Deutungen, Ordnungen und Tradierungen in der Erziehungswissenschaft}}, editor = {{ Berner, Esther and Hofbauer , Susann}}, isbn = {{9783781527430}}, pages = {{184--197}}, publisher = {{Verlag Julius Klinkhardt}}, title = {{{"...da gerade hier die allgemeinen Theorieen uns nur zu oft im Stiche lassen." Rousseau in der Kritik gelehrter Frauen seiner Zeit }}}, year = {{2025}}, } @article{63745, abstract = {{Multimode squeezed light is an increasingly popular tool in photonic quantum technologies, including sensing, imaging, and computation. Meanwhile, the existing methods of its characterization are technically complicated, which reduces the level of squeezing, and mostly deal with a single mode at a time. Here, for the first time, to the best of our knowledge, we employ optical parametric amplification to characterize multiple squeezing eigenmodes simultaneously. We retrieve the shapes and squeezing degrees of all modes at once through direct detection followed by modal decomposition. This method is tolerant to inefficient detection and does not require a local oscillator. For a spectrally and spatially multimode squeezed vacuum, we characterize eight strongest spatial modes, obtaining squeezing and anti-squeezing values of up to −5.2 ± 0.2 dB and 8.6 ± 0.3 dB, respectively, despite the 50% detection loss. This work, being the first exploration of an optical parametric amplifier’s multimode capability for squeezing detection, paves the way for the real-time detection of multimode squeezing.}}, author = {{Barakat, Ismail and Kalash, Mahmoud and Scharwald, Dennis and Sharapova, Polina and Lindlein, Norbert and Chekhova, Maria}}, issn = {{2837-6714}}, journal = {{Optica Quantum}}, number = {{1}}, publisher = {{Optica Publishing Group}}, title = {{{Simultaneous measurement of multimode squeezing through multimode phase-sensitive amplification}}}, doi = {{10.1364/opticaq.524682}}, volume = {{3}}, year = {{2025}}, } @misc{63871, author = {{Vochatzer, Stefanie}}, booktitle = {{H-Soz-Kult}}, isbn = {{9781350269248}}, title = {{{Rezension zu: Wasmuth, Helge; Sauerbrey, Ulf; Winkler, Michael: Finding Froebel. The Man Who Invented Kindergarten. New York 2023 }}}, year = {{2025}}, } @inproceedings{62285, abstract = {{The sliding square model is a widely used abstraction for studying self-reconfigurable robotic systems, where modules are square-shaped robots that move by sliding or rotating over one another. In this paper, we propose a novel distributed algorithm that enables a group of modules to reconfigure into a rhombus shape, starting from an arbitrary side-connected configuration. It is connectivity-preserving and operates under minimal assumptions: one leader module, common chirality, constant memory per module, and visibility and communication restricted to immediate neighbors. Unlike prior work, which relaxes the original sliding square move-set, our approach uses the unmodified move-set, addressing the additional challenge of handling locked configurations. Our algorithm is sequential in nature and operates with a worst-case time complexity of O(n^2) rounds, which is optimal for sequential algorithms. To improve runtime, we introduce two parallel variants of the algorithm. Both rely on a spanning tree data structure, allowing modules to make decisions based on local connectivity. Our experimental results show a significant speedup for the first variant, and a linear average runtime for the second variant, which is worst-case optimal for parallel algorithms.}}, author = {{Kostitsyna, Irina and Liedtke, David Jan and Scheideler, Christian}}, booktitle = {{Stabilization, Safety, and Security of Distributed Systems}}, editor = {{Bonomi, Silvia and Mandal, Partha Sarathi and Robinson, Peter and Sharma, Gokarna and Tixeuil, Sebastien}}, isbn = {{9783032111265}}, issn = {{0302-9743}}, location = {{Kathmandu}}, pages = {{325--342}}, publisher = {{Springer Nature Switzerland}}, title = {{{Invited Paper: Distributed Rhombus Formation of Sliding Squares}}}, doi = {{10.1007/978-3-032-11127-2_26}}, year = {{2025}}, } @article{64098, author = {{Scheideler, Christian and Padalkin, Andreas and Kumar, Manish}}, journal = {{Reconfiguration and locomotion with joint movements in the amoebot model. Auton. Robots 49(3): 22 (2025)}}, title = {{{Reconfiguration and locomotion with joint movements in the amoebot model. Auton. Robots 49(3): 22 (2025)}}}, year = {{2025}}, } @inproceedings{64094, author = {{Scheideler, Christian and Artmann, Matthias and Maurer, Tobias and Padalkin, Andreas and Warner, Daniel}}, title = {{{AmoebotSim 2.0: A Visual Simulation Environment for the Amoebot Model with Reconfigurable Circuits and Joint Movements (Media Exposition). }}}, year = {{2025}}, } @inproceedings{64096, author = {{Scheideler, Christian and Dou, Jinfeng and Götte, Thorsten and Hillebrandt, Henning and Werthmann, Julian}}, title = {{{Distributed and Parallel Low-Diameter Decompositions for Arbitrary and Restricted Graphs. }}}, year = {{2025}}, } @book{64099, editor = {{Scheideler, Christian and Meeks, Kitty}}, title = {{{4th Symposium on Algorithmic Foundations of Dynamic Networks.}}}, year = {{2025}}, } @inproceedings{64097, author = {{Scheideler, Christian and Artmann, Matthias and Padalkin, Andreas}}, title = {{{On the Shape Containment Problem Within the Amoebot Model with Reconfigurable Circuits. }}}, year = {{2025}}, } @inproceedings{64095, author = {{Scheideler, Christian and Augustine , John and Werthmann, Julian}}, title = {{{Supervised Distributed Computing. }}}, year = {{2025}}, } @inproceedings{64112, author = {{Jalil, Farjana and Awais, Muhammad and Ahmed, Qazi Arbab and Mohammadi, Hassan Ghasemzadeh and Jungeblut, Thorsten and Platzner, Marco}}, booktitle = {{2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)}}, publisher = {{IEEE}}, title = {{{Deep&Wide: Achieving Area Efficiency in Scalable Approximate Accelerators}}}, doi = {{10.1109/dsn-w65791.2025.00048}}, year = {{2025}}, }