Exploració per tema "Length"

Ara es mostren els items 1-3 de 3

    • Algorisme i aplicació pel càlcul de la velocitat i longitud del pas humà mitjançant sensors inercials amb finalitats mèdiques. 

      Gonzalo Acosta, Francisco Javier (Universitat Politècnica de Catalunya, 2011-06-21)
      Projecte/Treball Final de Carrera
      Accés obert
      Català: La velocitat i la longitud del pas són dos paràmetres de la marxa útils en la diagnosi mèdica ja que, per exemple, són sensibles a l estat en què es troben els malalts de Parkinson, diabetis i persones amb risc de ...

    • Narrow proofs may be maximally long 

      Atserias, Albert; Lauria, Massimo; Nordström, Jakob (Institute of Electrical and Electronics Engineers (IEEE), 2014)
      Text en actes de congrés
      Accés obert
      We prove that there are 3-CNF formulas over n variables that can be refuted in resolution in width w but require resolution proofs of size n¿(w). This shows that the simple counting argument that any formula refutable in ...

    • The Length and Betweenness Relations of Indistinguishability Operators 

      Boixader Ibáñez, Dionís; Jacas Moral, Juan; Recasens Ferrés, Jorge (1999-06)
      Article
      Accés restringit per política de l'editorial
      The most common ways used to generate indistinguishability operators, namely as transitive closure of reexive and symmetric fuzzy relation, via the Representation Theorem and as decomposable relations, is related for ...