Luca Bortolussi
Programmable models of growth and mutation of cancer-cell populations.
Thu, 09/08/2011 - 15:01 — SomNambulAuthors: Luca Bortolussi, Alberto Policriti
Subjects: and Science, Computational Engineering, Finance
AbstractIn this paper we propose a systematic approach to construct mathematical
models describing populations of cancer-cells at different stages of disease
development. The methodology we propose is based on stochastic Concurrent
Constraint Programming, a flexible stochastic modelling language. The
methodology is tested on (and partially motivated by) the study of prostate
cancer.HYPE with stochastic events.
Fri, 07/08/2011 - 15:01 — SomNambulAuthors: Jane Hillston, Luca Bortolussi, Vashti Galpin
Subjects: Logic in Computer Science
AbstractThe process algebra HYPE was recently proposed as a fine-grained modelling
approach for capturing the behaviour of hybrid systems. In the original
proposal, each flow or influence affecting a variable is modelled separately
and the overall behaviour of the system then emerges as the composition of
these flows. The discrete behaviour of the system is captured by instantaneous
actions which might be urgent, taking effect as soon as some activation
condition is satisfied, or non-urgent meaning that they can tolerate some
(unknown) delay before happening.
User login
