💻 Category

cs

2456 Arbeiten

💻 computer science

Formal Verification of Smart Contracts for EEG Data Governance: A Case Study with Slither and Formal Specification

Diese Arbeit zeigt auf, dass, während automatisierte Werkzeuge wie Slither und Mythril bekannte Schwachstellenmuster effektiv erkennen, die formale Spezifikation essenziell ist, um die logische Korrektheit zu verifizieren und die Sicherheit in der Blockchain-basierten EEG-Datenverwaltung zu gewährleisten, da sie eine gezielt eingeschleuste Array-Out-of-Bounds-Schwachstelle identifizierte, die von automatisierten Werkzeugen übersehen wurde.

Jonathas Tavares Neves, Moisés Pereira Bastos, Lucas Carvalho Cordeiro, Carlos Augusto de Moraes Cruz2026-06-29
💻 computer science

Innovative Strategies for Efficient Traffic Sign Prediction using Dense-CN Net Classification

Diese Arbeit schlägt ein innovatives Framework zur Vorhersage von Verkehrsschildern vor, das eine Non-local-Means-Vorverarbeitung, eine modifizierte U-Net-Architektur, eine Dense-CNN-Klassifizierung und Rock-Hyrax-Schwarmoptimierung zur Hyperparameter-Abstimmung integriert und dabei eine State-of-the-Art-Genauigkeit von 99,64 % auf den TT100K- und 99,6 % auf den GTSDB-Datensätzen erreicht.

Naveen N, Senthil Mahesh P C, Kumari P, Praveenkumar G D2026-06-29
💻 computer science

EDNet-20: Enhancing Multi-Label Ocular Disease Detection through Deep Learning Optimization

Dieses Paper stellt EDNet-20 vor, ein neuartiges Deep-Learning-Framework, das durch photometrische Datenaugmentation und Techniken der erklärbaren KI optimiert wurde und eine überlegene Genauigkeit bei der Multi-Label-Erkennung von Augenerkrankungen im Vergleich zu State-of-the-Art-Modellen erreicht, wodurch es ein vielversprechendes Werkzeug für die klinische Frühdiagnose darstellt.

Shahed Hossain, Munjir Mahmud Sayeb, Tahmeed Ali Patwary, Mohsina Mehenaj, Anika Tasnim Ritu, Md Mizanur Rahman, Md. Zah (…)2026-06-29
💻 computer science

Affect-Aware Human-Agent Conversations: Towards Empathic LLM Interaction

Dieses Paper führt Empathic Extended Prompting ein, ein Echtzeit-Framework, das Gesichtsausdrucks-Deskriptoren in Interaktionen mit Large Language Models integriert, um die wahrgenommene emotionale Intelligenz und Stimmungsreaktivität zu verbessern, ohne die Benutzerfreundlichkeit zu beeinträchtigen oder das Uncanny-Valley-Phänomen auszulösen.

Lorenzo Stacchio, Andrea Ubaldi, Alessandro Galdelli, Maurizio Mauri, Emanuele Frontoni, Andrea Gaggioli2026-06-29
💻 computer science

Evaluating the Use of LLM-based Multi-Agent Systems for Internal Information Sharing and Access Within Manufacturing

Diese Arbeit bewertet ein modulares, auf LLMs basierendes Multi-Agenten-System für den Zugriff auf Fertigungsinformationen und stellt fest, dass, während Top-Modelle unter spezifischen Datenbedingungen die Genauigkeit und Geschwindigkeit durchschnittlicher menschlicher Nutzer bei Rückverfolgbarkeitsaufgaben übertreffen, die Effektivität des Systems von der Modellauswahl, der Datenqualität und dem Prompt-Design abhängig bleibt, was eine kontinuierliche menschliche Aufsicht erforderlich macht.

Ngoc Bach Nguyen, Sam Brooks, Zhengyang Ling2026-06-29
💻 computer science

Design of a Real-Time Hand Gesture Control System for Unmanned Aerial Vehicles Using a Lightweight Multi-Scale Feature Extraction Network

Dieses Papier präsentiert ein leichtgewichtiges, multiskalares Merkmalsextraktionsnetzwerk, das durch den Einsatz einer dreistufigen Downsampling-Architektur und eines Hybridmoduls, welches parallele dilatierte Faltungen mit einem selektiven Zustandsraummodell kombiniert, eine Echtzeit-Handgestensteuerung für ressourcenbeschränkte UAVs ermöglicht.

Jiang Zi, Chengjun Xu2026-06-29
💻 computer science

A Composite Evaluation Framework for Unsupervised Maritime Anomaly Detection in AIS Data with Applications to Ocean Monitoring

Diese Studie schlägt den Maritime Anomaly Detection Quality Index (MADQI) vor, ein neuartiges zusammengesetztes Bewertungsframework, das den Mangel an gelabelten Daten bei der unüberwachten AIS-Anomalieerkennung durch die Integration von geospatialer Analyse mit vier spezifischen Metriken adressiert, um die Modellleistung für eine verbesserte Meeresüberwachung und nachhaltige Governance robust zu bewerten.

Ismet Gocer, Zakirul Bhuiyan, Raza Hasan, Shakeel Ahmad2026-06-29
💻 computer science

An AD Detection System Using Theme Enhancement and Dynamic Differential Privacy for Intelligent Elderly Care

Dieses Paper schlägt ADDETECTOR vor, ein sicheres und präzises System zur Erkennung der Alzheimer-Krankheit für die intelligente Altenpflege, das eine themenbasierte Erweiterung sprachlicher Merkmale mit einem dynamischen Differential-Privacy-Mechanismus integriert, um die Herausforderungen geringer Genauigkeit und des Abflusses von Privatsphäre zu bewältigen, während es gleichzeitig eine überlegene Leistung auf dem ADReSS-Datensatz demonstriert.

Junyan Qu, Hao Wang, Ming Sun2026-06-29
💻 computer science

A Blockchain-based NFT Framework for Ownership and Intellectual Property Preserving with Controlled Access to Medical Datasets

Dieses Papier schlägt ein Blockchain-basiertes Framework vor, das Non-Fungible Tokens (NFTs), Smart Contracts und kryptographische Techniken nutzt, um eine verifizierbare Inhaberschaft, kontrollierten Zugriff und forensische Prüfung von verschlüsselten medizinischen Datensätzen zu ermöglichen und damit die Barrieren beim Datenaustausch in der biomedizinischen Forschung zu adressieren.

Hoda Naseri, Seyed Mohammad Mirhosseini, Ali A. Safaei2026-06-29