FLAGlab Uniandes
This channel is dedicated to disseminate the research advancements in computer science conducted by the FLAG research laboratory, part of the Systems and Computing Engineering Department (@DISCUniandes) at Universidad de los Andes in Bogotá - Colombia.
Our research focuses the Foundations, Programming Languages, Artificial Intelligence, Cryptography, and Algorithms aspects of computer science. Our research is applied to different domains ranging from theoretical aspects of computer science, to smart cities, to bioinformatics.

Verifying Context Oriented Programs With Refinement Types
![[NLP4DH25]Historical Ink:Exploring Large Language Models for Irony Detection in 19th-Century Spanish](https://ricktube.ru/thumbnail/Vbmu8x8hBJk/mqdefault.jpg)
[NLP4DH25]Historical Ink:Exploring Large Language Models for Irony Detection in 19th-Century Spanish
![[CL4Health25]Harnessing the Power of LLMs to Generate Plain Language Summaries from Biomedical Texts](https://ricktube.ru/thumbnail/F1P3iLcmVMs/mqdefault.jpg)
[CL4Health25]Harnessing the Power of LLMs to Generate Plain Language Summaries from Biomedical Texts

Integración de Agentes Basados en Modelos de Lenguaje Grandes en un Chatbot de Paciente Virtual

Computación Multipartita y SDP en la construcción del esquema de firmas SDitH

Cooperative LLM Agents

Quipu el primer computador cuánto en Colombia!!! #shorts

FLAG seminar - ICAI2024 dry-run presentations

FLAG seminar - Towards Better NLI for Spanish: A Multi-Genre Dataset and causal relationships

FLAG seminar - Translation systems for low-resource Colombian indigenous languages

Uso de JavaCC (II)

Uso de JavaCC (I)
![[LChange'24] Historical Ink: Semantic Shift Detection for 19th Century Spanish](https://ricktube.ru/thumbnail/A7ZRssbslDE/mqdefault.jpg)
[LChange'24] Historical Ink: Semantic Shift Detection for 19th Century Spanish

Buenas prácticas de programación en C++

Enhancing multi agent cooperation

Desarrollo de un bot conversacional de dominio específico

Adaptive Fine-tuning of LLMs with QLoRA Adapters

Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems

Historical Ink: Semantic Shift Detection for 19th Century Spanish

Semántica Pass-By-move en Sistemas Distribuidos

Hacia un Lenguaje Patron DevOps para las Startups Colombianas
![[MUA-202320-8] Algoritmos](https://ricktube.ru/thumbnail/TpjTQ1lQqck/mqdefault.jpg)
[MUA-202320-8] Algoritmos

Segment trees: Resolviendo consultas sobre rangos
![[MUA-202410-02] numbers](https://ricktube.ru/thumbnail/PXFziwKUVlY/mqdefault.jpg)
[MUA-202410-02] numbers

Recorridos sobre grafos DFS y BFS

¿Cómo implementar grafos?
![[MUA-202410-01] Graphs](https://ricktube.ru/thumbnail/QCs-cFwFVBY/mqdefault.jpg)
[MUA-202410-01] Graphs
![[LSA] Algorithms for accurate and efficient de novo genome assembly from long DNA sequencing reads](https://ricktube.ru/thumbnail/9f2f_CnDmt0/mqdefault.jpg)
[LSA] Algorithms for accurate and efficient de novo genome assembly from long DNA sequencing reads
![[APS][ISMB/ECCB23] Efficient Homology-Based Annotation of Transposable Elements Using Minimizers](https://ricktube.ru/thumbnail/ZSG2DGDbxj4/mqdefault.jpg)
[APS][ISMB/ECCB23] Efficient Homology-Based Annotation of Transposable Elements Using Minimizers
![[GIGAScience] A graph clustering algorithm for detection and genotyping of SVs from long reads](https://ricktube.ru/thumbnail/9gODLVgDOkE/mqdefault.jpg)
[GIGAScience] A graph clustering algorithm for detection and genotyping of SVs from long reads