Kwing Hei Li

Un nuovo approccio ai limiti d'errore usando crediti d'errore per programmi complessi.

2025-08-17T11:22:42+00:00 ― 7 leggere min

Un nuovo approccio per capire i costi attesi dei programmi probabilistici usando la logica di separazione di ordine superiore.

2025-08-04T16:43:36+00:00 ― 4 leggere min

Un nuovo approccio per garantire l'affidabilità dei programmi probabilistici di ordine superiore.

2025-07-10T03:01:42+00:00 ― 7 leggere min