¿Por qué debemos seguir trabajando en álgebra lineal?

il y a 11 mois 76 Vues

uElectronics ongoing activities at ESA

il y a 1 an 29 Vues

Formalizing Mathematics in Lean

il y a 1 an 59 Vues

Computer Design Concepts for Machine Learning

il y a 1 an 95 Vues

Type and proof structures for concurrency

il y a 2 ans 84 Vues

Do you trust your artificial intelligence system?

il y a 2 ans 181 Vues