-
Ernesto Dufrechou - Aceleración de Métodos de Reducción de Modelos Dispersos en Arquitecturas Multi/Many-Core
La simulación de procesos naturales mediante herramientas computacionales suele involucrar modelos numéricos con grandes períodos de tiempo o dimensiones importantes en los sistemas de ecuaciones a resolver. Para abordar este tipo de problemas, las técnicas de reducción de modelos (MOR) apuntan a transformar el modelo matemático original de un problema en otro modelo mucho más simple pero que mantenga las principales características matemáticas del modelo original.
-
Workshop on Formal Verifcaton of Proofs and Programs
Los participantes del workshop son investigadores externos que estarán en Montevideo con motivo de la defensa de tesis de doctorado de Juan Diego Campo. Más información en el adjunto.
-
Patricia Díaz: "Learning Analytics y protección de datos personales", en el marco de actividades del Grupo SIS
La Dra. Patricia Díaz Charquero en Asistente G2 del Grupo de Sistemas de Información Semánticos (SIS) del InCo. Es abogada de Creative Commons Uruguay, y docente en Tecnologías Digitales en el Consejo de Formación en Educación ANEP.Está desarrollando la Maestría en Relaciones Internacionales.
-
Presentación del Consejo Académico del INCO
En este periodo el Consejo Académico del INCO ha trabajado en dos grandes puntos que entendió de interés estratégico:
1- Estructura Organizacional del InCo.
2- Dar una definición de "Grupo de Investigación del InCo".
Sobre dichos puntos se trabajó en comisiones Ad Hoc del CA que luego compartieron los documentos de trabajo con el resto del CA.
El CA itero muchas veces sobre versiones de (1) y (2) , se le dedicó muchísimo tiempo a ajustes varios en función de las visiones y opiniones de los diferentes integrantes del CA.
-
Javier Baliosian - "An Abstraction for the Analysis of Secure Policy Interoperability"
Complex interactions between two organizations, involving sensible information and resources, requires to honor each organization's security policy. This implies to make compatible different sets of policy rules that were designed for different organizations, and, therefore, different subjects, actions, and objects, classified andorganized in different manners.
-
Sylvia da Rosa: The construction of knowledge of basic algorithms and data structures by novice learners
Piaget's theory offers a model for explaining the construction of knowledge that can be
used in all domains and at all levels of development, based on establishing certain parallels between
general mechanisms leading from one form of knowledge to another, both in psychogenesis and in
the historical evolution of ideas and theories. The most important notion of these mechanisms is
the triad of stages, called by Piaget the intra, inter and trans stages. The main goal of our work -
Formal Concept Analysis meets Information Retrieval, Victor Codocedo (LORIA/INRIA/CNRS - Nancy, France)
One of the first models to be proposed as a document index for retrieval purposes was a lattice structure, decades before the introduction of Formal Concept Analysis (FCA), a data analysis and mining formalism based in the extraction of maximum rectangles from anobject-attribute incidence table or "formal context".In the nineties, as FCA was starting to settle as an epistemic community, lattice-based Information Retrieval (IR) systems smoothly transitioned towards FCA-based IR systems.
-
Patricia Polero: Aplicación del modelo de análisis de componentes principales (PCA) en patrones de movimientos humanos para su aplicación en robots humanoides
Es conocido, en varias especies animales que los movimientos rítmicos que permiten la locomoción, están controlados por circuitos neuronales llamados centros generadores de patrones (CPG) pero aún no se sabe con certeza si estos circuitos existen en el humano.
-
Gabriel López & Jorge Corral - "El negocio del Software"
En 2014 se desarrolló un Módulod e Taller con esta temática, y se propone incorporar como asignatura electiva.
El objetivo es:
"Brindar una visión general de los diversos aspecto y temáticas que surgen al considerar al software como un negocio. Se busca con esto brindar herramientas que permitan al estudiante analizar y contextualizar modelos y prácticas de negocio en el marco de tendencias históricas y prácticas habituales en la industría de software, tanto a nivel global como local."
-
Franco Robledo - Una nueva fórmula para el cálculo exacto de la K-Terminal-Reliability de una Red
Hace más de 25 años Fred Moskowitz demostró un famoso teorema donde intruduce una fórmula recursiva para el cálculo del valor de la K-Terminal-Reliability de un Grafo G=(V,E) siendo K el subconjunto de nodos objetivo o terminales. A saber, la probabilidad que, dado que las aristas fallan con cierta probabilidad (los nodos se asumen perfectos) los nodos del conjunto K permanezcan conectados entre sí (i.e. en una misma componente conexa).