Blog
Mean Field Games di controllo e mining di criptovaluta
Questo articolo studia i giochi sul campo medio (MFG) in which agent dynamics are given by jump processes of controlled intensity, with mean-field interaction via the controls and affecting the jump intensities. We establish the existence of MFG equilibria in a general discrete-time setting,...
Stime dei periodi di rotazione per i Troiani di Giove con gli Zwicky Curve di luce fotometriche per strutture transitorie
Presentiamo nuove stime del periodo di rotazione per 216 Jupiter Trojans using photometric data from the Zwicky Transient Facility (ZTF), compreso 80 Trojans with previously unknown periods. Our analysis reveals rotation periods ranging from 4.6 ore a 447.8 ore. These results support the...
Transizione dalla fotoconduttività positiva a quella negativa in AlGaN/GaN eterostrutture di pozzi quantistici
The AlGaN/GaN quantum-well heterostructures typically exhibit a positive photoconductivity (PPC) during the light illumination. Surprisingly, we found that introducing the GaN/AlN superlattice (SL) back barrier into N-polar AlGaN/GaN quantum-well heterostructures induces a transition in these heterostructures from PPC to negativie photoconductivity (NPC)...
Scale-dependent alignment in compressible magnetohydrodynamic turbulence
Using $10,\!080^3$ grid simulations, we analyze scale-dependent alignment in driven, compressible, no net-flux magnetohydrodynamic turbulence. The plasma self-organizes into localized, strongly aligned regions. Alignment spans all primitive variables and their curls. Contrary to incompressible theory, velocity-magnetic alignment scales as $\theta(\lambda) \sim \lambda^{1/8}$,...
Interpretable Deep Learning for Polar Mechanistic Reaction Prediction
Accurately predicting chemical reactions is essential for driving innovation in synthetic chemistry, with broad applications in medicine, manufacturing, and agriculture. At the same time, reaction prediction is a complex problem which can be both time-consuming and resource-intensive for chemists to solve. Deep...
Explicit Ensemble Mean Clock Synchronization for Optimal Atomic Time Scale Generation
This paper presents a novel theoretical framework for atomic time scale generation, called explicit ensemble mean synchronization, which unifies clock synchronization and time scale generation within a control-theoretic paradigm. By exploiting an observable canonical decomposition of a standard atomic clock ensemble model,...
RiskNet: Interaction-Aware Risk Forecasting for Autonomous Driving in Long-Tail Scenarios
Ensuring the safety of autonomous vehicles (AVs) in long-tail scenarios remains a critical challenge, particularly under high uncertainty and complex multi-agent interactions. Per affrontare questo problema, we propose RiskNet, an interaction-aware risk forecasting framework, which integrates deterministic risk modeling with probabilistic behavior prediction...
VLM-based Prompts as the Optimal Assistant for Unpaired Histopathology Virtual Staining
In histopathology, tissue sections are typically stained using common H&E staining or special stains (MAS, PAS, PASM, etc.) to clearly visualize specific tissue structures. The rapid advancement of deep learning offers an effective solution for generating virtually stained images, significantly reducing the...
Do It For Me vs. Do It With Me: Investigating User Perceptions of Different Paradigms of Automation in Copilots for Feature-Rich Software
Large Language Model (LLM)-based in-application assistants, or copilots, can automate software tasks, but users often prefer learning by doing, raising questions about the optimal level of automation for an effective user experience. We investigated two automation paradigms by designing and implementing a...
Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
Formal verification of software and compilers has been used to rule out large classes of security-critical issues, but risk of unintentional information leakage has received much less consideration. It is a key requirement for formal specifications to leave some details of a...