Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 412; Issue 21

Theoretical Computer Science

Volume 412; Issue 21
1

Dynamically consistent reduction of logical regulatory graphs

Aurélien Naldi, Elisabeth Remy, Denis Thieffry, Claudine Chaouiya
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 401 KB
english, 2011
2

Approximation of event probabilities in noisy cellular processes

Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 311 KB
english, 2011
4

A semantic equivalence for Bio-PEPA based on discretisation of continuous values

Vashti Galpin, Jane Hillston
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 590 KB
english, 2011
5

Computing reachable states for nonlinear biological models

Thao Dang, Colas Le Guernic, Oded Maler
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 488 KB
english, 2011
6

Probabilistic approximations of ODEs based bio-pathway dynamics

Bing Liu, David Hsu, P.S. Thiagarajan
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 1.63 MB
english, 2011
7

Preface

Pierpaolo Degano
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 119 KB
english, 2011
8

Preface

G. Rozenberg
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 137 KB
english, 2011
9

Editorial Board

Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 58 KB
english, 2011