Results 111 to 120 of about 38,187 (165)

Combined parameters estimation for ¹³¹I dosimetry treatment planning in Hyperthyroidism using 2D and 3D

Nucleus, 2017
Optimization and verification of Specific Patient Treatment Planning with unsealed 131I sources in hyperthyroidism diseases is a desirable goal from medical and radiation protection viewpoints.
Adlín López Díaz, Reysel Reynosa Montejo, Aley Palau San Pedro, Juan Miguel Martín Escuela, Leonel Alberto Torres Aroche   +4 more
doaj  

Verificación de conexiones telefónicas con esterel

, 1995
[Resumen] El presente trabajo resume el proceso de diseño, implementación y verificación del comportamiento de una centralita telefónica digital en el entorno de programación de tiempo real síncrono Esterel. Nuestra intención es mostrar la modularidad de
Graña Gil, Jorge, Bernhard, R., Vilares Ferro, Manuel   +2 more
core  

Verificación de hablante basado en Dynamic Time Warping

, 2011
Este proyecto desarrolla un sistema de verificación de hablante, texto dependiente basado en alineamiento dinámico del tiempo (DTW, del inglés Dynamic Time Warping), utilizando el espectro de la señal de voz como elemento de juicio. Al final del proyecto
Ripoll Solano, Lácides Antonio
core   +1 more source

REVISIÓN, VERIFICACIÓN Y VALIDACIÓN EN UN PROCESO DE DESARROLLO DE SOFTWARE / REVIEW, VERIFICATION AND VALIDATION IN A SOFTWARE DEVELOPMENT PROCESS

Revista Científica de Ingeniería Industrial, 2011
<p>En el presente artículo se expone una interpretación, a través de una metodología en los proyectos de desarrollo de software, del requisito ISO para el diseño.
Javier Blanco Llano, Aida G. Rodríguez Hernández   +1 more
doaj  

Verificación de programas [PDF]

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2024, Director: Juan Carlos Martínez Alonso[en] Hoare’s logic is one of the main methods for verifying the partial correctness of programs.
Rodríguez Martínez, Ana
core   +1 more source

Mejorar la comunicación sobre la equidad en la salud en la investigación observacional (STROBE Equidad): la lista de verificación ampliada y su elaboración. [PDF]

Rev Panam Salud Publica
Dewidar O, Shamseer L, Melendez-Torres GJ, Akl EA, Ramke J, Wang X, Oloyede O, Young T, Nicholls SG, Marshall Z, Kennedy M, Hardy BJ, Rizvi A, Ghogomu E, Rader T, Waddington HS, Shea B, Nguilefem MN, Ellingwood H, Wolfenden L, Tufte J, Horsley T, Pottie K, Cuervo LG, Juando-Prats C, Feng C, Sharp MK, Little J, Owusu-Addo E, Francis D, Kredo T, Mahande MJ, Chamberlain C, Pantoja T, von Elm E, Bhutta ZA, Tugwell P, Wiysonge CS, Funnell S, Jull J, Mbuagbaw L, Welch V.   +41 more
europepmc   +1 more source

Desarrollo de Protocolos de Verificación Operativa en Equipos Electromédicos

, 2014
Este proyecto se ha realizado por la necesidad de elaborar un mantenimiento preventivo y correctivo de un conjunto de equipos de instrumentación biomédica que se encuentran en un hospital con el fin, de procurar que estos funcionen correctamente y sean ...
Tomás Cucarella, Jose
core  

[ICT in the evaluation of the quality of medical care]. [PDF]

Rev Med Inst Mex Seguro Soc
González-Rodríguez S, Rivas-Ruiz R, Espinosa-Rafful CJ, Montano-López MA, Robles-Rodríguez A, Pelayo-Camacho R, Bonifaz-Alfonzo LC, Obrador-Garrido Cuesta LAG.   +7 more
europepmc   +1 more source

Prevalence of adverse events in hip and knee arthroplasties following the implementation of surgical checklists. [PDF]

Rev Lat Am Enfermagem
Batista J, Cruz EDA.
europepmc   +1 more source

Validación del reactivo fCAL turbo Buhlmann para la determinación de calprotectina en suero. [PDF]

Adv Lab Med
Čičak H, Šarčević Ž, Sruk A, Bukvić F, Pašalić D, Dukić L, Šimundić AM.   +6 more
europepmc   +1 more source