Applications of a formal approach to decipher discrete genetic networks. - Wikidata - wikimedia - TriplyDB

Applications of a formal approach to decipher discrete genetic networks.

Applications of a formal approach to decipher discrete genetic networks.

http://www.wikidata.org/entity/Q33636830

about

Logical Modeling and Dynamical Analysis of Cellular Networks Formal reasoning about systems biology using theorem proving."Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.Boolean Dynamic Modeling Approaches to Study Plant Gene Regulatory Networks: Integration, Validation, and Prediction.Molecular mechanisms underlying COPD-muscle dysfunction unveiled through a systems medicine approach.A Method to Identify and Analyze Biological Programs through Automated Reasoning Formal methods for Hopfield-like networks.A hybrid model of cell cycle in mammals.

P2860

Q26745955-B31CD6D5-C16B-4D56-BAC8-BD227E15B905 Q33865794-7599F234-20BD-4349-BC6B-F5F1AD97114D Q34109051-BD16BA44-3AFB-4F6D-B5FB-065C5943E14D Q38721580-CA7A23EE-9F21-4CDD-B18A-76E26D975888 Q39235602-D19772E4-A7D1-4F2D-B627-CC3D6F6C41CB Q39351987-9D54BEC8-1618-43EC-BE4F-E89FF85215EC Q43664110-FD341E6E-5AD3-4960-9A9D-8FB0EC4FA808 Q50748173-71128B5E-1C5B-4DDB-821A-168321563B1B

P2860

Applications of a formal approach to decipher discrete genetic networks.

http://www.wikidata.org/entity/Q33636830

description

2010 nî lūn-bûn

@nan

2010 թուականի Յուլիսին հրատարակուած գիտական յօդուած

@hyw

2010 թվականի հուլիսին հրատարակված գիտական հոդված

@hy

2010年の論文

@ja

2010年論文

@yue

2010年論文

@zh-hant

2010年論文

@zh-hk

2010年論文

@zh-mo

2010年論文

@zh-tw

2010年论文

@wuu

name

Applications of a formal approach to decipher discrete genetic networks.

@ast

Applications of a formal approach to decipher discrete genetic networks.

@en

type

label

Applications of a formal approach to decipher discrete genetic networks.

@ast

Applications of a formal approach to decipher discrete genetic networks.

@en

prefLabel

Applications of a formal approach to decipher discrete genetic networks.

@ast

Applications of a formal approach to decipher discrete genetic networks.

@en

P1433

Q33636830-54A718D8-BEA4-4924-AE5E-DC4688B974BC

P1476

Q33636830-4B501AA1-9322-4BB7-A10C-B97046D42EB0

P2093

Q33636830-934C2F58-4D7C-4EB7-BC8E-6A1C24E305C4

Q33636830-B9F01E99-92D6-4E5E-9D1A-CBC2C815C2F3

Q33636830-F6A52251-A32D-4BB7-A973-F7057F82BE9D

P2860

Q33636830-0538B511-A5AB-4345-916D-351BE24BCC87

Q33636830-05497214-E36F-4430-80BD-243AD21FEA8F

Q33636830-07464B5A-BB04-4EF0-942E-9A6E2369B4D0

Q33636830-0E900688-4788-404F-82C0-336BE9312406

Q33636830-0EDB0907-BCC4-4F01-B597-5555745F350D

Q33636830-11442163-1750-4C78-A79B-09D188558B2E

Q33636830-19E6A46B-F34A-4969-A864-5DC754C47D98

Q33636830-2B3EA94A-9C42-4B6E-9F52-9E9606BCE4F6

Q33636830-380EDB51-94C7-43B8-84CD-7994DC16570E

Q33636830-6DF58C7E-294F-4691-8D5E-1535D3D41B3E

P2888

Q33636830-C384F6A7-354B-4E69-9B0B-53320523F09F

P304

Q33636830-D8129190-8E50-41C5-B9A8-B7B75957C813

P31

Q33636830-8FF622B4-BA62-423E-A1B1-89B1B2B9A7F0

P356

Q33636830-A7E3AD0F-96EE-4D18-AD1E-27E2B8D658C8

P478

Q33636830-FB9E776E-4DFE-456B-B922-C7AAB3DF9B48

P577

Q33636830-F1390CDD-78A3-4840-86C5-579BE5A3E449

P5875

Q33636830-992F004B-73D5-4885-B717-99E9A062919C

P6179

Q33636830-AC329C01-C092-4251-8CDF-DF98C6A8CE70

P698

Q33636830-21C90E85-8C9F-4CDF-8D26-C4101AC38C65

P932

Q33636830-4420228C-BA67-4B11-A355-12D26F83F794

P356

1471-2105-11-385

P1433

BMC Bioinformatics

P1476

Applications of a formal approach to decipher discrete genetic networks.

@en

P2093

Eric Fanchon

http://www.w3.org/2001/XMLSchema#string

Fabien Corblin

http://www.w3.org/2001/XMLSchema#string

Laurent Trilling

http://www.w3.org/2001/XMLSchema#string

P2860

Metabolic stability and epigenesis in randomly constructed genetic nets

Qualitative simulation of genetic regulatory networks using piecewise-linear models.

Logical modelling of regulatory networks with GINsim 2.3.

Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits.

Alternative epigenetic states understood in terms of specific regulatory structures.

Differential regulation of Escherichia coli topoisomerase I by Fis.

A general computational method for robustness analysis with applications to synthetic gene networks.

BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge.

Qualitative simulation of the initiation of sporulation in Bacillus subtilis.

Genetic Network Analyzer: qualitative simulation of genetic regulatory networks.

P2888

1471-2105-11-385

P304

385

http://www.w3.org/2001/XMLSchema#string

P31

scholarly article

P356

10.1186/1471-2105-11-385

http://www.w3.org/2001/XMLSchema#string

P478

11

http://www.w3.org/2001/XMLSchema#string

P577

2010-07-20T00:00:00Z

http://www.w3.org/2001/XMLSchema#dateTime

P5875

45277419

http://www.w3.org/2001/XMLSchema#string

P6179

1036672603

http://www.w3.org/2001/XMLSchema#string

P698

20646302

http://www.w3.org/2001/XMLSchema#string

P932

2918581

http://www.w3.org/2001/XMLSchema#string