A Logical Model for Molecular Interaction Maps (Englisch)
- Neue Suche nach: Demolombe, Robert
- Neue Suche nach: Fariñas del Cerro, Luis
- Neue Suche nach: Obeid, Naji
- Neue Suche nach: Fariñas del Cerro, Luis
- Neue Suche nach: Inoue, Katsumi
- Neue Suche nach: Demolombe, Robert
- Neue Suche nach: Fariñas del Cerro, Luis
- Neue Suche nach: Obeid, Naji
In:
Logical Modeling of Biological Systems
;
93-123
;
2014
-
ISBN:
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:A Logical Model for Molecular Interaction Maps
-
Beteiligte:Fariñas del Cerro, Luis ( Herausgeber:in ) / Inoue, Katsumi ( Herausgeber:in ) / Demolombe, Robert ( Autor:in ) / Fariñas del Cerro, Luis ( Autor:in ) / Obeid, Naji ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: John Wiley & Sons, Inc.
-
Erscheinungsort:Hoboken, NJ, USA
-
Erscheinungsdatum:10.07.2014
-
Format / Umfang:31 pages
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Symbolic Representation and Inference of Regulatory Network StructuresMaimari, Nataly / Broda, Krysia / Kakas, Antonis / Krams, Rob / Russo, Alessandra et al. | 2014
- 49
-
Reasoning on the Response of Logical Signaling Networks with ASPSchaub, Torsten / Siegel, Anne / Videla, Santiago et al. | 2014
- 93
-
A Logical Model for Molecular Interaction MapsDemolombe, Robert / Fariñas del Cerro, Luis / Obeid, Naji et al. | 2014
- 125
-
Analyzing Large Network Dynamics with Process HittingPaulevé, Loïc / Chancellor, Courtney / Folschette, Maxime / Magnin, Morgan / Roux, Olivier et al. | 2014
- 167
-
ASP for Construction and Validation of Regulatory Biological NetworksRocca, Alexandre / Mobilia, Nicolas / Fanchon, Éric / Ribeiro, Tony / Trilling, Laurent / Inoue, Katsumi et al. | 2014
- 207
-
Simulation‐Based Reasoning about Biological Pathways Using Petri Nets and ASPAnwar, Saadat / Baral, Chitta / Inoue, Katsumi et al. | 2014
- 245
-
Formal Methods Applied to Gene Network ModelingBernot, Gilles / Comet, Jean‐Paul / Snoussi, El Houssine et al. | 2014
- 291
-
Temporal Logic Modeling of Dynamical Behaviors: First‐Order Patterns and SolversFages, François / Traynard, Pauline et al. | 2014
- 325
-
Analyzing SBGN‐AF Networks Using Normal Logic ProgramsRougny, Adrien / Froidevaux, Christine / Yamamoto, Yoshitaka / Inoue, Katsumi et al. | 2014
- 363
-
Machine Learning of Biological Networks Using Abductive ILPTamaddoni‐Nezhad, Alireza / Lin, Dianhuan / Watanabe, Hiroaki / Chen, Jianzhong / Muggleton, Stephen et al. | 2014
- 403
-
List of Authors| 2014
- 407
-
Index| 2014
- i
-
Front Matter| 2014
- no
-
Other Titles from ISTE in Bioengineering and Health Science| 2014