Browsing by Author "140349ba-a5fd-48d2-82ec-6f7a700485d1"
Now showing items 1-2 of 2
-
Olivares, R.; Toledo, C.; Vera, Y.; Morgan, C.; Pérez H., María Angélica; Ortíz, A.; Henríquez, M.; Hernández, A.; Cifuentes, F. (2010)Stress can be understood as a threat to psychological or physiological integrity of the individual. Stress has previously shown to alter morphology and function of diverse structures of the Central Nervous System related ...
-
Cifuentes, F.; Bustos, J.; Simmonds Wagemann, Jocelyn Paola (2016)Formal verification means to rigorously explore the correctness of system designs expressed as mathematical models, most likely with the assistance of modern computers. Original approaches were to model and express a ...