Papers waarbij de oorspronkelijke auteurs onze begrijpelijke uitleg hebben bekeken.
Voor elke paper op deze pagina heeft ten minste één van de oorspronkelijke auteurs onze begrijpelijke uitleg gezien en beoordeeld — door te bevestigen dat de uitleg klopt of door correcties aan te vragen die wij vervolgens hebben doorgevoerd. Een bevestiging betekent niet dat auteurs elke zin formeel goedkeuren, maar wel dat de uitleg langs de mensen is gegaan die de paper hebben geschreven.
289 papers beoordeeld door auteurs · 211–220 / 289
Dit artikel presenteert een expliciete constructieve bovengrens voor de verandering in circuitsgrootte bij verstoringen van de waarheidstabel, bevestigt deze theoretische schatting via een telescopisch argument en valideert de strakheid van de bound voor in de AIG-basis door middel van exhaustieve SAT-gebaseerde verificatie.
Dit artikel presenteert een geometrische verfijning van de klassieke Cramér-Rao-ondergrens in het niet-asymptotische regime door krommingscorrecties op basis van de extrinsieke geometrie van de wortel-embeddings van statistische modellen te integreren, wat leidt tot verscherpte ondergrenzen voor estimatorvariantie.
Dit artikel presenteert een axioma-benadering voor datagedreven robuuste Markov-beslissingsprocessen op Borel-ruimten, waarbij wordt aangetoond dat empirische verdelingen gecombineerd met een afstandsfunctie leiden tot sterke prestatiegaranties en convergentiebewijzen die ontbreken bij traditionele empirische MDP's.
Deze studie introduceert een beeldsegmentatiemethode om homogene catalogi van HII-gebieden te maken en past deze toe op NGC 2403 en NGC 628 om elektronendichtheden en vulfactoren te bepalen, waarbij wordt geconcludeerd dat de volumevulfactoren zeer laag zijn en er mogelijke schalingen bestaan met sterformatieparameters die nieuwe inzichten bieden voor modellen van sterrenclusters.
Dit artikel toont aan dat ruimtemetingen in de buurt van de Aarde, zoals die van LAGEOS-2 en een toekomstige Sagnac-opstelling met atoomklokken, strikte grenzen stellen aan afgeschermde donkere energie-modellen en nieuwe parametergebieden uitsluiten die eerder als toegestaan werden beschouwd.
Dit artikel presenteert een alternatief conceptueel kader voor het uniform ideale gas dat de waargenomen macroscopische fluctuaties en fasecoherentie verklaart via een ander patroon van spontane symmetriebreking, aangezien de gebruikelijke Bogoliubov-kwasi-gemiddeldeconstructie faalt in het reproduceren van de gebroken-symmetrietoestand.
Dit artikel stelt onder de aanname dat de Riemann-hypothese onwaar is, een asymptotische relatie vast tussen de residuen van een bepaalde Dirichlet-reeks bij niet-triviale nulpunten en een continue functie van een rationaal getal, wat implicaties heeft voor de geldigheid van de hypothese.
Dit paper introduceert ABD, een benchmark voor het testen van grote taalmodellen op hun vermogen om zeldzame uitzonderingen af te leiden in eindige eerste-orde werelden om satisfiability te herstellen, waarbij evaluaties tonen dat hoewel de validiteit hoog is, er nog steeds significant tekort schiet in parsimonie en generalisatie.
Dit paper introduceert WeldAR, een augmented reality-systeem dat novice lasers in real-time begeleidt tijdens live training, en toont aan dat deze aanpak de prestaties en het zelfstandig uitvoeren van lasvaardigheden verbetert ten opzichte van traditionele video-instructie.
Dit paper biedt een systematische analyse van de evolutie, beveiliging en fundamentele eigenschappen van transactiesystemen over vijf decennia, introduceert een nieuwe RANCID-eigenschappenset om de onvoldoende ACID-eigenschappen aan te vullen voor moderne systemen, en identificeert via een taxonomie van 163 studies een schrijnende bias in het huidige beveiligingsonderzoek ten gunste van DLT ten koste van bredere transactiebeveiliging.