Zobrazeno 1 - 10
of 1 185
pro vyhledávání: '"Rafael Sa"'
Autor:
Menezes, Rafael Sá, Manino, Edoardo, Shmarov, Fedor, Aldughaim, Mohannad, de Freitas, Rosiane, Cordeiro, Lucas C.
Bounded Model Checking (BMC) is a widely used software verification technique. Despite its successes, the technique has several limiting factors, from state-space explosion to lack of completeness. Over the years, interval analysis has repeatedly bee
Externí odkaz:
http://arxiv.org/abs/2406.15281
Safety-critical systems with neural network components require strong guarantees. While existing neural network verification techniques have shown great progress towards this goal, they cannot prove the absence of software faults in the network imple
Externí odkaz:
http://arxiv.org/abs/2309.03617
Autor:
Elizabeth F Daher, Rafael SA Lima, Geraldo B Silva Júnior, Eveline C Silva, Nahme NN Karbage, Raquel S Kataoka, Paulo C Carvalho Júnior, Max M Magalhães, Rosa MS Mota, Alexandre B Libório
Publikováno v:
Brazilian Journal of Infectious Diseases, Vol 14, Iss 1, Pp 03-10
INTRODUCTION: leptospirosis is a zoonosis of worldwide importance. The disease is endemic in Brazil. This study was conducted to describe the clinical and laboratory presentation of leptospirosis in a metropolitan city of Brazil. METHODS: this is a r
Externí odkaz:
https://doaj.org/article/4a22536e88e9405bb617f4192d79ae0a
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Rafael Sa Silva Selbach, Gustavo Roese Sanfelice, Diego Matheus Schaab, Denise Bolzan Berlese
Publikováno v:
Semina: Ciências Biológicas e da Saúde. 43:223-232
O presente estudo, descritivo, de caráter quantitativo, transversal, buscou avaliar e comparar o desenvolvimento motor de escolares de 8 a 10 anos de idade, da cidade de Novo Hamburgo, estado do Rio Grande do Sul, Brasil. Participaram do estudo 145
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dbaa73fcfab14bd32e7bf1ec60f49a85
https://doi.org/10.5433/1679-0367.2022v43n2p223
https://doi.org/10.5433/1679-0367.2022v43n2p223
Autor:
Diego M. Carrion, Loic Baekelandt, Moises Rodriguez Socarras, Willem M. Brinkman, Tiago Ribeiro de Oliveira, Giovannalberto Pini, Anna H. de Vries, Cristina E. Bujoreanu, Tomasso Silvestri, Andreas Skolarikos, Bogdan Petrut, Domenico Veneziano, Francesco Greco, Mario Alvarez-Maestro, Rafael Sanchez-Salas, Rafael Rocha Tourinho-Barbosa, Evangelos Liatsikos, Bhaskar Somani, Juan Gomez Rivas, Paticia J. Zondervan
Publikováno v:
European Urology Open Science, Vol 69, Iss , Pp 22-50 (2024)
Background and objective: While programmes such as the European Basic Laparoscopic Urological Skills have made strides in foundational training, a significant gap exists for intermediate and advanced laparoscopy education. Our objective is to develop
Externí odkaz:
https://doaj.org/article/9281d8096f0f42f3bd2efdf79e62babe
Autor:
Vasco M. N. C. S. Vieira, Rafael Santos, David Leitão-Silva, Arthur Veronez, Joana M. Neves, Marta Nogueira, Ana Brito, Rui Cereja, Joel C. Creed, Chiara M. Bertelli, Jimena Samper-Villarreal, Cátia Bartilotti, Jorge Lobo-Arteaga
Publikováno v:
Communications Earth & Environment, Vol 5, Iss 1, Pp 1-22 (2024)
Abstract Studies for the preservation of seagrass beds biotopes have met difficulties in establishing appropriate methods assessing their health. We tested the efficiency of space occupation by seagrasses scattered worldwide (dgrass index), which pro
Externí odkaz:
https://doaj.org/article/bf3b89654d75481283d7094de73077de
Autor:
Sandra León-Herrera, Bárbara Oliván-Blázquez, Raquel Sánchez-Recio, Fátima Méndez-López, Rosa Magallón-Botaya, Rafael Sánchez-Arizcuren
Publikováno v:
Archives of Public Health, Vol 82, Iss 1, Pp 1-13 (2024)
Abstract Background Digital interventions are expected to facilitate the treatment of patients suffering from Long COVID. This trial assesses the effectiveness of a multimodal rehabilitation program —comprising both online and synchronous component
Externí odkaz:
https://doaj.org/article/9596074501274c5a8e24b49f5a85a00a
Autor:
Leto Luana Riebel, Zhinuo Jenny Wang, Hector Martinez-Navarro, Cristian Trovato, Julia Camps, Lucas Arantes Berg, Xin Zhou, Ruben Doste, Rafael Sachetto Oliveira, Rodrigo Weber dos Santos, Jacopo Biasetti, Blanca Rodriguez
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-12 (2024)
Abstract Human-based modelling and simulation offer an ideal testbed for novel medical therapies to guide experimental and clinical studies. Myocardial infarction (MI) is a common cause of heart failure and mortality, for which novel therapies are ur
Externí odkaz:
https://doaj.org/article/07ce5339c7314d4ca4646c737d74cf59