Lunes, Septiembre 29, 2025
Coloquios
Destacado
Este año
Enero 2025
Febrero 2025
Marzo 2025
Abril 2025
Mayo 2025
Junio 2025
Agosto 2025
Septiembre 2025
Todos los años
Temas
Videos
Coloquios
Está aquí:
Destacado
Temas
Computación
Computación
Introduzca parte del título
Filtro
Limpiar
Cantidad
5
10
15
20
25
30
50
100
Todas
Estructuras de Poisson en 4D y superficies mínimas impresas en 3D
Finanzas distribuidas y contratos inteligentes
Geometría para catar alimentos
Guiando la auto-organización de sistemas complejos
Hablemos sobre métricas e inteligencia artificial
Imperios en la evolución de redes, ¿suerte o destino?
Las leyes de potencia y sus extensiones
Lógica epistémica, topología y computación distribuida
Logical time in asynchronous distributed systems
Lógicas de orden superior y verificación formal
Minería de grafos y sus aplicaciones al procesamiento de lenguaje natural
Online X-ray radiation dose optimization in repeat CT scanning
Propagation, dispersion, control and numerical approximation of waves
Sobre algunos resultados viejos y recientes sobre problemas de iluminación de galerías de arte
Specification and complexity of replicated objects
Superficies de Delaunay vía direcciones principales
The automated-reasoning revolution: from theory to practice and back
The BG simulation: an algorithmic tool for impossibility results
Página 2 de 2
1
2
Destacado
Este año
Enero 2025
Febrero 2025
Marzo 2025
Abril 2025
Mayo 2025
Junio 2025
Agosto 2025
Septiembre 2025
Todos los años
Temas
Videos