close
1.

電子ブック

EB
Trey Ideker, Vineet Bafna, Pavel Pevzner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Not All Scale Free Networks Are Born Equal: The Role of the Seed Graph in PPI Network Emulation / Fereydoun Hormozdiari ; Petra Berenbrink ; Natasa Przulj ; Cenk Sahinalp
Probabilistic Paths for Protein Complex Inference / Hailiang Huang ; Lan V. Zhang ; Frederick P. Roth ; Joel S. Bader
Markov Additive Chains and Applications to Fragment Statistics for Peptide Mass Fingerprinting / Hans-Michael Kaltenbach ; Sebastian Bocker ; Sven Rohmann
A Context-Specific Network of Protein-DNA and Protein-Protein Interactions Reveals New Regulatory Motifs in Human B Cells / Celine Lefebvre ; Wei Keat Lim ; Katia Basso ; Riccardo Dalla Favera ; Andrea Califano
Identification and Evaluation of Functional Modules in Gene Co-expression Networks / Jianhua Ruan ; Weixiong Zhang
A Linear Discrete Dynamic System Model for Temporal Gene Interaction and Regulatory Network Influence in Response to Bioethanol Conversion Inhibitor HMF for Ethanologenic Yeast / Mingzhou (Joe) Song ; Z. Lewis Liu
A Computational Approach for the Identification of Site-Specific Protein Glycosylations Through Ion-Trap Mass Spectrometry / Yin Wu ; Yehia Mechref ; Iveta Klouckova ; Milos V. Novotny ; Haixu Tang
De Novo Signaling Pathway Predictions Based on Protein-Protein Interaction, Targeted Therapy and Protein Microarray Arialysis / Derek Ruths ; Jen-Te Tseng ; Luay Nakhleh ; Prahlad T. Ram
Alignment of Mass Spectrometry Data by Clique Finding and Optimization / Daniel Fasulo ; Anne-Katrin Emde ; Lu-Yong Wang ; Karin Noy ; Nathan Edwards
Author Index
Not All Scale Free Networks Are Born Equal: The Role of the Seed Graph in PPI Network Emulation / Fereydoun Hormozdiari ; Petra Berenbrink ; Natasa Przulj ; Cenk Sahinalp
Probabilistic Paths for Protein Complex Inference / Hailiang Huang ; Lan V. Zhang ; Frederick P. Roth ; Joel S. Bader
Markov Additive Chains and Applications to Fragment Statistics for Peptide Mass Fingerprinting / Hans-Michael Kaltenbach ; Sebastian Bocker ; Sven Rohmann
2.

電子ブック

EB
Ana L. C. Bazzan, Mark Craven, Natália F. Martins, Pavel Pevzner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Selected Articles
Multi-label Hierarchical Classification of Protein Functions with Artificial Immune Systems / Roberto T. Alves ; Myriam R. Delgado ; Alex A. Freitas
Operon Prediction in Bacterial Genomes / Matheus B.S. Barros ; Simone de L. Martins ; Alexandre Plastino
An Evaluation of the Impact of Side Chain Positioning on the Accuracy of Discrete Models of Protein Structures / Miguel M.F. Bugalho ; Arlindo L. Oliveira
Top-Down Hierarchical Ensembles of Classifiers for Predicting G-Protein-Coupled-Receptor Functions / Eduardo P. Costa ; Ana C. Lorena ; Andre C.P.L.F. Carvalho
A Hybrid Method for the Protein Structure Prediction Problem / Marcio Dorn ; Ardala Breda ; Osmar Norberto de Souza
Detecting Statistical Covariations of Sequence Physicochemical Properties / Moshe A. Gadish ; David K.Y. Chiu
Molecular Models to Emulate Confinement Effects on the Internal Dynamics of Organophosphorous Hydrolase / Diego E.B. Gomes ; Roberto D. Lins ; Pedro G. Pascutti ; Tjerk P. Straatsma ; Thereza A. Soares
On the Toric Graph as a Tool to Handle the Problem of Sorting by Transpositions / Rodrigo de A. Hausen ; Luerbio Faria ; Celina M.H. de Figueiredo ; Luis Antonio B. Kowada
A Customized Class of Functions for Modeling and Clustering Gene Expression Profiles in Embryonic Stem Cells / Shenggang Li ; Miguel Andrade-Navarro ; David Sankoff
Extracting Information from Flexible Receptor-Flexible Ligand Docking Experiments / Karina S. Machado ; Evelyn K. Schroeder ; Duncan D. Ruiz ; Ana Wink
Transposition Distance Based on the Algebraic Formalism / Cleber V.G. Mira ; Zanoni Dias ; Hederson P. Santos ; Guilherme A. Pinto ; Maria Emilia M.T. Walter
Using BioAgents for Supporting Manual Annotation on Genome Sequencing Projects / Celia Ghedini Ralha ; Hugo W. Schneider ; Lucas O. da Fonseca ; Marcelo M. Brigido
Application of Genetic Algorithms to the Genetic Regulation Problem / Maria Fernanda B. Wanderley ; Joao C.P. da Silva ; Carlos Cristiano H. Borges ; Ana Tereza R. Vasconcelos
Tests for Gene Clusters Satisfying the Generalized Adjacency Criterion / Ximing Xu
Extended Abstracts
Identity Transposon Networks in D. melanogaster / Alcides Castro-e-Silva ; Gerald Weber ; Romuel F. Machado ; Elizabeth F. Wanner ; Renata Guerra-Sa
Prediction of Protein-Protein Binding Hot Spots: A Combination of Classifiers Approach / Roberto Hiroshi Higa ; Clesio Luis Tozzi
AGN Simulation and Validation Model / Fabricio M. Lopes ; Roberto M. Cesar-Jr. ; Luciano da F. Costa
A Practical Evaluation of BioProvider / Maira Ferreira de Noronha ; Sergio Lifschitz ; Antonio Basilio de Miranda
Evaluation of Models for the Recognition of Hadwritten Digits in Medical Forms / Willian Zalewski ; Huei Diana Lee ; Adewole M.J.F. Caetano ; Andre G. Maletzke ; Joao Jose Fagundes ; Claudio Saddy ; Rodrigues Coy ; Feng Chung Wu
Author Index
Selected Articles
Multi-label Hierarchical Classification of Protein Functions with Artificial Immune Systems / Roberto T. Alves ; Myriam R. Delgado ; Alex A. Freitas
Operon Prediction in Bacterial Genomes / Matheus B.S. Barros ; Simone de L. Martins ; Alexandre Plastino
3.

電子ブック

EB
Keith A. Crandall, Jens Lagergren, Pavel Pevzner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Multichromosomal Genome Median and Halving Problems / Eric Tannier ; Chunfang Zheng ; David Sankoff
A Branch-and-Bound Method for the Multichromosomal Reversal Median Problem / Meng Zhang ; William Arndt ; Jijun Tang
Decompositions of Multiple Breakpoint Graphs and Rapid Exact Solutions / Andrew Wei Xu
Read Mapping Algorithms for Single Molecule Sequencing Data / Vladimir Yanovsky ; Stephen M. Rumble ; Michael Brudno
Exact Transcriptome Reconstruction from Short Sequence Reads / Vincent Lacroix ; Michael Sammeth ; Roderic Guigo ; Anne Bergeron
Post-Hybridization Quality Measures for Oligos in Genome-Wide Microarray Experiments / Florian Battke ; Carsten Muller-Tidow ; Hubert Serve ; Kay Nieselt
NAPX: A Polynomial Time Approximation Scheme for the Noah's Ark Problem / Glenn Hickey ; Paz Carmi ; Anil Maheshwari ; Norbert Zeh
Minimum Common String Partition Parameterized / Peter Demaschke
Hardness and Approximability of the Inverse Scope Problem / Zoran Nikoloski ; Sergio Grimbs ; Joachim Selbig ; Oliver Ebenhoh
Rapid Neighbour-Joining / Martin Simonsen ; Thomas Mailund ; Christian N. S. Pedersen
Efficiently Computing Arbitrarily-Sized Robinson-Foulds Distance Matrices / Seung-Jin Sul ; Grant Brammer ; Tiffani L. Williams
Efficient Genome Wide Tagging by Reduction to SAT / Arthur Choi ; Noah Zaitlen ; Buhm Han ; Knot Pipatsrisawat ; Adnan Darwiche ; Eleazar Eskin
Computing the Minimal Tiling Path from a Physical Map by Integer Linear Programming / Serdar Bozdag ; Timothy J. Close ; Stefano Lonardi
An Efficient Lagrangian Relaxation for the Contact Map Overlap Problem / Rumen Andonov ; Nicola Yanev ; Noel Malod-Dognin
A Faster Algorithm for RNA Co-folding / Michal Ziv-Ukelson ; Irit Gat-Viks ; Ydo Wexler ; Ron Shamir
An Automated Combination of Kernels for Predicting Protein Subcellular Localization / Cheng Soon Ong ; Alexander Zien
Fast Target Set Reduction for Large-Scale Protein Function Prediction: A Multi-class Multi-label Machine Learning Approach / Thomas Lingner ; Peter Meinicke
Multiple Instance Learning Allows MHC Class II Epitope Predictions Across Alleles / Nico Pfeifer ; Oliver Kohlbacher
An Algorithm for Orienting Graphs Based on Cause-Effect Pairs and Its Applications to Orienting Protein Networks / Alexander Medvedovsky ; Vineet Bafna ; Uri Zwick ; Roded Sharan
Enumerating Precursor Sets of Target Metabolites in a Metabolic Network / Ludovic Cottret ; Paulo Vieira Milreu ; Vicente Acuna ; Alberto Marchetti-Spaccamela ; Fabio Viduani Martinez ; Marie-France Sagot ; Leen Stougie
Boosting the Performance of Inference Algorithms for Transcriptional Regulatory Networks Using a Phylogenetic Approach / Xiuwei Zhang ; Bernard M.E. Moret
Fast Bayesian Haplotype Inference Via Context Tree Weighting / Pasi Rastas ; Jussi Kollin ; Mikko Koivisto
Genotype Sequence Segmentation: Handling Constraints and Noise / Qi Zhang ; Wei Wang ; Leonard McMillan ; Jan Prins ; Fernando Pardo-Manuel de Villena ; David Threadgill
Constructing Phylogenetic Supernetworks from Quartets / Stefan Grunewald ; Andreas Spillner ; Kristoffer Forslund ; Vincent Moulton
Summarizing Multiple Gene Tree Using Cluster Networks / Daniel H. Huson ; Regula Rupp
Fast and Adaptive Variable Order Markov Chain Construction / Marcel H. Schulz ; David Weese ; Tobias Rausch ; Andreas Doring ; Knut Reinert ; Martin Vingron
Computing Alignment Seed Sensitivity with Probabilistic Arithmetic Automata / Inke Herms ; Sven Rahmann
The Relation between Indel Length and Functional Divergence: A Formal Study / Raheleh Salari ; Alexander Schonhuth ; Fereydoun Hormozdiari ; Artem Cherkasov ; S. Cenk Sahinalp
Detecting Repeat Families in Incompletely Sequenced Genomes / Jose Augusto Amgarten Quitzau ; Jens Stoye
Novel Phylogenetic Network Inference by Combining Maximum Likelihood and Hidden Markov Models (Extended Abstract) / Sagi Snir ; Tamir Tuller
A Local Move Set for Protein Folding in Triangular Lattice Models / Hans-Joachim Bockenhauer ; Abu Zfer M. Dayem Ullah ; Leonidas Kapsokalivas ; Kathleen Steinhofel
Protein Decoy Generation Using Branch and Bound with Efficient Bounding / Martin Paluszewski ; Pawel Winter
Author Index
Multichromosomal Genome Median and Halving Problems / Eric Tannier ; Chunfang Zheng ; David Sankoff
A Branch-and-Bound Method for the Multichromosomal Reversal Median Problem / Meng Zhang ; William Arndt ; Jijun Tang
Decompositions of Multiple Breakpoint Graphs and Rapid Exact Solutions / Andrew Wei Xu
4.

電子ブック

EB
Sepp Hochreiter, Pavel Pevzner, Roland Wagner, Roland R. Wagner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
5.

電子ブック

EB
Daniel Zeng, Hsinchun Chen, Bill Lober, Pavel Pevzner, Henry Rolka
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Informatics Infrastructure and Policy Considerations
Public Health Information Fusion for Situation Awareness / Henry Rolka ; Jean C. O'Connor ; David Walker
Biosurveillance, Case Reporting, and Decision Support: Public Health Interactions with a Health Information Exchange / Rebecca A. Hills ; William B. Lober ; Ian S. Painter
Bio-surveillance Event Models, Open Source Intelligence, and the Semantic Web / Nancy Grady ; Lowell Vizenor ; Jeanne Sappington Marin ; Laura Peitersen
Foresight China II: Identification and Detection of Infectious Diseases / Jiayuan Feng ; Jianshi (Jesse) Huang ; Angus Nicoll
Public Health Preparedness Informatics Infrastructure. A Case Study in Integrated Surveillance and Response: 2004-2005 National Influenza Vaccine Shortage / Ivan J. Gotham ; Linh H. Le ; Debra L. Sottolano ; Kathryn J. Schmit
Network-Based Data Analytics
Dynamic Network Model for Predicting Occurrences of Salmonella at Food Facilities / Purnamrita Sarkar ; Lujie Chen ; Artur Dubrawski
Network-Based Analysis of Beijing SARS Data / Xiaolong Zheng ; Daniel Zeng ; Aaron Sun ; Yuan Luo ; Quanyi Wang ; Feiyue Wang
Tutte Polynomials and Topological Quantum Algorithms in Social Network Analysis for Epidemiology, Bio-surveillance and Bio-security / Mario Velez ; Juan Ospina ; Doracelly Hincapie
Biosurveillance Models and Outbreak Detection
Integrating a Commuting Model with the Bayesian Aerosol Release Detector / Aurel Cami ; Garrick L. Wallstrom ; William R. Hogan
A Temporal Extension of the Bayesian Aerosol Release Detector / Xiaohui Kong
A Z-Score Based Multi-level Spatial Clustering Algorithm for the Detection of Disease Outbreaks / Jialan Que ; Fu-Chiang Tsui ; Jeremy Espino
Epidemic Thresholds in SIR and SIIR Models Applying an Algorithmic Method / Doracelly Hincapie P. ; Juan Ospina G. ; Anthony Uyi Afuwape ; Ruben D. Gomez A.
Test Power for Drug Abuse Surveillance / Jarad Niemi ; Meredith Smith ; David Banks
Model Assessment and Case Studies
Assessing the Accuracy of Spatiotemporal Epidemiological Models / James H. Kaufman ; Joanna L. Conant ; Daniel A. Ford ; Wakana Kirihata ; Barbara Jones ; Judith V. Douglas
Simulation of Multivariate Spatial-Temporal Outbreak Data for Detection Algorithm Evaluation / Min Zhang
Analysis and Prediction of Epidemiological Trend of Scarlet Fever from 1957 to 2004 in the Downtown Area of Beijing / Yanhui Shen ; Chu Jiang ; Zhe Dun
Environmental Biosurveillance and Case Studies
Environmental Biosurveillance for Epidemic Prediction: Experience with Rift Valley Fever / Jean-Paul Chretien ; Assaf Anyamba ; Jennifer Small ; Compton J. Tucker ; Seth C. Britch ; Kenneth J. Linthicum
Spatial Regression-Based Environmental Analysis in Infectious Disease Informatics / Daniel D. Zeng ; Ping Yan ; Su Li
Author Index
Informatics Infrastructure and Policy Considerations
Public Health Information Fusion for Situation Awareness / Henry Rolka ; Jean C. O'Connor ; David Walker
Biosurveillance, Case Reporting, and Decision Support: Public Health Interactions with a Health Information Exchange / Rebecca A. Hills ; William B. Lober ; Ian S. Painter
6.

電子ブック

EB
Craig E. Nelson, Pavel Pevzner, Stéphane Vialette
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Algorithms for Exploring the Space of Gene Tree/Species Tree Reconciliations / Jean-Philippe Doyon ; Cedric Chauve ; Sylvie Hamel
Limitations of Pseudogenes in Identifying Gene Losses / James C. Costello ; Mira V. Han ; Matthew W. Hahn
Duplication Mechanism and Disruptions in Flanking Regions Influence the Fate of Mammalian Gene Duplicates / Paul Ryvkin ; Jin Jun ; Edward Hemphill ; Craig Nelson
Estimating the Relative Contributions of New Genes from Retrotransposition and Segmental Duplication Events during Mammalian Evolution / Ion Mandoiu
Discovering Local Patterns of Co-evolution / Yifat Felder ; Tamir Tuller
Ancestral Reconstruction by Asymmetric Wagner Parsimony over Continuous Characters and Squared Parsimony over Distributions / Miklos Csuros
An Alignment-Free Distance Measure for Closely Related Genomes / Bernhard Haubold ; Mirjana Domazet-Loso ; Thomas Wiehe
Gene Team Tree: A Compact Representation of All Gene Teams / Melvin Zhang ; Hon Wai Leong
Integrating Sequence and Topology for Efficient and Accurate Detection of Horizontal Gene Transfer / Cuong Than ; Guohua Jin ; Luay Nakhleh
An Evolutionary Study of the Human Papillomavirus Genomes / Dunarel Badescu ; Abdoulaye Banire Diallo ; Mathieu Blanchette ; Vladimir Makarenkov
An Algorithm for Inferring Mitogenome Rearrangements in a Phylogenetic Tree / Matthias Bernt ; Daniel Merkle ; Martin Middendorf
Perfect DCJ Rearrangement / Severine Berard ; Annie Chateau ; Christophe Paul ; Eric Tannier
Sorting Genomes with Insertions, Deletions and Duplications by DCJ / Sophia Yancopoulos ; Richard Friedberg
A Fast and Exact Algorithm for the Median of Three Problem-A Graph Decomposition Approach / Andrew Wei Xu
A Phylogenetic Approach to Genetic Map Refinement / Denis Bertrand ; Nadia El-Mabrouk
Sorting Cancer Karyotypes by Elementary Operations / Michal Ozery-Flato ; Ron Shamir
On Computing the Breakpoint Reuse Rate in Rearrangement Scenarios / Anne Bergeron ; Julia Mixtacki ; Jens Stoye
Hurdles Hardly Have to Be Heeded / Krister M. Swenson ; Yu Lin ; Vaibhav Rajan ; Bernard M.E. Moret
Internal Validation of Ancestral Gene Order Reconstruction in Angiosperm Phylogeny / David Sankoff ; Chunfang Zheng ; P. Kerr Wall ; Claude dePamphilis ; Jim Leebens-Mack ; Victor A. Albert
Author Index
Algorithms for Exploring the Space of Gene Tree/Species Tree Reconciliations / Jean-Philippe Doyon ; Cedric Chauve ; Sylvie Hamel
Limitations of Pseudogenes in Identifying Gene Losses / James C. Costello ; Mira V. Han ; Matthew W. Hahn
Duplication Mechanism and Disruptions in Flanking Regions Influence the Fate of Mammalian Gene Duplicates / Paul Ryvkin ; Jin Jun ; Edward Hemphill ; Craig Nelson
7.

電子ブック

EB
Monika Heiner, Pavel Pevzner, Adelinde M. Uhrmacher
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Qualitative Modeling and Simulation of Bacterial Regulatory Networks / Hidde de Jong
Integrated Analysis from Abstract Stochastic Process Algebra Models / Jane Hillston ; Federica Ciocchetta ; Adam Duguid ; Stephen Gilmore
An Exact Brownian Dynamics Method for Cell Simulation / Koichi Takahashi
Multiscale Modelling of Neuronal Signalling / Nicolas Le Novere
Systems Biology of Halophilic Archaea / Dieter Oesterhelt
A Partial Granger Causality Approach to Explore Causal Networks Derived from Multi-parameter Data / Ritesh Krishna ; Shuixia Guo
Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe / Alexander Ullrich ; Christoph Flamm
Component-Based Modelling of RNA Structure Folding / Carsten Maus
A Language for Biochemical Systems / Michael Pedersen ; Gordon Plotkin
The Attributed Pi Calculus / Mathias John ; Cedric Lhoussaine ; Joachim Niehren ; Adelinde M. Uhrmacher
The Continuous [pi]-Calculus: A Process Algebra for Biochemical Modelling / Marek Kwiatkowski ; Ian Stark
Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems / Dirk Lebiedz ; Dominik Skanda ; Marc Fein
Formal Analysis of Abnormal Excitation in Cardiac Tissue / Pei Ye ; Radu Grosu ; Scott A. Smolka ; Emilia Entcheva
The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock / Laurence Loewe
SED-ML - An XML Format for the Implementation of the MIASE Guidelines / Dagmar Kohn
On Parallel Stochastic Simulation of Diffusive Systems / Lorenzo Dematte ; Tommaso Mazza
Large-Scale Design Space Exploration of SSA / Matthias Jeschke ; Roland Ewald
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway / Edmund M. Clarke ; James R. Faeder ; Christopher J. Langmead ; Leonard A. Harris ; Sumit Kumar Jha ; Axel Legay
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology / Aurelien Rizk ; Gregory Batt ; Francois Fages ; Sylvain Soliman
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways / Robin Donaldson ; David Gilbert
Compositional Definitions of Minimal Flows in Petri Nets
On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network / Abdelhalim Larhlimi ; Alexander Bockmayr
A Combinatorial Approach to Reconstruct Petri Nets from Experimental Data / Markus Durzinsky ; Annegret Wagler ; Robert Weismantel
Analyzing a Discrete Model of Aplysia Central Pattern Generator / Ashish Tiwari ; Carolyn Talcott
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis / D. Bosnacki ; H.M.M. ten Eikelder ; M.N. Steijaert ; E.P. de Vink
A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem Cell Kinetics / Richard C. van der Wath ; Pietro Lio'
Author Index
Qualitative Modeling and Simulation of Bacterial Regulatory Networks / Hidde de Jong
Integrated Analysis from Abstract Stochastic Process Algebra Models / Jane Hillston ; Federica Ciocchetta ; Adam Duguid ; Stephen Gilmore
An Exact Brownian Dynamics Method for Cell Simulation / Koichi Takahashi
8.

電子ブック

EB
Amos Bairoch, Sarah Cohen-Boulakia, Christine Froidevaux, Pavel Pevzner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
9.

電子ブック

EB
Werner Dubitzky, Pavel Pevzner, Mathilde Romberg, Michael Schroeder, Assaf Schuster, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
10.

電子ブック

EB
Jasmin Fisher, J. Fisher, Pavel Pevzner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Contributed Papers
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems / David Harel ; Yaki Setty
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions / Jasmin Fisher ; Thomas A. Henzinger ; Maria Mateescu ; Nir Piterman
Computational Probability for Systems Biology / Werner Sandmann ; Verena Wolf
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets / Elzbieta Krepska ; Nicola Bonzanni ; Anton Feenstra ; Wan Fokkink ; Thilo Kielmann ; Henri Bal ; Jaap Heringa
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis / Oksana Tymchyshyn ; Marta Kwiatkowska
Approximating Continuous Systems by Timed Automata / Oded Maler ; Gregory Batt
From Reaction Models to Influence Graphs and Back: A Theorem / Francois Fages ; Sylvain Soliman
Rule-Based Modelling, Symmetries, Refinements / Vincent Danos ; Jerome Feret ; Walter Fontana ; Russell Harmer ; Jean Krivine
One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II / Adelinde M. Uhrmacher ; Jan Himmelspach ; Matthias Jeschke ; Mathias John ; Stefan Leye ; Carsten Maus ; Mathias Rohl ; Roland Ewald
Author Index
Contributed Papers
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems / David Harel ; Yaki Setty
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions / Jasmin Fisher ; Thomas A. Henzinger ; Maria Mateescu ; Nir Piterman
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼