Buscar
Mostrando ítems 1-3 de 3
Verificación de lógicas modales dinámicas en Coq
(2019-03)
Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...
Institución escolar y programa Conectar Igualdad: las escuelas secundarias en su dimensión tecnológica, subjetiva e inter-subjetiva: Un análisis desde las representaciones estudiantiles y docentes (Argentina, 2015)
(2017-12-21)
A partir del año 2010, en Argentina ha sido implementada una de las políticas más importantes de introducción de tecnologías digitales en las escuelas en modalidades 1 a 1: el Programa Conectar Igualdad (PCI). Este se ...
Computational anatomy strategies for characterization of brain patterns associated with Alzheimer's disease
(Universidad Nacional de ColombiaUniversiteit AntwerpenBogotá - Ingeniería - Doctorado en Ingeniería - Sistemas y ComputaciónDepartamento de Ingeniería de Sistemas e IndustrialFacultad de IngenieríaBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2022)
La enfermedad de Alzheimer (EA) es una de las fallas sistemáticas del sistema nervioso más complejas que se conocen. Los síntomas clínicos de esta enfermedad neurodegenerativa son alteraciones de la cognición y el ...