3447 papers
Dit artikel introduceert een volledig symbolische theorie voor lokaalheidsanalyse die cache-prestaties als polynomen afleidt en binnen een milliseconde een voorspelling van cache-misses levert met 99,6% nauwkeurigheid voor diverse wetenschappelijke kernels.
Dit paper introduceert SoftGM, een octopus-geïnspireerde, op graf-neurale netwerken gebaseerde gedistribueerde besturingsarchitectuur voor zachte robotarmen die via centrale training en gedecentraliseerde uitvoering effectief doelen weet te bereiken in complexe omgevingen met obstakels zonder globale geometrische kennis.
Deze studie presenteert een geautomatiseerd AI-framework dat preoperatieve MRI-beelden gebruikt voor nauwkeurige segmentatie van levermetastasen en daaropvolgende overlevingsvoorspelling bij patiënten met colorectale levermetastasen.
Deze paper introduceert een nieuw perceptief hiërarchisch-taak MPC-framework dat Bayesiaanse inferentie gebruikt om dynamische veranderingen in de omgeving te modelleren, waardoor mobiele robots sequentiële taken efficiënter en reactiever kunnen voltooien in ongestructureerde, semi-statische omgevingen zonder afhankelijkheid van vooraf berekende kaarten.
Dit paper introduceert Paladin, een beveiligingsframework dat generatieve AI gebruikt om semantische API-context te analyseren, waardoor organisaties makkelijker en nauwkeuriger beleid kunnen definiëren en afdwingen om bedreigingen zoals ongecontroleerde resource-consumptie en gebroken authenticatie in cloudomgevingen te voorkomen.
Deze paper introduceert OilSAM2, een verbeterde, geheugenversterkte segmentatieframework dat specifiek is ontworpen voor het nauwkeurig en stabiel detecteren van olievlekken in ongeordende SAR-beelden door middel van een hiërarchisch geheugen en een strategie om semantische drift te voorkomen.
Deze paper introduceert een hiërarchisch Model Predictive Control-framework dat de redundantie van mobiele manipulatoren benut om sequentiële taken efficiënter uit te voeren dan bestaande methoden, wat wordt onderbouwd door real-world experimenten met een robot van 9 vrijheidsgraden.
Dit paper introduceert Weighted Model Enumeration (WME) als een nieuwe solver-taak en presenteert CDCL-gebaseerde algoritmen die gewichtsinformatie integreren in zowel chronologische als niet-chronologische backtracking-frames voor het efficiënt enumereren van modellen op basis van hun gewichten.
Dit artikel introduceert ACE Runtime, een ZKP-native blockchain-uitvoeringslaag die door het scheiden van identiteit en autorisatie en het vervangen van transactiesignaturen door geaggregeerde zero-knowledge-bewijzen, cryptografische finaliteit in minder dan een seconde bereikt met constante verificatiekosten en verbeterde post-kwantumbestendigheid.
Dit paper bewijst dat de transpositieregel in het lijstupdate-probleem bij onafhankelijke en identiek verdeelde (i.i.d.) verzoeken een stationaire verwachte toegangskost heeft die maximaal 1 hoger is dan de optimale kost, waarmee een 50 jaar oude conjectuur van Rivest wordt bevestigd.
Dit artikel presenteert een degeneratie-resilient Teach-and-Repeat-navigatiesysteem voor FMCW-lidar dat, door gebruik te maken van Doppler-gebaseerde odometrie en krommingsgevoelige dataassociatie, betrouwbare autonome navigatie mogelijk maakt in geometrisch uitdagende omgevingen waar traditionele ICP-methoden falen.
Dit artikel generaliseert decompositiemethoden voor chiriotopen om een nauwkeurige asymptotische schatting te verkrijgen voor het aantal triangulaties van de dubbele cirkel, waarbij gebruik wordt gemaakt van een functionele vergelijking en de kernmethode.
ID-LoRA is een baanbrekende methode die voor het eerst gezamenlijk de visuele verschijning en het stemgeluid van een onderwerp personaliseert in één generatieve stap, waarbij tekst, een referentieafbeelding en een korte audioclip worden gebruikt om zowel de visuele als auditieve modaliteit te synchroniseren en te sturen.
Dit paper introduceert een operatorbenadering voor de compressie van ego-netwerken via tweepad-decomposities en veilige quotiënten, waarbij een ongelijkheidsoverdrachtstheorema wordt bewezen voor het behoud van tweepad-massa onder contractie.
Dit artikel beschrijft de ontwikkeling van een door gebruikersfeedback geoptimaliseerd, robotgeassisteerd dialysesysteem dat wetenschappers verlicht van tijdrovend handmatig laboratoriumwerk en zo de efficiëntie van chemische en medische experimenten verbetert.
Dit paper introduceert MALTA, een metrisch raamwerk dat technische achterstand in open-source software nauwkeuriger evalueert door onderhoudsactiviteit te integreren, waardoor het een aanzienlijke groep van door traditionele methoden over het hoofd geziene, verlaten pakketten identificeert die een hoog veiligheidsrisico vormen.
Dit artikel presenteert een robuust deep learning-framework voor het herkennen van Bengaalse kentekens, dat een aangepaste YOLOv8-architectuur combineert met een Vision-Language OCR-model (ViT + BanglaBERT) om een nauwkeurige detectie en tekstextractie te realiseren onder diverse real-world omstandigheden.
Het paper introduceert SpecOps, een volledig geautomatiseerd testframework dat gespecialiseerde LLM-agenten gebruikt om GUI-gebaseerde AI-agenten in realistische omgevingen te evalueren en hiermee de prestaties van bestaande methoden overtreft door een hoge bugdetectie-efficiëntie te bereiken tegen lage kosten.
Dit paper introduceert HiFIVE, een data-managementframework dat door middel van een geoptimaliseerde tweestapsreductie van vector-tiles schaalbare, hoogwaardige client-side geospatiale visualisatie mogelijk maakt voor interactieve verkenning van datasets in terabyteschaal.
Dit paper introduceert een 'Entropy as a Service'-systeem dat kwantum-afgeleide entropie via post-kwantum beveiligde kanalen naar ingebouwde ESP32-systemen levert, waarbij benchmarks aantonen dat volledige post-kwantum authenticatie en sleuteluitwisseling sneller zijn dan klassieke methoden.