UB Paderborn / Katalog / Suche / in CDI

Evaluation of time profile reconstruction from complex two-color microarray designs

BMC bioinformatics, 2008-01, Vol.9 (1), p.1-1, Article 1

2008

Link zum Volltext

Verfügbarkeit prüfen

Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa

BMC bioinformatics, 2006-05, Vol.7 (1), p.272-272, Article 272

2006

Link zum Volltext

Verfügbarkeit prüfen

Modeling in Computational Biology and Biomedicine: A Multidisciplinary Endeavor

1. Aufl., 2013

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes

Computational Methods in Systems Biology, p.196-213

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Regulatory networks

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

2013

Link zum Volltext

Verfügbarkeit prüfen

Analysing formal models of genetic regulatory networks with delays

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

2008

Link zum Volltext

Verfügbarkeit prüfen

Exception handling and term labelling

TAPSOFT'93: Theory and Practice of Software Development, 2005, p.421-436

2005

Link zum Volltext

Verfügbarkeit prüfen

Towards heterogeneous formal specifications

Algebraic Methodology and Software Technology, 2005, p.458-472

2005

Link zum Volltext

Verfügbarkeit prüfen

Validation of biological models with Temporal Logic and Timed Hybrid Petri Nets

2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2007, Vol.2007, p.4603-4608

2007

Link zum Volltext
IEEE_Xplore

Une semantique algebrique pour une specification differenciee des exceptions et des erreurs : application a l'implementation et aux primitives de structuration des specifications formelles

Bernot, Gilles

1986

Link zum Volltext

Verfügbarkeit prüfen

Behavioural approaches to algebraic specifications: a comparative study

Acta informatica, 1994-07, Vol.31 (7), p.651-671

1994

Link zum Volltext

Verfügbarkeit prüfen

Formal Methods for Modeling Biological Regulatory Networks

Modern Formal Methods and Applications, p.83-122

Link zum Volltext

Verfügbarkeit prüfen

Towards a Mediation System Framework for Transparent Access to Largely Distributed Sources

Semantics of a Networked World. Semantics for Grid Databases, p.65-78

Link zum Volltext

Verfügbarkeit prüfen

Upregulation of TNF-α-induced ICAM-1 surface expression by adenylate cyclase-dependent pathway in human endothelial cells

Journal of cellular physiology, 2005-02, Vol.202 (2), p.434-441

2005

Link zum Volltext

Verfügbarkeit prüfen

Prospective Evaluation of the Hybrid Capture 2 and AMPLICOR Human Papillomavirus (HPV) Tests for Detection of 13 High-Risk HPV Genotypes in Atypical Squamous Cells of Uncertain Significance

Journal of Clinical Microbiology, 2007-02, Vol.45 (2), p.313-316

2007

Link zum Volltext

Verfügbarkeit prüfen

Non-Founder Mutations in the MEFV Gene Establish This Gene as the Cause of Familial Mediterranean Fever (FMF)

Human molecular genetics, 1998-08, Vol.7 (8), p.1317-1325

1998

Link zum Volltext

Verfügbarkeit prüfen

Proteasome inhibition activates the transport and the ectodomain shedding of TNF-alpha receptors in human endothelial cells

Journal of cell science, 2005-03, Vol.118 (Pt 5), p.1061-1070

2005

Link zum Volltext

Verfügbarkeit prüfen

Effect of Atorvastatin on Adhesive Phenotype of Human Endothelial Cells Activated By Tumor Necrosis Factor Alpha

Journal of cardiovascular pharmacology, 2003-02, Vol.41 (2), p.316-324

2003

Link zum Volltext

Verfügbarkeit prüfen

Proteasome inhibition activates the transport and the ectodomain shedding of TNF-[alpha] receptors in human endothelial cells

Journal of cell science, 2005, Vol.118 (5), p.1061-1070

2005

Link zum Volltext

Verfügbarkeit prüfen

Modulation of PAI-1 and proMMP-9 syntheses by soluble TNFα and its receptors during differentiation of the human monocytic HL-60 cell line

Journal of cellular physiology, 2003-08, Vol.196 (2), p.346-353

2003

Link zum Volltext

Verfügbarkeit prüfen

Proinflammatory properties of murine aortic endothelial cells exclusively expressing a non cleavable form of TNFalpha. Effect on tumor necrosis factor alpha receptor type 2

Thrombosis and haemostasis, 2004-12, Vol.92 (6), p.1428

2004

Link zum Volltext

Verfügbarkeit prüfen

Modulation of PAI-1 and proMMP-9 syntheses by soluble TNFalpha and its receptors during differentiation of the human monocytic HL-60 cell line

Journal of cellular physiology, 2003-08, Vol.196 (2), p.346

2003

Link zum Volltext

Verfügbarkeit prüfen

Menü

Weitere Dienste

Einstellungen

Evaluation of time profile reconstruction from complex two-color microarray designs

Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa

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

Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes

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

Regulatory networks

Analysing formal models of genetic regulatory networks with delays

Exception handling and term labelling

Towards heterogeneous formal specifications

Validation of biological models with Temporal Logic and Timed Hybrid Petri Nets

Une semantique algebrique pour une specification differenciee des exceptions et des erreurs : application a l'implementation et aux primitives de structuration des specifications formelles

Behavioural approaches to algebraic specifications: a comparative study

Formal Methods for Modeling Biological Regulatory Networks

Towards a Mediation System Framework for Transparent Access to Largely Distributed Sources

A candidate gene for familial Mediterranean fever

Upregulation of TNF-α-induced ICAM-1 surface expression by adenylate cyclase-dependent pathway in human endothelial cells

Prospective Evaluation of the Hybrid Capture 2 and AMPLICOR Human Papillomavirus (HPV) Tests for Detection of 13 High-Risk HPV Genotypes in Atypical Squamous Cells of Uncertain Significance

Non-Founder Mutations in the MEFV Gene Establish This Gene as the Cause of Familial Mediterranean Fever (FMF)

Proteasome inhibition activates the transport and the ectodomain shedding of TNF-alpha receptors in human endothelial cells

Effect of Atorvastatin on Adhesive Phenotype of Human Endothelial Cells Activated By Tumor Necrosis Factor Alpha

Proteasome inhibition activates the transport and the ectodomain shedding of TNF-[alpha] receptors in human endothelial cells

Modulation of PAI-1 and proMMP-9 syntheses by soluble TNFα and its receptors during differentiation of the human monocytic HL-60 cell line

Proinflammatory properties of murine aortic endothelial cells exclusively expressing a non cleavable form of TNFalpha. Effect on tumor necrosis factor alpha receptor type 2

Modulation of PAI-1 and proMMP-9 syntheses by soluble TNFalpha and its receptors during differentiation of the human monocytic HL-60 cell line

Aktive Filter

Suchergebnisse filtern