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.
1206 von Autoren geprüfte Arbeiten · 661–670 / 1206
Diese Arbeit evaluiert experimentell den Kompromiss zwischen Präzision und Leistungsfähigkeit in der statischen Analyse von Logikprogrammen, indem sie optimale abstrakte Operatoren für die Sharing- und Linearitätsanalyse innerhalb des CiaoPP-Präprozessors implementiert und testet.
Diese Arbeit stellt fest, dass das bi-unendliche Postsche Korrespondenzproblem (PCP) innerhalb der arithmetischen Hierarchie -vollständig ist, indem sie eine Kette von Reduktionen vom Nicht-Halten von Turingmaschinen präsentiert und die -Vollständigkeit mehrerer verwandter unendlicher und verschobener Varianten beweist.
Dieses Paper stellt ClawXiv vor, einen lokalen, seits der Autorenschaft implementierten Workflow und eine verteilte Architektur, die darauf ausgelegt ist, flüchtige menschlich-KI-gestützte kollaborative Forschungsprozesse durch eine vierstufige Migrationspipeline und eine Suite von Operationsskripten in dauerhafte, signierte und inspizierbare Archivartefakte zu transformieren.
Diese Arbeit stellt die gängige Annahme infrage, dass teilbare Statistiken wie das Pearson- effektive Güteprüfungen in dünnbesetzten Datenregimen mit vielen Klassen darstellen, und schlägt stattdessen einen vereinheitlichenden Rahmen vor, der die Unzulänglichkeiten bestehender Methoden aufzeigt und modifizierte, leistungsfähigere Alternativen sowie neue verteilungsfreie Tests anbietet.
Diese Studie zeigt, dass der teilweise Ersatz von Gd³⁺ durch kleinere Er³⁺-Ionen in der Zirkon-Struktur von Gd₁₋ₓErₓVO₄ die Gitterparameter und magnetischen Wechselwirkungen systematisch abstimmt und somit die magnetokalorische Leistung für die kryogene Kühlung effektiv optimiert, wobei die Zusammensetzung Gd₀,₉Er₀,₁VO₄ eine maximale magnetische Entropieänderung von 45,1 J kg⁻¹ K⁻¹ unter einem 7 T Feld erreicht.
Dieses Paper stellt Variational Proximal Policy Optimization () vor, ein partikelbasiertes variatinales Inferenzframework, das Stein Variational Gradient Descent mit einer Mixture-of-Experts-Architektur integriert, um Policy Mode Collapse und Distribution Drift zu mildern und dadurch signifikante Leistungssteigerungen in Reasoning-Benchmarks sowie der Token-Effizienz zu erzielen.
Diese Studie nutzt breitbandige spektropolarimetrische Beobachtungen aus dem SPICE-RACS DR2 Survey, um die komplexe Faraday-Rotation und Depolarisationsstruktur der radio-emittierenden Galaxie mit hoher Rotationsmaß-Stärke RACS_0900-28_7036 zu charakterisieren, wobei ein bevorzugtes Multi-Komponenten-Modell identifiziert wird, das distinkte magnetisierte Regionen entlang der Sichtlinie offenbart und die Fähigkeit von ASKAP für systematische Untersuchungen der Faraday-Komplexität in extragalaktischen Quellen demonstriert.
Dieses Paper führt einen durch Durchführbarkeit bewahrten gemischten Dicke-State-Ansatz für den Variational Quantum Eigensolver ein, der strukturell sowohl Gleichheits- als auch Ungleichheits-Hamminggewicht-Beschränkungen kodiert, um die Notwendigkeit von Straftermen zu eliminieren, wobei eine überlegenere Leistung gegenüber der Zufallssuche bei der kombinatorischen Portfolio-Optimierung demonstriert und gleichzeitig verbleibende Herausforderungen für den Einsatz auf NISQ-Hardware hervorgehoben wird.
Dieses Paper schlägt das Transformations-Response-Framework vor, eine operationale Umformulierung der Quantenmechanik, die Zustände als Kataloge von Antworten auf physikalische Transformationen definiert und den gesamten Standardformalismus – einschließlich Hilbert-Räumen, der Bornschen Regel und dem Pfadintegral – aus dem einzelnen Postulat der Positivdefinitheit ableitet.
Die CASCADES-Durchmusterung nutzte langfristige CORALIE-Radialgeschwindigkeitsmessungen, um drei massereiche planetare Begleiter zu bestätigen, die zwei lichtschwache Rote Riesensterne umkreisen, während sie gleichzeitig eine effektive Beobachtungsstrategie zur Abschwächung von Sternpulsationsrauschen demonstrierte.