💻 Category

cs

3775 Arbeiten

💻 Informatik

Stepwise Composition of Heuristic Components for Offline Strip Packing: A Controlled Study of Batch Reinforcement Learning

Diese kontrollierte Studie zeigt, dass das Batch-Reinforcement-Learning für die schrittweise heuristische Komposition beim Offline-Strip-Packing zwar moderate, statistisch signifikante Verbesserungen gegenüber statischen Portfolios erzielt, seine Leistung jedoch hinter der budgetierten lokalen Suche zurückbleibt und gegenüber gut abgestimmten statischen Konfigurationen nur einen begrenzten Vorteil bietet.

Wenru Lin, Zhouwang Yang, Lei Liu2026-10-12
💻 Informatik

Software Prototype for Smart Traffic Monitoring Using YOLOv11: Baseline Evaluation and Limitations

Dieses Paper präsentiert einen Software-Prototyp für die intelligente Verkehrsüberwachung unter Verwendung von YOLOv11 und einem Flask-Dashboard, der trotz der Erzielung einer nur begrenzten Baseline-Detektionsleistung auf einem kleinen Datensatz als transparente Grundlage für zukünftige Verbesserungen dient, indem er seine aktuellen Fähigkeiten dokumentiert und das Fehlen von Hardwareintegration und automatisierten Steuerungsfunktionen explizit vermerkt.

Atharva Gunjal2026-10-12
💻 Informatik

Maand: Architecture, Empirical Performance, and Multimodal Decision Governance for AI-Driven Virtual Mental Healthcare

Dieses Papier stellt Maand vor, eine vollumfängliche, multimodale, KI-gestützte virtuelle Plattform für die psychische Gesundheitsversorgung, die Text, Sprache, Echtzeit-Gebärdensprache und immersive emotionale Umgebungen integriert, um den weltweiten Fachkräftemangel sowie Barrieren beim Zugang zu überwinden, wobei sie durch rigorose empirische Validierung eine robuste klinische Sicherheit, eine latenzarme Performance und eine hohe Nutzerakzeptanz nachweist.

Muhammad Tayyab, Salman Nawaz2026-10-12
💻 Informatik

A-Str: Acyclic String Constraint Solver withNative Java String API Support

Dieses Paper präsentiert A-Str, einen auf azyklischen Automaten basierenden String-Constraint-Solver, der nativ Java-String-APIs unterstützt, um komplexe Java-Verifizierungs- und Dynamic-Symbolic-Execution-Benchmarks effizient und robust zu lösen, wobei er bestehende Tools bei Java-spezifischen Aufgaben übertrifft und gleichzeitig bei Standard-SMT-LIB-Benchmarks konkurrenzfähig bleibt.

Nathanael Steven, Elena Sherman2026-10-12
💻 Informatik

Establishing AI State of Control: An Error Taxonomy and Assurance Framework for Transformer-Based Probabilistic Systems in Regulated Life Sciences

Dieses Paper schlägt eine neuartige zweidimensionale probabilistische Fehler-Taxonomie und ein integriertes Assurance-Framework vor, das die Lücke zwischen traditionellem deterministischem Risikomanagement und den einzigartigen stochastischen Ausfällen von Transformer-basierten KI-Systemen schließt und es regulierten Life-Science-Unternehmen ermöglicht, durch verfeinerte Fehlerklassifizierung, Irreduzibilitäts-Gating und die Abstimmung auf FDA-Validierungslebenszyklen einen kontinuierlichen Kontrollzustand aufrechtzuerhalten.

Kayla Britt2026-10-11
💻 Informatik

MESNet: A Lightweight Transformer-CNN Collaborative Network with Morphology Awareness for Glioma Segmentation

Dieses Paper schlägt MESNet vor, ein leichtgewichtiges Transformer-CNN-kollaboratives Netzwerk, das morphologische Kanten- und Formbewusstsein integriert, um eine präzise und effiziente Gliomsegmentierung mit reduzierten Randfehlern und geringeren Rechenkosten zu erreichen.

Jia Tan, Xi Guo, Chengqun Ma, Zihong Wang, Jinchuan Han, Maiyan Cui, Shengting Zhou, Xianju Yuan, Haitao Guo2026-10-11
💻 Informatik

Hybrid Intelligence for Root-Cause Analysis in Manufacturing: An Adaptive Knowledge-Driven Decision-Support Framework

Diese Studie schlägt ein hybrides, wissensgesteuertes Entscheidungsunterstützungs-Framework vor und validiert dieses, welches semantische Abfrage, FMEA-basiertes Ingenieurwissen und Ishikawa-basierte Kontextbewertung mit einem LightGBM-Modell integriert, um eine hochpräzise Ursachenidentifikation in der Fertigung zu erreichen und dabei die Anzahl der von Experten zu untersuchenden Hypothesen effektiv zu reduzieren, während gleichzeitig die Robustheit gegenüber verrauschten Daten aufrechterhalten wird.

Marialuisa Menanno, Antonio Bruno, Carlo Riccio, Matteo Mario Savino2026-10-11
💻 Informatik

Human Perceptions Compared to Large Language Models on the Future of Artificial Intelligence: A Phenomenological Comparative Study

Diese phänomenologische Vergleichsstudie zeigt auf, dass sich die menschlichen Wahrnehmungen und die Projektionen von Large Language Models (LLMs) einer Post-Singularitäts-Zukunft zwar anfänglich im Vokabular unterscheiden, das Abschälen der korporativen RLHF-Höfligkeitsprotokolle jedoch fatalistischere Narrative der LLMs offenbart, die sich in der Folge mit menschlichen Bedenken decken und signifikante Kontrollrisiken hinsichtlich Desinformation und kognitiver Souveränität hervorheben.

Matthew Lammi, Anthony Bedford, Declan Humphreys2026-10-11
💻 Informatik

Artificial Intelligence for Tooth Numbering and Full-Mouth Series Placement

Diese Studie präsentiert eine Deep-Learning-Pipeline unter Verwendung von orientierter Objekterkennung und Siamese Neural Networks, die eine hohe Genauigkeit bei der automatisierten Zahnzählung und der Platzierung von Ganzgebiss-Röntgenaufnahmen erreicht und potenziell die dentalen Diagnoseabläufe optimiert.

Britney Nguyen, Kearny Chang, Yi Liu, Nikola Angelov, Ming-Feng Chang, Aaron Glick, Hsiu-Wan Meng, Celine Sheng, Sally S (…)2026-10-11