Blog
Mean Field Games of Control und Cryptocurrency Mining
In diesem Artikel werden Mean-Field-Spiele untersucht (MFGs) bei dem die Agentendynamik durch Sprungprozesse kontrollierter Intensität gegeben ist, mit Mean-Field-Interaktion über die Steuerung und Beeinflussung der Sprungintensitäten. Wir beweisen die Existenz von MFG-Gleichgewichten in einem allgemeinen zeitdiskreten Umfeld,...
Schätzungen der Rotationsperioden für Jupiter-Trojaner mit dem Zwicky Photometrische Lichtkurven einer transienten Einrichtung
Wir präsentieren neue Rotationsperiodenschätzungen für 216 Jupiter-Trojaner nutzen photometrische Daten der Zwicky Transient Facility (ZTF), einschließlich 80 Trojaner mit bisher unbekannten Perioden. Unsere Analyse zeigt Rotationsperioden von 4.6 Stunden bis 447.8 Std.. Diese Ergebnisse unterstützen die....
Übergang von positiver zu negativer Photoleitfähigkeit in AlGaN/GaN Quantentopf-Heterostrukturen
Die AlGaN/GaN-Quantentopf-Heterostrukturen weisen typischerweise eine positive Photoleitfähigkeit auf (PPC) während der Lichtbeleuchtung. Überraschenderweise, Wir haben herausgefunden, dass die Einführung des GaN/AlN-Übergitters (Sl) Die Rückbarriere in N-polare AlGaN/GaN-Quantentopf-Heterostrukturen induziert in diesen Heterostrukturen einen Übergang von PPC zur negativen Photoleitfähigkeit (NPC)...
Skalenabhängige Ausrichtung in kompressiblen magnetohydrodynamischen Turbulenzen
Benutzen $10,\!080^3$ Gittersimulationen, Wir analysieren die maßstabsabhängige Ausrichtung in Driven, komprimierbar, keine magnetohydrodynamische Nettoflussturbulenz. Das Plasma organisiert sich lokal selbst, stark ausgerichtete Regionen. Die Ausrichtung umfasst alle primitiven Variablen und ihre Locken. Im Gegensatz zur inkompressiblen Theorie, velocity-magnetic alignment scales as $\theta(\Lambda) \sim \lambda^{1/8}$,...
Interpretierbares Deep Learning für die Vorhersage polarmechanistischer Reaktionen
Die genaue Vorhersage chemischer Reaktionen ist für die Innovation in der synthetischen Chemie von entscheidender Bedeutung, mit breiten Anwendungen in der Medizin, Herstellung, und Landwirtschaft. Gleichzeitig, Die Reaktionsvorhersage ist ein komplexes Problem, dessen Lösung für Chemiker sowohl zeit- als auch ressourcenintensiv sein kann. Tief...
Explizite Ensemble-Mean-Clock-Synchronisation für optimale Atomzeit Skalengenerierung
In diesem Artikel wird ein neuartiger theoretischer Rahmen für die Erzeugung atomarer Zeitskalen vorgestellt, Dies wird als explizite Ensemble-Mean-Synchronisation bezeichnet, welches Uhrensynchronisation und Zeitskalengenerierung innerhalb eines kontrolltheoretischen Paradigmas vereint. Durch Ausnutzung einer beobachtbaren kanonischen Zerlegung eines Standard-Atomuhren-Ensemblemodells,...
RiskNet: Interaktionsbewusste Risikoprognose für autonomes Fahren Long-Tail-Szenarien
Gewährleistung der Sicherheit autonomer Fahrzeuge (AVs) in Long-Tail-Szenarien bleibt eine entscheidende Herausforderung, insbesondere bei hoher Unsicherheit und komplexen Multi-Agenten-Interaktionen. Um dies anzugehen, Wir schlagen RiskNet vor, ein interaktionsbewusstes Risikoprognose-Framework, die deterministische Risikomodellierung mit probabilistischer Verhaltensvorhersage integriert..
VLM-basierte Eingabeaufforderungen als optimaler Assistent für die ungepaarte Histopathologie Virtuelle Färbung
In der Histopathologie, Gewebeschnitte werden typischerweise mit gewöhnlichem H. gefärbt&E-Beize oder Spezialbeizen (ABER, NICHT, BAND, usw.) um spezifische Gewebestrukturen klar darzustellen. Die rasante Weiterentwicklung des Deep Learning bietet eine effektive Lösung für die Erzeugung virtuell gefärbter Bilder, deutlich reduziert...
Tu es für mich vs. Mach es mit mir: Untersuchung der Benutzerwahrnehmungen von Verschiedene Paradigmen der Automatisierung in Copiloten für funktionsreiche Software
Großes Sprachmodell (LLM)-basierte anwendungsbezogene Assistenten, oder Copiloten, kann Softwareaufgaben automatisieren, Aber Benutzer bevorzugen oft Learning by Doing, Dies wirft Fragen zum optimalen Automatisierungsgrad für ein effektives Benutzererlebnis auf. Wir haben zwei Automatisierungsparadigmen untersucht, indem wir eine Lösung entworfen und implementiert haben..
Glatt, Integrierte Beweise der kryptografischen Konstantzeit für Nichtdeterministische Programme und Compiler
Um große Klassen sicherheitskritischer Probleme auszuschließen, wurde eine formale Verifizierung von Software und Compilern eingesetzt, Das Risiko eines unbeabsichtigten Informationslecks wurde jedoch weitaus weniger berücksichtigt. Es ist eine wichtige Anforderung an formale Spezifikationen, einige Details eines Dokuments zu hinterlassen..