IOS期刊
期刊
会议
图书
来源:[J].Information Polity, 2018, Vol.23 (1), pp.1-2IOS Press
作者:C. William R. Webster , Charles Leleux
来源:[J].Information Polity, 2018, Vol.23 (1), pp.95-110IOS Press
摘要:Citizens increasingly contribute directly to the evolution of sustainable cities, in particular where new Information and Communication Technologies (ICTs) promise to transform urban governance into ‘Smart city governance’ and where ICTs are integrated in strategies for citi...
作者:Marek Grabowski , Grzegorz Bokota , Jacek Sroka ...
来源:[J].Fundamenta Informaticae(IF 0.399), 2018, Vol.160 (1-2), pp.199-219IOS Press
摘要:We present a tool for the verification of qualitative biological models. These models formalise observed behaviours and interrelations of molecular and cellular mechanisms. During its development a model is continuously verified. Predicted behaviours are compared with behavi...
作者:Franck Delaplace , Cinzia Di Giusto , Jean-Louis Giavitto ...
来源:[J].Fundamenta Informaticae(IF 0.399), 2018, Vol.160 (1-2), pp.119-142IOS Press
摘要:ANDy, Activity Networks with Delays, is a discrete framework aiming at the qualitative modeling of time-dependent activities. The modular and expressive syntax makes ANDy suitable for a concise and natural modeling of time-dependent biological systems ( i.e ., regulatory pathways...
作者:Christian Rohr
来源:[J].Fundamenta Informaticae(IF 0.399), 2018, Vol.160 (1-2), pp.181-198IOS Press
摘要:We present an approach to improve the efficiency of stochastic simulation for large and dense biochemical reaction networks. We use stochastic Petri nets as modelling framework, but the proposed simulation approach is not limited to Petri net representations. The underlying conti...
作者:Dorota Formanowicz , Agnieszka Rybarczyk , Piotr Formanowicz
来源:[J].Fundamenta Informaticae(IF 0.399), 2018, Vol.160 (1-2), pp.143-165IOS Press
摘要:Essential hypertension is the world’s most prevalent cardiovascular disorder, however, its etiology remains poorly understood, making it difficult to study. The evidence suggests that inflammation can lead to the development of hypertension and that oxidative stress and endo...
作者:Paolo Baldan , Martina Bocci , Daniele Brigolin ...
来源:[J].Fundamenta Informaticae(IF 0.399), 2018, Vol.160 (1-2), pp.27-52IOS Press
摘要:We consider trophic networks, a kind of networks used in ecology to represent feeding interactions (what-eats-what) in an ecosystem. Starting from the observation that trophic networks can be naturally modelled as Petri nets, we explore the possibility of using Petri nets for the...
作者:Mathieu Pagé Fortin , Simon V. Hardy
来源:[J].Fundamenta Informaticae(IF 0.399), 2018, Vol.160 (1-2), pp.1-25IOS Press
摘要:Signalling networks in the mammalian cell are complex systems. Their dynamic properties can often be explained by the interaction of regulatory network motifs. Computational modelling is instrumental in explaining how these systems function. To accomplish this task in this paper,...
作者:Rza Bashirov , Nimet İlke Akçay
来源:[J].Fundamenta Informaticae(IF 0.399), 2018, Vol.160 (1-2), pp.167-179IOS Press
摘要:In this work we use hybrid Petri nets to create a model of the p16-mediated signaling pathway in higher eukaryotes and conduct its stochastic simulation-based validation by wet lab observations available from literature. The validation is conducted in terms of stochastic simulati...
作者:Mary-Ann Blätke , Christian Rohr
来源:[J].Fundamenta Informaticae(IF 0.399), 2018, Vol.160 (1-2), pp.221-254IOS Press
摘要:Systems and synthetic biology require multiscale biomodel engineering approaches to integrate diverse spatial and temporal scales which will help to better understand and describe the various interactions in biological systems. Our BioModelKit framework for modular biomodel engin...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×