Proyectos por año
Proyectos
- 8 Terminado
Resultados de la búsqueda
-
Terminado
FACTS : Foundational Approach to Cognition in Today’s Society.
Rueda Calderon, C., Ganascia, J. G., Rocha Niño, H. C., Sarria Montemiranda, G. M., Valencia Posso, F. D., Vazirgiannis, M., Medina Lopez, J. A., Palamidessi, C., Pazii, A., Ramírez Rico, S. S. & Romanelli, M.
25/06/19 → 25/10/22
Proyecto: Investigación
-
Computation, Logic and Algebra of information for the Multispace Society
Valencia Posso, F. D., Rueda Calderon, C., Ganascia, J. G., Lopez Narvaez, J. S. & Ramírez Rico, S. S.
10/02/19 → 15/12/20
Proyecto: Investigación
-
Stochastic Concurrency in Rewrite-Based Probabilistic Models (SCORES).
Rocha Niño, H. C., Rueda Calderon, C., Valencia Posso, F. D. & -326, A.
01/02/18 → 30/12/18
Proyecto: Investigación
-
EPIC: Epistemic Interactive Concurrency
Rueda Calderon, C., Ferreira Alvim Junior, M. S., Gouvea Pimentel, E., Miller, D., Palamidessi, C., Valencia Posso, F. D., Cano, M., Guzman, M., Neto, J., Perchy, S., Ramirez, C., Ruiz, D., Silva, W. & Xavier, B.
01/09/17 → 01/09/19
Proyecto: Investigación
-
Concurrency via rewriting approaches to epistemology (CREATE)
Rocha Niño, H. C., Rueda Calderon, C. & Valencia Posso, F. D.
09/01/17 → 19/12/17
Proyecto: Investigación
-
Concurrency, Logic and algebra for Social and Spatial Interactive Computation (CLASSIC).
Rueda Calderon, C., Guzman Cancimance, M., Olarte Vega, C. A., Perchy Bocanegra, Y. S. & Valencia Posso, F. D.
23/08/16 → 22/08/19
Proyecto: Investigación
-
Distributed spaces in concurrent constraint programming (D-spaces).
Rueda Calderon, C., Olarte, C., Perchy Bocanegra, Y. S. & Valencia Posso, F. D.
15/01/14 → 15/01/15
Proyecto: Investigación
-
REACT-PLUS. Robust theories for Emerging Applications in Concurrency Theory: Processes and Logic Used in Emergent Systems.
Rueda Calderon, C., Agon, C., Aranda Bueno, J. A., Assayag, G., Diaz, J. F., Olarte Vega, C. A., Valencia Posso, F. D. & Vargas Reveiz, J.
08/11/11 → 08/11/13
Proyecto: Investigación