4

Flux coupling analysis of metabolic networks is sensitive to missing reactions

Year:
2011
Language:
english
File:
PDF, 696 KB
english, 2011
10

A note on a canonical theory with undecidable unification and matching problem

Year:
1987
Language:
english
File:
PDF, 132 KB
english, 1987
11

Conditional narrowing modulo a set of equations

Year:
1993
Language:
english
File:
PDF, 1.18 MB
english, 1993
12

How to realize LSE narrowing

Year:
1998
Language:
english
File:
PDF, 1.75 MB
english, 1998
13

On unions and dominants of polytopes

Year:
2004
Language:
english
File:
PDF, 176 KB
english, 2004
14

Temporal constraints in the logical analysis of regulatory networks

Year:
2008
Language:
english
File:
PDF, 908 KB
english, 2008
15

Modelling discrete optimisation problems inconstraint logic programming

Year:
1998
Language:
english
File:
PDF, 215 KB
english, 1998
16

On flux coupling analysis of metabolic subsystems

Year:
2012
Language:
english
File:
PDF, 455 KB
english, 2012
18

Handbook of Automated Reasoning || Solving Numerical Constraints

Year:
2001
Language:
english
File:
PDF, 5.28 MB
english, 2001
23

Flux modules in metabolic networks

Year:
2014
Language:
english
File:
PDF, 526 KB
english, 2014
28

Generic flux coupling analysis

Year:
2015
Language:
english
File:
PDF, 621 KB
english, 2015
33

Computing maximal and minimal trap spaces of Boolean networks

Year:
2015
Language:
english
File:
PDF, 1.04 MB
english, 2015
35

Cutting Planes and the Elementary Closure in Fixed Dimension

Year:
2001
Language:
english
File:
PDF, 160 KB
english, 2001
39

Formalizing Metabolic-Regulatory Networks by Hybrid Automata

Year:
2019
Language:
english
File:
PDF, 1.33 MB
english, 2019
40

Finding MEMo: minimum sets of elementary flux modes

Year:
2019
Language:
english
File:
PDF, 961 KB
english, 2019