دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

Editorial Board

6 صفحه فرمت PDF سال انتشار : 2011 دانلود متن کامل مقاله ISI سفارش ترجمه

Computing reachable states for nonlinear biological models

13 صفحه فرمت PDF سال انتشار : 2011 دانلود متن کامل مقاله ISI سفارش ترجمه

Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints

20 صفحه فرمت PDF سال انتشار : 2011 دانلود متن کامل مقاله ISI سفارش ترجمه

Approximation of event probabilities in noisy cellular processes

14 صفحه فرمت PDF سال انتشار : 2011 دانلود متن کامل مقاله ISI سفارش ترجمه

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

20 صفحه فرمت PDF سال انتشار : 2011 دانلود متن کامل مقاله ISI سفارش ترجمه

Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement

26 صفحه فرمت PDF سال انتشار : 2011 دانلود متن کامل مقاله ISI سفارش ترجمه

Probabilistic approximations of ODEs based bio-pathway dynamics

19 صفحه فرمت PDF سال انتشار : 2011 دانلود متن کامل مقاله ISI سفارش ترجمه

Dynamically consistent reduction of logical regulatory graphs

12 صفحه فرمت PDF سال انتشار : 2011 دانلود متن کامل مقاله ISI سفارش ترجمه