Sciweavers

495 search results - page 41 / 99
» The Subword Reversing Method
Sort
View
FM
1999
Springer
111views Formal Methods» more  FM 1999»
14 years 29 days ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
BMCBI
2008
57views more  BMCBI 2008»
13 years 8 months ago
A novel method for high accuracy sumoylation site prediction from protein sequences
Background: Protein sumoylation is an essential dynamic, reversible post translational modification that plays a role in dozens of cellular activities, especially the regulation o...
Jialin Xu, Yun He, Boqin Qiang, Jiangang Yuan, Xia...
CSB
2005
IEEE
145views Bioinformatics» more  CSB 2005»
14 years 2 months ago
Classification Methods for HIV-1 Medicated Neuronal Damage
HIV-1-associated dementia (HAD) is the most devastating disease happened in the central nervous system of AIDS patients. Neuronal damage, the early indicator of HAD, under differe...
Mengjun Wang, Jialin Zheng, Zhengxin Chen, Yong Sh...
BIBM
2007
IEEE
162views Bioinformatics» more  BIBM 2007»
14 years 3 months ago
Multiple Interacting Subcellular Structure Tracking by Sequential Monte Carlo Method
With the wide application of green fluorescent protein (GFP) in the study of live cells, there is a surging need for the computer-aided analysis on the huge amount of image seque...
Quan Wen, Jean Gao, Kate Luby-Phelps
CCE
2004
13 years 8 months ago
A decomposition method for synthesizing complex column configurations using tray-by-tray GDP models
This paper describes an optimization procedure for the synthesis of complex distillation configurations. A superstructure based on the Reversible Distillation Sequence Model (RDSM...
Mariana Barttfeld, Pío A. Aguirre, Ignacio ...