Blog
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....
Progettazione ottimale dell'approvvigionamento: Un approccio in forma ridotta
I modelli di approvvigionamento standard presuppongono che l’acquirente conosca la qualità del bene al momento dell’approvvigionamento; Tuttavia, in molte impostazioni, la qualità viene appresa solo molto tempo dopo la transazione. Studiamo i problemi di appalto in cui la valutazione del compratore...
Analisi dinamica del campo medio delle diffusioni adattive di Langevin: Propagazione del caos e convergenza della risposta lineare
Motivato da un'applicazione all'apprendimento empirico di Bayes nella regressione ad alta dimensione, studiamo una classe di diffusioni di Langevin in un sistema con disordine casuale, dove il coefficiente di deriva è guidato da un parametro che si adatta continuamente alla distribuzione empirica del....
Analisi dinamica del campo medio delle diffusioni adattive di Langevin: Punto fisso replica-simmetrico e Bayes empirico
In molte applicazioni della stima statistica tramite campionamento, si potrebbe desiderare di campionare da una distribuzione target ad alta dimensione che si sta evolvendo in modo adattivo verso i campioni già visti. Studiamo un esempio di tale dinamica, data da una diffusione di Langevin per campionamento posteriore..
Determinazione collaborativa ad alta sensibilità e ad alta risoluzione di coefficiente di birifrangenza utilizzando misurazioni deboli
Presentiamo un sistema di determinazione del coefficiente di birifrangenza ad alta sensibilità e ad alta risoluzione per film di membrana a livello nm basato su misurazioni deboli, affrontare il compromesso sensibilità-risoluzione. Una sorgente luminosa a larghezza di banda regolabile viene sfruttata per ottenere uno slancio complementare (Puntatore P) e intensità (Puntatore I) misurazioni,consentendo il funzionamento senza calibrazione su vari....
Soluzioni globali per equazioni di Schrödinger quadratiche del quarto ordine 5D
We prove small data scattering for the fourth-order Schr\”odinger equation with quadratic nonlinearity \begin{equazione*} i\partial_t u+\Delta^2 u+\alpha u^2 + \beta \bar{tu}^2=0\qquad\text{In }\mathbb{R}^5 \end{equazione*} for $\alpha, \beta \in \mathbb{R}$. Estendiamo il metodo della risonanza spazio-temporale, originariamente introdotto da Germain, Masmoudi, e Shatah, A...