Producción por año
Producción por año
Información general
Experiencia relacionada con los ODS de las Naciones Unidas
En 2015, los estados miembros de las Naciones Unidas acordaron 17 Objetivos de Desarrollo Sostenible (ODS) para erradicar la pobreza, proteger el planeta y garantizar la prosperidad para todos. El trabajo de esta persona contribuye al logro de los siguientes ODS:
Formación académica
Doctorado, Ph.d. degree in science, Aarhus University
Fecha de grado: 19 mar. 2003
Pregrado, Ingeniero de sistemas y computación, Universidad Javeriana
Fecha de grado: 26 abr. 1996
Huella digital
Profundizar en los temas de investigación en los que Frank Darwin Valencia Posso está activo. Estas etiquetas de temas provienen de las obras de esta persona. Juntos, forma una huella digital única.
- 1 Perfiles similares
Colaboraciones y áreas de investigación principales de los últimos cinco años
Colaboración externa reciente a nivel de país/territorio. Para consultar los detalles, haga clic en los puntos o
-
A FORMAL MODEL FOR POLARIZATION UNDER CONFIRMATION BIAS IN SOCIAL NETWORKS
Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2023, En: Logical Methods in Computer Science. 19, 1, p. 18:1-18:38Producción: Contribución a una revista › Artículo › revisión exhaustiva
Acceso abierto -
On the incompatibility of accuracy and equal opportunity
Pinzón, C., Palamidessi, C., Piantanida, P. & Valencia, F., 2023, (Aceptada/en prensa) En: Machine Learning.Producción: Contribución a una revista › Artículo › revisión exhaustiva
Acceso abierto1 Cita (Scopus) -
On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints
Pinzón, C., Palamidessi, C., Piantanida, P. & Valencia, F., 30 jun. 2022, AAAI-22 Technical Tracks 7. Association for the Advancement of Artificial Intelligence, p. 7993-8000 8 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
4 Citas (Scopus) -
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks
Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 22-41 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
Acceso abierto4 Citas (Scopus) -
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge
Pinzón, C., Quintero, S., Ramírez, S. & Valencia, F., 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 413-432 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
Acceso abierto
Proyectos
- 8 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