mostrando 5 de 9 (Ver todos los proyectos) | |||
No. | Titulo | Año | Rol |
---|---|---|---|
1) | Axiomatización, cómputo y estabilidad para algoritmos a eventos discretos | 2020 | Responsable técnico |
2) | Algoritmos Analogicos | 2019 | Responsable técnico |
3) | MODELACION Y VALIDACION DE SISTEMAS DINAMICOS MEDIANTE UN ENFOQUE DE LOGICAS DE PRIMER ORDEN | 2017 | Responsable técnico |
4) | Mente Humana vs Maquina via Jerarqia Aritmetica de Kleene, Paradigmas de Computo, Complejidad Computacional, Probadores Mecanicos de Teoremas, Juegos y Aspectos Filosoficos | 2016 | Responsable técnico |
5) | Cómputo, distintos paradigmas de cómputo y el teorema de la forma normal de Kleene para redes de Petri con arcos inhibidores. | 2015 | Responsable técnico |