UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

A hybrid model of cell cycle in mammals

Journal of bioinformatics and computational biology, 2016-02, Vol.14 (1), p.1640001

2016

Volltextzugriff (PDF)

Modeling in Computational Biology and Biomedicine: A Multidisciplinary Endeavor

1. Aufl., 2013

Volltextzugriff (PDF)

Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic

Journal of theoretical biology, 2004-08, Vol.229 (3), p.339-347

2004

Volltextzugriff (PDF)

Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network

Fundamenta informaticae, 2009-01, Vol.91 (3-4), p.463-485

2009

Volltextzugriff (PDF)

Enzymatic competition : Modeling and verification with timed hybrid petri nets: Pattern Recognition in Computational Life Sciences

Pattern recognition, 2009, Vol.42 (4), p.562-566

2009

Volltextzugriff (PDF)

Enzymatic competition: Modeling and verification with timed hybrid petri nets

Pattern recognition, 2009-04, Vol.42 (4), p.562-566

2009

Volltextzugriff (PDF)

Enzymatic competition: Modeling and verification with timed hybrid petri nets

Pattern recognition letters, 2009-04, Vol.42 (4), p.562-566

2009

Volltextzugriff (PDF)

Epigenesis and dynamic similarity in two regulatory networks in Pseudomonas aeruginosa

Acta biotheoretica, 2004-01, Vol.52 (4), p.379-390

2004

Volltextzugriff (PDF)

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network

Computational Methods in Systems Biology, 2015, p.8-12

2015

Volltextzugriff (PDF)

Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes

Computational Methods in Systems Biology, 2017, Vol.10545, p.196-213

2017

Volltextzugriff (PDF)

What is a Cell Cycle Checkpoint? The TotemBioNet Answer

Computational Methods in Systems Biology, 2020, Vol.12314, p.362-372

2020

Volltextzugriff (PDF)

On the impact of the distance between two genes on their interaction curve

Journal of mathematical biology, 2012, Vol.64 (1-2), p.131-147

2012

Volltextzugriff (PDF)

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free

Biomedical Engineering Systems and Technologies, 2019, Vol.1024, p.167-191

2019

Volltextzugriff (PDF)

Analysing formal models of genetic regulatory networks with delays

International journal of bioinformatics research and applications, 2008, Vol.4 (3), p.240

2008

Volltextzugriff (PDF)

Delays in Biological Regulatory Networks (BRN)

Computational Science – ICCS 2006, 2006, p.887-894

2006

Volltextzugriff (PDF)

Discrete Delay Model for the Mammalian Circadian Clock

ComPlexUs, 2007-11, Vol.3 (4), p.185-199

2007

Volltextzugriff (PDF)

Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays

ComPlexUs, 2006, Vol.3 (4), p.231-251

2006

Volltextzugriff (PDF)

On the Use of Temporal Formal Logic to Model Gene Regulatory Networks

Computational Intelligence Methods for Bioinformatics and Biostatistics, 2010, p.112-138

2010

Volltextzugriff (PDF)

A Formal Model for Gene Regulatory Networks with Time Delays

Computational Systems-Biology and Bioinformatics, 2010, p.1-13

2010

Volltextzugriff (PDF)

Computing with bacterial constituents, cells and populations: from bioputing to bactoputing

Theory in biosciences = Theorie in den Biowissenschaften, 2011-09, Vol.130 (3), p.211-228

2011

Volltextzugriff (PDF)

Verification of biological models with Timed Hybrid Petri Nets

Computational Models for Life Sciences (CMLS '07) (AIP Conference Proceedings Volume 952), 2007, Vol.952, p.287-296

2007

Volltextzugriff (PDF)

Testing against formal specifications: A theoretical view

TAPSOFT '91, 1991, p.99-119

1991

Volltextzugriff (PDF)

Regulatory networks

Methods in molecular biology (Clifton, N.J.), 2013, Vol.930, p.215

2013

Volltextzugriff (PDF)

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States

Computational Methods in Systems Biology, 2005, p.58-72

2005

Volltextzugriff (PDF)

Towards a mediation system framework for transparent access to largely distributed sources the MediaGrid project

Lecture notes in computer science, 2004, p.65-78

2004

Volltextzugriff (PDF)

1 – 25 von 51

Suche als RSS-Feed

Aktive Filter

KollektionFree E-Journal (出版社公開部分のみ）

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(41)
Mit Volltextzugriff
(40)

Publikationsform

Sprache

Englisch
(50)
Französisch
(1)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

A hybrid model of cell cycle in mammals

Modeling in Computational Biology and Biomedicine: A Multidisciplinary Endeavor

Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic

Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network

Enzymatic competition : Modeling and verification with timed hybrid petri nets: Pattern Recognition in Computational Life Sciences

Enzymatic competition: Modeling and verification with timed hybrid petri nets

Enzymatic competition: Modeling and verification with timed hybrid petri nets

Epigenesis and dynamic similarity in two regulatory networks in Pseudomonas aeruginosa

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network

Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes

What is a Cell Cycle Checkpoint? The TotemBioNet Answer

On the impact of the distance between two genes on their interaction curve

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free

Analysing formal models of genetic regulatory networks with delays

Delays in Biological Regulatory Networks (BRN)

Discrete Delay Model for the Mammalian Circadian Clock

Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays

On the Use of Temporal Formal Logic to Model Gene Regulatory Networks

A Formal Model for Gene Regulatory Networks with Time Delays

Computing with bacterial constituents, cells and populations: from bioputing to bactoputing

Verification of biological models with Timed Hybrid Petri Nets

Testing against formal specifications: A theoretical view

Regulatory networks

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States

Towards a mediation system framework for transparent access to largely distributed sources the MediaGrid project

Aktive Filter

Suchergebnisse filtern