Evidence map›Paper›PMID 36510032›Full record

ArticleTheory in biosciences = Theorie in den Biowissenschaften2023

Formal verification confirms the role of p53 protein in cell fate decision mechanism.

Eman Abdelaziz Mahmoud, Mostafa Herajy, Ibrahim E Ziedan, Hazem I Shehata

Abstract read
PubMed Full text at PMC Publisher
In one paragraph

Article in Theory in biosciences = Theorie in den Biowissenschaften, 2023. The graph could read no effect estimate from its abstract, so it casts no vote on the map. Cited by 3 papers.

0numbers the graph read from it
0cells of the map it votes in
3citing papers in PubMed
–field-weighted citation impact
1 · What the graph read from it

What it found

Each row is one number read from the abstract, on the scale the paper reported it, with its interval. Left of the dashed line favours the treatment, right favours the comparator. Under each row is the sentence it came from. New to these charts? A ten-minute tutorial.

The abstract states no effect estimate the extractor could read, or names no intervention and outcome on the map, so this paper lights no cell and moves no belief. It is still indexed, cited and linked below.

2 · The registry

The trial behind it

Trials whose registry record cites this paper, or whose number appears in the abstract. A trial that started after this paper was published is citing it as background, not reporting it.

Neither the registry nor the abstract names a trial number. If this is a trial report, that itself is worth knowing.

3 · Its place in the literature

Who cites it

3 citing papers in PubMed.

  1. Article
  2. Article
  3. Verifiable biology.Journal of the Royal Society, Interface · 2023
    Review
4 · The record

Corrections and comments

PubMed lists nothing against this paper. Absence here is not a guarantee, only a check that was made.

5 · Who and what money

Authors and funding

4 authors.

Eman Abdelaziz MahmoudComputer and Systems Department, Faculty of Engineering, Zagazig University, Zagazig, Egypt. e.abdelaziz@eng.zu.edu.eg.
Mostafa HerajyMathematics and Computer Science Department, Faculty of Science, Port Said University, Port Said, Egypt.ORCID https://orcid.org/0000-0001-7181-6144
Ibrahim E ZiedanComputer and Systems Department, Faculty of Engineering, Zagazig University, Zagazig, Egypt.
Hazem I ShehataComputer and Systems Department, Faculty of Engineering, Zagazig University, Zagazig, Egypt.

Funding

No grant is acknowledged in the PubMed record.

6 · The paper itself

Abstract

The bio-cell cycle is controlled by a complex biochemical network of signaling pathways. Modeling such challenging networks accurately is imperative for the understanding of their detailed dynamical behavior. In this paper, we construct, analyze, and verify a hybrid Petri net (HPN) model of a complex biochemical network that captures the role of an important protein (namely p53) in deciding the fate of the cell. We model the behavior of the cell nucleus and cytoplasm as two stochastic and continuous Petri nets, respectively, combined together into a single HPN. We use simulative model checking to verify three different properties that capture the dynamical behavior of p53 protein with respect to the intensity of the ionizing radiation (IR) to which the cell is exposed. For each IR dose, 1000 simulation runs are carried out to verify each property. Our verification results showed that the fluctuations in p53, which relies on IR intensity, are compatible with the findings of the preceding simulation studies that have previously examined the role of p53 in cell fate decision.

Indexed as

Models, BiologicalTumor Suppressor Protein p53Cell DifferentiationComputer SimulationSignal TransductionTumor Suppressor Protein p53Cell fate decisionHybrid modelingHybrid Petri netsModel checkingPLTLSimulative model checking

Identifiers

PMID36510032
PMCPMC9925526

What OpenQuestion holds

Textmetadata
LicenceCC BY
Read underepoch 390

Registered trials

None linked

Read under generation 80e0d062 · epoch 390. Bibliography from PubMed, PubMed Central and OpenAlex; grants from NIH RePORTER; trial links from ClinicalTrials.gov; estimates, votes and beliefs from the OpenQuestion graph.