All decks Close
All decks 32

  • Welcome_PLE

    Jan 19, 2026 30 0

  • Pass By Move

    Syncordian

    Sep 24, 2025 46 0

  • Order-Sorted 2 Many-Sorted

    Sep 07, 2025 61 0

  • Arboles Binarios de Busqueda

    Arboles Binarios de Busqueda

    Oct 13, 2024 279 1

  • crtds

    CRDTs

    May 10, 2024 210 0

  • Learning Recovery Strategies for Dynamic Self-Healing In Reactive Systems

    Apr 08, 2024 170 0

  • SYNCORDIAN

    Syncordian

    Mar 07, 2024 188 0

  • Welcome

    Jan 19, 2024 175 0

  • Recurrence relations

    Ecuaciones no lineales de recurrencia

    Aug 17, 2023 1,208 0

  • Complejidad: Conceptos fundamentales

    Complejidad: Conceptos fundamentales

    Aug 12, 2023 895 0

  • Safety Verification of the Raft Leader Election Algorithm using Athena

    Safety Verification of the Raft Leader Election Algorithm using Athena

    Jul 31, 2023 175 0

  • Modal Logic

    May 17, 2023 169 0

  • Algoritmos aproximados

    This presentation covers topics related to approximate algorithms and agenda-based algorithms, specifically the DOM algorithm. Learn about the innovative work of Mateo Sanabria Ardila in ISIS1105.

    May 14, 2023 482 0

  • Exploración de grafos de estados

    May 12, 2023 307 0

  • Intratabilidad

    Intratabilidad

    Apr 24, 2023 575 2

  • Análisis de flujo en redes

    Análisis de flujo en redes

    Apr 08, 2023 410 0

  • No linear recurrence relations

    Ecuaciones no lineales de recurrencia

    Feb 02, 2023 347 0

  • Code

    Dec 06, 2022 149 0

  • Intratabilidad

    Intratabilidad

    Nov 09, 2022 433 0

  • Share a secret

    Share a secret

    Nov 08, 2022 152 2