Maestría en Ingeniería de Sistemas y Computación
URI permanente para esta comunidad
Encuentre en acceso abierto la producción académica, investigativa y de creación de la Maestría en Ingeniería de Sistemas y Computación de la Universidad de los Andes.
Navegar
Examinando Maestría en Ingeniería de Sistemas y Computación por Título
Mostrando 1 - 20 de 499
Resultados por página
Opciones de ordenación
Publicación Acceso abierto A course recommendation system for limited information scenarios(Universidad de los Andes, 2022-05-26) Sanguino Pérez, Juan Camilo; Manrique Piramanrique, Rubén Francisco; 1031122840; Mariño Drews, Olga; Moreno Barbosa, Andrés DaríoRecommender systems in educational contexts have proven effective to identify learning resources that fit the interests and needs of learners. Their usage has been of special interest in online self-learning scenarios to increase student retention and improve the learning experience. In current recommendation techniques, the quality of the recommendation is largely based on the explicit or implicit information obtained about the learners. On free massive online learning platforms, however, the information available about learners may be limited and based mostly on logs from website analytics tools such as Google Analytics. In this research, we address the challenge of recommending meaningful content with limited information from users by using rating estimation strategies from a log system.Publicación Acceso abierto A domain-specific language to specify behavior in a management game simulator(Uniandes, 2011) Téllez Sánchez, Edwin Leonardo; Meneses Ramírez, Rafael Gustavo; Casallas Gutiérrez, Rubby; González Rojas, Oscar Fernando; Takahashi Rodríguez, Silvia; Arboleda Jiménez, Hugo FernandoThe contribution of this thesis is the use of the DSL approach in a real-world context (and not only as a case study), consisting on a domain-specific transactional system with a large number of functional requirements (with about70different business decisions) that can change through the time and whose size rises 800.000 LOCs. Finally, the whole project implementation is evaluated empirically through a validation workshop done by all of the targeted users(the MAGES developers). The advantages gained, and the issues faced could certainly serve as a reference case for other projects.Publicación Acceso abierto A framework for the analysis of quantum safe cryptography(Universidad de los Andes, 2025-06-20) Ruiz Gómez, Julio César; Cardozo Álvarez, Nicolás; Gauthier Umaña, Valerie Elisabeth; Perez Bernal, Juan FernandoDiseño y desarrollo de un framework para evaluar la eficiencia espacial y temporal de algoritmos de criptografía post-cuántica.Publicación Restringido A semi-automated approach to Colombian political ontologies through LLM agents and journalist analysis(Universidad de los Andes, 2025-06-25) Rodríguez Fonseca, José David; Manrique Piramanrique, Rubén Francisco; Rueda Rodriguez, Sandra Julieta; Uriza Antorveza, Pablo Andrés; FLAGThe combination of Knowledge Graphs (KGs) with Large Language Models (LLMs) is known as a paradigm shift in information retrieval and natural language understanding systems. This research proposes a novel methodology for semi-automatic generation and validation of KGs through the orchestration of LLMs and complementary frameworks, with a specific focus on Spanish language applications. Given the absence of high level annotated Spanish datasets, this investigation leverages advanced techniques, including LLM agent graphs, to facilitate ontology learning (OL) processes and automate document generation within journalistic contexts. The methodological framework encompasses systematic identification of data sources, implementation of extract, transform, and load (ETL) processes, database architecture design, selection and optimization of baseline models, and the development of an agent interaction protocol. The study explores a multi-model pipeline incorporating Named Entity Recognition (NER), Relation Extraction (RE), and Event Extraction (EE), subsequently integrated into Resource Description Framework Schema (RDFs) or Ontology Web Language (OWL) format. Through a comparative evaluation against contemporary state-of-the-art approaches in Knowledge Graph generation and ontology learning systems, this research advances our understanding of scalable KG solutions.Publicación Acceso abierto A testing framework for dynamic composable executable models(Uniandes, 2008) Moreno Puentes, Sergio Daniel; Villalobos Salcedo, Jorge AlbertoPublicación Acceso abierto A vision based algorithm for the guidance of a glider(2013) Martínez Benavides, John Jairo; Rosa Rosero, Mario Fernando de la; Garcés, Delia; Hernández Peñaloza, José Tiberio; Rodríguez Herrera, Carlos FranciscoPublicación Acceso abierto Academic performance prediction system based on machine learning models and knowledge tracing(Universidad de los Andes, 2024-06-04) Benitez Amaya, Andrés Felipe; Manrique Piramanrique, Rubén Francisco; Aguirre Herrera, Sandra Leonor; Manrique Piramanrique, Rubén Francisco; Mariño Drews, Olga; Facultad de Ingeniería::TICSw: Tecnologías de Información y Construcción de SoftwareThe Universidad de los Andes, like many universities in Latin America and around the world, faces a challenge with high rates of student dropout and an increase in the average number of semesters a student takes to complete their degree. Various research efforts aim to address this issue by developing tools for early detection of students at a high risk of failing a course. This approach could have a positive impact on the university by enabling early alerts and providing recommendations, suggestions, and support to students in such situations. Existing literature explores this problem from different perspectives, with a focus on implementing machine learning models to predict academic performance—essentially forecasting grades or categorizing them into ranges. However, most of these studies concentrate on the outcomes of these models rather than exploring the broader implications of the results. This research will analyze the most common machine learning models discussed in the literature for addressing student performance issues, such as Logistic Regression (LR), Support Vector Machine (SVM), Multilayer Perceptron (MLP), Random Forest (RF), Gradient Boosting (GBoosting), XGBoost (XGB), and Long-Short Term Memory (LSTM). Various combinations of hyperparameters will be considered for different training representations. Subsequently, using the results, a Knowledge Tracing (KT) model based on concepts will be developed. This model aims to provide the university with information about potential concepts or knowledge areas that need reinforcement and pose a risk to the student. This approach will enhance the prediction model by considering a stu dent’s specific concepts for a particular subjectPublicación Acceso abierto Accent based model for speech spoofing countermeasures.(Universidad de los Andes, 2023-12-06) Hurtado Romero, Jaime Arturo; Manrique Piramanrique, Rubén Francisco; 1031122840; Moreno Barbosa, Andrés Darío; Núñez Castro, Haydemar MaríaThis research focuses on the development of a robust anti-spoofing system capable of accurately detecting diverse types of spoofing attacks, including speech synthesis and speech conversion, across multiple accents. These spoofing attacks pose a significant security threat, potentially resulting in unauthorized access, financial fraud, and identity theft. With the emergence of deep learning generative architectures, the vulnerability to spoofing attacks has heightened. However, the challenge lies in the performance degradation of anti-spoof models trained on English datasets when applied to Spanish datasets due to accent bias and the inadequate consideration of multiple accents in training datasets or feature extraction processes. To tackle this issue, the research aims to develop a comprehensive anti-spoofing architecture that encompasses front-end models for feature extraction and back-end models for classification. By evaluating the impact of different front-end and back-end architectures on diverse training sets, considering language and accent diversity, and analyzing the correlation between accents and feature extraction, the study seeks to enhance the robustness of anti-spoofing systems. The ultimate goal is to enable the detection of spoofing attacks regardless of the attacker’s accent or language.Publicación Acceso abierto Ad Hoc systems management and specification with distributed Petri Nets.(Universidad de los Andes, 2021) Sosa Flórez, Juan Sebastián; Cardozo Álvarez, Nicolás; Takahashi Rodríguez, Silvia; Leger, PaulManaging mobile ad hoc systems is a difficult task due to the high volatility of the systems¿ topology. Ad hoc systems are commonly defined by means of their constituent entities and the relationships between such entities, however, a formal specification and run-time execution model is missing. The benefit of a formal specification is that it can enable reasoning about local and global system properties, for example, determining whether the system can reach a given state. We propose a Petri net-based specification and execution model to manage ad hoc distributed systems. Our model enables spontaneous communication between previously unknown system components. The model is locally equivalent to standard Petri nets, and hence could be used for the verification of properties for system snapshots static with respect to connections and disconnection, in which it is possible to analyze liveness, reachability, or conflicts. We validate the usability of our distributed ad hoc Petri net model by modeling distributable systems as described by existing distributed Petri nets approaches. Additionally, we demonstrate the ap- plicability and usability of the proposed model in distributed ad hoc networks by implementing the communication behavior of two prototypical ad hoc network applications, disaster and crisis management, and VANETs, successfully validating the appropriate behavior of the system in each case.Publicación Acceso abierto Adaptación dinámica de modelos ejecutables extensibles para aplicaciones basadas en control(Uniandes, 2008) Barrero López, Iván Rodrigo; Villalobos Salcedo, Jorge AlbertoPublicación Acceso abierto Administración de variabilidad en una línea de productos basada en modelos(Universidad de los Andes, 2007) Garcés Pernett, Kelly Johany; Casallas Gutiérrez, RubbyPublicación Acceso abierto Agente usuario para el portal Universidad de los Andes(Universidad de los Andes, 2009) Ospino Reales, Merilin; Rueda Fajardo, FranciscoPublicación Acceso abierto Airway tree segmentation based on CT images of patients with acute respiratory distress syndrome (ARDS)(2012) Ortega Muñoz, Diana Carolina; Hernández Hoyos, Marcela; Hernández Peñaloza, José Tiberio; Orkisz, MaciejThe purpose of this project was to study the influence of the airway volume over the lung volume for acute respiratory distress syndrome (ARDS). For achieving this, a method of region growing and Variational Region Growing (VRG) adapted for airway segmentation were tested and voxels of segmentation results were classified into regions depending on the aeration level as over aerated, normally aerated, poorly aerated or non-aerated. Finally, results of each region for region growing method were compared against results for VRG method using Pressure-volume curves (PV-curves). Tests were carried out over Computer Tomography (CT) volumes for 8 pigs with induced ARDS at various aeration conditions. A total of 37 CT images were analyzed for pig. The results indicated that VRG method goes to the 4 or 5 generation of airway and segments 14% more of bronchi in pathologic lungs than a region growing algorithm. It was found that most of the bronchi reside in the over aerated class and they represent 2% of the lung area in the pig. Despite those results, it is recommended further research to improve accuracy of airway detection and a technique for results validation and branch counting.Publicación Acceso abierto Algorithmic diversity through semantic program comparison(Universidad de los Andes, 2021) Trujillo Achury, Miller Andrés; Cardozo Álvarez, Nicolás; Takahashi Rodríguez, Silvia; Nallur, VivekLa diversidad es una propiedad bien estudiada en el diseño de software, especialmente en áreas como la seguridad o los sistemas distribuidos. Sin embargo, a la hora de diseñar un sistema, no existen formas adecuadas de medir la diversidad real entre las distintas implementaciones del mismo. Por tanto, proponemos una nueva métrica de diversidad basada en técnicas de análisis de similitud de programas que utiliza la representación de grafos de flujo de control para determinar el grado de similitud de dos programas dados. Dividimos nuestro trabajo en dos partes principales: El análisis de la similitud de los programas y el análisis del impacto de la diversidad en el software. Para validar nuestro enfoque de análisis de la similitud de los programas, utilizamos programas simples de los dominios de los algoritmos de ordenamiento, búsqueda y agregación, midiendo la similitud entre las diferentes implementaciones. Además, utilizamos un nuevo corpus creado a partir de problemas de concursos virtuales de programación competitiva para descubrir la similitud entre las soluciones presentadas por los concursantes. Para evaluar el impacto de la diversidad, utilizamos una configuración de balanceadores de carga que implementan diferentes algoritmos, y medimos el rendimiento del sistema utilizando la latencia y la tasa de errores. Nuestros resultados muestran que, de hecho, nuestro enfoque para analizar la similitud de los programas detecta correctamente la similitud entre diferentes implementaciones de programas, y marca como diferentes aquellas implementaciones a problemas no relacionados, con un rendimiento comparable a los enfoques existentes. Por último, también observamos que al añadir diversidad a la configuración de balanceadores de carga se reducía la latencia de todo el sistema, sin impactar las tasas de error.Publicación Acceso abierto Algoritmo de enrutamiento de bajo consumo energético para redes de sensores IoT en entornos rurales(Uniandes, 2017) González Quiñones, Andrés Leonardo; Donoso Meisel, Yezid Enrique; Lozano Garzon, Carlos Andres; Rueda Rodríguez, Sandra Julieta; Montoya Orozco, Germán AdolfoLos dispositivos IoT hacen parte de nuestra vida y cada día toman mayor relevancia, sin embargo, una de las áreas en las que se ha visto mayor crecimiento es en la toma datos por medio de sensores en ambientes remotos. Estas locaciones están caracterizadas porque no hay una fuente energética disponible, y las conexiones de datos son limitadas. Debido a estas restricciones se han utilizado redes de sensores que usan baterías y más recientemente, se ha implementado la técnica de Energy Harvesing para que recolecten energía del ambiente. Sin embargo, es necesario encontrar una solución óptima al enrutamiento de los datos en la red, de modo que el consumo energético sea el mínimo posible y así lograr que los dispositivos sean autosostenibles. Para lograr esto se desarrolló un modelo matemático que describe el funcionamiento de una red de sensores con su respectivo flujo de datos y consumo energético asociado, además se considera la energía que estos obtienen por medio del Harvesting...Publicación Acceso abierto Algoritmo de enrutamiento multi objetivo para redes de sensores inalámbricos móviles en una carrera de ciclismo de ruta(Uniandes, 2017) González Tavera, John Jairo; Donoso Meisel, Yezid Enrique; Lozano Garzón, Carlos Andrés; Rueda Rodríguez, Sandra Julieta; Montoya Orozco, Germán AdolfoLas nuevas tendencias en informática han permitido la generación de nuevas cantidades de información, esto requiere el desarrollo de nuevas aplicaciones y servicios que utilicen estas tecnologías para aprovechar y analizar estas nuevas cantidades de información y poder mejorar algunas actividades diarias de los seres humanos en diferentes áreas. Uno de los deportes que más llama la atención es el ciclismo, dado que tiene una gran popularidad en la población general y es un deporte con una gran demanda física. Un ciclista durante una de las grandes vueltas puede generar hasta 3 millones de datos ". El objetivo es poder analizar todos estos datos para ayudar a mejorar el rendimiento del equipo. Para resolver las consideraciones anteriores, se propone un modelo para la transmisión de datos en redes de sensores móviles aplicadas a carreras de ciclistas que contemplan múltiples SINK, que implementa primero un método de agrupamiento que establece la topología de la red en un tiempo determinado aprovechando...Publicación Acceso abierto Algoritmo de enrutamiento para aplicaciones críticas de IoT en entornos de red virtualizados(Universidad de los Andes, 2017) Ruiz Gómez, Laura María; Donoso Meisel, Yezid Enrique; Lozano Garzon, Carlos Andres; Rueda Rodríguez, Sandra Julieta; Montoya Orozco, Germán AdolfoA medida que el concepto de ciudades inteligentes evoluciona, se van incorporando nuevos servicios para facilitar la vida cotidiana de las personas, un campo de gran crecimiento en la última década es el campo de las redes vehiculares (VANETs por sus siglas en inglés). Las aplicaciones de las VANETs son especialmente conocidas por sus exigencias en las características de calidad de servicio (QoS, por sus siglas en inglés) y otros desafíos como la seguridad de la información, alta movilidad, conectividad intermitente, flexibilidad y una gran heterogeneidad en las aplicaciones [1]. En el presente trabajo, es propuesto un modelo matemático para un algoritmo de enrutamiento para las VANETs que permite seleccionar la mejor ruta posible en la red, minimizando el delay de transmisión, la pérdida de paquetes en los enlaces y optimizando el ancho de banda de dichos enlaces. Esto con el propósito de brindar a los usuarios de las VANETs una comunicación confiable, eficiente, y segura. El modelo propuesto fue implementado en el software matemático GAMS para su validación, la cual arrojó los resultados esperados, dando así solución al problema planteado.Publicación Acceso abierto Algoritmo de optimización multi-objetivo para balanceo de carga de múltiples servicios en redes hetereogéneas utilizando vertical handover y multihoming(Universidad de los Andes, 2013) Molina Arteta, Miguel Francisco; Donoso Meisel, Yezid Enrique; Rueda Rodríguez, Sandra Julieta; Montoya Mendoza, Juan CarlosPublicación Acceso abierto Algoritmo de optimización para el balanceo de carga en redes heterogéneas utilizando vertical handover con un esquema de multihoming(2012) Jiménez Agudelo, Julián; Donoso Meisel, Yezid Enrique; Montoya Mendoza, Juan Carlos; Rueda Rodríguez, Sandra JulietaEsta tesis presenta un algoritmo para realizar balanceo de carga teniendo en cuenta la variedad de interfaces de red con las que cuentan los dispositivos móviles de la actualidad así que explota la capacidad de multihoming dependiendo del tipo de servicio que se demande desde el dispositivo y ofreciendo una disposición para realizar VHO por interfaz.Publicación Acceso abierto Algoritmos paralelos en Spike Sorting(Universidad de los Andes, 2014) Bohórquez Puentes, Eliana Alejandra; Castro Barrera, Harold Enrique; Valderrama Manrique, Mario Andrés; Gómez Díaz, Rafael Enrique