close
1.

電子ブック

EB
Corrado Priami, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Modal Logics for Brane Calculus / M. Miculan ; G. Bacci
Deciding Behavioural Properties in Brane Calculi / N. Busi
Probabilistic Model Checking of Complex Biological Pathways / J. Heath ; M. Kwiatkowska ; G. Norman ; D. Parker ; O. Tymchyshyn
Type Inference in Systems Biology / F. Fages ; S. Soliman
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods / M. Calder ; A. Duguid ; S. Gilmore ; J. Hillston
A Formal Approach to Molecular Docking / D. Prandi
Feedbacks and Oscillations in the Virtual Cell VICE / D. Chiarugi ; M. Ghinellato ; P. Degano ; G. Lo Brutto ; R. Marangoni
Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins / M. Cavaliere ; S. Sedwards
Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets / L.J. Steggles ; R. Banks ; A. Wipat
Regulatory Network Reconstruction Using Stochastic Logical Networks / B. Wilczynski ; J. Tiuryn
Identifying Submodules of Cellular Regulatory Networks / G. Sanguinetti ; M. Rattray ; N.D. Lawrence
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks / H. Siebert ; A. Bockmayr
A Computational Model for Eukaryotic Directional Sensing / A. Gamba ; A. de Candia ; F. Cavalli ; S. Di Talia ; A. Coniglio ; F. Bussolino ; G. Serini
Modeling Evolutionary Dynamics of HIV Infection / L. Sguanci ; P. Lio ; F. Bagnoli
Compositional Reachability Analysis of Genetic Networks / G. Gossler
Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networks / M. Cosentino Lagomarsino ; P. Jona ; B. Bassetti
Computational Model of a Central Pattern Generator / E. Cataldo ; J.H. Byrne ; D.A. Baxter
Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation / C. Chettaoui ; F. Delaplace ; P. Lescanne ; M. Vestergaard ; R. Vestergaard
Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeast / T.A. Knijnenburg ; L.F.A. Wessels ; M.J.T. Reinders
An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesis / M.R. Grant ; C.A. Hunt
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion / H. Busch ; W. Sandmann ; V. Wolf
Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysis / M. Filippone ; F. Masulli ; S. Rovetta ; S. Mitra ; H. Banka
Author Index
Modal Logics for Brane Calculus / M. Miculan ; G. Bacci
Deciding Behavioural Properties in Brane Calculi / N. Busi
Probabilistic Model Checking of Complex Biological Pathways / J. Heath ; M. Kwiatkowska ; G. Norman ; D. Parker ; O. Tymchyshyn
2.

電子ブック

EB
Corrado Priami, Luca Cardelli, Stephen Emmott, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック

EB
Corrado Priami, Takeo Kanade, Gordon Plotkin
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック

EB
Corrado Priami, Anna Ing?lfsd?ttir, Takeo Kanade, Bud Mishra, Hanne Riis Nielson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック

EB
Corrado Priami, Xiaohua Hu, Takeo Kanade, Tsau Young Lin, Yi Pan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Anti-parallel Coiled Coils Structure Prediction by Support Vector Machine Classification / Zhong Huang ; Yun Li ; Xiaohua Hu
A Complex Bio-networks of the Function Profile of Genes / Charles C.H. Liu ; I-Jen Chiang ; Jau-Min Wong ; Ginni Hsiang-Chun Tsai ; Tsau Young ('T.Y.') Lin
Evolutionary Construction of Granular Kernel Trees for Cyclooxygenase-2 Inhibitor Activity Comparison / Bo Jin ; Yan-Qing Zhang
A Control Model for Markovian Genetic Regulatory Networks / Michael K. Ng ; Shu-Qin Zhang ; Wai-Ki Ching ; Tatsuya Akutsu
Realization of Biological Data Management by Object Deputy Database System / Zhiyong Peng ; Yuan Shi ; Boxuan Zhai
GeneTuc, Genia and Google: Natural Language Understanding in Molecular Biology Literature / Rune Saetre ; Harald Sovik ; Tore Amble ; Yoshimasa Tsuruoka
Gene Relation Finding Through Mining Microarray Data and Literature / Hei-Chia Wang ; Yi-Shiun Lee ; Tian-Hsiang Huang
A Multi-information Based Gene Scoring Method for Analysis of Gene Expression Data / Hsieh-Hui Yu ; Vincent S. Tseng ; Jiin-Haur Chuang
Relation-Based Document Retrieval for Biomedical IR / Xiaohua Zhou ; Guangren Li ; Xia Lin ; Xiaodan Zhang
Author Index
Anti-parallel Coiled Coils Structure Prediction by Support Vector Machine Classification / Zhong Huang ; Yun Li ; Xiaohua Hu
A Complex Bio-networks of the Function Profile of Genes / Charles C.H. Liu ; I-Jen Chiang ; Jau-Min Wong ; Ginni Hsiang-Chun Tsai ; Tsau Young ('T.Y.') Lin
Evolutionary Construction of Granular Kernel Trees for Cyclooxygenase-2 Inhibitor Activity Comparison / Bo Jin ; Yan-Qing Zhang
6.

電子ブック

EB
Corrado Priami, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Modal Logics for Brane Calculus / M. Miculan ; G. Bacci
Deciding Behavioural Properties in Brane Calculi / N. Busi
Probabilistic Model Checking of Complex Biological Pathways / J. Heath ; M. Kwiatkowska ; G. Norman ; D. Parker ; O. Tymchyshyn
Type Inference in Systems Biology / F. Fages ; S. Soliman
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods / M. Calder ; A. Duguid ; S. Gilmore ; J. Hillston
A Formal Approach to Molecular Docking / D. Prandi
Feedbacks and Oscillations in the Virtual Cell VICE / D. Chiarugi ; M. Ghinellato ; P. Degano ; G. Lo Brutto ; R. Marangoni
Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins / M. Cavaliere ; S. Sedwards
Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets / L.J. Steggles ; R. Banks ; A. Wipat
Regulatory Network Reconstruction Using Stochastic Logical Networks / B. Wilczynski ; J. Tiuryn
Identifying Submodules of Cellular Regulatory Networks / G. Sanguinetti ; M. Rattray ; N.D. Lawrence
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks / H. Siebert ; A. Bockmayr
A Computational Model for Eukaryotic Directional Sensing / A. Gamba ; A. de Candia ; F. Cavalli ; S. Di Talia ; A. Coniglio ; F. Bussolino ; G. Serini
Modeling Evolutionary Dynamics of HIV Infection / L. Sguanci ; P. Lio ; F. Bagnoli
Compositional Reachability Analysis of Genetic Networks / G. Gossler
Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networks / M. Cosentino Lagomarsino ; P. Jona ; B. Bassetti
Computational Model of a Central Pattern Generator / E. Cataldo ; J.H. Byrne ; D.A. Baxter
Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation / C. Chettaoui ; F. Delaplace ; P. Lescanne ; M. Vestergaard ; R. Vestergaard
Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeast / T.A. Knijnenburg ; L.F.A. Wessels ; M.J.T. Reinders
An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesis / M.R. Grant ; C.A. Hunt
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion / H. Busch ; W. Sandmann ; V. Wolf
Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysis / M. Filippone ; F. Masulli ; S. Rovetta ; S. Mitra ; H. Banka
Author Index
Modal Logics for Brane Calculus / M. Miculan ; G. Bacci
Deciding Behavioural Properties in Brane Calculi / N. Busi
Probabilistic Model Checking of Complex Biological Pathways / J. Heath ; M. Kwiatkowska ; G. Norman ; D. Parker ; O. Tymchyshyn
7.

電子ブック

EB
Corrado Priami, Luca Cardelli, Stephen Emmott, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
8.

電子ブック

EB
Corrado Priami, Xiaohua Hu, Takeo Kanade, Tsau Young Lin, Yi Pan, Tony Hu
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Anti-parallel Coiled Coils Structure Prediction by Support Vector Machine Classification / Zhong Huang ; Yun Li ; Xiaohua Hu
A Complex Bio-networks of the Function Profile of Genes / Charles C.H. Liu ; I-Jen Chiang ; Jau-Min Wong ; Ginni Hsiang-Chun Tsai ; Tsau Young ('T.Y.') Lin
Evolutionary Construction of Granular Kernel Trees for Cyclooxygenase-2 Inhibitor Activity Comparison / Bo Jin ; Yan-Qing Zhang
A Control Model for Markovian Genetic Regulatory Networks / Michael K. Ng ; Shu-Qin Zhang ; Wai-Ki Ching ; Tatsuya Akutsu
Realization of Biological Data Management by Object Deputy Database System / Zhiyong Peng ; Yuan Shi ; Boxuan Zhai
GeneTuc, Genia and Google: Natural Language Understanding in Molecular Biology Literature / Rune Saetre ; Harald Sovik ; Tore Amble ; Yoshimasa Tsuruoka
Gene Relation Finding Through Mining Microarray Data and Literature / Hei-Chia Wang ; Yi-Shiun Lee ; Tian-Hsiang Huang
A Multi-information Based Gene Scoring Method for Analysis of Gene Expression Data / Hsieh-Hui Yu ; Vincent S. Tseng ; Jiin-Haur Chuang
Relation-Based Document Retrieval for Biomedical IR / Xiaohua Zhou ; Guangren Li ; Xia Lin ; Xiaodan Zhang
Author Index
Anti-parallel Coiled Coils Structure Prediction by Support Vector Machine Classification / Zhong Huang ; Yun Li ; Xiaohua Hu
A Complex Bio-networks of the Function Profile of Genes / Charles C.H. Liu ; I-Jen Chiang ; Jau-Min Wong ; Ginni Hsiang-Chun Tsai ; Tsau Young ('T.Y.') Lin
Evolutionary Construction of Granular Kernel Trees for Cyclooxygenase-2 Inhibitor Activity Comparison / Bo Jin ; Yan-Qing Zhang
9.

電子ブック

EB
Corrado Priami, Takeo Kanade, Gordon Plotkin, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
10.

電子ブック

EB
Corrado Priami, Anna Ingólfsdóttir, Takeo Kanade, Bud Mishra, Hanne Riis Nielson, Hanne Riis Nielson
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼