5138 Arbeiten
Diese Arbeit löst eine offene Frage von Jain et al., indem sie erstmals ein Problem vorstellt, das die Differential-Privacy unter kontinuierlicher Beobachtung in den oblivious und adaptiven Settings trennt, indem sie zeigt, dass ein oblivious Algorithmus über exponentiell viele Zeitschritte hinweg genau bleibt, während jeder adaptive Algorithmus bereits nach konstant vielen Schritten ungenau wird.
Die Arbeit stellt „Reading Activity Traces" (RATs) vor, ein Konzept, das Lesen als eigenständige kreative Tätigkeit begreift und durch die Sichtbarmachung von Lese- und Interpretationspfaden – exemplarisch am WikiRAT-Projekt – den Verlust menschlicher Deutungsarbeit angesichts zunehmender Automatisierung durch Algorithmen und KI adressiert.
Die Arbeit stellt DynVLA vor, ein autonomes Fahrmodell, das durch die neuartige „Dynamics CoT"-Methode und einen speziellen „Dynamics Tokenizer" kompakte Weltvorhersagen generiert, um physikalisch fundierte und effiziente Entscheidungen zu treffen, die in umfangreichen Experimenten Text- und Bildbasierte Ansätze übertreffen.
Das Paper stellt Agentar-Fin-OCR vor, ein auf Finanzdokumente zugeschnittenes OCR-System, das mittels fortschrittlicher Algorithmen zur Überbrückung von Seitengrenzen und tabellarischer Zelllokalisierung strukturierte Ausgaben erzeugt, und führt gleichzeitig FinDocBench als spezialisierten Benchmark für die Evaluierung ein.
Diese Arbeit bietet eine umfassende Analyse des Konzepts und der Systemarchitektur von Network Slicing in 5G-Mobilfunknetzen, mit besonderem Fokus auf Geschäftsmodelle und Gewinnmodelle (eigene Implementierung sowie Ressourcenvermietung), und beleuchtet dabei offene Forschungsfragen sowie bestehende Herausforderungen.
Die Studie schätzt anhand von Daten einer repräsentativen US-Stichprobe und der Plattform „Have I Been Pwned", dass mindestens 82,84 % der Amerikaner bereits mindestens dreimal Opfer von Online-Kontobrüchen geworden sind, wobei gebildetere, mittelalte Frauen und Weiße ein höheres Risiko aufweisen.
Diese Arbeit stellt ein effizientes und skalierbares Online-Monitoring-Framework vor, das durch die einheitliche Konstruktion sequenzieller Netze aus MTL-Spezifikationen mittels der neuen „future temporal marking"-Technik sowohl für diskrete als auch dichte Zeitabläufe optimierte Überwachung ermöglicht.
Die Arbeit untersucht das Modul-Checking von Pushdown-Multi-Agenten-Systemen gegen ATL- und ATL*-Spezifikationen und zeigt, dass die Komplexität für ATL bei 2EXPTIME-vollständig liegt, während sie für ATL* überraschenderweise 4EXPTIME-vollständig ist und damit exponentiell höher als bei verwandten Problemen ausfällt.
Diese Arbeit untersucht probabilistische Zähler unter dem Aspekt des Datenschutzes und zeigt, dass deren inhärente Randomisierung ausreicht, um Differential Privacy zu gewährleisten, wodurch sie als effiziente Alternative zu herkömmlichen Methoden wie dem Laplace-Mechanismus für verteilte Datenerhebungen dienen können.
Dieser Artikel führt eine umfassende Verallgemeinerung des Switching-Operators für -Graphen ein, löst damit offene Probleme von Klostermeyer, MacGillivray und Brewster, etabliert kategorientheoretische Produkte und untersucht die damit verbundenen chromatischen Zahlen, insbesondere für Wälder.
Diese Studie entwickelt ein Framework zur Schätzung der nicht gedeckten Nachfrage im öffentlichen Nahverkehr, indem sie Zensierungsverzerrungen in den Daten durch eine Poisson-Regression korrigiert und dieses Modell erfolgreich auf reale Daten der Pittsburgh Port Authority anwendet.
Diese Studie analysiert NBA-Schiedsrichterdaten und stellt fest, dass zwar eine Heimvorteilsverzerrung besteht, jedoch keine Belege für negative Vorurteile gegenüber bestimmten Spielern, Teams oder aufgrund der Rasse gefunden wurden.
Diese Arbeit stellt das neue Problem der informativen Planauswahl (TIPS) vor, bei dem ein Algorithmus entwickelt wird, um eine optimale Menge alternativer Abfragepläne für den Datenbankunterricht zu identifizieren und deren Wirksamkeit durch theoretische Garantien sowie eine dreijährige Evaluation im Unterricht nachweist.
Dieser Artikel liefert einen neuen, elementaren Beweis für die endliche Modell-Eigenschaft der Kleene-Algebra mittels Transformationsautomaten und zeigt damit, dass die Algebra vollständig bezüglich endlicher relationaler Modelle ist, was die Ergebnisse von Palka, Pratt und Kozen vereint.
Dieser Artikel untersucht Dyck-Wörter in binären Folgen, indem er die Beziehung zwischen $7/3$-Potenzfreiheit und der Verschachtelungstiefe analysiert, eine explizite Charakterisierung der Dyck-Faktoren im Thue-Morse-Wort liefert und scharfe Schranken für deren Anzahl herleitet.
Dieser Artikel stellt eine neue, rechnerisch direkte Methode vor, die mit dem Walnut-Theorembeweiser klassische und neue Ergebnisse über -Darstellungen, einschließlich der Arbeiten von Dekking und Van Loon, einheitlich und ohne Induktion beweist.
Diese Arbeit widerlegt die Hoffnung auf effizientere Verfahren, indem sie zeigt, dass die Eliminierung eines einzigen universellen Quantors in automatischen Strukturen im schlimmsten Fall einen doppel-exponentiellen Blow-up erfordert und das Leerheitsproblem EXPSPACE-vollständig ist.
Die Arbeit verfeinert die Technik gewichteter Typgraphen zum Nachweis der Terminierung von DPO-Graphtransformationssystemen, indem sie die Methode für Graphen erweitert, auf andere Kategorien verallgemeinert und Variationen des DPO-Ansatzes berücksichtigt.
Die Studie stellt BOPIM vor, einen Bayesian-Optimization-Algorithmus für die Einflussmaximierung in zeitlichen Netzwerken, der durch die Verwendung spezieller Kernel-Funktionen und einer angepassten Akquisitionsfunktion nicht nur eine signifikant schnellere Berechnung als herkömmliche gierige Algorithmen ermöglicht, sondern auch erstmals Unsicherheiten in den optimalen Seed-Knoten quantifiziert.
Diese Studie untersucht die longitudinale Robustheit von drei prominenten LLM-Familien (GPT, Llama, Qwen) gegenüber Adversarial Examples und zeigt, dass Modell-Updates nicht konsistent zu verbesserten Sicherheitsmerkmalen führen, sondern teilweise zu Verschlechterungen bei Missklassifizierung, Jailbreaks oder Halluzinationen führen können.