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) durante l'illuminazione della luce. Sorprendentemente, 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 (PNG)...
Allineamento dipendente dalla scala nella turbolenza magnetoidrodinamica comprimibile
Utilizzando $10,\!080^3$ simulazioni di griglia, we analyze scale-dependent alignment in driven, comprimibile, nessuna turbolenza magnetoidrodinamica del flusso netto. The plasma self-organizes into localized, regioni fortemente allineate. Alignment spans all primitive variables and their curls. Contrariamente alla teoria incomprimibile, velocity-magnetic alignment scales as $\theta(\lambda) \sim \lambda^{1/8}$,...
Deep learning interpretabile per la previsione della reazione meccanicistica polare
Accurately predicting chemical reactions is essential for driving innovation in synthetic chemistry, con ampie applicazioni in medicina, produzione, and agriculture. Allo stesso tempo, reaction prediction is a complex problem which can be both time-consuming and resource-intensive for chemists to solve. Deep...
Sincronizzazione esplicita dell'orologio medio dell'insieme per il tempo atomico ottimale Generazione di scale
Questo articolo presenta un nuovo quadro teorico per la generazione di scale temporali atomiche, chiamata sincronizzazione media dell'insieme esplicito, che unifica la sincronizzazione dell'orologio e la generazione della scala temporale all'interno di un paradigma di teoria del controllo. Sfruttando una scomposizione canonica osservabile di un modello standard di insieme di orologi atomici,...
RiskNet: Previsione del rischio basata sull'interazione per la guida autonoma Scenari a coda lunga
Garantire la sicurezza dei veicoli autonomi (AV) negli scenari a coda lunga rimane una sfida critica, in particolare in condizioni di elevata incertezza e complesse interazioni multi-agente. Per affrontare questo problema, proponiamo RiskNet, un quadro di previsione del rischio consapevole dell’interazione, che integra la modellazione deterministica del rischio con la previsione probabilistica del comportamento..
Suggerimenti basati su VLM come assistente ottimale per l'istopatologia non accoppiata Colorazione virtuale
In istopatologia, le sezioni di tessuto vengono generalmente colorate utilizzando i comuni H&Colorazione E o colorazioni speciali (MA, NON, BANDA, ecc.) per visualizzare chiaramente strutture tissutali specifiche. Il rapido progresso del deep learning offre una soluzione efficace per generare immagini virtualmente colorate, riducendo significativamente la...
Fallo per me contro. Fallo con me: Investigare le percezioni degli utenti di Diversi paradigmi di automazione nei copiloti per software ricco di funzionalità
Modello linguistico di grandi dimensioni (LLM)-assistenti in-application basati, o copiloti, può automatizzare le attività del software, ma gli utenti spesso preferiscono imparare facendo, sollevando domande sul livello ottimale di automazione per un'esperienza utente efficace. Abbiamo studiato due paradigmi di automazione progettando e implementando un....
Liscio, Prove integrate di tempo costante crittografico per Programmi e compilatori non deterministici
La verifica formale del software e dei compilatori è stata utilizzata per escludere ampie classi di problemi critici per la sicurezza, ma il rischio di fuga involontaria di informazioni ha ricevuto molta meno considerazione. È un requisito fondamentale per le specifiche formali lasciare alcuni dettagli di un....