358 research outputs found
Agents in Bioinformatics
The scope of the Technical Forum Group (TFG) on Agents in Bioinformatics (BIOAGENTS) was to inspire collaboration between the agent and bioinformatics communities with the aim of creating an opportunity to propose a different (agent-based) approach to the development of computational frameworks both for data analysis in bioinformatics and for system modelling in computational biology. During the day, the participants examined the future of research on agents in bioinformatics primarily through 12 invited talks selected to cover the most relevant topics. From the discussions, it became clear that there are many perspectives to the field, ranging from bio-conceptual languages for agent-based simulation, to the definition of bio-ontology-based declarative languages for use by information agents, and to the use of Grid agents, each of which requires further exploration. The interactions between participants encouraged the development of applications that describe a way of creating agent-based simulation models of biological systems, starting from an hypothesis and inferring new knowledge (or relations) by mining and analysing the huge amount of public biological data. In this report we summarise and reflect on the presentations and discussions
The Topological Field Theory of Data: a program towards a novel strategy for data mining through data language
This paper aims to challenge the current thinking in IT for the 'Big Data' question, proposing - almost verbatim, with no formulas - a program aiming to construct an innovative methodology to perform data analytics in a way that returns an automaton as a recognizer of the data language: a Field Theory of Data. We suggest to build, directly out of probing data space, a theoretical framework enabling us to extract the manifold hidden relations (patterns) that exist among data, as correlations depending on the semantics generated by the mining context. The program, that is grounded in the recent innovative ways of integrating data into a topological setting, proposes the realization of a Topological Field Theory of Data, transferring and generalizing to the space of data notions inspired by physical (topological) field theories and harnesses the theory of formal languages to define the potential semantics necessary to understand the emerging patterns
Building a MultiAgent System from a User Workflow Specification
This paper provides a methodology to build
a MultiAgent System (MAS) described in terms of interactive
components from a domain-specic User Workow
Specication (UWS). We use a Petri nets-based notation
to describe workow specications. This, besides using a
familiar and well-studied notation, guarantees an highlevel
of description and independence with more concrete
vendor-specic process denition languages. In order to
bridge the gap between workow specications and MASs,
we exploit other intermediate Petri nets-based notations.
Transformation rules are given to translate a notation to
another. The generated agent-based application implements
the original workow specication. Run-time support is
provided by a middleware suitable for the execution of the
generated code
Visualising 2-simplex formation in metabolic reactions
Understanding in silico the dynamics of metabolic reactions made by a large number of molecules has led to the development of different tools for visualising molecular interactions. However, most of them are mainly focused on quantitative aspects. We investigate the potentiality of the topological interpretation of the interaction-as-perception at the basis of a multiagent system, to tackle the complexity of visualising the emerging behaviour of a complex system. We model and simulate the glycolysis process as a multiagent system, and we perform topological data analysis of the molecular perceptions graphs, gained during the formation of the enzymatic complexes, to visualise the set of emerging patterns. Identifying expected patterns in terms of simplicial structures allows us to characterise metabolic reactions from a qualitative point of view and conceivably reveal the simulation reactivity trend
A distributed approach for parameter estimation in Systems Biology models
Due to the lack of experimental measurements, biological variability and experimental errors, the value of many parameters of the systems biology Mathematical models is yet unknown or uncertain. A possible computational solution is the parameter estimation, that is the identification of the parameter values that determine the best model fitting respect to experimental data. We have developed an
environment to distribute each run of the parameter estimation algorithm on a different computational resource. The key feature of the implementation is a relational
database that allows the user to swap the candidate solutions among the working nodes during the computations. The comparison of the distributed implementation with the parallel one showed that the presented approach enables a faster and better parameter estimation of systems biology models
Model driven design and implementation of activity-based applications in Hermes
Hermes is an agent-based middleware structured
as a component-based and 3-layered software architecture.
Hermes provides an integrated, exible programming
environment for design and execution of activity-based
applications in distributed environments. By using workow
technology, it supports even a non expert user programmer
in the model driven design and implementation of a domain
specic application. In this paper, after a description of
Hermes software architecture, we provide a simple demo
in biological domain and we show some real case studies in
which Hermes has been validated
Bone Remodelling in BioShape
AbstractMany biological phenomena are inherently multiscale, i.e. they are characterised by interactions involving different scales at the same time. This is the case of bone remodelling, where macroscopic behaviour (at organ and tissue scale) and microstructure (at cell scale) strongly influence each other. Consequently, several approaches have been defined to model such a process at different spatial and temporal levels and, in particular, in terms of continuum properties, abstracting in this way from a realistic – and more complex – cellular scenario. While a large amount of information is available to validate such models separately, more work is needed to integrate all levels fully in a faithful multiscale model.In this scenario, we propose the use of BioShape, a 3D particle-based, scale-independent, geometry and space oriented simulator. It is used to define and integrate a cell and tissue scale model for bone remodelling in terms of shapes equipped with perception, interaction and movement capabilities. Their in-silico simulation allows for tuning continuum-based tissutal and cellular models, as well as for better understanding – both in qualitative and in quantitative terms – the blurry synergy between mechanical and metabolic factors triggering bone remodelling
Multiple verification in computational modeling of bone pathologies
We introduce a model checking approach to diagnose the emerging of bone
pathologies. The implementation of a new model of bone remodeling in PRISM has
led to an interesting characterization of osteoporosis as a defective bone
remodeling dynamics with respect to other bone pathologies. Our approach allows
to derive three types of model checking-based diagnostic estimators. The first
diagnostic measure focuses on the level of bone mineral density, which is
currently used in medical practice. In addition, we have introduced a novel
diagnostic estimator which uses the full patient clinical record, here
simulated using the modeling framework. This estimator detects rapid (months)
negative changes in bone mineral density. Independently of the actual bone
mineral density, when the decrease occurs rapidly it is important to alarm the
patient and monitor him/her more closely to detect insurgence of other bone
co-morbidities. A third estimator takes into account the variance of the bone
density, which could address the investigation of metabolic syndromes, diabetes
and cancer. Our implementation could make use of different logical combinations
of these statistical estimators and could incorporate other biomarkers for
other systemic co-morbidities (for example diabetes and thalassemia). We are
delighted to report that the combination of stochastic modeling with formal
methods motivate new diagnostic framework for complex pathologies. In
particular our approach takes into consideration important properties of
biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could
be further expanded, inching towards the complexity of human diseases. Finally,
we briefly introduce self-adaptiveness in formal methods which is a key
property in the regulative mechanisms of biological systems and well known in
other mathematical and engineering areas.Comment: In Proceedings CompMod 2011, arXiv:1109.104
Cystic Fibrosis Defective Response to Infection Involves Autophagy and Lipid Metabolism
Cystic fibrosis (CF) is a hereditary disease, with 70% of patients developing a proteinopathy related to the deletion of phenylalanine 508. CF is associated with multiple organ dysfunction, chronic inflammation, and recurrent lung infections. CF is characterized by defective autophagy, lipid metabolism, and immune response. Intracellular lipid accumulation favors microbial infection, and autophagy deficiency impairs internalized pathogen clearance. Myriocin, an inhibitor of sphingolipid synthesis, significantly reduces inflammation, promotes microbial clearance in the lungs, and induces autophagy and lipid oxidation. RNA-seq was performed in Aspergillusfumigatus-infected and myriocin-treated CF patients' derived monocytes and in a CF bronchial epithelial cell line. Fungal clearance was also evaluated in CF monocytes. Myriocin enhanced CF patients' monocytes killing of A. fumigatus. CF patients' monocytes and cell line responded to infection with a profound transcriptional change; myriocin regulates genes that are involved in inflammation, autophagy, lipid storage, and metabolism, including histones and heat shock proteins whose activity is related to the response to infection. We conclude that the regulation of sphingolipid synthesis induces a metabolism drift by promoting autophagy and lipid consumption. This process is driven by a transcriptional program that corrects part of the differences between CF and control samples, therefore ameliorating the infection response and pathogen clearance in the CF cell line and in CF peripheral blood monocytes
Timed Operational Semantics and Well-Formedness of Shape Calculus
The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel that models naturally binding sites on the surface of shapes. In this paper, the full formal timed operational semantics of the calculus is provided, together with examples that illustrate the use of the calculus in a well-known biological scenario. Moreover, a result of well-formedness about the evolution of a given network of well-formed 3D processes is proved
- …