Arbeiten, bei denen die ursprünglichen Autoren unsere verständliche Erklärung begutachtet haben.
Bei jeder Arbeit auf dieser Seite hat mindestens ein/e der ursprünglichen Autor*innen unsere verständliche Erklärung gesehen und begutachtet — entweder durch Bestätigung der Genauigkeit oder durch Korrekturwünsche, die wir anschließend umgesetzt haben. Eine Bestätigung bedeutet keine formelle Freigabe jedes Satzes, aber die Erklärung ist von den Menschen geprüft worden, die das Paper geschrieben haben.
1196 von Autoren geprüfte Arbeiten · 181–190 / 1196
Dieses Paper schlägt vor, dass die Divisorstruktur des Exponenten eine detektierbare arithmetische Verzerrung in der Verteilung von Mersenne-Primzahlen einführt, was zu einer verfeinerten Wagstaff-Heuristik führt, bei der Exponenten mit einer höheren normalisierten Divisorkomplexität statistisch gesehen wahrscheinlicher Mersenne-Primzahlen hervorbringen.
Dieses Paper prognostiziert, dass das CHORD-Radiotelescope der nächsten Generation die Erfassung von neutralen Wasserstoffgalaxien revolutionieren wird, indem es etwa zehnmal mehr Quellen als aktuelle Kataloge nachweist, die Durchmusterung auf signifikant masseärmere Galaxien () ausweitet und tausende massereiche Giganten bei hoher Rotverschiebung aufdeckt, um die Entwicklung galaktischer Gasreservoire besser zu verstehen.
Das Papier stellt Syntriod vor, einen robusten, template-basierten Algorithmus, der zuverlässige erste Schätzungen der Bahnparameter für Spektroskopische Doppelsterne über vielfältige und dünn besetzte Beobachtungs-Abtastregime hinweg bereitstellt, dabei klassische Periodensuche-Techniken übertrifft und als effektiver Pre-Solver für moderne Orbit-Fitting-Pipelines dient.
Diese Arbeit untersucht die Produktion hochenergetischer Photonen in einem Quark-Gluon-Plasma, indem sie analytische Ausdrücke für sowohl führende logarithmische als auch über führende logarithmische Beiträge zur Photonenproduktionsrate unter Verwendung von Zwei-Schleifen-Photon-Selbstenergien in thermischer QCD herleitet und dabei die Konsistenz mit kinetischen Theorieberechnungen bestätigt.
Diese Arbeit stellt eine neue Simulationsmethode zur präzisen Modellierung kosmologischer Collider-Signaturen vor, präsentiert die ersten Messungen des oszillierenden Halo-Bias in Simulationen und demonstriert, dass dessen massenabhängige Amplitude und Phase eine robuste, eindeutige Sonde für die primordiale Hochenergiephysik darstellen, die sich von beobachtungsbedingten Systematiken unterscheidet.
Diese Arbeit präsentiert eine forensische Reproduzierbarkeitsprüfung eines Benchmarks für Vision-Language-Modelle bei Thorax-Röntgenaufnahmen, die kritische Diskrepanzen bei der Datendarstellung, der Verfolgung des Import- und Aufrufpfads zur Unterstützung einer Schlussfolgerung über die Prompt-Bindung sowie der statistischen Analyse aufdeckte. Während die Analyse der festen Kohorte 27/45 unbereinigte und 20/45 Holm-adjustierte Vergleiche ergab, wurde das Ergebnis von 28/45 in einer separaten Paarvergleichs-Analyse mit verfügbaren Fällen (available-case analysis) reproduziert, bei der jeder Vergleich seinen eigenen Nenner verwendete. Dies führte zum Rückzug der ursprünglichen Leistungs- und automatisierten Bericht-Label-Diskordanz-Behauptungen sowie zum Vorschlag von maschinell verifizierbaren Kontrollen, um die Integrität zukünftiger Artefakte zu gewährleisten.
Diese Arbeit zeigt empirisch auf, dass zeitgenössische kommerzielle große Sprachmodelle erhebliche und inkonsistente Schwachstellen in ihren Sicherheitsbarrieren besitzen, die es ermöglichen, sie leicht dazu zu manipulieren, glaubwürdige, maßgeschneiderte medizinische Notizen zu generieren, die visuell nicht von authentischen Dokumenten zu unterscheiden sind.
Diese Arbeit präsentiert ein vereinheitlichtes analytisches Modell, das beschreibt, wie ultraleichte Dunkle-Materie-Solitonen unter dem Einfluss zentraler Schwarzer Löcher von kernartigen zu cuspartigen Formen übergehen, und zeigt auf, dass Beobachtungen von Zwerggalaxien konsistent mit einer universellen Teilchenmasse von etwa eV/c sind, wenn diese Formveränderungen und potenzielle zentrale Schwarze Löcher berücksichtigt werden.
Diese Fallstudie der Zentralbank von Jemen in Aden zeigt, dass eine unsachgemäße Dachsanierung, insbesondere die Ansammlung übermäßiger überlagerter Schichten, die strukturelle Verschlechterung in einer Meeresumgebung erheblich beschleunigte, aber eine strategische Lastreduzierung durch Materialentfernung und Verbesserung der Entwässerung diese Risiken erfolgreich entschärfte, indem die Säulenlast um fast 59 % verringert wurde.
Diese Arbeit präsentiert eine vollständig kernel-verifizierte Lean 4-Formalisierung, die beweist, dass jede endliche Überdeckung der ganzen Zahlen durch verschiedene ungerade Moduli größer als 1 ein kleinstes gemeinsames Vielfaches von mehr als 10.000 haben muss, wodurch eine mechanisch zertifizierte Exklusion für das Erdős-Selfridge-Problem der ungeraden Überdeckung ohne Rückgriff auf unverifizierte computergestützte Solver etabliert wird.