Search-based Unit Test Generation with EvoSuite

il y a 5 ans 366 Vues

Deep learning: contexto, evolución, aplicaciones

il y a 5 ans 444 Vues

Liquid Haskell: Theorem Proving for All

il y a 5 ans 342 Vues

Artificial Intelligence in the startup world

il y a 5 ans 1819 Vues

Performance and scalability prediction in HPC systems

il y a 5 ans 201 Vues

Real-world Applications of Symbolic Regression

il y a 5 ans 494 Vues

Middleware para IoT basado en analítica de datos

il y a 5 ans 192 Vues

Symbolic Reasoning Methods in Rewriting Logic and Maude

il y a 5 ans 320 Vues

From the latency to the throughput age

il y a 5 ans 199 Vues