Results 81 to 90 of about 2,467,903 (217)
WorMa is an amphibious undulatory robot that uses Center of Mass redistribution as the sole terrain adaptation mechanism. This mechanism is based on internal fluid mass redistribution through a pump‐driven latex balloon system that creates three profiles: head‐biased, balanced, and tail‐biased.
Daniil Filimonov, Nana Obayashi
wiley +1 more source
Deadlock-Free Information Structure Distributed Mutual Exclusion Algorithms
In the distributed mutual exclusion problem, a set of processes must coordinate their actions so that at any time at most one process may be within its critical section.
Umberto Bonollo, Elizabeth A. Sonenberg
core
Robust Distributed Mutual Exclusion
A token based algorithm for distributed mutual exclusion is presented. It uses a distributed counter to tolerate faults due to site failures and communication failures.
Choy, Manhoi
core +1 more source
Pancreatic adenocarcinoma (PAAD) remains highly lethal with limited treatment options. This study demonstrates that coixenolide, a bioactive compound from Coix lacryma‐jobi L. and a key component of the clinically approved Kanglaite injection, exhibits enhanced antitumor efficacy in high‐fat diet (HFD)‐induced obese mice bearing PAAD tumors compared to
Kaidi Chen +20 more
wiley +1 more source
Cluster Based Distributed Mutual Exclusion Algorithms for Mobile Networks
. We propose an architecture that consists of a ring of clusters for distributed mutual exclusion algorithms in mobile networks. The mobile network is partitioned into a number of clusters periodically using a graph partitioning algorithm called Fixed ...
Kayhan Erciyes
core
Innate Immunocompetent hiPSC‐Derived Neurospheroids Capture Early CNS Responses to rAAV
Knowledge of human CNS immune responses to AAV‐based gene therapies remains limited due to the lack of immune‐competent human models. Here, a hiPSC‐derived 3D neuroimmune platform integrating neurospheroids and microglia is established using stirred‐tank bioreactors.
Catarina M. Gomes +14 more
wiley +1 more source
Modelling and Verification of Mutual Exclusion Algorithms
This paper proposes modelling and exhaustive verification of mutual exclusion algorithms using timed automata (TA) and the popular UPPAAL toolbox. The proposal allows to check all the properties of a mutual clusion algorithm also along the time dimension.
Franco Cicirelli, Libero Nigro
core
Single‐cell longitudinal profiling reveals that androgen‐deprivation therapy induces a DPT+ fibroblast‐complement axis that suppresses macrophage inflammation and drives CD8+ T cell exhaustion in prostate cancer. Concurrently, resistant epithelial subpopulations persist and engage TSPAN1‐ and NRXN1‐mediated programs promoting CRPC and neuroendocrine ...
Yang Chen +19 more
wiley +1 more source
A framework to study the performance of the group mutual exclusion algorithms [PDF]
Group mutual exclusion problem generalizes the classical mutual exclusion problem, a fundamental problem in concurrent programming. It arises in applications involving sharing resources such as memory and data.
core
ABSTRACT Astrocyte reactivity critically shapes neuroinflammatory outcomes after ischemic stroke, yet the upstream regulators governing astrocyte state transitions remain incompletely defined. Here, we identify the immunoproteasome subunit low molecular weight protein 2 (LMP2) as an important modulator of astrocyte functional remodeling following ...
Yanguang Mao +7 more
wiley +1 more source

