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 · 121–130 / 1196
Dieses Paper schlägt einen neuartigen Ansatz zur Generierung realistischer kontrafaktischer Erklärungen in der erklärbaren KI vor, indem es Negationsbeschränkungen aus relationalen Datenbanken integriert, um sicherzustellen, dass die generierten Instanzen den Datengültigkeitsregeln entsprechen, wodurch die praktische Anwendbarkeit bei minimaler Beeinträchtigung der Distanz- und Diversitätsmetriken verbessert wird.
Diese Machbarkeitsstudie schlägt vor und skizziert einen Evaluierungsplan für ein leichtgewichtiges, smartphone-basiertes Sicherheitsüberprüfungssystem, das darauf ausgelegt ist, unerwünschte Arzneimittelreaktionen in ländlichen bangladeschischen Krankenhäusern zu verhindern, indem es Rezeptinhaltsstoffe unter Verwendung weicher Identifikatoren mit den Allergiehistorien der Patienten abgleicht, während gleichzeitig die Workflow-Effizienz priorisiert und die Alarmmüdigkeit minimiert wird.
Dieses Paper schlägt das „Fünfte Feld“ vor, eine datengesteuerte, nicht-propagierende gravitative Antwort, die die baryonische Gravitation in Umgebungen mit geringer Dichte verstärkt, während sie in Regimen hoher Dichte abgeschirmt bleibt und dadurch die galaktische Dynamik, Cluster-Lensing sowie kosmologische Beobachtungen auf allen Skalen erfolgreich erklärt, ohne Dunkle Materie, Dunkle Energie oder Modifikationen an Einsteins Feldgleichungen heranzuziehen.
Diese Studie validiert die grundlegenden Sensorik- und Phasenextraktionsmechanismen für quantenoptimierte Atomuhren, indem sie demonstriert, dass verschränkte GHZ-Zustandsensembles eine Präzisionsskalierung am Heisenberg-Limit sowie eine exakte Phasenrückgewinnung durch Simulationen auf dem PKTron-Framework und experimentelle Verifizierung auf IBM-Quantenhardware erreichen, während sie explizit klarstellt, dass diese Ergebnisse diskrete Variablen-Algorithmen und nicht die physische Oszillator-Hardware bestätigen.
Dieses Paper schlägt eine neuartige Methode zur Detektion von Glasoberflächen vor, die von 2D-Erscheinungsmerkmalen zu einer 3D-visuellen Geometrie wechselt, indem sie einen Transformer-basierten 3D-Prior sowie eine Multi-Tasking-Architektur mit Frequenz- und Geometriemodulen nutzt, um eine State-of-the-Art-Leistung über mehrere Benchmarks hinweg zu erzielen.
Diese Studie über Patienten mit chronischen Krankheiten in Lagos, Nigeria, zeigt auf, dass die aus eigener Tasche zu zahlenden Gesundheitskosten häufig zu katastrophalen Ausgaben und Verarmung führen, wobei die finanziellen Belastungen in höherrangigen öffentlichen Einrichtungen signifikant ansteigen und durch den Krankenversicherungsschutz stark abgemildert werden.
Dieses Papier führt ein pfadabhängiges Energie-Lagrange-Funktional (Path-Dependent Energy Lagrangian, PDEL) ein, das die mechanischen Bilanzgleichungen und die Entropie-/Wärmegleichung für irreversible thermomechanische Systeme unter Verwendung eines Historienintegrals der Kanalleistungen und einer spezifischen Variationsregel für das obere Limit in einem einzigen Wirkungsobjekt vereint, um gleichzeitig dissipative Kräfte und positive Wärmequellen zu erzeugen, während die thermodynamische Konsistenz ohne Hilfsmultiplikatoren gewährleistet wird.
Diese Arbeit beweist, dass RNA-Targets mit höchstens zwei maximalen Helices der Länge 2 und ohne Helices der Länge 1 unter dem Vier-Buchstaben-Watson-Crick-Modell designbar bleiben, wobei bestehende Modulo--Separabilitätsgarantien durch eine Kombination aus lokalen Färbeübertragungen und globalen Zählargumenten erweitert werden, wobei der formale Beweis in Lean 4 verifiziert wurde.
Diese Arbeit präsentiert ein stabiles, voll-3D Summation-by-Parts-Schema für lineare Wellengleichungen auf hyperboloidalen Foliationen der Minkowski-Raumzeit. Es adressiert effektiv die mit gekrümmten Koordinaten und Unendlichkeit verbundenen Koordinatensingularitäten durch Kompaktifizierung. Zusätzlich wird die Definition der Kreiss-Oliger-Dissipation auf gekrümmte Koordinaten auf allgemeinen räumlichen Mannigfaltigkeiten generalisiert, wobei vielversprechende Ergebnisse für zukünftige Anwendungen auf nichtlineare Systeme, wie die Einsteinschen Feldgleichungen, demonstriert werden.
Diese Arbeit vereinheitlicht die fundamentalen Komponenten der Plastizitätstheorie – einschließlich Fließen, Verfestigung und Fließgrenze – in einem einzigen skalaren Funktionalrahmen auf Basis richtungsabhängiger Stationarität über einseitig zulässiger Pfade, wodurch elastische Ungleichungen, Belastungs-Entlastungs-Bedingungen sowie sowohl assoziierte als auch nicht-assoziierte Fließregeln abgeleitet werden, während gleichzeitig verschiedene Verfestigungsmechanismen und ratenabhängige Entwicklungen berücksichtigt werden.