Vés al contingut (premeu Retorn)

Resultats de la cerca

1212 elements coincideixen amb el vostre criteri de cerca. Ordena per rellevància · data (més recent primer) · alfabèticament
Filtra els resultats.
Professorat del Departament de Matemàtiques encapçalen dos projectes de cooperació i innovació tecnològica de la UPC per combatre la COVID-19
Luis Mujica i Magda Ruiz. Desenvolupament d'una eina de suport basada en dades clíniques per identificar pacients Covid-19 derivats a l'UCI amb capacitat autònoma respiratòria. Leonardo Acho i Gisela Pujol. Desenvolupament d'un prototip de ventilació pulmonar de baix cost.
Ubicat a Actualitat
Xerrada "Sobre el Lean Theorem Prover" a càrrec de Marc Masdeu (UAB)
Xerrada a càrrec de Marc Masdeu (UAB) sobre Lean Theorem Prover
Ubicat a Activitats