Our Work

Companion artifact for Chameleon: Adaptive Memory Overcommitment for Disaggregated Virtual Machines (ATC 2026; paper supplied with the AE submission)

Reference implementation accompanying the paper A Certified Transmission-Line-Matrix Method for Elliptic Field Problems, and Why the Certificate Fails on Approximated Geometry.The code realises a Prag…

Reference implementation accompanying the paper A Certified Transmission-Line-Matrix Method for Elliptic Field Problems, and Why the Certificate Fails on Approximated Geometry.The code realises a Prager-Synge complementary pair with the two dual TLM diffusion networks, so that a passive scattering solver returns a guaranteed two-sided bound on a quantity of interest, and it reproduces every number and figure of the paper: two- and three-dimensional validation, the effectivity index, the contrast and geometry sweeps, the non-circular benchmark against a dual discrete-geometric solver, the geometric-error experiments, and the certified pad-to-substrate capacitance extraction on a package model.All source files are released under the MIT licence.Release 1.1 adds eddy_current/: guaranteed two-sided bounds on the impedance of an eddy-current coil (inductance, resistance and mutual impedances) for any approximate field, from a Raviart-Thomas equilibrated flux, with the certification of every period of a passive TLM time march, accompanying the paper Guaranteed Two-Sided Bounds on Eddy-Current Coil Impedance for Any Approximate Field, With a Passive TLM Solver and Application to Nondestructive Testing and Induction Tomography.

This paper examines the role of artificial intelligence-based decision support systems (AI-DSS) in the governance and quality assurance processes of higher education institutions. Drawing on empirical…

This paper examines the role of artificial intelligence-based decision support systems (AI-DSS) in the governance and quality assurance processes of higher education institutions. Drawing on empirical studies of predictive analytics in accreditation, admissions, and student-performance monitoring, together with the broader literature on trustworthy and interpretable AI, the paper analyzes how such systems are reshaping institutional decision-making while introducing new risks of algorithmic opacity and automation bias. It concludes with governance recommendations — human-in-the-loop review, interpretability standards, and periodic auditing — for the responsible use of AI-DSS in high-stakes educational governance contexts.

A controlled study of what LLM judges of tool-using agents actually detect, under conditions where the ground truth is known by construction. A synthetic support-desk environment with a scripted oracl…

A controlled study of what LLM judges of tool-using agents actually detect, under conditions where the ground truth is known by construction. A synthetic support-desk environment with a scripted oracle gives known-correct runs; a six-type injector breaks one step at a known index, keeps each fault's clean parent, and records whether the environment outcome survived and whether the final reply changed. Five judges (a rule checker, an outcome-only judge, a step-rubric judge with two models, and a self-consistency ensemble) are scored on detection, localisation, typing, calibration and cost over 400 trajectories. Comparing each fault with its clean parent shows that recall can credit a judge with detection it does not have. Every raw verdict is committed, so all tables and figures rebuild offline with no model calls.

Ushbu maqolada zamonaviy baholash tizimlarining didaktik asoslari, ta’lim jarayonidagi o‘rni va ahamiyati yoritilgan. Baholashning an’anaviy nazorat shakllaridan zamonaviy, kompetens…

Ushbu maqolada zamonaviy baholash tizimlarining didaktik asoslari, ta’lim jarayonidagi o‘rni va ahamiyati yoritilgan. Baholashning an’anaviy nazorat shakllaridan zamonaviy, kompetensiyaga yo‘naltirilgan va rivojlantiruvchi baholash tizimlariga o‘tish zarurati tahlil qilinadi. Shuningdek, formatif va summativ baholash, mezonli baholash, diagnostik baholash, o‘z-o‘zini baholash va o‘zaro baholash kabi yondashuvlarning pedagogik imkoniyatlari ochib beriladi. Zamonaviy baholash tizimlarining didaktik tamoyillari, xususan, obyektivlik, shaffoflik, tizimlilik, izchillik, individual yondashuv va teskari aloqaning ahamiyati asoslab beriladi.

What's Changed Legal changes by @luisajansen in https://github.com/lmu-osc/data-anonymization/pull/47 More edits: All feedback included by @luisajansen in https://github.com/lmu-osc/data-anonymizatio…

What's Changed Legal changes by @luisajansen in https://github.com/lmu-osc/data-anonymization/pull/47 More edits: All feedback included by @luisajansen in https://github.com/lmu-osc/data-anonymization/pull/48 Full Changelog: https://github.com/lmu-osc/data-anonymization/compare/v0.0.3...v0.1.0

This record contains the manuscript (preprint) and its supplementary data for the study "Demonstrating solar hydrogen evolution using thiomolybdate-modified carbon nitrides in a mass transport intensi…

This record contains the manuscript (preprint) and its supplementary data for the study "Demonstrating solar hydrogen evolution using thiomolybdate-modified carbon nitrides in a mass transport intensified 3 L loop photoreactor – A feasibility study": the 3D-printable reactor components and the on-site solar irradiance data underlying the work. Contents Manuscript: Paper_Draft_Template_Loop_III_v5_clean.pdf — manuscript (preprint) of the above article Paper_SI_Draft_Template_Loop_III_v2.pdf — Supporting Information Supplementary data — Reactor CAD (STL meshes for 3D printing the reactor components/fixtures): connecting_rod.stl — draft-tube holder connecting rod drafttube_holder.stl — draft-tube holder stirrer_bottom.stl — bottom stirrer element stirrer_draftube.stl — draft-tube stirrer element SLPR_holder.stl — reactor holder SLPR_SC.stl — solar-collector reactor body Supplementary data — Solar irradiance:solar_irradiance_July_September_Gleisdorf.csv — on-site solar/meteorological time series measured at Gleisdorf (Austria); 5-minute averages; 26,475 records from 2025-06-30 to 2025-09-30, timestamps in UTC. Columns: Timestamp [UTC] — measurement time (UTC) An_Azimut_calc — solar azimuth angle (°) An_Zenit_calc — solar zenith angle (°; >90 = sun below horizon) R_diffusSOLYS_horz_Mb — diffuse horizontal irradiance (W m⁻²) R_globalSOLYS_horz_calc — global horizontal irradiance (W m⁻²) R_pyrhelio_Mb — direct normal irradiance, pyrheliometer (W m⁻²) R_UV_Apogee — UV irradiance, Apogee sensor (W m⁻²) T_Fass_Mb — reactor/tank temperature (°C)Small negative night-time irradiance values reflect the normal sensor zero-offset. License: Creative Commons Attribution 4.0 International (CC BY 4.0), https://creativecommons.org/licenses/by/4.0/ Citation: Please cite this record by its Zenodo DOI together with the associated publication.

Статья посвящена психологическим аспектам использования искусственного интеллекта, прежде всего генеративных систем, в образовательном процессе. Цель работы — выявить основные психологические во…

Статья посвящена психологическим аспектам использования искусственного интеллекта, прежде всего генеративных систем, в образовательном процессе. Цель работы — выявить основные психологические возможности и риски интеграции искусственного интеллекта в деятельность преподавателя и обучающегося. Методологическую основу составили теоретический анализ, обобщение и систематизация современных научных и аналитических источников по проблеме применения искусственного интеллекта в образовании. Рассмотрены возможности ИИ для персонализации обучения, поддержки преподавателя, получения обратной связи и развития познавательной активности. Выделены риски когнитивной разгрузки, снижения самостоятельности, ослабления метакогнитивного контроля, некритичного принятия информации, а также этические и социально-психологические риски.

Mazkur maqolada ta’lim jarayonida normativ va summativ baholashning o‘rni, ularning o‘zaro farqli va umumiy jihatlari hamda ushbu baholash turlarini samarali uyg‘unlashtirish m…

Mazkur maqolada ta’lim jarayonida normativ va summativ baholashning o‘rni, ularning o‘zaro farqli va umumiy jihatlari hamda ushbu baholash turlarini samarali uyg‘unlashtirish masalalari yoritilgan. Baholash jarayonini to‘g‘ri tashkil etish o‘quvchilarning bilim, ko‘nikma va kompetensiyalarini xolis aniqlash, ta’lim sifatini oshirish hamda pedagogik qarorlarni asoslash imkonini beradi. Maqolada normativ baholashning o‘quvchilar natijalarini belgilangan me’yorlar bilan taqqoslashga yo‘naltirilgani, summativ baholashning esa ma’lum bir o‘quv davri yakunida erishilgan natijalarni umumlashtirishga xizmat qilishi tahlil qilinadi. Shuningdek, mazkur ikki yondashuvni uyg‘unlashtirishning amaliy mexanizmlari va pedagogik samaradorligi ko‘rib chiqiladi.

Cultural astronomy, the study of human relationships with the sky has long been dominated by archaeology and the history of astronomy, while its linguistic dimensions remain systematically undertheori…

Cultural astronomy, the study of human relationships with the sky has long been dominated by archaeology and the history of astronomy, while its linguistic dimensions remain systematically undertheorized. This narrative review critically examines representative literature from 2005 to 2026 across four thematic domains: star-name semantics, grammatical encoding of celestial knowledge, linguistic relativity in time concepts, and transmission mechanisms of Indigenous astronomical knowledge. The review finds that celestial naming exhibits stable embodied cognitive patterns across languages, yet borrowing and semantic change pathways are more complex than existing models suggest, as demonstrated by Ge'ez planetary nomenclature and Mesopotamian-Greek star-name transmission. Grammatical encoding—noun classification, numeral classifiers, evidential marking, and absolute spatial frames—reveals language as an active structuring mechanism for astronomical cognition rather than a passive mirror, with Tariana evidentiality and Guugu Yimithirr solar-anchored coordinates providing particularly strong evidence. The Amondawa and Aymara cases both challenge and refine the linguistic relativity hypothesis, while their methodological limitations warrant equal scrutiny. Oral genres, Wardaman songlines, Polynesian wayfinding chants, and Rapa Nui material anchors—function as differentiated cognitive storage technologies whose poetic features serve knowledge preservation rather than decoration. The review identifies three systematic limitations in existing scholarship: corpus imbalance favoring written traditions, insufficient interdisciplinary dialogue between linguists and cultural astronomers, and methodological fragility of "absence" judgments. To address these, the paper proposes "celestial semantic domain" as an integrative analytical framework comprising lexical, grammatical, and discourse-genre levels, and argues that cultural astronomy should become a regular domain of semantic typology and language documentation rather than a marginal curiosity. Future priorities include cross-linguistic celestial vocabulary databases, integration of celestial semantics into fieldwork protocols, experimental research on evidentiality and causal reasoning, and cognitive-linguistic models of oral astronomical genres.