5348 Arbeiten
Das Paper stellt FormalRTL vor, ein verifiziertes Multi-Agenten-Framework, das Software-Referenzmodelle als formale Spezifikationen nutzt, um die zuverlässige und skalierbare Generierung von industrietauglichem RTL-Code mittels großer Sprachmodelle zu ermöglichen.
Die Arbeit stellt Kareto vor, einen adaptiven Optimierer für die mehrstufige Speicherkonfiguration von KV-Caches in LLM-Diensten, der durch effiziente Pareto-Frontier-Suche und feinkörnige Anpassung die Kosten, den Durchsatz und die Latenz unter variierenden Arbeitslasten signifikant verbessert.
Dieses Papier stellt eine Erweiterung des ACETONE-C-Codegenerators vor, die durch die formale Definition des Prozessorzuordnungsproblems und die Entwicklung von Scheduling-Heuristiken sowie Synchronisationsmechanismen die Generierung paralleler Code für Multi-Core-Architekturen ermöglicht.
Die Arbeit stellt ChatNeuroSim vor, ein Framework auf Basis von Large Language Models, das den gesamten Workflow für die Bereitstellung und Optimierung von Compute-in-Memory-Beschleunigern automatisiert und durch Design-Space-Pruning die Identifizierung optimaler Konfigurationen für DNN-Workloads erheblich beschleunigt.
Die Arbeit stellt \texttt{electoral\_sim}, ein Open-Source-Python-Framework vor, das verschiedene Wahlsysteme in einem zweidimensionalen ideologischen Raum simuliert und anhand des euklidischen Abstands zum geometrischen Median der Wählerverteilung vergleicht, wobei auch ein neuartiger hypothetischer Mechanismus als theoretische Obergrenze bewertet wird.
Das Paper stellt JigsawServe vor, ein Serving-Framework für zusammengesetzte Inferenzsysteme auf Datacenter-GPUs, das durch die gemeinsame Optimierung von Latenz, Genauigkeit und Kosten mittels adaptiver Modellwahl und fein granularer räumlicher GPU-Partitionierung die maximale Dienstleistungsfähigkeit im Vergleich zu bisherigen Arbeiten um das 11,3-fache steigert.
Der Paper stellt Granulon vor, ein neuartiges multimodales Large Language Model, das auf dem DINOv3-Visual-Encoder basiert und durch adaptive Granularitätssteuerung sowie tokenaggregierende Module eine einheitliche Bildanalyse von Pixelebene bis zu groben semantischen Konzepten ermöglicht, wodurch die Genauigkeit um etwa 30 % gesteigert und Halluzinationen um 20 % reduziert werden.
Der Artikel stellt einen Algorithmus zur elastischen Zeitverzerrung für Zeitreihen in beliebigen metrischen Räumen vor, der eine optimale Zuordnung unter Verwendung eines Hellinger-Kerns als Strafterm für die Streckung ermöglicht und dabei eine kubische Rechenkomplexität aufweist.
Die Arbeit stellt einen erklärungsstarken, nativen Framework für das Wasserzeichen von 3D-Gaussian-Splatting-Assets vor, der durch eine intelligente Trägerauswahl und gradientenkontrollierte Feinabstimmung sowohl eine hohe Robustheit gegen Verzerrungen als auch eine überlegene Bildqualität und Nachvollziehbarkeit der Markierung erreicht.
Diese Studie untersucht, wie sich altersbedingte Unterschiede in der Wahrnehmung von Blickkontakt bei der Interaktion mit sozialen Robotern auswirken, um die Gestaltung adaptiver nonverbaler Signale für ältere Menschen zu verbessern.
Das Paper stellt VisionCreator-R1 vor, einen nativen visuellen Generierungs-Agenten mit explizitem Reflexionsmechanismus und einer neuartigen Reflexions-Plan-Optimierung (RPCO), der durch gezieltes Training auf einem selbst erstellten Datensatz und Reinforcement Learning bestehende Modelle wie Gemini2.5Pro in Ein- und Mehrbild-Aufgaben übertrifft.
Die Arbeit stellt HMR-1 vor, ein hierarchisches Massage-Robotersystem, das auf einem multimodalen Datensatz namens MedMassage-12K und feinabgestimmten Vision-Language-Modellen basiert, um präzise Akupunkturpunkterkennung und Bewegungssteuerung für die embodied Healthcare zu ermöglichen.
Diese Reflexionsarbeit beleuchtet aus der Perspektive zweier nicht auf Alterung spezialisierter Forscher die Lücken in der interdisziplinären HCI-Forschung für ältere Menschen und beschreibt, wie ehrenamtliche Arbeit in einer Seniorenresidenz zu einem tieferen Verständnis und mehr Empathie führte.
Diese Studie zeigt, dass verschiedene Roboterversagensarten die wahrgenommene Zuverlässigkeit unterschiedlich stark beeinträchtigen, wobei Fehler in der Zielsetzung weniger schädlich sind als mechanische Ausfälle oder Einfrieren und der Erfolg durch nachfolgende erfolgreiche Aktionen wiederhergestellt werden kann.
Diese Arbeit schließt die Lücke zur optimalen Laufzeit für d-QBF mit wenigen existenziellen Variablen, indem sie unter der ETH beweist, dass eine doppel-exponentielle Abhängigkeit von der Variablenzahl unvermeidbar ist, während sie für den Fall mit nur zwei Quantorenblöcken einen fast optimalen Algorithmus mit verbesserter Laufzeit angibt.
Diese Arbeit stellt ein kosteneffizientes, computergestütztes Parksystem vor, das mittels YOLOv8-Objekterkennung und inverser Perspektivabbildung (IPM) vier Kameraperspektiven zu einer 3D-Darstellung verfügbarer Parkplätze kombiniert, um die Parkraumbewirtschaftung in Smart Cities zu automatisieren.
Das Paper stellt HeteroFedSyn vor, das erste differenziell private Framework zur Synthese tabellarischer Daten in horizontalen federierten Umgebungen, das durch innovative Techniken zur verteilten Auswahl von Randverteilungen eine hohe Datennützlichkeit trotz heterogener Datenverteilungen und erhöhten Rauschens erreicht.
Die Studie stellt NaviNote vor, ein System, das auf hochpräziser visueller Lokalisierung und einer agentenbasierten Architektur aufbaut, um blinden und sehbehinderten Menschen die sprachgesteuerte Erstellung räumlicher Annotationen und eine präzisere Navigation zu ermöglichen.
Eine Studie mit 393 Teilnehmern zeigt, dass der Einfluss von Large Language Models auf kritisches Denken unter Zeitdruck umgekehrt ist als bei ausreichender Zeit: Der frühe Zugang verbessert die Leistung bei Zeitmangel, verschlechtert sie jedoch bei充裕er Zeit, während der späte oder fehlende Zugang das umgekehrte Muster aufweist.
HECTOR ist ein neuartiger Generierungs-Pipeline, der durch hybride Referenzbedingungen und die explizite Steuerung von Objekttrajektorien eine feingranulare, compositional kontrollierte Videoerstellung mit hoher visueller Qualität und genauer Referenzerhaltung ermöglicht.