Galdón Arnandis, Adrià(Universitat Politècnica de València, 2023-09-15)
[CA] La diabetis de tipus 2 (DMT2) causa un augment important i precoç de la mortalitat
i una reducció de la qualitat de vida dels pacients. El component genètic de la DMT2
suposa més del 50%, però en la seua major part ...
[EN] A common way of learning to perform a task is to observe how it is carried out by experts. However, it is well known that for most tasks there is no unique way to perform them. This is especially noticeable the more ...
Ballis, Demis(Universitat Politècnica de València, 2008-05-07)
The increasing complexity of software systems has led to the development of sophisticated formal Methodologies for verifying and correcting data and programs. In general, establishing whether a program behaves correctly ...