Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Purchase individual online access for 1 year to this journal.Price: EUR 410.00
Impact Factor 2019: 1.204
Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer science. Papers are encouraged contributing:
- solutions by mathematical methods of problems emerging in computer science
- solutions of mathematical problems inspired by computer science.
Topics of interest include (but are not restricted to): theory of computing, complexity theory, algorithms and data structures, computational aspects of combinatorics and graph theory, programming language theory, theoretical aspects of programming languages, computer-aided verification, computer science logic, database theory, logic programming, automated deduction, formal languages and automata theory, concurrency and distributed computing, cryptography and security, theoretical issues in artificial intelligence, machine learning, pattern recognition, algorithmic game theory, bioinformatics and computational biology, quantum computing, probabilistic methods, & algebraic and categorical methods.
Article Type: Research Article
Abstract: 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 behaviours observed in experimental data. Moreover, the model must not exhibit behaviours which contradict existing knowledge about capabilities of the biological system under investigation. Model development is an iterative process involving many rounds of prediction, verification and refinement. Due to the complexity of biological systems this process is laborious and error prone, which motivates the development of “model debugging” tools. The qualitative models …we investigate represent large-scale molecular interaction networks describing gene regulation, signalling and whole-cell metabolism. We integrate a steady state model of whole-cell metabolism with a dynamic model of gene regulation and signalling represented as a Petri net. This Quasi-Steady State Petri Net (QSSPN) representation allows the generation of dynamic sequences of molecular events satisfying substrate, activator, inhibitor and metabolic flux requirements at every state transition. The reachability graph of the dynamic part of the model is examined and for every transition in this graph the satisfaction of metabolic flux requirements is verified by well-established linear programming techniques. Our approach is based on network connectivity alone and does not require any kinetic parameters. We demonstrate the applicability of our method by analysing a large-scale model of a nuclear receptor network regulating bile acid homeostasis in human hepatocyte. To date, simulation and verification of QSSPN models have been performed exclusively by Monte Carlo simulation. Random walks through the state space were used to find examples of behaviour satisfying properties of interest. Here, we provide for the first time for QSSPN models an exhaustive analysis of the state space up to a finite depth, which is possible due to several effective optimisations. Contrary to the Monte Carlo approach, we can prove that certain behaviour cannot be realised by the model within a given number of steps. This allows rejection of models which are not capable to reproduce experimentally observed behaviours, as well as verification that biologically unrealistic behaviours cannot occur in the simulation. We show an example of how these features improve identification of problems in large scale network models. Show more
Citation: Fundamenta Informaticae, vol. 160, no. 1-2, pp. 199-219, 2018
Article Type: Research Article
Abstract: 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 engineering allows composing multiscale models from a set of modules, each describing an individual biomolecular component in the form of a Petri net. In this framework, we now propose a feature for spatial modelling of molecular biosystems. The spatial model represents the coordinates and movement of individual biomolecular components on a defined grid. Here, the distance between components constrains their ability to interact with …each other. We use coloured Petri nets to scale the spatial model, such that each molecular component can exist in an arbitrary number of instances. The grid can encode various regular and irregular structures according to the cellular arrangement and geometry. Furthermore, the grid can be divided into compartments to represent the compartmentalisation of the cell. Show more
Keywords: modular model composition, spatial modelling, multiscale biomodel-engineering, coloured Petri nets
Citation: Fundamenta Informaticae, vol. 160, no. 1-2, pp. 221-254, 2018
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
Free service line: 400 661 8717
Fax: +86 10 8446 7947
For editorial issues, like the status of your submitted paper or proposals, write to firstname.lastname@example.org
如果您在出版方面需要帮助或有任何建, 件至: email@example.com