Results 11 to 20 of about 7,287 (192)

Correctness Verification of Mutual Exclusion Algorithms by Model Checking

Modelling
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   +3 more sources

Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms

Computers
Mutual exclusion is a fundamental problem in concurrent/parallel/distributed systems. The first pure-software solution to this problem for two processes, which is not based on hardware instructions like test-and-set, was proposed in 1965 by Th.J.
Libero Nigro, Franco Cicirelli, Francesco Pupo   +2 more
doaj   +1 more source

How to decide? Different methods of calculating gene expression from short oligonucleotide array data will give different results

BMC Bioinformatics, 2006
Background Short oligonucleotide arrays for transcript profiling have been available for several years. Generally, raw data from these arrays are analysed with the aid of the Microarray Analysis Suite or GeneChip Operating Software (MAS or GCOS) from ...
Voesenek Laurentius ACJ, van Zanten Martijn, May Sean T, Okyere John, Millenaar Frank F, Peeters Anton JM   +5 more
doaj   +1 more source

Analysing the significance of small conformational changes and low occupancy states in serial crystallographic data

FEBS Open Bio, EarlyView.
This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill, Yelyzaveta Pulnova, Elke De Zitter, Helen M. Ginn, Briony A. Yorke   +4 more
wiley   +1 more source

Formal Modeling and Verification of Lycklama and Hadzilacos’s Mutual Exclusion Algorithm

Mathematics
This study describes our thorough experience of formal modeling and exhaustive verification of concurrent systems, particularly mutual exclusion algorithms. The experience focuses on Lycklama and Hadzilacos’s (LH) mutual exclusion algorithm.
Libero Nigro
doaj   +1 more source

Large‐scale bidirectional arrayed genetic screens identify OXR1 and EMC4 as modifiers of αSynuclein aggregation

FEBS Open Bio, EarlyView.
Activation of the mitochondrial protein OXR1 increases pSyn129 αSynuclein aggregation by lowering ATP levels and altering mitochondrial membrane potential, particularly in response to MSA‐derived fibrils. In contrast, ablation of the ER protein EMC4 enhances autophagic flux and lysosomal clearance, broadly reducing α‐synuclein aggregates.
Sandesh Neupane, Lea Nikolić, Lorenzo Maraio, Thomas Goiran, Nathan Karpilovsky, Stefano Sellitto, Vangelis Bouris, Jiang‐An Yin, Ronald Melki, Edward A Fon, Adriano Aguzzi, Elena De Cecco   +11 more
wiley   +1 more source

Lessons Learned From a Delayed‐Start Trial of Modafinil for Freezing of Gait in Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Freezing of gait (FOG) in people with Parkinson's disease (PwPD) is debilitating and has limited treatments. Modafinil modulates beta/gamma band activity in the pedunculopontine nucleus (PPN), like PPN deep brain stimulation. We therefore tested the hypothesis that Modafinil would improve FOG in PwPD.
Tuhin Virmani, Lakshmi Pillai, Reid D. Landes, Aliyah Glover, Shannon Doerhoff, Jennifer Kleiner, Mitesh Lotia, Rohit Dhall, Edgar Garcia‐Rill   +8 more
wiley   +1 more source

Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes

Algorithms
Dekker’s algorithm for mutual exclusion of two processes is the well-known first developed correct solution based only on software mechanisms. The algorithm served as the starting point for researchers to create subsequent safe solutions both for two and
Libero Nigro, Franco Cicirelli
doaj   +1 more source

On‐Surface Indigo‐Based Bimolecular Coordination Networks with Programmable Regular or Vitreous Structure

Advanced Functional Materials, EarlyView.
A previously unreported coordination motif stabilising single Fe atoms by indigo chelation and pyridyl coordination on Au(111) has been revealed. By using planar tritopic pyridyl linkers (TPyB), extended 2D porous networks of indigo3(TPyB)2Fe6 form. These networks can be crystalline or vitreous and offer an environment where individual coordination ...
Hongxiang Xu, Ritam Chakraborty, Biao Yang, Dennis Meier, Joachim Reichert, Svetlana Klyatskaya, Mario Ruben, Shobhana Narasimhan, Johannes V. Barth, Anthoula C. Papageorgiou   +9 more
wiley   +1 more source

Region‐to‐Region Unidirectional Connection In Vitro Brain Model for Studying Directional Propagation of Neuropathologies

Advanced Functional Materials, EarlyView.
A unidirectional cerebral organoid–organoid neural circuit is established using a microfluidic platform, enabling controlled directional propagation of electrical signals, neuroinflammatory cues, and neurodegenerative disease–related proteins between spatially separated organoids.
Kyeong Seob Hwang, Hui‐Wen Liu, Hyogeun Shin, Hyun Wook Kang, Minjin Kang, Jongbaeg Kim, Il‐Joo Cho, Nakwon Choi, Seok Chung, Hong Nam Kim   +9 more
wiley   +1 more source