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.
1335 papers beoordeeld door auteurs · 1201–1210 / 1335
Dit onderzoek toont aan dat AI-generatiecode in beveiligingskritieke domeinen door 55,8% van de gevallen kwetsbaar is, waarbij zes van de zeven onderzochte modellen een onvoldoende cijfer behalen en bestaande industriële tools 97,8% van de wiskundig bewezen kwetsbaarheden missen.
Deze studie toont aan dat hoewel migratietraps de vorming van dubbele zwarte gaten in AGN-schijven voornamelijk bepalen voor superzware zwarte gaten onder , differentiële migratie en verkeersopstoppingen bij hogere massa's of specifieke schijfcondities ook een cruciale rol spelen, waardoor de aanname van vaste vormingslocaties beperkt is.
In dit artikel wordt de correctheid van het AKS-algoritme voor priemgetaltesten bewezen binnen de begrende rekenkunde-theorie (of ) door eerst de geldigheid vast te stellen in met behulp van twee algebraïsche axioma's en vervolgens te tonen dat deze axioma's en de benodigde getaltheoretische eigenschappen binnen bewijsbaar zijn.
Dit paper stelt een nieuw experimenteel opzet voor waarbij een geladen Weber-balk in een elektromagnetisch afgeschermde holte wordt gebruikt om zwaartekrachtsgolven te detecteren via de emissie van fotonen, een proces dat fungeert als een semi-klassiek analogon van het Gertsenshtein-effect.
Dit paper presenteert een analytisch raamwerk voor turbulente kanaalstroming dat, gebaseerd op de hydrodynamische vergelijkingen van Alexeev, de gemiddelde snelheidsprofielen en de vorming van stroomlijnstroken succesvol beschrijft door middel van kink-type oplossingen die de koppeling tussen transversale en stroomrichtingscomponenten in kaart brengen.
De auteurs hebben met behulp van TCAD- en SPICE-simulaties theoretisch aangetoond dat de leesuitvoer van een spin-qubit op basis van een gate-all-around transistor, waarbij de qubit-toestand de stroom beïnvloedt, effectief kan worden versterkt en gedetecteerd met een conventionele CMOS-sense-amplifier.
Dit artikel demonstreert dat de tensor-renormalisatiegroep een efficiënt kader biedt om symmetrie-gedraaide partitiefuncties te berekenen, waarmee kritieke punten en overgangsfenomenen, zoals spontane symmetriebreking en BKT-overgangen, nauwkeurig kunnen worden geïdentificeerd in modellen zoals het 2D-Isingmodel en het 3D--model.
Dit artikel introduceert de SESCC-methode, die door kruiscorrelatie van sterbewegingssnelheden met positiestanden de ouderdom van oude stercatalogi bepaalt en toont dat de Almagest waarschijnlijk uit de Hipparchaanse periode (voor Christus) stamt in plaats van van Ptolemaeus.
Deze studie toont aan dat de dichtheid van gezichten in beelden een intrinsieke en kwantificeerbare maatstaf is voor data-complexiteit, waarbij een toename in het aantal gezichten leidt tot een monotoon afnemende modelprestatie en een systematische onder-telling bij generalisatie naar dichte scènes.
Dit artikel presenteert een semi-supervised leerframework dat een CVaR-optimizer als leraar gebruikt om neurale modellen te trainen met synthetische data, waardoor robuuste portefeuille-optimalisatie mogelijk wordt in data-schaarse omgevingen en bij regimeverschuivingen.