Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Juan, Conejero"'
Autor:
Borges, Ana de Almeida, Bedmar, Mireia González, Rodríguez, Juan Conejero, Reyes, Eduardo Hermo, Buñuel, Joaquim Casals, Joosten, Joost J.
Publikováno v:
In Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 24), January 15--16, 2024, London, UK. ACM, New York, NY, USA, 12 pages
FV Time is a small-scale verification project developed in the Coq proof assistant using the Mathematical Components libraries. It is a library for managing conversions between time formats (UTC and timestamps), as well as commonly used functions for
Externí odkaz:
http://arxiv.org/abs/2209.14227
Autor:
Borges, Ana de Almeida, Bedmar, Mireia González, Rodríguez, Juan Conejero, Reyes, Eduardo Hermo, Buñuel, Joaquim Casals, Joosten, Joost J.
FV Time is a small-scale verification project developed in the Coq proof assistant using the Mathematical Components libraries. It is a library for managing conversions between time formats (UTC and timestamps), as well as commonly used functions for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::771e2bfa49bae2dce4283248d19764fc
http://arxiv.org/abs/2209.14227
http://arxiv.org/abs/2209.14227
Autor:
Roberto, Martínez-García, Montserrat, Abadías, Pere, Arañó, Lorenzo, Perales, José Luis, Ruíz, Mariano, Sust, Juan, Conejero, O, Bielsa
Publikováno v:
European Urology. 56:184-192
Background A dose-finding study was performed as the first step in the clinical development of the new drug, cizolirtine citrate. Objective To assess the efficacy and safety of cizolirtine citrate in overactive bladder with urinary incontinence. Desi
Autor:
Jesús, Chavarria Mendoza, Juan, Conejero Sugrañes, Luis, García Fernández, Ariadna, Conejero Olesti, Lucrecia, Ramírez Garcerán, Fabián, Sarrias Lorenz
Publikováno v:
Archivos espanoles de urologia. 55(2)
There are several procedures for the management and treatment of the neurogenic bladder. These are adjusted individually according to the results of the clinical examination and complementary tests. This study evaluates the results of treatment with
Autor:
Juan, Conejero Sugrañes, Aurelio, Muñoz Villellas, Fabián, Sarrias Lorenz, Lucrecia, Ramírez Garceran
Publikováno v:
Archivos espanoles de urologia. 55(1)
To evaluate the efficacy of prostaglandin E1 in the treatment of erectile dysfunction in patients with spinal cord or head injury.The study comprised 41 patients; 5 head and 36 spinal cord injury. Of these 36 patients, 20 had a lesion in the dorsal a