Identification of Protein Complexes Based on Core-Attachment Structure and Combination of Centrality Measures and Biological Properties in PPI Weighted Networks.

In protein interaction networks, a complex is a group of proteins that causes a biological process to take place. The correct identification of complexes can help to better understand function of cells used for therapeutic purposes, such as drug discoveries. This paper uses core-attachment structure, centrality measures, and biological properties of proteins to identify protein complex with the aim of enhancing prediction accuracy compared to related work.

Identification of essential proteins based on a new combination of topological and biological features in weighted protein-protein interaction networks.

The identification of essential proteins in protein-protein interaction (PPI) networks is not only important in understanding the process of cellular life but also useful in diagnosis and drug design. The network topology-based centrality measures are sensitive to noise of network. Moreover, these measures cannot detect low-connectivity essential proteins.

Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.

Today, implanted medical devices are increasingly used for many patients and in case of diverse health problems. However, several runtime problems and errors are reported by the relevant organizations, even resulting in patient death. One of those devices is the pacemaker.

Specification and Verification of Medical Monitoring System Using Petri-nets.

To monitor the patient behavior, data are collected from patient's body by a medical monitoring device so as to calculate the output using embedded software. Incorrect calculations may endanger the patient's life if the software fails to meet the patient's requirements. Accordingly, the veracity of the software behavior is a matter of concern in the medicine; moreover, the data collected from the patient's body are fuzzy.

Specification and simulation of behavior of the Continuous Infusion Insulin Pump system.

Continuous Infusion Insulin Pump (CIIP) system is responsible for monitoring diabetic blood sugar. In this paper, we aim to specify and simulate the CIIP software behavior. To this end, we first: (1) presented a model consisting of the CIIP system behavior in response to its environment (diabetic) behavior and (2) we formally defined the safety requirements of the system environment (diabetic) in the Z formal modeling language.

Improving service accessibility in service-oriented HIS.

Nowadays, new trend in design and implementation of Hospital Information System (HIS) is towards using Web-based Service-Oriented Architecture (SOA). However, the standard SOA includes an insensitive service store through which the accessibility of some hospital services becomes difficult when their specification or network address are changed or missed. This paper discusses problems of insensitive service store and then presents a model where a sensitive service store is used to mitigate the problems.

Formal verification of medical monitoring software using Z language: a representative sample.

Medical monitoring systems are useful aids assisting physicians in keeping patients under constant surveillance; however, taking sound decision by the systems is a physician concern. As a result, verification of the systems behavior in monitoring patients is a matter of significant. The patient monitoring is undertaken by software in modern medical systems; so, software verification of modern medial systems have been noticed.

A framework for specifying safe behavior of the CIIP medical system.

Adequate reliability of algorithms and computations of modern medical systems software is a matter of concern because the system software is in charge of satisfying safety requirements of the system environment, i.e., the patient.

Constructing a model-based software monitor for the insulin pump behavior.

Modern medical systems undertaking the task of surveillance of patients are safety-critical systems steered by software. Such systems will bring man's life into hazard if they fail to meet patients' requirements; so, adequate reliability of the algorithms and computations used by software of such systems is a matter of concern. The environment of a medical safety-critical system consisting of a patient has safety requirements that should be satisfied by the system.