Agentes Autónomos
| COD |
Carga Horaria |
Descripción |
| 198BT-02 |
30 |
Agentes Autónomos, Arquitecturas de Agentes, Agentes BDI, Lenguajes de Programación basados en la Arquitectura BDI, uso de técnicas de planificación y aprendizaje en programación de agentes, aplicaciones de agentes inteligentes. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Agentes Autónomos
| COD |
Carga Horaria |
Descripción |
| 54664-02 |
30 |
Agentes Autónomos, Arquitecturas de Agentes, Agentes BDI, Lenguajes de Programación basadas en la Arquitectura BDI, uso de técnicas de planificación y aprendizaje en programación de agentes, aplicaciones de agentes inteligentes. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Animación Digital
| COD |
Carga Horaria |
Descripción |
| 54602-02 |
30 |
Introducción a la Animación Digital; Moldeo y animación de personajes virtuales; Animación Comportamental; Ambientes Virtuales "inteligentes". |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Análisis y Visualización de Datos Heterogéneos
| COD |
Carga Horaria |
Descripción |
| 5461A-03 |
45 |
Introducción a modelos de extracción de datos en vídeo. Tratamiento de texto para el análisis de información. Estrategias para la comunicación de resultados a través de la visualización de datos heterogéneos. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Aprendizaje de Máquina
| COD |
Carga Horaria |
Descripción |
| 54676-02 |
30 |
Análisis y preprocesamiento de datos. Aprendizaje supervisado. Aprendizaje no-supervisado. Evaluación de modelos predictivos y descriptivos. Tópicos avanzados en aprendizaje de máquina. |
| Profesor |
Horaria Local |
Lattes |
| DUNCAN DUBUGRAS ALCOBA RUIZ |
32 a¿os y 4 meses |
Link |
| RODRIGO COELHO BARROS |
10 a¿os y 9 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Arquiteturas Paralelas
| COD |
Carga Horaria |
Descripción |
| 34639-02 |
30 |
Procesadores RISC, superescalares, SIMD, multiprocesadores, multicomputadores. Procesadores multithread y dataflow. Hierarquia de memória. Redes de interconexão. Evaluación de desempeño de arquitecturas paralelas. Evolución de las máquinas paralelas y sus actuales tendencias evolutivas. Máquinas paralelas baseadas en agregados (Cluster Computing). |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Bioinformática Comparativa
| COD |
Carga Horaria |
Descripción |
| 34668-02 |
30 |
Introducción Histórica. Conceptos Básicos de Biología Molecular. Bioinformática. Internet y Bancos de Datos de Secuencias Biológicas. Abordaje Computacional de Problemas Biológicos. Análisis Computacional de Secuencias de ADN. Análisis Computacional de Secuencias de Proteínas. Alineaciones de Secuencias de Proteínas. Métodos Computacionales para la Alienación de Secuencias de Proteínas. El Algoritmo de Programación Dinámica. Métodos Heurísticos para la Alineación de Secuencias de Proteínas. Estudio de Caso. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Bioinformática Estructural
| COD |
Carga Horaria |
Descripción |
| 34669-02 |
30 |
Introducción Histórica. Conceptos Básicos de Biología Molecular Estructural. Bioinformática Estructural. Internet y Bancos de Datos de Estructuras Biológicas. Análisis Computacional de la Estructura de Proteínas. Alineación de Estructuras de Proteínas. Clasificación de la Estructura de Proteínas. Algoritmos para la Predicción de las Estructuras de Proteínas. Estudio de Caso. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Calidad de Sistemas Interactivos
| COD |
Carga Horaria |
Descripción |
| 34655-02 |
30 |
Introducción a la Evaluación de Sistemas Interactivos. Evaluación por Inspección. Evaluación por Pruebas con Usuários. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Computación Bioinspirada
| COD |
Carga Horaria |
Descripción |
| 54683-02 |
30 |
Introducción y Motivación. Computación inspirada en la biología. Computación Evolutiva. Inteligencia colectiva. Optimización por Colonia de Hormigas (ACO). Optimización por examen de partículas (PSO). Redes neuronales artificiales. Sistemas inmunológicos artificiales. Aplicaciones. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Computación Gráfica
| COD |
Carga Horaria |
Descripción |
| 54603-02 |
30 |
Fundamentos Matemáticos de la Computación Gráfica. Técnicas de Rendering; Algoritmos de Detección de Colisão; Técnicas de Aceleración de Aplicaciones Gráficas |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Computación de alto rendimiento para aplicaciones de Big Data
| COD |
Carga Horaria |
Descripción |
| 1982E-02 |
30 |
Principios informáticos de alto rendimiento para aplicaciones de Big Data que abordan arquitecturas clave, programación paralela, equilibrio de carga, escalado, confiabilidad, mantenibilidad y elasticidad. El contexto de la disciplina incluye, dentro del alcance de Big Data, almacenamiento, gestión de datos, tipos de datos y fuentes generadoras, patrones de acceso y comunicación, replicación, partición, transacciones, consenso y consistencia. Se presentan modelos de procesamiento por lotes, micro lotes y flujo, así como aplicaciones de Big Data de alto rendimiento, que cubren diferentes dominios y sus particularidades, requisitos, estrategias para la exploración de paralelismo, mejores prácticas, cargas de trabajo y evaluación del rendimiento. Finalmente, el curso abordará las tecnologías clave utilizadas en el desarrollo de aplicaciones para diferentes modelos de procesamiento de Big Data. |
| Profesor |
Horaria Local |
Lattes |
| LUIZ GUSTAVO LEAO FERNANDES |
30 a¿os y 4 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Computación en la nube
| COD |
Carga Horaria |
Descripción |
| 19805-02 |
30 |
Esta disciplina tiene como objetivo principal la presentación de los principales conceptos asociados con la computación en la nube. Por lo tanto, se abordarán los siguientes puntos: Características y tipos de computación en la nube; Principales servicios prestados en computación en la nube; Principales retos en la zona; Estudio de caso de un entorno de computación en la nube. |
| Profesor |
Horaria Local |
Lattes |
| TIAGO COELHO FERRETO |
20 a¿os y 9 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Comunicación, Lenguaje Natural y Ontologías
| COD |
Carga Horaria |
Descripción |
| 54666-03 |
45 |
Inteligencia Artificial y Comunicación. La comunicación y el procesamiento de Lenguaje natural. Comunicación y ontologías. Comunicación en agentes inteligentes. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Confiabilidad de Sistemas
| COD |
Carga Horaria |
Descripción |
| 34653-02 |
30 |
Confiabilidad de Sistemas: Taxonomía. Error. Fallo. Defecto. Tolerancia a fallos. Mecanismos para la tolerancia a fallos. Acuerdo en sistemas distribuidos. Redundancia. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Construcción de Algoritmos Distribuidos
| COD |
Carga Horaria |
Descripción |
| 198KL-02 |
30 |
Importancia de los algoritmos distribuidos. Factores de complejidad para la construcción de algoritmos distribuidos. Niveles de consistencia de algoritmos distribuidos. Medidas de complejidad computacional. Estrategias de modelado y especificación de algoritmos distribuidos. Propiedades de los algoritmos distribuidos. Razonamiento sobre propiedades. Implementación de algoritmos distribuidos. Métricas de evaluación. Estudios de casos prácticos. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Criptografía
| COD |
Carga Horaria |
Descripción |
| 54668-02 |
30 |
Criptografía clásica; cifras de flujo (stream ciphers) y cifrados de bloque (block ciphers); integridad de mensajes (Mesage Authentication Codes); criptografía simétrica. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Criptografía Avanzada
| COD |
Carga Horaria |
Descripción |
| 54672-02 |
30 |
Aritmética modular; números primos y factoración; funciones y generadores pseudo-aleatorios; criptografía asimétrica; firmas digitales. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Desarrollo Colaborativo de Software
| COD |
Carga Horaria |
Descripción |
| 54677-02 |
30 |
Sistemas Colaborativos. Desarrollo de Software Colaborativo. Tendencias. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Descubrimiento de Conocimiento en Base de Datos I
| COD |
Carga Horaria |
Descripción |
| 34674-02 |
30 |
Data warehouse. Descubrimiento de conocimiento en bases de datos. Minería de datos. Aplicaciones. Tendencias |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Diseño de Tecnología Asistiva
| COD |
Carga Horaria |
Descripción |
| 54691-02 |
30 |
Tecnología asistiva (TA), diseño universal y accesibilidad. Diseño de interacción para tecnología asistiva. Prototipación de Tecnología Asistiva. Evaluación de calidad de uso de Tecnología Asistiva. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Emprendimiento digital: transformación del conocimiento en desarrollo
| COD |
Carga Horaria |
Descripción |
| 1982K-02 |
30 |
Este curso tiene como objetivo presentar los principales conceptos asociados con el emprendimiento digital y la transformación del conocimiento científico en el desarrollo para la sociedad. Se abordarán los siguientes puntos: emprendimiento, startups, modelo de negocio, lean startup, producto mínimo viable y casos reales de transformación del conocimiento científico en innovación y desarrollo a través del emprendimiento. |
| Profesor |
Horaria Local |
Lattes |
| JORGE LUIS NICOLAS AUDY |
39 a¿os y 8 meses |
Link |
| RAFAEL PRIKLADNICKI |
20 a¿os y 9 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
| Educación Científica |
Maestría |
No Requerido |
| Educación Científica |
Doctorado |
No Requerido |
| Ingeniería y Tecnología de Materiales |
Maestría |
No Requerido |
| Ingeniería y Tecnología de Materiales |
Doctorado |
No Requerido |
| Materiales y Procesos Relacionados |
Doctorado |
No Requerido |
Evaluación y Desempeño de Sistemas
| COD |
Carga Horaria |
Descripción |
| 44626-02 |
30 |
Evaluación cuantitativa de sistemas, clasificación de métodos. Técnicas de simulación discreta. Métodos analíticos directos e iterativos. Cadenas de Markov. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Extracción y análisis visual de datos heterogéneos
| COD |
Carga Horaria |
Descripción |
| 1983J-02 |
30 |
Introducción a los modelos de extracción de datos de video. Procesamiento de datos para análisis de información. Estrategias para comunicar resultados a través de la visualización de datos heterogéneos. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Fundamentos del aprendizaje automático y la inteligencia artificial
| COD |
Carga Horaria |
Descripción |
| 198MA-02 |
30 |
El curso cubre los principios fundamentales de la Inteligencia Artificial (IA) y el Aprendizaje Automático (ML). Primero, el curso revisa brevemente algunos métodos matemáticos fundamentales utilizados en IA y ML, como métricas, distancias, máxima verosimilitud y teoría de la información. El curso analiza los principales métodos convencionales de agrupamiento y clasificación, como K-medias, K vecinos más cercanos, bayes ingenuos, máquinas de vectores de soporte, redes neuronales, árboles de regresión y bosques aleatorios. Además, el curso presenta brevemente algunos de los principales modelos utilizados en el aprendizaje profundo y los modelos generativos, como las redes neuronales convolucionales, los codificadores automáticos y el aprendizaje por refuerzo |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Gerencia de Infraestructura TI
| COD |
Carga Horaria |
Descripción |
| 54671-02 |
30 |
Modelos de gestión de infraestructura de TI. Componentes de infraestructura de TI y sus funciones. Análisis del uso de técnicas de virtualización en infraestructura de TI. Estudio del modelo de computación en nube y TI Verde. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Gestión de datos de Big Data
| COD |
Carga Horaria |
Descripción |
| 1982F-02 |
30 |
Comprender la gestión de bases de datos sin esquemas previos y nuevas aplicaciones de datos: big data, datos de redes sociales. Estudio sobre datos espaciotemporales, multimedia, hipermedia, transmisión y medios digitales, y soporte para bases de datos sin esquemas previos. Descripción general de Big Data y plataforma en la nube: HDFS, Hadoop, MapReduce y Spark. Comprensión de los modelos de transacciones, gestión de memoria, control de concurrencia y conmutación por error, y optimización de transacciones de consultas y bases de datos desde la perspectiva de big data. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Infraestructura para Big Data
| COD |
Carga Horaria |
Descripción |
| 1982H-02 |
30 |
Visión general de los conceptos de Big Data e infraestructura de TI. Comprender la importancia de Cluster Computing para Big Data y estudiar plataformas para Big Data. Comprender el funcionamiento de los sistemas de archivos distribuidos para Big Data y sus características clave. Estudio sobre técnicas de ingestión de datos para diferentes tipos de datos. Comprender el funcionamiento de los sistemas de gestión de recursos de Big Data y sus características clave. Descripción general de los servicios de Big Data utilizando Cloud Computing. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Inteligencia Computacional
| COD |
Carga Horaria |
Descripción |
| 54606-03 |
45 |
Inteligencia Artificial e Inteligencia Computacional. Representación y Búsqueda. Representación y Conocimiento. Paradigmas de Resolución de Problemas. Aprendizaje de Máquina. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Introducción a la Supervisión de la Investigación
| COD |
Carga Horaria |
Descripción |
| 198B6-02 |
30 |
Aprendizaje de estilos y técnicas de supervisión en investigación. Aplicación de la técnica de metodología científica. Evaluación práctica de la importancia de la reproducibilidad en la investigación. Planificación y administración del trabajo colaborativo. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Laboratorio en Proceso de Desarrollo de Software
| COD |
Carga Horaria |
Descripción |
| 54678-01 |
15 |
Desarrollo de Software. Ciclo de Vida de Desarrollo de Software. Procesos de Software. Proyecto Práctico de Desarrollo de Software. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Logicas y Álgebras Computacionales
| COD |
Carga Horaria |
Descripción |
| 34648-02 |
30 |
Reticulados. Álgebra Booleana. Otras estructuras algébricas. Cálculo proposicional. Lógica de 1ª ordem. Semántica de Tarski. Deducción natural. Completud y corrección de sistemas deductivos. Cálculo de secuentes, método axiomático de prueba. Forma causal y resolución. Teoremas. Lógica temporal de primera orden. Otras lógicas no clásicas. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
Obligatorio |
| Ciencia de la Computación |
Doctorado |
Obligatorio |
Modelos de Programación Distribuida
| COD |
Carga Horaria |
Descripción |
| 54669-02 |
30 |
Conceptos básicos de sistemas distribuidos; intercambio de mensajes; modelos de programación distribuida; algoritmos distribuidos; ambientes de programación distribuída |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Moldeo Computacional para Sistemas Embebidos
| COD |
Carga Horaria |
Descripción |
| 54689-02 |
30 |
Definiciones de sistemas embebidos. Definición de sistemas embebidos de tiempo real. Definición de moldeos de computación. Definición de las actividades de partición y mapeo. Análisis de requisitos de proyecto para sistemas embebidos. Evaluación de desempeño y aplicación de calidad de servicio (QoS) con modelos computacionales. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Moldeo de Sistemas Embebidos
| COD |
Carga Horaria |
Descripción |
| 54659-03 |
45 |
Definición de sistemas embebidos. Definición de sistemas embebidos de tempo real. Definición de modelos de computación. Definición de las actividades de partición y mapeo. Análisis de requisitos de proyecto para sistemas embebidos. Evaluación de desempeño y aplicación de calidad de servicio (QoS) con modelos computacionales. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Métodos Analíticos
| COD |
Carga Horaria |
Descripción |
| 34619-02 |
30 |
Evaluación cuantitativa de sistemas. Modelos Markovianos: cadenas de Markov y redes de autómatas estocásticos. Métodos analíticos a la forma-producto, directos e indirectos |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Métodos de Investigación en Sistemas de Información II
| COD |
Carga Horaria |
Descripción |
| 54645-03 |
45 |
Investigación científica en Sistemas de Información, Métodos de Investigación en Sistemas de Información, Estudios primarios, Estudios secundarios, Estudio de Caso, Teoría Fundamentada en Datos, Recolección y Análisis de Datos |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Métodos de investigación experimental
| COD |
Carga Horaria |
Descripción |
| 198BS-02 |
30 |
Introducción a la investigación científica, el ciclo de investigación experimental, métodos de investigación experimental, métodos de recopilación y análisis de datos. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Nuevas fronteras en bancos de datos
| COD |
Carga Horaria |
Descripción |
| 54679-02 |
30 |
Visión general sobre sistemas de almacenamiento y recuperación de datos. Estudio sobre datos espacio-temporales, multimedia, hipermedia, de flujo continuo y de medias digitales. Visión general sobre nuevas aplicaciones en datos: Big data, Datos no estructurados, de medias sociales, Minería de datos de medias sociales. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Ontologías
| COD |
Carga Horaria |
Descripción |
| 54625-02 |
30 |
Ontologías y la representación del conocimiento. Ontologías en la web semántica. Lógicas de descripción y razonamiento. Construcción de ontologías. Aplicaciones. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Planificación de Experimentos para Sistemas Computacionales
| COD |
Carga Horaria |
Descripción |
| 5461C-02 |
30 |
Esta disciplina tiene como principal objetivo plantear las diferentes estrategias de planeamiento de experimentos para sistemas computacionales que emplean técnicas que garantizan la confiabilidad y precisión de los resultados. Para ello, los siguientes tópicos serán abordados: conceptos básicos de planificación de experimentos; distribución de probabilidad; introducción al método de análisis de varianza; determinación del número de repeticiones; regresión lineal simple y múltiple. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Planificación em Inteligencia Artificial
| COD |
Carga Horaria |
Descripción |
| 1982D-02 |
30 |
Planificación Automatica: formalismos y presuposiciones. Planificación clásica: formalismos y algoritmos. Planificación HTN: formalismo y algoritmos. Planificación no-deterministica: formalismos y algoritmos. Aplicaciones de planificación automática. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Plataformas Computacionales para Sistemas Distribuidos.
| COD |
Carga Horaria |
Descripción |
| 19802-02 |
30 |
Este curso ofrece un énfasis práctico en el área de sistemas distribuidos. Revisión de abstracciones y algoritmos distribuidos fundamentales en sistemas distribuidos. Evaluación de diferentes plataformas de soporte a la distribución con la funcionalidad del consenso. Implementación de algoritmos fundamentales para computación distribuida. Empleo de plataformas específicas en implementaciones. |
| Profesor |
Horaria Local |
Lattes |
| FERNANDO LUIS DOTTI |
26 a¿os y 9 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Procesamiento de flujo de datos escalable
| COD |
Carga Horaria |
Descripción |
| 198B5-02 |
30 |
Comprender el concepto y los fundamentos teóricos del modelo de procesamiento de flujo de datos.
Saber el desafíos de desarrollar aplicaciones escalables en diferentes plataformas y arquitecturas
informáticas. Comprender las tecnologías clave (por ejemplo, Apache Storm, Apache Flink e Spark
Streaming) y la estrategias de optimización del rendimiento (equilibrio de carga, programación, gestión
de estado y flujo, ubicación del operador y partición de estado). Desarrolle prototipos de aplicaciones de
flujo de datos escalables. Conozca los avances de investigación recientes para el procesamiento de flujos
de datos. |
| Profesor |
Horaria Local |
Lattes |
| DALVAN JAIR GRIEBLER |
3 a¿os y 9 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Procesamiento del Lenguaje Natural
| COD |
Carga Horaria |
Descripción |
| 44639-02 |
30 |
Problemática del procesamiento de Lenguajes y del tratamiento del Lenguaje natural: dificultades lingüísticas, dificultades computacionales, módulos de un sistema clásico. Niveles de análisis y de procesamiento. Construcción de sistemas de computación para el procesamiento de Lenguajes naturales. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Programación Concurrente
| COD |
Carga Horaria |
Descripción |
| 1982G-02 |
30 |
Este curso profundiza el entendimiento de los problemas de concurrencia y de los mecanismos y abstracciones existentes para construir sistemas concurrentes correctos y eficientes. Revisión de conceptos de concurrencia y sincronización. Criterios de consistencia para objetos concurrentes (consistencia secuencial, quiescente, linealización). Sincronización bloqueante. Spin locks y contención. Técnicas de sincronización: grano grueso (coarse-grained), grano fino (fino-grained), optimista, relajado (lazy). Técnicas de sincronización no bloqueantes: libre de bloqueo (lock-free), libre de espera (free-free), libre de obstrucción (obstruction-free). Técnicas de argumentación de corrección para algoritmos concurrentes. Nociones de memoria transaccional por SW y HW. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Programación Paralela
| COD |
Carga Horaria |
Descripción |
| 34652-04 |
60 |
Moldeo de programación Distribuida y Paralela. Expresión del paralelismo. Paradigmas de programación paralela. Aplicaciones distribuidas y paralelas. Estudio de caso. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Programación Paralela Estructurada
| COD |
Carga Horaria |
Descripción |
| 54695-02 |
30 |
Conceptos básicos de programación paralela estructurada (Parallel Design Patterns y Algorithmic Skeletons) y formas de exploración del paralelismo (datos, tareas y stream); frameworks y bibliotecas de alto nivel de abstracción para programación paralela usadas en sistemas multi-core (e.g., FastFlow, TBB y SPar). Lenguajes específicos de dominio; soluciones emergentes para la exploración de paralelismo; desafíos y perspectivas de las interfaces de programación paralela estructurada. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Programación Paralela Heterogénea
| COD |
Carga Horaria |
Descripción |
| 54696-02 |
30 |
Conceptos básicos de programación paralela heterogénea (arquitecturas, aceleradores, gestión de memoria, etc.); frameworks y bibliotecas para programación paralela usados en sistemas heterogéneos (e.g., SkePU, OpenACC, CUDA, Thrust y OpenCL). Soluciones emergentes para exploración de paralelismo; desafíos y perspectivas de las interfaces de programación paralela heterogénea. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Programación Paralela con Intercambio de Mensajes
| COD |
Carga Horaria |
Descripción |
| 1983K-02 |
30 |
Modelado y programación de aplicaciones paralelas con el paradigma de intercambio de mensajes. Técnicas de optimización. Análisis de rendimiento. |
| Profesor |
Horaria Local |
Lattes |
| CESAR AUGUSTO FONTICIELHA DE ROSE |
26 a¿os y 2 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Proyecto y Análisis de Algoritmos
| COD |
Carga Horaria |
Descripción |
| 54684-02 |
30 |
Análisis de algoritmo: sumatorios, recurrencias, órdenes de crecimiento. Desarrollo de algoritmos: algoritmos voraces, programación dinámica, métodos Branch and bound, división y conquista, meta-heurística. |
| Profesor |
Horaria Local |
Lattes |
| AFONSO HENRIQUE CORREA DE SALES |
12 a¿os y 9 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
Obligatorio |
| Ciencia de la Computación |
Doctorado |
Obligatorio |
Proyectos de Interfaces
| COD |
Carga Horaria |
Descripción |
| 34656-02 |
30 |
Estilos de Interacción. Directrices de Proyecto. Moldeo de Interfaces. Accesibilidad. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Realidad Virtual
| COD |
Carga Horaria |
Descripción |
| 54610-02 |
30 |
Conceptos de Realidad Virtual. Dispositivos Visualización y Rastreo para Aplicaciones de Realidad Virtual. Técnicas de Interacción en Ambientes Virtuales. Realidad Aumentada. Aplicaciones de Realidad Virtual y Realidad Aumentada. |
| Profesor |
Horaria Local |
Lattes |
| MARCIO SARROGLIA PINHO |
34 a¿os y 4 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Redes de Computadoras
| COD |
Carga Horaria |
Descripción |
| 54670-02 |
30 |
Evolución de las redes de computadoras. Principales pilas de protocolos para redes de computadores. Gerencia de redes de computadoras. Nuevas tecnologías de redes. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Robótica Móvil Inteligente
| COD |
Carga Horaria |
Descripción |
| 54694-04 |
60 |
Práctica con el estado del arte en programación de robots móviles autónomos. Programación de sistemas embarcados y distribuidos con foco en aplicaciones de robótica. Middlewares de robótica. Problemas clásicos de robótica móvil como localización, desvío de obstáculo, y navegación. Problemas de inteligencia artificial volcados hacia la robótica, con énfasis en percepción y planificación. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Seguridad en Sistemas IoT
| COD |
Carga Horaria |
Descripción |
| 19853-02 |
30 |
Introducción a los sistemas de IoT. Discusión de los principales desafíos de seguridad relacionados con los sistemas de IoT. Discusión de los riesgos de seguridad y vulnerabilidades de los sistemas de IoT. Discusión sobre los factores que hacen que la seguridad en el sistema de IoT sea más compleja. Discusión de posibles ataques en sistemas de IoT. Discusión sobre posibles soluciones de seguridad. Análisis y discusión de casos reales. |
| Profesor |
Horaria Local |
Lattes |
| FABIANO PASSUELO HESSEL |
31 a¿os y 9 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Seguridad en Sistemas IoT
| COD |
Carga Horaria |
Descripción |
| 1982J-02 |
30 |
Introducción, contextualización y definición de los conceptos de Internet de las cosas y Smart Cities. Discusión sobre el tamaño del mercado mundial relacionado con IoT y Smart Cities, y el potencial para el crecimiento futuro de este mercado. Presentación y debate sobre los principales desafíos relacionados con el desarrollo de sistemas y aplicaciones centrados en IoT y Smart Cities. Arquitectura de hardware y software para aplicaciones IoT y Smart Cities. Discusión de las oportunidades presentes y futuras relacionadas con IoT y Smart Cities. Presentación y discusión de casos reales en diferentes mercados verticales. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Seminarios Integrados
| COD |
Carga Horaria |
Descripción |
| 5461B-02 |
30 |
Integrar profesores, investigadores, estudiantes de maestría y estudiantes de doctorado con las recientes producciones de las áreas de concentración y líneas de investigación de los Programas de Postgrado de la Escuela Politécnica, tanto las pertenecientes o relacionadas al tema de investigación del estudiante como las no relacionadas. Utilizar las presentaciones de los seminarios como instrumento formal para la comprensión del proceso científico, sus aspectos constructivos, formales y concluyentes, con el objetivo de calificar la investigación científica realizada. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
| Educación Científica |
Maestría |
No Requerido |
| Educación Científica |
Doctorado |
No Requerido |
| Ingeniería y Tecnología de Materiales |
Maestría |
No Requerido |
| Ingeniería y Tecnología de Materiales |
Doctorado |
No Requerido |
| Materiales y Procesos Relacionados |
Doctorado |
No Requerido |
Simulación Gráfica
| COD |
Carga Horaria |
Descripción |
| 54611-02 |
30 |
Introducción a la Simulación Gráfica; Moldeo de problemas complejos de simulación gráfica; Tópicos en Animación Digital y Visión Computacional; Simulación de Multitudes. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Sincronización en Sistemas Digitales
| COD |
Carga Horaria |
Descripción |
| 54663-03 |
45 |
Circuitos y sistemas síncronos. Circuitos y sistemas asíncronos. Circuitos y sistemas globalmente asíncronos, localmente síncronos. GALS. Sincronización y metaestabilidad. Sincronizadores. Protocolos de comunicación no-síncronos. Representaciones asíncronas de circuitos. Modelos de atraso. Insensibilidad a atrasos. Cuasi-retardo insensible. Codificaciones insensibles a atrasos. Proyecto de sistemas no-síncronos. Proyecto GALS. Proyecto de sistemas QDI. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Sistemas Distribuidos
| COD |
Carga Horaria |
Descripción |
| 19803-02 |
30 |
Este curso presenta los conceptos y algoritmos fundamentales para la construcción de sistemas distribuidos confiables. Modelos de sincronización para sistemas distribuidos. Computaciones distribuidas, estados locales y globales. Relojes lógicos. Modelos de fallos. Resultado de la Imposibilidad (FLP). Detectores de defectos como abstracción de suposiciones temporales. Elección de líder como problema análogo a detectores de defectos. Algoritmos de difusión, niveles de confiabilidad y formas de ordenación. Consenso regular y uniforme, consenso en fases, consenso logado. Problemas análogos al consenso. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Sistemas Integrados en Chip
| COD |
Carga Horaria |
Descripción |
| 54660-03 |
45 |
Sistemas embebidos, comunicación intra-chip, buses, redes intra-chip, multiprocesamiento intra-chip. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Sistemas Multiagentes
| COD |
Carga Horaria |
Descripción |
| 54665-03 |
45 |
Sistemas multiagentes, cooperación a través del contract net protocol, teoría de los juegos, tipos de remates para alocación de recursos, negociación a través del monotonic concesion protocol, programación de sistemas multiagentes, modelos organizacionales, sistemas normativos, comunicación entre agentes, representación de contenido de mensajes y conocimiento, ontologías, teoría de los actos de habla, Lenguajes de comunicación de agentes. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Sistemas Multiprocesador en Chip - Comunicación y Computación
| COD |
Carga Horaria |
Descripción |
| 198BR-02 |
30 |
Introducción a los mecanismos de comunicación utilizados en circuitos integrados. Estudio de los
conceptos de buses, buses estandarizados (por ejemplo, AXI) y buses dedicados. Evolución de las
infraestructuras de comunicación para redes on-chip (NoCs). Estudio de caso de implementación de
NoC. Presentación de arquitecturas multiprocesador en chip (muchos núcleos). Análisis de problemas
relacionados con el consumo de energía (dark silicon) y problemas relacionados con la seguridad de
los sistemas de muchos núcleos que utilizan NoC como infraestructura de comunicación |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Software Embarcado
| COD |
Carga Horaria |
Descripción |
| 54661-03 |
45 |
Definición de software embarcado. Software embarcado de tiempo real. Modelos de programación. Metodología de proyecto de software. Consumo de energía del software. Virtualización. Evaluación de desempeño del software. QoS fin a fin. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tecnologías Semánticas
| COD |
Carga Horaria |
Descripción |
| 54693-02 |
30 |
Tecnologías semánticas: Semántica y lingüística computacional. Semántica computacional y web semántica. Semántica y ontologías. Uso de tecnologías semánticas en el área de la salud, comunicación y otras áreas. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tecnologías Semánticas y su Aplicación en Diversas Áreas del Conocimiento
| COD |
Carga Horaria |
Descripción |
| 54680-03 |
45 |
Tecnologías semánticas: Semántica y lingüística computacional. Semántica computacional y web semántica. Semántica y ontologías. Uso de tecnologías semánticas en medicina, derecho, comunicación, medicina, y otras áreas. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tendencias en la Investigación de Ingeniería de Software
| COD |
Carga Horaria |
Descripción |
| 198HL-02 |
30 |
Temas actuales de interés en investigación e innovación en el área de Ingeniería de Software. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tendencias en la Investigación de Ingeniería de Software
| COD |
Carga Horaria |
Descripción |
| 198H4-01 |
15 |
Temas actuales de interés en investigación e innovación en el área de Ingeniería de Software. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tendencias en la investigación en informática
| COD |
Carga Horaria |
Descripción |
| 198LB-01 |
15 |
Temas actuales de interés en investigación e innovación en Informática. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Teoria de la Computación
| COD |
Carga Horaria |
Descripción |
| 54685-02 |
30 |
Teoría de la computabilidad (Turing). Indecidibilidad del Problema de la Parada. Jerarquía de Chomsky. Clases de Complejidad de problemas. Problemas NP. Reducibilidad de problemas. Pruebas de NP-completud. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
Obligatorio |
| Ciencia de la Computación |
Doctorado |
Obligatorio |
Top. Esp. en Sistemas de Información II
| COD |
Carga Horaria |
Descripción |
| 34635-02 |
30 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Sistemas de Información. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Técnicas de Proyecto VLSI I
| COD |
Carga Horaria |
Descripción |
| 54658-03 |
45 |
Práctica con uso de Lenguajes de descripción de hardware (HDL), prototipación en FPGA, uso de simuladores, y empleo de técnicas básicas de verificación funcional de sistemas VLSI. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Técnicas de Proyecto VLSI II
| COD |
Carga Horaria |
Descripción |
| 54662-03 |
45 |
Práctica con flujo de proyecto VLSI con vistas al proyecto de ASICs y uso de técnicas avanzadas de verificación funcional de sistemas VLSI. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Avanzados I
| COD |
Carga Horaria |
Descripción |
| 44613-01 |
15 |
Tópicos actuales de interés a la realización de investigaciones en Ciencia de la Computación |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Avanzados II
| COD |
Carga Horaria |
Descripción |
| 44614-01 |
15 |
Evaluación cuantitativa de sistemas, clasificación de métodos. Técnicas de simulación discreta. Métodos analíticos directos e iterativos. Cadenas de Markov |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Avanzados III
| COD |
Carga Horaria |
Descripción |
| 34641-01 |
15 |
Tópicos actuales de interés a la realización de investigaciones en Ciencia de la Computación. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Avanzados IV
| COD |
Carga Horaria |
Descripción |
| 34642-01 |
15 |
Tópicos actuales de interés a la realización de investigaciones en Ciencia de la Computación. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Avanzados V
| COD |
Carga Horaria |
Descripción |
| 34643-01 |
15 |
Tópicos actuales de interés a la realización de investigaciones en Ciencia de la Computación. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Avanzados en Ciencia de la Computación VI
| COD |
Carga Horaria |
Descripción |
| 54600-02 |
30 |
Tópicos avanzados de interés a la realización de investigaciones en el área de la Ciencia de la Computación. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Avanzados en Ciencia de la Computación VII
| COD |
Carga Horaria |
Descripción |
| 54601-02 |
30 |
Tópicos avanzados de interés a la realización de investigaciones en el área de la Ciencia de la Computación. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Esp. en Bioinformática y Moldeo Computacional II
| COD |
Carga Horaria |
Descripción |
| 34671-02 |
30 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Bioinformática y Moldeo Computacional. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Especiales Procesamiento Paralelo y Distribuido II
| COD |
Carga Horaria |
Descripción |
| 34633-02 |
30 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Procesamiento Paralelo y Distribuido |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Especiales en Bioinformática y Moldeo Computacional I
| COD |
Carga Horaria |
Descripción |
| 34670-01 |
15 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Bioinformática y Moldeo Computacional. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Especiales en Confiabilidad de Sistemas
| COD |
Carga Horaria |
Descripción |
| 34654-02 |
30 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Confiabilidad de Sistemas. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Especiales en Procesamiento Paralelo y Distribuido I
| COD |
Carga Horaria |
Descripción |
| 34632-01 |
15 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Procesamiento Paralelo y Distribuido. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Especiales en Sistemas Embebidos y Sistemas Digitales I
| COD |
Carga Horaria |
Descripción |
| 34663-01 |
15 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Sistemas Embebidos y Sistemas Digitales. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Especiales en Sistemas Embebidos y Sistemas Digitales II
| COD |
Carga Horaria |
Descripción |
| 34664-02 |
30 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Sistemas de Embebidos y Sistemas Digitales. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Especiales en Sistemas Interactivos I
| COD |
Carga Horaria |
Descripción |
| 34658-02 |
30 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Sistemas Interactivos I. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Especiales en Sistemas Interactivos II
| COD |
Carga Horaria |
Descripción |
| 34659-02 |
30 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Sistemas Interactivos I. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Especiales en Sistemas de Información I
| COD |
Carga Horaria |
Descripción |
| 34634-01 |
15 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Sistemas de Información. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos Especiales en Visualización I
| COD |
Carga Horaria |
Descripción |
| 54675-01 |
15 |
Surgimiento y evolución histórica. Introducción al área de visualización y sus aplicaciones. Tipos de datos y representaciones visuales. Visualización e interacción. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos en Interacción Humano Computador I
| COD |
Carga Horaria |
Descripción |
| 54687-01 |
15 |
Tópicos actuales de interés a la realización de investigaciones en la línea de Interacción Humano Computador |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Tópicos en Procesamiento de Imágenes
| COD |
Carga Horaria |
Descripción |
| 54686-01 |
15 |
Conceptos de Procesamiento de imágenes. Morfología matemática. Segmentación. Filtros de suavización. Detección de bordes. Análisis de imágenes. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Verificación Funcional de Sistemas Digitales
| COD |
Carga Horaria |
Descripción |
| 54644-02 |
30 |
Nociones generales de verificación. Planificación de verificación. Revisión de las técnicas usuales. Infra-estructura para la ejecución de la verificación. Conclusión, análisis y documentación de la verificación |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
| Ingeniería y Tecnología de Materiales |
Maestría |
No Requerido |
| Ingeniería y Tecnología de Materiales |
Doctorado |
No Requerido |
| Materiales y Procesos Relacionados |
Doctorado |
No Requerido |
Verificación de modelos de sistemas concurrentes
| COD |
Carga Horaria |
Descripción |
| 1987J-02 |
30 |
Contextualización de enfoques deductivos y baseado en modelos para verificar sistemas concurrentes. Profundización en la verificación de modelos. Lenguajes, abstracciones y herramientas para describir sistemas; especificación de comportamiento y propiedades; evaluación del sistema contra las propiedades. Ejemplificación. Aplicación de conceptos en casos prácticos. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
Verificación funcional de sistemas digitales II
| COD |
Carga Horaria |
Descripción |
| 19854-02 |
30 |
Revisar lenguajes de verificación de hardware; Lenguajes para describir aserciones; simulación de fallas; verificación de equivalencia; verificación de propiedad; Métodos de verificación formal para VLSI |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
| Ingeniería y Tecnología de Materiales |
Maestría |
No Requerido |
| Ingeniería y Tecnología de Materiales |
Doctorado |
No Requerido |
| Materiales y Procesos Relacionados |
Doctorado |
No Requerido |
Visualización de Datos
| COD |
Carga Horaria |
Descripción |
| 54688-02 |
30 |
Surgimiento y evolución histórica. Introducción al área de visualización y sus aplicaciones. Visualización de informaciones, visualización científica y análisis visual. Tipos de dados y representaciones visuales. Estrategias de visualización e interacción. |
| Sin ofrecer en el semestre actual |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
| COD |
Carga Horaria |
Descripción |
| 34678-02 |
30 |
|
| Profesor |
Horaria Local |
Lattes |
| SABRINA DOS SANTOS MARCZAK |
16 a¿os y 1 mes |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
| COD |
Carga Horaria |
Descripción |
| 1987I-02 |
30 |
|
| Profesor |
Horaria Local |
Lattes |
| FELIPE RECH MENEGUZZI |
12 a¿os y 9 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
| COD |
Carga Horaria |
Descripción |
| 19801-02 |
30 |
|
| Profesor |
Horaria Local |
Lattes |
| LUCAS SILVEIRA KUPSSINSKU |
3 a¿os y 4 meses |
Link |
| Área de concentración |
Tipo |
Obligatorio |
| Ciencia de la Computación |
Maestría |
No Requerido |
| Ciencia de la Computación |
Doctorado |
No Requerido |
