Results 91 to 100 of about 10,322,171 (244)
Black-White Bakery Algorithm Made RW-Safe
Lamport’s Bakery algorithm is a well-known, simple, and elegant solution to the mutual exclusion problem for N ≥ 2 concurrent/parallel processes. However, the algorithm generates an unbounded number of tickets, even when only 2 processes are arbitrated ...
Libero Nigro, Franco Cicirelli
doaj +1 more source
ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin +2 more
wiley +1 more source
Correctness Verification of Mutual Exclusion Algorithms by Model Checking
Mutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the number of by ...
Libero Nigro, Franco Cicirelli
doaj +1 more source
ABSTRACT Introduction Peritoneal dialysis (PD) is an established home‐based kidney replacement therapy (KRT), but its uptake remains low in Japan. We evaluated whether individualized education in a dedicated outpatient clinic was associated with the initiation of PD.
Yasuko Ito +7 more
wiley +1 more source
ABSTRACT Introduction Hyperlipidemia is a major risk factor for atherosclerotic cardiovascular disease (ASCVD). Although statins are the cornerstone of lipid‐lowering therapy, their use may be limited in some patients by adverse effects. This study evaluated the possible impact of non‐drug treatment using double‐filtration plasmapheresis (DFPP) on CD14+
Yun Cheng +3 more
wiley +1 more source
Conventional pit excavation engineering methods often struggle to manage the complex deformation patterns associated with asymmetric excavations, resulting in significant safety risks and increased project costs.
Qiwei Wan +4 more
doaj +1 more source
Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
Evaluation of Public Expenditure in Morocco: An Analysis Using Efficiency Frontiers
In Morocco, the increasing public expenditure on essential sectors, such as education, does not always lead to improved outcomes, highlighting a significant gap between resource allocation and quality enhancement.
Yassin Lhajhouji +2 more
doaj +1 more source
Modelling Rocket System Performance Parameters
What distinguishes the rocket system from airbreathing engines is that the rocket carries its own propellants, fuel and oxidants. The modern rocket was originally developed for ballistic missiles.
Nnorom Achara
doaj
Organoids in pediatric cancer research
Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source

