NDLI: Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase

Please wait, while we are loading the content...

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 13

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 12

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 11

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 10

Issue 6, November 2013

Guest Editors' Introduction to the Special Section on Bioinformatics Research and Applications

Reconstruction of Transcriptional Regulatory Networks by Stability-Based Network Component Analysis

Network-Based Drug Ranking and Repositioning with Respect to DrugBank Therapeutic Categories

Protein Chain Pair Simplification under the Discrete Fréchet Distance

Inapproximability of (1,2)-Exemplar Distance

An Integer Programming Formulation of the Parsimonious Loss of Heterozygosity Problem

A Transcript Perspective on Evolution

Maximum Likelihood Inference of the Evolutionary History of a PPI Network from the Duplication History of Its Proteins

Novel Multisample Scheme for Inferring Phylogenetic Markers from Whole Genome Tumor Profiles

Efficient Algorithms for Knowledge-Enhanced Supertree and Supermatrix Phylogenetic Problems

Wavelet Analysis in Current Cancer Genome Research: A Survey

A Probabilistic Latent Semantic Analysis Model for Coclustering the Mouse Brain Atlas

An Exact Algorithm for the Zero Exemplar Breakpoint Distance Problem

Designing Pooling Systems for Noisy High-Throughput Protein-Protein Interaction Experiments Using Boolean Compressed Sensing

EEG/ERP Adaptive Noise Canceller Design with Controlled Search Space (CSS) Approach in Cuckoo and Other Optimization Algorithms

Multivariate Hypergeometric Similarity Measure

Predicting Protein-Ligand Binding Site Using Support Vector Machine with Protein Properties

Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase

A Combinatorial Perspective of the Protein Inference Problem

Protein Structure Optimization with a "Lamarckian" Ant Colony Algorithm

Issue 5, September 2013

Issue 4, July 2013

Issue 3, May 2013

Issue 2, March 2013

Issue 1, January 2013

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 9

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 8

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 7

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 6

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 5

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 4

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 3

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 2

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) : Volume 1

Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase

Content Provider	ACM Digital Library
Author	Campos, Sergio V. A. Cruz, Jader S. Faria-campos, Alessandra C. Braz, Fernando A. F.
Abstract	Probabilistic model checking (PMC) is a technique used for the specification and analysis of complex systems. It can be applied directly to biological systems which present these characteristics, including cell transport systems. These systems are structures responsible for exchanging ions through the plasma membrane. Their correct behavior is essential for animal cells, since changes on those are responsible for diseases. In this work, PMC is used to model and analyze the effects of the palytoxin toxin (PTX) interactions with one of these systems. Our model suggests that ATP could inhibit PTX action. Therefore, individuals with ATP deficiencies, such as in brain disorders, may be more susceptible to the toxin. We have also used heat maps to enhance the kinetic model, which is used to describe the system reactions. The map reveals unexpected situations, such as a frequent reaction between unlikely pump states, and hot spots such as likely states and reactions. This type of analysis provides a better understanding on how transmembrane ionic transport systems behave and may lead to the discovery and development of new drugs to treat diseases associated to their incorrect behavior.
Starting Page	1530
Ending Page	1541
Page Count	12
File Format	PDF
ISSN	15455963
DOI	10.1109/TCBB.2013.97
Volume Number	10
Issue Number	6
Journal	IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2013-11-01
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Probabilistic model checking, systems biology, sodium-potassium pump, palytoxin.
Content Type	Text
Resource Type	Article
Subject	Genetics Biotechnology Applied Mathematics

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase

The competition transport of sodium ions and protons in the cytoplasmic access channel of the Na$^{+}$,K$^{+}$-ATPase

NO Metabolites Levels in Human Red Blood Cells are Affected by Palytoxin, an Inhibitor of Na(+)/K(+)-ATPase Pump.

Long-term regulation of Na,K-ATPase pump during T-cell proliferation

Electrogenic binding of ions at the cytoplasmic side of the Na$^{+}$,K$^{+}$-ATPase

$Na^{+}/K^{+}-pump$ ligands modulate gating of palytoxin-induced ion channels

Data from: Hypothesised diprotomeric enzyme complex supported by stochastic modelling of Palytoxin-induced Na/K pump channels (Dataset)

Na/K pump regulation of cardiac repolarization: insights from a systems biology approach

Effects of γ-irradiation on Na,K-ATPase in cardiac sarcolemma

Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase

Similar Documents

Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase

The competition transport of sodium ions and protons in the cytoplasmic access channel of the Na$^{+}$,K$^{+}$-ATPase

NO Metabolites Levels in Human Red Blood Cells are Affected by Palytoxin, an Inhibitor of Na(+)/K(+)-ATPase Pump.

Long-term regulation of Na,K-ATPase pump during T-cell proliferation

Electrogenic binding of ions at the cytoplasmic side of the Na$^{+}$,K$^{+}$-ATPase

$Na^{+}/K^{+}-pump$ ligands modulate gating of palytoxin-induced ion channels

Data from: Hypothesised diprotomeric enzyme complex supported by stochastic modelling of Palytoxin-induced Na/K pump channels (Dataset)

Na/K pump regulation of cardiac repolarization: insights from a systems biology approach

Effects of γ-irradiation on Na,K-ATPase in cardiac sarcolemma

Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase