6073 papers
Dit paper introduceert SurgSync, een tijdgesynchroniseerd raamwerk en dataset voor chirurgische robotica dat multi-modale data verzamelt via een dVRK-platform met geavanceerde sensoren en post-processing tools om de ontwikkeling van AI voor geautomatiseerde chirurgie te ondersteunen.
Het paper introduceert DLRMamba, een efficiënte methode voor objectdetectie in multispectrale beelden op randapparatuur die parameterredundantie in Mamba-modellen oplost door middel van een laag-rang 2D selectieve scan en structurele distillatie, waardoor een superieur evenwicht tussen rekenefficiëntie en detectienauwkeurigheid wordt bereikt.
Dit paper introduceert LIPP, een load-aware informatieve padplanningsmethode die het koppelen van monstercollectie en energiekosten expliciet modelleert via een MIQP, waardoor robots in fysieke bemonsteringsmissies meer data kunnen verzamelen binnen een energiebudget dan traditionele methoden.
Dit artikel presenteert ESM-YOLO+, een lichtgewicht netwerk voor de detectie van kleine objecten in zichtbare en infrarood afbeeldingen dat gebruikmaakt van een masker-gebaseerde fusiemodule en structurele versterking tijdens training om de nauwkeurigheid te maximaliseren terwijl de modelcomplexiteit aanzienlijk wordt verlaagd.
Het paper introduceert MindfulAgents, een door grote taalmodellen aangedreven multi-agent systeem dat mindfulness-meditatie personaliseert op basis van een deskundig raamwerk, wat in studies leidde tot significante verbeteringen in gebruikersbetrokkenheid, zelfbewustzijn en stressreductie.
Deze paper introduceert een contrastief few-shot RGB-D-segmentatiekader dat negatieve prototypes en een tweestaps-attentie-deptemodule gebruikt om robuuste navigatie in binnenruimtes mogelijk te maken door dunne obstakels effectiever te detecteren dan bestaande methoden.
Dit artikel introduceert een fysisch onderbouwde model voor een hexapedale robot op granulaire hellingen dat aantoont dat prestatieverlies voornamelijk wordt veroorzaakt door vertraagde verankering en achterwaartse slip, en dat hierop gebaseerde faalfasen-diagrammen biedt voor kwantitatieve risicoschatting.
Dit paper presenteert LLM2SMT, een studie waarin een LLM-coderingsagent zonder enige menselijke code een complete SMT-oplosser voor QF_UF bouwt die concurrerend presteert op SMT-LIB-benchmarks.
Dit paper introduceert HIERAMP, een methode die de hiërarchische semantiek van objecten benut door middel van een grof-naar-fijn autoregressieve versterking via VAR-modellen om effectievere generatieve datasetdistillatie te bereiken.
Dit artikel introduceert een adaptieve niet-lineaire waarnemer met variabele versterking die, zonder gebruik van kracht-momentensensoren, nauwkeurige schattingen van externe interactiekrachten en -momenten mogelijk maakt voor mens-UAV fysieke interactie bij het vervoer van vracht, waarbij de stabiliteit wordt bewezen en de prestaties die van een uitgebreide Kalman-filter overtreffen.
Deze studie presenteert een analytische pijplijn die 3D-histomorfometrische kenmerken van perineurale en lymfovaskulaire invasie in prostaatkanker extrahert uit optisch opgehelderde weefselmonsters, en toont aan dat deze 3D-kenmerken een betere voorspelling van biochemische recidieven bieden dan traditionele 2D-metingen.
Dit onderzoek toont aan dat het slim combineren van werkroostervariabiliteit met dakhuiszonnepanelen de capaciteit van transformatoren voor het opladen van elektrische voertuigen aanzienlijk kan vergroten en zo de netbelasting effectief helpt beheersen.
Dit artikel presenteert een tweestapsframework dat conflicterende Signal Temporal Logic-specificaties in veiligheidskritieke toepassingen, zoals autonoom rijden, oplost door eerst haalbaarheid te herstellen via minimale versoepeling en vervolgens een Pareto-optimale oplossing te vinden die interpreteerbare afwegingen tussen concurrerende doelen mogelijk maakt.
Dit paper introduceert Space-Control, een hardware-software co-design dat procesniveau-isolatie voor gedeelde CXL-gebaseerde gedisaggregeerde geheugenrealiseert met een minimale prestatieoverhead van 3,3%.
Dit tutorialartikel biedt een kritische review van de praktische toepassing van Control Barrier Functions (CBF's) in robotveiligheid, waarbij het de kloof tussen theoretische garanties en constructieve realisatie blootlegt, waarschuwt voor misbruik in passief veilige systemen, en richtlijnen biedt voor het bouwen van realistische veiligheidsargumenten voor systemen zonder inherente veiligheid.
Dit paper introduceert een energie-efficiënte methode voor het collaboratief vervoer van met een touw opgehangen ladingen door middel van een roterend evenwicht, waarbij centrifugale krachten de horizontale spanning opvangen zodat de drones puur verticale stuwkracht kunnen genereren en het energieverbruik tot 20% kan worden verlaagd.
Dit artikel introduceert viCT, een methode die monocular endoscopische video gebruikt om een virtuele intraoperatieve CT te genereren die de anatomie tijdens endoscopische sinusoperaties dynamisch bijwerkt, waardoor de beperkingen van statische preoperatieve beelden worden overwonnen met submillimeter nauwkeurigheid.
Dit rapport biedt een evidence-gebaseerde synthese die ontwikkelingswetenschap en industriepraktijk verbindt om niet-onderhandelbare veiligheidsrichtlijnen te definiëren voor antropomorfische AI, met als doel de autonomie en ontwikkeling van adolescenten te beschermen.
Het paper introduceert pqRPKI, een praktisch post-kwantum RPKI-architectuur dat door het combineren van een meerlagige Merkle Tree Ladder met aangepaste manifesten de opslag- en validatiekosten aanzienlijk verlaagt en een efficiënte, dubbelstap-migratie naar quantum-resistente beveiliging mogelijk maakt.
Dit overzichtsonderzoek analyseert hoe quantumcomputing en kunstmatige intelligentie bestaande cryptosystemen bedreigen en pleit voor een dynamische, gelaagde verdedigingsstrategie die post-quantum algoritmen, implementatiehardening en cryptografische wendbaarheid combineert.