8464 papers
Deze studie toont aan dat het verhogen van het aantal vertrouwensstaten in Markov-ketens modellen voor voertuignetwerken de nauwkeurigheid waarmee complexe rijdersgedragingen worden vastgelegd, aanzienlijk verbetert en zo een robuustere beveiliging biedt.
Dit paper introduceert VRec, een nieuw 'redeneer-verifieer-aanbevel'-paradigma dat de betrouwbaarheid van generatieve aanbevelingen door grote taalmodellen verbetert via een mengsel van verifiers voor betrouwbare en multidimensionale verificatie van de redeneerprocessen.
Deze studie presenteert een kwantumveilig federatief leerframework dat NIST-standaardpostkwantumcryptografie integreert om de beveiliging en schaalbaarheid van samenwerking in cyberverdediging te waarborgen, waarbij 97,6% detectienauwkeurigheid wordt bereikt met minimale vertraging.
Dit artikel introduceert het 'Three Praxes Framework', een thematisch overzicht van sociaal toegankelijkheidsonderzoek uit 2011-2025 dat drie praktijkdomeinen (artefact, ecosysteem en epistemologie) identificeert en pleit voor een geïntegreerde cyclus waarin de levenservaringen van mensen met een handicap, materiële praktijken en theoretische kennis elkaar wederzijds versterken om bestaande barrières te doorbreken.
Dit paper introduceert een nieuw multi-agent architectuur die hallucinaties van grote taalmodellen reduceert bij het automatiseren van meerstaps structurele modellering en analyse met OpenSeesPy, waardoor een hoge nauwkeurigheid en schaalbaarheid wordt bereikt.
Dit artikel presenteert een raamwerk dat tunable input-to-state safety (TISSf) integreert met algemene ingangsbeperkingen door een meetkundige karakterisering te gebruiken die een voorschrijvende ondergrens voor de afstemfunctie biedt, waardoor robuuste veiligheid en recursieve haalbaarheid van QP-gebaseerde veiligheidsfilters worden gegarandeerd.
Dit paper pleit voor een verschuiving in sociaal assistieve technologie van autonomie naar relationele soevereiniteit, waarbij de nadruk wordt gelegd op het recht van mensen met een beperking om zelf te kiezen tussen onafhankelijkheid en onderlinge afhankelijkheid.
Dit paper introduceert AeroPlace-Flow, een trainingsvrij raamwerk dat natuurlijke taalinstructies omzet in uitvoerbare objectplaatsingstaken voor luchtmanipulatoren door visuele vooruitziendheid te combineren met 3D-geometrische redenering en objectflow.
Dit paper pleit voor een verschuiving in de interactie met robots en AI van een focus op autonomie en efficiëntie naar een 'scaffolding'-benadering, waarbij de mens als regisseur fungeert die creatieve intentie stuurt terwijl AI de vertaalslag naar robotgedrag faciliteert.
Deze studie, gebaseerd op interviews met softwareprofessionals in Brazilië en Portugal, concludeert dat teamdiversiteit een cruciale rol speelt bij het identificeren van bias, het bevorderen van empathie en het ondersteunen van inclusieve besluitvorming in de ontwikkeling van AI-systemen.
Dit artikel introduceert Structured Gossip DNS, een partition-resilient naamoplossingssysteem voor internet-schaalnetwerken dat via passieve stabilisatie en commutatieve operaties de berichtcomplexiteit verlaagt en eventual consistency garandeert zonder globale coördinatie.
Het paper introduceert AR2-4FV, een systeem dat gebruikmaakt van een stabiele achtergrondankerbank voor langdurige taalgebaseerde objectvolging in video's met een vast camerastandpunt, waardoor het object kan worden herkend en geïdentificeerd zelfs na lange perioden van afwezigheid of verduistering.
Het artikel introduceert DECADE, een onbewaakte diffusiemodel dat tijdsconsistentie toepast om ruis in dynamische Rb-82 hart-PET-beelden te verminderen en zo de beeldkwaliteit en kwantitatieve nauwkeurigheid verbetert zonder gebruik te maken van gepaarde trainingsdata.
Het paper introduceert MedQ-Deg, een uitgebreid benchmark voor het evalueren van multimodale grote taalmodellen in medische beeldvorming onder diverse kwaliteitsdegradaties, waarbij wordt aangetoond dat prestaties systematisch achteruitgaan en modellen vaak onterecht hoog vertrouwen behouden ondanks een daling in nauwkeurigheid.
Dit artikel introduceert Apply2Isar, een tool die automatisch procedurele 'apply-style' bewijzen in Isabelle/HOL converteert naar leesbare en robuuste declaratieve Isar-bewijzen, en de effectiviteit ervan valideert met bewijzen uit het Isabelle Archive of Formal Proofs.
Deze paper introduceert het GK-FedDKD-framework, een federatief leermodel dat geometrische kennis en dubbele kennisdistillatie combineert om de uitdagingen van data-heterogeniteit bij het analyseren van satellietbeelden effectief aan te pakken en aanzienlijk betere prestaties te leveren dan bestaande methoden.
Deze paper introduceert een stabiliteitsgeoriënteerde architectuur met een residu-besturingskanaal en een Stabiliteitsuitlijningspoort die, zonder de bestaande beleidsparameters aan te passen, robotica-systemen in staat stelt om na dynamische verschuivingen in real-time snel te herstellen en de prestaties te behouden.
Dit paper introduceert een geparametriseerde stijltransfermethode die afbeeldingen in het penseelstreek-domein in plaats van het pixeldomein representeert, wat resulteert in een natuurgetrouwere weergave van kunst dan bestaande pixelgebaseerde technieken.
Dit paper introduceert OrdinalBench, een diagnostisch benchmarkdataset van 39.000 vraag-antwoordparen die de generalisatiegrenzen van Vision-Language Models in het begrijpen van ordinaal getallen, zoals het traceren van relatieve posities tot extreme indices, evalueert via gestructureerde redeneertaken.
Deze paper introduceert SGI, een compact en efficiënt framework dat door middel van een zaad-gebaseerde structuur en multi-schaal fitting 2D Gaussians comprimeert en sneller convergeert voor de representatie van hoge-resolutie afbeeldingen zonder kwaliteitsverlies.