Blog
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..
Optimales Beschaffungsdesign: Ein reduzierter Formansatz
Standard procurement models assume that the buyer knows the quality of the good at the time of procurement; Jedoch, in vielen Umgebungen, the quality is learned only long after the transaction. We study procurement problems in which the buyer’s valuation of the...
Dynamische Mittelfeldanalyse adaptiver Langevin-Diffusionen: Ausbreitung des Chaos und Konvergenz der linearen Reaktion
Motivated by an application to empirical Bayes learning in high-dimensional regression, we study a class of Langevin diffusions in a system with random disorder, where the drift coefficient is driven by a parameter that continuously adapts to the empirical distribution of the...
Dynamische Mittelfeldanalyse adaptiver Langevin-Diffusionen: Replikasymmetrischer Fixpunkt und empirische Bayes
In vielen Anwendungen der statistischen Schätzung durch Stichprobenziehung, one may wish to sample from a high-dimensional target distribution that is adaptively evolving to the samples already seen. Wir untersuchen ein Beispiel einer solchen Dynamik, given by a Langevin diffusion for posterior sampling...
Hochempfindliche und hochauflösende kollaborative Bestimmung von Doppelbrechungskoeffizient mittels schwacher Messung
We present a high-sensitivity and high-resolution birefringence coefficient determination system for nm-level membrane films based on weak measurement, addressing the sensitivity-resolution trade-off. A tunable bandwidth light source is exploited to achieve complementary momentum (P-pointer) and intensity (I-pointer) measurements,enabling calibration-free operation across various...
Globale Lösungen für quadratische 5D-Schrödinger-Gleichungen vierter Ordnung
We prove small data scattering for the fourth-order Schr\”odinger equation with quadratic nonlinearity \begin{Gleichung*} i\partial_t u+\Delta^2 u+\alpha u^2 + \beta \bar{u}^2=0\qquad\text{In }\mathbb{R}^5 \end{Gleichung*} for $\alpha, \beta \in \mathbb{R}$. We extend the space-time resonance method, ursprünglich von Germain eingeführt, Masmoudi, and Shatah, to...