Formal modeling approaches such as process algebras and Petri nets seek to provide insight into biological processes by using both symbolic and numerical methods to reveal the dynamics of the process under study. These formal approaches differ from classical methods of investigating the dynamics of the process through numerical integration of ODEs because they additionally provide alternative representations which are amenable to discrete-state analysis and logical reasoning. Backed by these additional analysis methods, formal modeling approaches have been able to identify errors in published and widely-cited biological models. This paper provides an introduction to these analysis methods, and explains the benefits which they can bring to ensuring the consistency of biological models.
Download full-text PDF |
Source |
|---|---|
| http://dx.doi.org/10.1007/978-1-4419-7210-1_27 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Odontogenic exosomes simulating the developmental microenvironment promote complete regeneration of pulp-dentin complex in vivo.
J Adv Res
January 2025
Center of Stomatology, Tongji Hospital, Tongji Medical College, Huazhong University of Science and Technology, Wuhan 430030 People's Republic of China; School of Stomatology, Tongji Medical College, Huazhong University of Science and Technology, Wuhan 430030 People's Republic of China; Hubei Province Key Laboratory of Oral and Maxillofacial Development and Regeneration, Wuhan 430022 People's Republic of China. Electronic address:
Introduction: Establishing an optimized regenerative microenvironment for pulp-dentin complex engineering has become increasingly critical. Recently, exosomes have emerged as favorable biomimetic nanotherapeutic tools to simulate the developmental microenvironment and facilitate tissue regeneration.
Objectives: This study aimed to elucidate the multifaceted roles of exosomes from human dental pulp stem cells (DPSCs) that initiated odontogenic differentiation while sustaining mesenchymal stem cell (MSC) characteristics in odontogenesis, angiogenesis, and neurogenesis during pulp-dentin complex regeneration.
Immunomodulatory lectin from Cordia myxa targets PI3K/AKT signalling mediated apoptosis to regress both in-vitro and in-vivo tumour.
Int J Biol Macromol
January 2025
Molecular Biomedicine Laboratory, Postgraduate Department of Studies and Research in Biotechnology, Sahyadri Science College, Kuvempu University, Shivamogga, Karnataka, India. Electronic address:
Plant based medicine is gaining recognition as a complementary approach to conventional treatments. Plants contain lectins that bind to carbohydrates and exhibit various biological properties and being used in cancer treatment. In present investigation Cordia myxa fruit was chosen, screen for presence of lectin and explore its biological role.
View Article and Find Full Text PDFIn toto biological framework: Modeling interconnectedness during human development.
Dev Cell
January 2025
Premium Research Institute for Human Metaverse Medicine (WPI-PRIMe), Graduate School of Medicine, Osaka University Graduate School of Medicine, 2-2 Yamadaoka, Suita-shi, Osaka 565-0871, Japan; Human Biology Research Unit, Institute of Integrated Research, Institute of Science Tokyo, 1-5-45 Yushima, Bunkyo-ku, Tokyo 113-8510, Japan; Divisions of Gastroenterology, Hepatology & Nutrition, and Developmental Biology, Cincinnati Children's Hospital Medical Center, 3333 Burnet Avenue, Cincinnati, OH 45229-3039, USA; Department of Pediatrics, University of Cincinnati College of Medicine, 3333 Burnet Avenue, Cincinnati, OH 45229-3039, USA; Center for Stem Cell and Organoid Medicine (CuSTOM), Cincinnati Children's Hospital Medical Center, 3333 Burnet Avenue, Cincinnati, OH 45229-3039, USA. Electronic address:
Recent advancements in pluripotent stem cell and synthetic tissue technology have brought significant breakthroughs in studying early embryonic development, particularly within the first trimester of development in humans. However, during fetal stage development, investigating further biological events represents a major challenge, partly due to the evolving complexity and continued interaction across multiple organ systems. To bridge this gap, we propose an "in toto" biological framework that leverages a triad of technologies: synthetic tissues, intravital microscopy, and computer vision to capture in vivo cellular morphodynamics, conceptualized as single-cell choreography.
View Article and Find Full Text PDFEffect of proposed asynchronous injection strategy on the combination therapy of magnetic hyperthermia and thermosensitive liposome.
J Therm Biol
January 2025
College of Electrical Engineering and Automation, Fuzhou University, Fuzhou, 350116, China.
Magnetic nanoparticles (MNPs) used for magnetic hyperthermia can not only damage tumor cells after elevating to a specific temperature but also provide the temperature required for thermosensitive liposomes (TSL) to release doxorubicin (DOX). MNPs injected into tumor will generate heat under an alternating magnetic field, so the MNPs distribution can determine temperature distribution and further affect the DOX concentration used for tumor therapy. This study proposes an asynchronous injection strategy for this combination therapy in order to improve the DOX concentration value for drug therapy, in which the MNPs are injected into tumor after a certain lagging of TSL injection in order to increase the TSL concentration inside tumor.
View Article and Find Full Text PDFCurvilinear regression analysis and ranking of migraine treatment drugs using degree-based topological indices and the WASPAS method.
Comput Biol Med
January 2025
Department of Mathematics, COMSATS University Islamabad, Vehari Campus, 61100, Vehari, Pakistan. Electronic address:
Topological indices, derived from molecular graphs, provide valuable numerical descriptors for the comprehensive analysis of pharmaceuticals. These indices are pivotal in the physicochemical characterization and predictive assessment of various drugs. In this study, we calculate several degree-based topological indices for a range of migraine treatment medications, including aspirin, caffeine, eletriptan, ergotamine, sumatriptan, rizatriptan, verapamil, diclofenac, frovatriptan, and droperidol.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!