Results 51 to 60 of about 516,631 (319)

Overview of molecular signatures of senescence and associated resources: pros and cons

FEBS Open Bio, EarlyView.
Cells can enter a stress response state termed cellular senescence that is involved in various diseases and aging. Detecting these cells is challenging due to the lack of universal biomarkers. This review presents the current state of senescence identification, from biomarkers to molecular signatures, compares tools and approaches, and highlights ...
Orestis A. Ntintas, Sylvia Vagena, Pavlos Pantelis, Giorgos Theocharous, Russel Petty, Konstantinos Evangelou, Vassilis G. Gorgoulis   +6 more
wiley   +1 more source

Formal Test Automation: The Conference Protocol with PHACT [PDF]

, 2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (formal) specifications and multiple implementations are publicly available ...
Feenstra, Jan, Heerink, Lex, Tretmans, Jan   +2 more
core   +2 more sources

Systemic T Cell Receptor Profiling Reveals Adaptive Immune Activation and Potential Immune Signatures of Diagnosis and Brain Atrophy in Epilepsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Epilepsy is increasingly associated with immune dysregulation and inflammation. The T cell receptor (TCR), a key mediator of adaptive immunity, shows repertoire alterations in various immune‐mediated diseases. The unique TCR sequence serves as a molecular barcode for T cells, and clonal expansion accompanied by reduced overall TCR ...
Yong‐Won Shin, Sang Bin Hong, Yong Woo Shin, Inpyeong Hwang, Jaeseong Oh, Jihyeon Choi, Narae Kim, Jangsup Moon, Keun‐Hwa Jung, Kyung‐Il Park, Ki‐Young Jung, Kon Chu, Sang Kun Lee   +12 more
wiley   +1 more source

Finite State Machine Modelling to Facilitate the Resilience of Infrastructures: Reflections

Infrastructures, 2020
The ability of an infrastructure to be resistant against hazards or to accommodate and recover from hazard-induced destructions and disturbances is characterized as resilience. Usually, infrastructures are engineered socio-technical systems or systems-of-
Evelin Engler, Michael Baldauf, Frank Sill Torres, Stephan Brusch   +3 more
doaj   +1 more source

Finite state machine and Markovian equivalents of the lac Operon in E. coli bacterium

AIMS Bioengineering, 2022
The lac operon in E. coli has been extensively studied by computational biologists. The bacterium uses it to survive in the absence of glucose, utilizing lactose for growth.
Urooj Ainuddin, Maria Waqas
doaj   +1 more source

Testing in the distributed test architecture: An extended abstract [PDF]

, 2008
Some systems interact with their environment at a number of physically distributed interfaces/ports and when testing such a system it is normal to place a local tester at each port.
Hierons, RM
core   +1 more source

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

Modelling malignant progression with a finite state machine supports a two checkpoint theory of cancer [PDF]

BioDiscovery, 2012
We postulate the two checkpoints theory of cancer, a model of cancer development suggesting that malignant transformation of cells requires loss of function of both the G1 checkpoint and the mitotic spindle checkpoint.
Robert C. Jackson
doaj   +3 more sources

Expanding an extended finite state machine to aid testability [PDF]

, 2002
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in order to bypass the infeasible path problem.
Hierons, RM, Kim, TH, Ural, H
core   +1 more source

Dynamic Precipitation during High‐Pressure Torsion of a Magnesium–Manganese Alloy

Advanced Engineering Materials, EarlyView.
An ultrafine‐grained alloy is produced by high‐pressure torsion of solutionized Mg–1.35 wt% Mn. Precipitation of nanometer‐scale Mn particles during deformation provides pinning sites. This prevents the formation of a bimodal grain structure and results in a finer grain size than for pure Mg.
Julian M. Rosalie, Anton Hohenwarter
wiley   +1 more source