All decks Close
All decks 29

  • Arboles Binarios de Busqueda

    Arboles Binarios de Busqueda

    Oct 13, 2024 87 1

  • crtds

    CRDTs

    May 10, 2024 48 0

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

    Apr 08, 2024 40 0

  • SYNCORDIAN

    Syncordian

    Mar 07, 2024 32 0

  • Welcome

    Jan 19, 2024 58 0

  • Recurrence relations

    Ecuaciones no lineales de recurrencia

    Aug 17, 2023 834 0

  • Complejidad: Conceptos fundamentales

    Complejidad: Conceptos fundamentales

    Aug 12, 2023 592 0

  • Safety Verification of the Raft Leader Election Algorithm using Athena

    Safety Verification of the Raft Leader Election Algorithm using Athena

    Jul 31, 2023 53 0

  • Modal Logic

    May 17, 2023 66 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 155 0

  • Exploración de grafos de estados

    May 12, 2023 145 0

  • Intratabilidad

    Intratabilidad

    Apr 24, 2023 169 1

  • Análisis de flujo en redes

    Análisis de flujo en redes

    Apr 08, 2023 261 0

  • No linear recurrence relations

    Ecuaciones no lineales de recurrencia

    Feb 02, 2023 216 0

  • Code

    Dec 06, 2022 47 0

  • Intratabilidad

    Intratabilidad

    Nov 09, 2022 290 0

  • Share a secret

    Share a secret

    Nov 08, 2022 78 2

  • MACs

    MACs

    Oct 31, 2022 73 1

  • Algoritmo voraz

    Oct 31, 2022 266 0

  • Copy of actors

    Reasoning about actor systems

    Oct 31, 2022 49 0

  • actors

    Reasoning about actor systems

    Oct 30, 2022 46 0

  • Funciones de Hash

    Firmas Digitales

    Oct 24, 2022 62 1

  • Proyectos

    Firmas Digitales

    Oct 06, 2022 83 2

  • Busqueda en grafos

    Búsqueda en grafos

    Sep 29, 2022 379 0

  • Firmas Digitales

    Firmas Digitales

    Sep 27, 2022 165 2

  • El Gamal

    El Gamal

    Sep 21, 2022 105 0

  • Programación dinámica

    Programación dinámica

    Sep 16, 2022 631 0

  • deck

    Sep 12, 2022 140 0

  • Divide and conques

    Sep 11, 2022 481 0