Different modalities in biomedical images, like CT, MRI and PET scanners, provide detailed cross-sectional views of human anatomy. This paper introduces three-dimensional brain reconstruction based on CT slices. It contains filtering, fuzzy segmentation, matching method of contours, cell array struc...

The S100 family is a class of calcium-regulated proteins with EF-hand. They are widely distributed and are implicated in diverse intracellular and extracellular physiological processes. A study of the S100 family using computational biology methods such as multiple sequence alignment, structural ali...

The concept of Cooperative Work Environment (CWE) is introduced. Three key elements of CWE, inforrration integration, process integration, and organization integration, are analysed. An application framework of CWE is prcoosed and with this framework a CE CWE based on Lotus Notes/Domino and Intel Pr...

An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces the cost during the abstraction period relative to models requiring many useless states. A dining-philosop...

The epitope ELDKWA, which is located in the membrane-proximal external region (MPER) of HIV-1 gp41, is an important neutralizing epitope. The human monoclonal antibody (mAb) 2F5 against this epitope shows broad neutralizing activity toward many HIV strains. However, several reports have shown that t...