Results 21 to 30 of about 43,795 (265)

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

Empowering Adult Learning How AI Fuels Progress Across Disciplines and Professions

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT This article examines the evolving role of artificial intelligence (AI) as a transformative cognitive partner across educational and professional fields. It explores how AI shifts attention away from routine technical tasks and toward human‐centered skills such as critical thinking, ethical decision‐making, and professional judgment.
Rachel Wlodarsky
wiley   +1 more source

Determinants of institutional delivery service utilization among internally displaced vulnerable populations in Benadir region, Somalia: A community based cross-sectional study

Journal of Migration and Health
Background: Every day, nearly 830 women succumb to preventable pregnancy and childbirth-related complications, with 99 % of maternal deaths occurring in developing nations.
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   +9 more
doaj   +1 more source

Flexible Pressure Sensor With Co‐Optimized Sensitivity and Linearity Based on Gradient Toroidal Microstructures

Advanced Materials Technologies, EarlyView.
A flexible piezoresistive pressure sensor with gradient toroidal CNT/PDMS microstructures is reported. The hierarchical geometry enables sequential electrode contact, achieving a sensitivity of 256.20 kPa−1 and linear response (R2 = 0.99) over 0–1000 kPa.
Rongmei Wang, Ruolin Liu, Ming Lei, Yifan Liu, Fengming Hu, Bing Ji, Chao Peng, Jianyi Luo, Bingpu Zhou   +8 more
wiley   +1 more source

Indoor residual spray bio-efficacy and residual activity of a clothianidin-based formulation (SumiShield® 50WG) provides long persistence on various wall surfaces for malaria control in the Democratic Republic of the Congo

Malaria Journal, 2019
Background Bio-efficacy and residual activity of SumiShield® 50WG (50%, w/w) with active ingredient clothianidin, a neonicotinoid compound, was assessed using an insecticide-susceptible laboratory strain of Anopheles arabiensis.
Leonard M. Ngwej, Izak Hattingh, Godwill Mlambo, Emmanuel M. Mashat, Jean-Christophe K. Kashala, Françoise K. Malonga, Michael J. Bangs   +6 more
doaj   +1 more source

Multiobjective Codesign Optimization of a Planar Pneumatic Artificial Muscle‐Based Snake‐Like Robot for Enhanced Agility and Energy Efficiency

Advanced Robotics Research, EarlyView.
A codesign multiobjective optimization framework was developed to enhance the morphology and controller of a snake‐like robot driven by artificial muscles. It improved planar locomotion, agility, and power efficiency. The approach optimized link geometry and controller gains, revealing that shorter muscles near joints and longer linkages maximize ...
Ayla Valles, Mahdi Haghshenas‐Jaryani
wiley   +1 more source

Lipocalin‐2 activates hepatic stellate cells and promotes nonalcoholic steatohepatitis in high‐fat diet–fed Ob/Ob mice

Hepatology, EarlyView., 2022
Graphical summary of obesity‐induced NASH progression by LCN2 targeted to HSC activation. Abstract Background and Aims In obesity and type 2 diabetes mellitus, leptin promotes insulin resistance and contributes to the progression of NASH via activation of hepatic stellate cells (HSCs).
Kyung Eun Kim, Jaewoong Lee, Hyun Joo Shin, Eun Ae Jeong, Hye Min Jang, Yu Jeong Ahn, Hyeong Seok An, Jong Youl Lee, Meong Cheol Shin, Soo Kyoung Kim, Won Gi Yoo, Won Ho Kim, Gu Seob Roh   +12 more
wiley   +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

Performance–Complexity Trade‐Offs in Battery Lifetime Prediction with Task‐Aware Transformers

Advanced Science, EarlyView.
FAST‐BatPro integrates convolutional feature extraction, flash Attention, and sparse attention for efficient battery lifetime prediction. Using limited early‐cycle data across multiple chemistries and operating conditions, it achieves robust accuracy while reducing inference latency, computational cost, and energy consumption.
Jingyuan Zhao, Misheng Cai, Zhenghong Wang, Yan Wang, Yuqi Li, Bo Dong, Hewu Wang, Andrew F. Burke, Simona Onori, Stephen J. Harris   +9 more
wiley   +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