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, Pablo Gonzalez, Takeo Kanade, Emanuela Merelli, Andrea Omicini
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Corrado Priami, Ozgur B. Akan, Falko Dressler, Takeo Kanade, Alioune Ngom
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Biological and Biologically-Inspired Communication
Towards a Self-structured Grid: An Ant-Inspired P2P Algorithm / Agostino Forestiero ; Carlo Mastroianni ; Giuseppe Papuzzo ; Giandomenico Spezzano
Robustness to Code and Data Deletion in Autocatalytic Quines / Thomas Meyer ; Daniel Schreckling ; Christian Tschudin ; Lidia Yamamoto
A Computational Scheme Based on Random Boolean Networks / Elena Dubrova ; Maxim Teslenko ; Hannu Tenhunen
On Channel Capacity and Error Compensation in Molecular Communication / Baris Atakan ; Ozgur B. Akan
Molecular Communication through Gap Junction Channels / Tadashi Nakano ; Tatsuya Suda ; Takako Koujin ; Tokuko Haraguchi ; Yasushi Hiraoka
Clustering Time-Series Gene Expression Data with Unequal Time Intervals / Luis Rueda ; Ataul Bari ; Alioune Ngom
Integrating Thermodynamic and Observed-Frequency Data for Non-coding RNA Gene Search / Scott F. Smith ; Kay C. Wiese
An Evolutionary Approach to the Non-unique Oligonucleotide Probe Selection Problem / Lili Wang ; Robin Gras
Stochastic ?-Calculus Modelling of Multisite Phosphorylation Based Signaling: The PHO Pathway in Saccharomyces Cerevisiae / Nicola Segata ; Enrico Blanzieri
Author Index
Biological and Biologically-Inspired Communication
Towards a Self-structured Grid: An Ant-Inspired P2P Algorithm / Agostino Forestiero ; Carlo Mastroianni ; Giuseppe Papuzzo ; Giandomenico Spezzano
Robustness to Code and Data Deletion in Autocatalytic Quines / Thomas Meyer ; Daniel Schreckling ; Christian Tschudin ; Lidia Yamamoto
7.

電子ブック

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
8.

電子ブック

EB
Corrado Priami, Ralph-Johan Back, Takeo Kanade, Ion Petre
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Computational Models for Cell Processes
Process Algebra Modelling Styles for Biomolecular Processes / Muffy Colder ; Jane Hillston
Simple, Enhanced and Mutual Mobile Membranes / Bogdan Aman ; Gabriel Ciobanu
Bio-PEPA with Events / Federica Ciocchetta
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition / D. Bošnački ; T.E. Pronk ; E.P. de Vink
Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway / Maria Luisa Guerriero
Rule-Based Modelling and Model Perturbation / Vincent Danos ; Jérôme Feret ; Walter Fontana ; Russ Harmer ; Jean Krivine
Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments / Monika Heiner ; Sebastian Lehrack ; David Gilbert ; Wolfgang Marwan
A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions / Maria Pamela C. David ; Johnrob Y. Bantang ; Eduardo R. Mendoza
Accepting Networks of Non-inserting Evolutionary Processors / Jürgen Dassow ; Victor Mitrana
Discrete Modeling of Biochemical Signaling with Memory Enhancement / John Jack ; Andrei Pãun
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back / Luca Bortolussi ; Alberto Policriti
Computing Equilibrium Points of Genetic Regulatory Networks / Graziano Chesi
Code, Context, and Epigenetic Catalysis in Gene Expression / Rodrick Wallace ; Deborah Wallace
Author Index
Computational Models for Cell Processes
Process Algebra Modelling Styles for Biomolecular Processes / Muffy Colder ; Jane Hillston
Simple, Enhanced and Mutual Mobile Membranes / Bogdan Aman ; Gabriel Ciobanu
9.

電子ブック

EB
GC 2004, Takeo Kanade, Corrado Priami, Paola Quaglia
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック

EB
David Hutchison, Takeo Kanade, Corrado Priami
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼