3447 papers
In dit paper stellen de auteurs Agentar-Fin-OCR voor, een systeem voor het parseren van financiële documenten dat complexe lay-outs en paginagroei overwint door geavanceerde algoritmen te combineren met een nieuw benchmark, FinDocBench, om nauwkeurige, gestructureerde en audit-proof output te genereren.
Dit artikel biedt een uitgebreide bespreking van het concept en de systeemarchitectuur van netwerkslicing in 5G, met een specifieke focus op de zakelijke aspecten en winstmodelleringsstrategieën, terwijl het ook open onderzoeksvragen en bestaande uitdagingen aanprijst om nieuwe doorbraken in deze opkomende technologie te stimuleren.
Dit onderzoek schat op basis van een representatieve steekproef en data van Have I Been Pwned dat ten minste 82,84% van de Amerikanen minstens één online account heeft zien lekken, met een gemiddelde van ten minste drie inbreuken per persoon, waarbij beter opgeleiden, mensen in de middelbare leeftijd, vrouwen en blanken vaker slachtoffer zijn.
Dit artikel presenteert een schaalbaar online bewakingsframework voor Metrische Temporele Logica dat gebruikmaakt van sequentiële netwerken en een nieuwe 'future temporal marking'-techniek om tijdsgebonden specificaties efficiënt te verwerken voor cyber-fysische systemen.
Dit artikel onderzoekt het module-checking-probleem voor pushdown multi-agent systemen en stelt vast dat dit probleem 2EXPTIME-volledig is voor ATL, maar 4EXPTIME-volledig voor ATL*, wat een zeldzaam voorbeeld is van een natuurlijk beslissingsprobleem met een complexiteit die hoger is dan drievoudig exponentieel.
Dit artikel toont aan dat probabilistische tellers, zoals de Morris- en MaxGeo-teller, zonder extra randomisatie kunnen dienen als privacybeschermingsmechanisme voor gedistribueerde data-aggregatie, waarbij de inherente willekeur van het protocol voldoende is om aan strikte differentieel privacy-eisen te voldoen.
Dit artikel introduceert een alomvattende generalisatie van de switch-operatie op -grafieken, bestudeert de daaruit voortvloeiende homomorfismen axiomatisch, lost diverse open problemen op, bewijst het bestaan van een categorisch product en bepaalt het chromatisch getal voor bossen.
Dit artikel presenteert een raamwerk om de ongemeten vraagoverschotten in openbaar vervoerssystemen te schatten door censureerde data te filteren en een Poisson-regressiemodel te gebruiken, wat wordt toegepast op een jaar aan data van de Port Authority van Pittsburgh.
Deze studie analyseert NBA-scheidsrechterdata om te concluderen dat er een thuisvoordeel bestaat (dat tijdens de playoffs sterker is maar door de pandemie afneemt) en dat specifieke spelers onterecht begunstigd worden, terwijl er geen bewijs is voor negatieve bias tegen teams of spelers of voor raciale bias.
Dit paper introduceert het TIPS-probleem voor het selecteren van een informatieve set van alternatieve queryplannen om databaseonderwijs te verbeteren, en biedt een benaderingsalgoritme met theoretische garanties dat door uitgebreide experimenten en drie jaar klaslokaal-evaluatie als effectief is aangetoond.
Dit artikel presenteert een nieuw, elementair bewijs voor de eindige model-eigenschap van Kleene-algebra door transformatieautomaten te gebruiken, wat leidt tot een veralgemening van eerdere resultaten over de volledigheid van eindige relationele modellen.
Dit artikel onderzoekt Dyck-woorden in binaire rijen, waarbij wordt aangetoond dat $7/3$-vrije woorden een beperkte nestingsdiepte hebben, en biedt een expliciete karakterisering en telling van Dyck-factoren in het woord van Thue-Morse.
Dit artikel herlevert een klassiek stelling over automaten voor -representaties met behulp van de Walnut-theoremaprover, waardoor eerdere resultaten op een uniforme en automatische manier kunnen worden bewezen en nieuwe inzichten worden verkregen.
Deze paper bewijst dat het elimineren van universele kwantoren in automatische structuren onvermijdelijk leidt tot een dubbel-exponentiële complexiteitsstijging en dat het bepalen van de leegte van het resulterende taal EXPSPACE-volledig is, waardoor de vraag of dit in beperkte settings beter kan negatief wordt beantwoord.
Dit artikel verfijnt de techniek van gewogen typegrafen om de terminatie van DPO-graftransformatiesystemen te bewijzen, door de methode krachtiger te maken voor grafen, te generaliseren naar andere categorieën en variaties van DPO te ondersteunen.
In dit artikel wordt BOPIM voorgesteld, een Bayesiaanse optimalisatie-algoritme voor invloedmaximalisatie op tijdsafhankelijke netwerken dat door middel van aangepaste kernel-functies en een hebberige acquisitie-strategie concurrerende resultaten behaalt ten opzichte van de gouden standaard, maar tot tien keer sneller is en bovendien onzekerheid in de optimale zaadknopen kwantificeert.
Dit onderzoek toont aan dat updates van grote taalmodellen niet consequent leiden tot verbeterde weerbaarheid tegen adversariële aanvallen, aangezien nieuwe versies soms juist slechter presteren op gebieden zoals misclassificatie en hallucinaties ondanks verbeterde beveiliging tegen jailbreaks.
Dit artikel generaliseert de axioma's voor kardinaliteit van relatiealgebra's naar Stone-relation-algebra's om gewogen grafen te modelleren, wat leidt tot vereenvoudigde axioma's en voldoende voorwaarden voor representabiliteit.
Dit artikel karakteriseert de verzamelingen van grafen die zowel in tellende monadische tweede-orde logica definieerbaar als contextvrij zijn, door hun equivalentie te tonen met herkenbare verzamelingen van begrensde boombreedte, parsbare verzamelingen en afbeeldingen van herkenbare boomverzamelingen onder definieerbare transducties.
Dit artikel toont aan dat er continuüm veel niet-commutatieve idempotente semilineaire residuatiegittervariëteiten de amalgamerings eigenschap bezitten, terwijl er onder de commutatieve varianten precies zestig zulke variëteiten zijn die deze eigenschap hebben.