Results 31 to 40 of about 1,000,824 (299)
Generating Counterexamples for Model Checking by Transformation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Counterexamples explain why a desired temporal logic property fails to hold. The generation of counterexamples is considered to be one of the primary advantages of model checking as a verification technique.
G. W. Hamilton
doaj +1 more source
Decomposing and Tracing Mutual Information by Quantifying Reachable Decision Regions
Entropy, 2023 The idea of a partial information decomposition (PID) gained significant attention for attributing the components of mutual information from multiple variables about a target to being unique, redundant/shared or synergetic. Since the original measure for
Tobias Mages, Christian Rohner
doaj +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
Formal Modeling and Verification of Lycklama and Hadzilacos’s Mutual Exclusion Algorithm
MathematicsThis 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
Design of a Mutual Exclusion and Deadlock Algorithm in PCBSD – FreeBSD
International Journal of Interactive Multimedia and Artificial Intelligence, 2014 This paper shows the implementation of mutual exclusion in PCBSD-FreeBSD operating systems on SMPng environments, providing solutions to problems like investment priority, priority propagation, interlock, CPU downtime, deadlocks, between other.
Libertad Caicedo Acosta +3 more
doaj +1 more source
Reconstructing enzyme evolution by protein engineering
FEBS Letters, EarlyView.Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler +2 more
wiley +1 more source
An $\Omega(n \log n)$ Lower Bound on the Cost of Mutual Exclusion [PDF]
, 2006 We prove an $\Omega(n \log n)$ lower bound on the number ofnon-busywaiting memory accesses by any deterministic algorithm solving$n$ process mutual exclusion that communicates via shared registers.The cost of the algorithm is measured in the \emph{state ...
Fan, Rui, Lynch, Nancy
core
Epigenetic reprogramming of lineage switching in cancer
FEBS Letters, EarlyView.Cancer cells rarely commit to a single identity. Epigenetic mechanisms and tumor microenvironment cues push epithelial cells toward flexible, hybrid states that can shift into mesenchymal, neuroendocrine, or stem‐like fates, driving metastasis, drug resistance, and tumor heterogeneity. Targeting the epigenetic regulators behind these transitions, using
Ezgi Boyvatlı +4 more
wiley +1 more source
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms
ComputersMutual 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 +2 more
doaj +1 more source
Introduction: The Social (Re)production of Diversity
Cromohs: Cyber Review of Modern Historiography, 2021 As a mutual constituent of sameness, otherness defines belonging by demarcating the boundaries of what is similar and acceptable against what is different and, eventually, unacceptable.
Giacomo Orsini
doaj +1 more source