Evidence map›Paper›PMID 27460034›Full record

ArticleBMC systems biology2016

Modelling with ANIMO: between fuzzy logic and differential equations.

Stefano Schivo, Jetse Scholma, Paul E van der Vet, Marcel Karperien, Janine N Post, Jaco van de Pol, Rom Langerak

Abstract read
In one paragraph

Article in BMC systems biology, 2016. The graph could read no effect estimate from its abstract, so it casts no vote on the map. Cited by 7 papers.

0numbers the graph read from it
0cells of the map it votes in
7citing 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

7 citing papers in PubMed.

  1. Article
  2. An ECHO of Cartilage:Frontiers in bioengineering and biotechnology · 2021
    Article
  3. Article
  4. Article
  5. Review
  6. Article
  7. Article
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

7 authors.

Stefano SchivoFormal Methods and Tools, Faculty of EEMCS, University of Twente, P.O. Box 217, Enschede, 7500AE, The Netherlands.
Jetse ScholmaDevelopmental BioEngineering, MIRA Institute for Biomedical Technology and Technical Medicine, University of Twente, P.O. Box 217, Enschede, 7500AE, The Netherlands.
Paul E van der VetHuman Media Interaction, Faculty of EEMCS, University of Twente, P.O. Box 217, Enschede, 7500AE, The Netherlands.
Marcel KarperienDevelopmental BioEngineering, MIRA Institute for Biomedical Technology and Technical Medicine, University of Twente, P.O. Box 217, Enschede, 7500AE, The Netherlands.
Janine N PostDevelopmental BioEngineering, MIRA Institute for Biomedical Technology and Technical Medicine, University of Twente, P.O. Box 217, Enschede, 7500AE, The Netherlands.
Jaco van de PolFormal Methods and Tools, Faculty of EEMCS, University of Twente, P.O. Box 217, Enschede, 7500AE, The Netherlands.
Rom LangerakFormal Methods and Tools, Faculty of EEMCS, University of Twente, P.O. Box 217, Enschede, 7500AE, The Netherlands. r.langerak@utwente.nl.

Funding

No grant is acknowledged in the PubMed record.

6 · The paper itself

Abstract

backgroundComputational support is essential in order to reason on the dynamics of biological systems. We have developed the software tool ANIMO (Analysis of Networks with Interactive MOdeling) to provide such computational support and allow insight into the complex networks of signaling events occurring in living cells. ANIMO makes use of timed automata as an underlying model, thereby enabling analysis techniques from computer science like model checking. Biology experts are able to use ANIMO via a user interface specifically tailored for biological applications. In this paper we compare the use of ANIMO with some established formalisms on two case studies.

resultsANIMO is a powerful and user-friendly tool that can compete with existing continuous and discrete paradigms. We show this by presenting ANIMO models for two case studies: Drosophila melanogaster circadian clock, and signal transduction events downstream of TNF α and EGF in HT-29 human colon carcinoma cells. The models were originally developed with ODEs and fuzzy logic, respectively.

conclusionsTwo biological case studies that have been modeled with respectively ODE and fuzzy logic models can be conveniently modeled using ANIMO. The ANIMO models require less parameters than ODEs and are more precise than fuzzy logic. For this reason we position the modelling paradigm of ANIMO between ODEs and fuzzy logic.

Indexed as

Fuzzy LogicSoftwareAnimalsCircadian ClocksComputational BiologyDrosophila melanogasterEpidermal Growth FactorHT29 CellsHumansSignal TransductionTumor Necrosis Factor-alphaEpidermal Growth FactorTumor Necrosis Factor-alphaDynamic behaviourModellingSignalling pathwayTimed automata

Identifiers

PMID27460034
PMCPMC4962523

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.