Änderungen an verlinkten Seiten
Gib einen Seitennamen ein, um Änderungen auf Seiten zu sehen, die auf oder von dieser Seite verlinkt sind. Um Mitglieder einer Kategorie zu sehen, gib „Kategorie:Name der Kategorie“ ein. Änderungen an Seiten auf deiner Beobachtungsliste sind fett hervorgehoben.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
5. Dezember 2025
| 10:32 | AI Planning for Consistency Repair UnterschiedVersionen −2 Benedikt Jutz Diskussion Beiträge | ||||
4. Dezember 2025
| N 16:57 | AI Planning for Consistency Repair UnterschiedVersionen +1.594 Benedikt Jutz Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Benedikt Jutz, Bowen Jiang |gruppe=DSiS, MCSE |pdf=AIPlanningForConsistencyRepair.pdf }} == Motivation == The *Vitruvius* framework manages multiple models in a ''Virtual Single Underlying Model (V-SUM)''. ''Model Consistency'' is required to build software from these models. Therefore, Vitruvius maintains constructive, ''change-driven consistency'' by applying…“) | ||||
3. Dezember 2025
|
|
20:58 | LLM-based Architecture Design Decision Analysis for Software Evolution 2 Änderungen Versionsgeschichte +48 [Dominik Fuchß (2×)] | |||
|
|
20:58 (Aktuell | Vorherige) −2 Dominik Fuchß Diskussion Beiträge | ||||
|
|
20:58 (Aktuell | Vorherige) +50 Dominik Fuchß Diskussion Beiträge Markierung: Manuelle Zurücksetzung | ||||
| 20:58 | The Structure of Design Argumentations in Code Changes UnterschiedVersionen +50 Dominik Fuchß Diskussion Beiträge | ||||
| 09:54 | LLM-basierte Klassifikation von Quelltextelementen hinsichtlich ihrer Anliegen UnterschiedVersionen −2 Tobias Hey Diskussion Beiträge | ||||
1. Dezember 2025
|
|
N 09:17 | Enhancing Trust in Neuro-Symbolic Explanations via Calibrated Linguistic Uncertainty 2 Änderungen Versionsgeschichte +1.523 [Nicolas Sebastian Schuler (2×)] | |||
|
|
09:17 (Aktuell | Vorherige) +691 Nicolas Sebastian Schuler Diskussion Beiträge | ||||
| N |
|
09:15 (Aktuell | Vorherige) +832 Nicolas Sebastian Schuler Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Nicolas Schuler, Vincenzo Scotti |gruppe=SASIS |pdf=Master Thesis Formalizing and Verifying LLM Based Abductive Reasoning for System Explanations-1.pdf }} Critical AI decision-making demands formally trustworthy explanations. Current neuro-symbolic pipelines use Multimodal Language Models (MLMs) to translate visual data into logic, but often discard valuable uncertainty by forcin…“) | |||