Results 21 to 30 of about 44,697 (263)

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

Stimulator of interferon genes agonist augmented antitumor immunity of osimertinib in Egfr‐mutated lung cancer

Molecular Oncology, EarlyView.
Combining osimertinib with the STING agonist ADU‐S100 activates innate and adaptive immunity to overcome the non‐inflamed microenvironment of Egfr‐mutant lung cancer. This combination increases NK and CD8+ T‐cell infiltration, associated with activation of the STING‐IRF3 pathway and local immunogenic cell death.
Jun Nishimura, Tadahiro Kuribayashi, Johannes Brägelmann, Sachi Okawa, Masataka Taoka, Shunta Mori, Tomoka Nishimura, Takaaki Tanaka, Go Makimoto, Kiichiro Ninomiya, Kammei Rai, Eiki Ichihara, Ryohei Katayama, Katsuyuki Hotta, Masahiro Tabata, Yosuke Togashi, Yoshinobu Maeda, Martin L. Sos, Katsuyuki Kiura, Kadoaki Ohashi   +19 more
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

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

Tracking Battery Microstructural Degradation Through Directional Thermal Transport Signatures

Advanced Functional Materials, EarlyView.
In lithium‐ion batteries, heat conduction varies between the through‐plane and in‐plane directions because of the cell's layered structure. Therefore, cell degradation influences thermal conductivity in each direction uniquely due to detailed microstructural and compositional changes.
Mohammad Shoghi Tekmedash, Rituparna Mohanty, Jack Leber, David Nageb, Mirella Richard, Sharan Singh, Amin Reihani   +6 more
wiley   +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

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

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

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

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