Spezifizierbare Erkennung von API-Falschverwendungen in CI Pipelines
Die korrekte Verwendung von APIs ist entscheidend für die Vermeidung von fehlerhaftem und unsicherem Code. Für Datensicherheit sind besonders kryptographische APIs wichtig, aber auch allgemeine (alle anderen) APIs müssen richtig verwendet werden, um sichere Software mit hoher Qualit?t zu entwickeln. Um die sichere und richtige Verwendung von APIs ...
Laufzeit: 02/2023 - 08/2024
Obsidian-based Klausur: Wissensorganisationssoftware in Seminar- und Klausursituationen einsetzen
Das Projekt entwickelt innovative Ans?tze für das digitale wissenschaftliche Schreiben. Dies ist vielfach eine Herausforderung für Studierende (Lea & Street, 2006). Gerade die spezifischen Handlungspraktiken werden im Kontext einer heterogenen Studierendenpopulation immer weniger ?intuitiv‘ für Studierende (Heudorfer et al., 2018), da sie h?ufig ...
Laufzeit: 02/2023 - 12/2023
LASS KG: Language Agnostic Semantic Search driven by Knowledge Graphs
Laufzeit: 02/2023 - 02/2025
TRR 358; TP A04: Kombinatorische Euler-Produkte
Euler-Produkte sind die Inkarnation von lokal-global Prinzipien. Oft entstehen sie als führende Konstanten einer asymptotischen Formel, die ein Z?hlproblem aus der Algebra oder Zahlentheorie behandelt, und kodieren damit die zugrundeliegenden ganzzahligen Strukturen. Prototypen sind die Vermutungen von Manin und Malle. Die zu in diesem Projekt ...
Laufzeit: 01/2023 - 12/2026
TRR 358: Ganzzahlige Strukturen in Geometrie und Darstellungstheorie
Ganzzahlige Strukturen treten an verschiedenen Stellen verteilt über die gesamte Mathematik auf. Wir begegnen ihnen als Gitter im Euklidischen Raum, als ganze Modelle von reduktiven Gruppen oder von Schemata der algebraischen Geometrie oder als ganzzahlige Darstellungen von Gruppen und Algebren. Selbst Fragen über die grundlegendste ganzzahlige ...
Laufzeit: 01/2023 - 12/2026
TRR 358; TP A02: Algebraische und arithmetische Aspekte von Aperiodizit?t
Dieses Projekt zielt auf die Analyse und Klassifikation bestimmter topologischer dynamischer Systeme geometrischen oder zahlentheoretischen Ursprungs. Insbesondere sollen die Systeme der k-freien ganzen Zahlen in Ordnungen algebraischer Zahlk?rper untersucht werden, mittels ihrer verallgemeinerten Symmetrien, ihrer topologischen Entropie und ...
Laufzeit: 01/2023 - 12/2026
AnnoPy – ein digitales Tool zur F?rderung f?cherübergreifender wissenschaftlicher Textkompetenzen
AnnoPy (www.annopy.de) ist ein digitales, kollaboratives Tool, um den Erwerb von literalen Kompetenzen, die für den Umgang mit wissenschaftlichen Texten im Studium notwendig sind, zu f?rdern. Das Tool ist im Rahmen einer f?cherübergreifenden Zusammenarbeit von Mathematik-, Informatik- und Sprachdidaktik entwickelt worden und kann in der ...
Laufzeit: 01/2023 - 03/2024
TRR 358; TP C03: Zahme Muster in der Darstellungstheorie von reduktiven Lie-Gruppen und arithmetischen Geometrie
Man sagt, dass eine assoziative Algebra zahmen Darstellungstyp hat, wenn eine vollst?ndige Klassifizierung ihrer unzerlegbaren Darstellungen zumindest im Prinzip m?glich ist. Beispielsweise wurde die Klassifikation der Harish-Chandra-Moduln für die Gruppe SL(2,R) von Gelfand auf eine solche Algebra reduziert. Wir werden Algebren untersuchen, die ...
Laufzeit: 01/2023 - 12/2026
TRR 358; TP B02: Spektraltheorie in h?herem Rang und unendlichem Volumen
Spektraltheorie ist ein fundamentales Werkzeug zur Untersuchung lokal-symmetrischer R?ume, die im klassischen Kontext in der Regel endliches Volumen haben. Bereits bei R?umen vom Rang eins, etwa für Quotienten der oberen Halbebene modulo diskreter Gruppen unendlichen Co-Volumens treten sehr interessante und charakteristische Ph?nomene in der ...
Laufzeit: 01/2023 - 12/2026
TRR 358; TP B04: Geod?tische Flüsse und Weyl Kammer Flüsse auf affinen Geb?uden
Affine Geb?ude und ihre Quotienten sind geometrische Objekte, die zu sehr interessanten dynamischen Systemen führen. In diesem Projekt sollen geod?tische Flüsse und Weyl Kammer Flüsse auf affinen Geb?uden studiert werden. Das Projekt zielt dabei darauf ab, eine Spektraltheorie gemeinsamer Ruelle-Taylor Resonanzen zu entwickeln und ...
Laufzeit: 01/2023 - 12/2026