Exploració per tema "LF"

Ara es mostren els items 1-2 de 2

    • Adequate encodings of logical systems in UTT 

      Mylonakis Pascual, Nicolás (2003-03-02)
      Report de recerca
      Accés obert
      In this paper, we present an existing and formalized type theory (UTT) as a logical framework. We compare the resulting framework with LF and give the representation of two significant type systems in the framework: ...

    • Análisis de biomarcadores electrocardiográficos en pacientes con Síndrome de Brugada 

      Ospina Rueda, Karen Alejandra (Universitat Politècnica de Catalunya, 2021-05-31)
      Treball Final de Grau
      Accés obert
      El síndrome de Brugada es una patología cardiaca eléctrica primaria genéticamente determinada. Esta se caracteriza por alteraciones electrocardiográficas distintivas, en donde el paciente puede llegar a presentar muerte ...