Xin Sun

Scopri come la Logica di Hoare Quantistica garantisce la correttezza dei programmi di computazione quantistica.

Uno sguardo più profondo sul ragionare riguardo ai programmi con elementi casuali.

Un nuovo metodo per digitalizzare oggetti morbidi senza danneggiarli usando tecnologia indossabile.

Un nuovo approccio utilizza l'apprendimento automatico per migliorare le misurazioni delle proprietà dei film sottili.

Un nuovo metodo per migliorare la modellazione digitale dei capelli per realismo e flessibilità.

Combinare i suoni cardiaci e l'ecocardiografia per migliorare la diagnosi delle malattie cardiache congénite.

Un nuovo metodo migliora l'accuratezza del riconoscimento delle parole chiave usando dati audio non etichettati.

AuscultaBase migliora l'accuratezza nella diagnosi di condizioni di salute utilizzando diversi dati sui suoni del corpo.

Scopri come i LLM possono aiutare a identificare e gestire i test inaffidabili nello sviluppo software.

I ricercatori migliorano le ricostruzioni 3D usando dati sintetici per risultati migliori.

Il modello AMS migliora la dinamica dei capelli per i personaggi nei giochi e nei film.