Results 21 to 30 of about 44,855 (117)

SoS contract verification using statistical model checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems
Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold   +4 more
doaj   +1 more source

Institutional and home delivery practices and their predictors among women in Benadir region, Somalia: a community-based cross-sectional study

Gynecology and Obstetrics Clinical Medicine
Background Somalia has one of the highest maternal mortality rates globally, driven by decades of conflict, fragile health systems and limited access to skilled birth attendance.
Hassan Abdullahi Dahie, Mohamed Abdullahi Osman, Yusuf Ali Jimale, Falis Ibrahim Mohamud, Hamdi Ahmed Hussein, Mohamed Osman Alasow, Abukar Abdi Osman, Abdirahman Mohamed Abdullahi, Mohamed Maalin Dakane, Dek Abdi Hussein, Abdullahi Adan Isak, Lukman Sheikh Omar, Sadia Hussein Mohamud, Ahmed Mohamed Abdullahi, Hamda Abdullahi Roble   +14 more
doaj   +1 more source

Gestão compartilhada no Parque Nacional da Serra do Divisor, Acre: desafios e oportunidades

Labor & Engenho, 2017
A gestão de unidades de conservação é de extrema relevância ao desenvolvimento regional da Amazônia, somando-se os desafios da economia extrativa, das grandes obras de infraestrutura e os possíveis efeitos das mudanças climáticas.
Ayri Saraiva Rando, Alisson Sobrinho Maranho, Miguel Scarcello   +2 more
doaj   +1 more source

Determinants of neonatal near miss among newborns admitted to SOS Mother & Child Hospital, Benadir region, Somalia: a case-control study

Maternal Health, Neonatology and Perinatology
Background While the birth of a newborn is often a moment of great joy, it can be overshadowed by life-threatening complications that endanger survival in the early days of life. Neonatal near-miss (NNM) cases are infants who survive severe complications,
Hassan Abdullahi Dahie, Falis Ibrahim Mohamud, Mohamed Abdullahi Osman, Yusuf Ali Jimale, Hamdi Ahmed Hussein, Mohamed Osman Alasow, Abukar Abdi Osman, Abdirahman Mohamed Abdullahi, Mohamed Maalin Dakane, Dek Abdi, Abdullahi Adan Isak, Lukman Sheikh Omar, Bashir Said Hassan, Sadia Hussein Mohamud, Abdihakin Mohamed Hassan   +14 more
doaj   +1 more source

Egy csonkításallegória interpretációja. Paul de Man guillotine-ja

Elpis, 2012
Absztrakt nem áll rendelkezésre.
Csaba Sós
doaj   +1 more source

Multiparametric MRI with MR elastography findings in patients with sinusoidal obstruction syndrome after oxaliplatin-based chemotherapy

Insights into Imaging, 2022
Objective To evaluate the magnetic resonance elastography (MRE)-derived liver stiffness measurement (LSM), T1 and T2 relaxation times, and hepatobiliary phase images in patients, who developed sinusoidal obstruction syndrome (SOS) after oxaliplatin-based
Ahmet Poker, Musturay Karcaaltıncaba, Mustafa N. Ozmen, Ali D. Karaosmanoğlu, Ahmet G. Erdemir, Osman Ocal, Deniz Akata, Ilkay S. Idilman   +7 more
doaj   +1 more source

GAMIFICATION AS A STRATEGY FOR CONTINUING EDUCATION IN HAI PREVENTION: EXPERIENCE OF THE SCIRAS WITH AN EDUCATIONAL CARD GAME

Brazilian Journal of Infectious Diseases
Introduction: Adherence to HAI prevention measures requires effective continuing education strategies. Playful methods such as gamification have shown promise in promoting engagement and retention of content by multiprofessional teams.
Sérgio Beduschi Filho, Meyreane de Lima Borges, Mirella Andrade Ferreira Rodrigues, Gislaine Ono, Fernando Graça Aranha   +4 more
doaj   +1 more source

Effect of Snow Cover on Detecting Spring Phenology from Satellite-Derived Vegetation Indices in Alpine Grasslands

Remote Sensing, 2022
The accurate estimation of phenological metrics from satellite data, especially the start of season (SOS), is of great significance to enhance our understanding of trends in vegetation phenology under climate change at regional or global scales. However,
Yiting Wang, Yuanyuan Chen, Pengfei Li, Yinggang Zhan, Rui Zou, Bo Yuan, Xiaode Zhou   +6 more
doaj   +1 more source

Seroprevalence of transfusion transmissible infections (TTIS) among blood donors in SOS hospital Heliwa, Somalia

Heliyon
Background: A transfusion-transmissible infection (TTI) refers to any infection that can be spread from one person to another through the injection of blood or blood products.
Hassan Abdullahi Dahie, Mohamed Maalim Dakane, Nuradin Mohamed Mudei   +2 more
doaj   +1 more source

Leopard attack trends in Kashmir Valley, India: the challenge of coexistence

Oryx
Human–wildlife conflicts are a growing global issue for wildlife, especially for large carnivores. The leopard Panthera pardus is generally solitary, shy and cryptic; however, human–leopard conflicts occur, including attacks on people.
Aaliya Mir, Shanmugavelu Swaminathan, Rashid Naqash, Thomas Sharp, Attur Arun   +4 more
doaj   +1 more source