Experiments on the reliability of stochastic spiking neural P systems

In the area of membrane computing, time-freeness has been defined as the ability for a timed membrane system to produce always the same result, independently of the execution times associated to the rules. In this paper, we use a similar idea in the framework of spiking neural P systems, a model inspired by the structure and the functioning of neural cells. In particular, we introduce stochastic spiking neural P systems where the time of firing for an enabled spiking rule is probabilistically chosen and we investigate when, and how, these probabilities can influence the ability of the systems to simulate, in a reliable way, universal machines, such as register machines.     

Adaptive course generation through learning styles representation

This paper presents an approach to automatic course generation and student modeling. The method has been developed during the European funded projects Diogene and Intraserv, focused on the construction of an adaptive e-learning platform. The aim of the platform is the automatic generation and personalization of courses, taking into account pedagogical knowledge on the didactic domain as well as statistic information on both the student’s knowledge degree and learning preferences. Pedagogical information is described by means of an innovative methodology suitable for effective and efficient course generation and personalization. Moreover, statistic information can be collected and exploited by the system in order to better describe the student’s preferences and learning performances. Learning material is chosen by the system matching the student’s learning preferences with the learning material type, following a pedagogical approach suggested by Felder and Silverman. The paper discusses how automatic learning material personalization makes it possible to facilitate distance learning access to both able-bodied and disabled people. Results from the Diogene and Intraserv evaluation are reported and discussed.     

Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case

Recent coordination languages and models are moving towards the application of techniques coming from the research context of complex systems: adaptivity and self-organization are exploited in order to tackle the openness, dynamism and unpredictability of today's distributed systems. In this area, systems are to be described using stochastic models, and simulation is a valuable tool both for analysis and design. Accordingly, in this work we focused on modelling and simulating emergent properties of coordination techniques.We first develop a framework acting as a general-purpose engine for simulating stochastic transition systems, built as a library for the Maude term rewriting system. We then evaluate this tool to a coordination problem called collective sort, where autonomous agents move tuples across different tuple spaces according to local criteria, and resulting in the emergence of the complete clustering property.     

Female-Headed Households and Achieving Home Ownership in Australia

This paper begins by identifying the growth in female-headed households in Australia. Despite this increase, it is argued that females still lag males in terms of home ownership rates (HORs) with women in Australia facing similar ownership challenges as those experienced in the UK and the USA. In seeking to establish any dynamic change, the study analyses female home ownership rates in Australia for two points in time, 1998 and 2008. Logit models are used to predict HORs. The results indicate that factors such as household type, income and source of income have an impact on rates of ownership. The paper concludes that female-headed households in Australia show an increasing propensity to purchase which match, or even exceed, those of male-headed households.     

Chemical composition,sensory and cooking quality evaluation of durum wheat spaghetti enriched with pea flour

The goal of the study was to obtain spaghetti enriched with pea flour with sensory properties close to conventional pasta. To this aim, the study has been organised in two subsequent trials. In the first, the pea flour amount added to the spaghetti was continuously increased until the overall sensory quality reached its threshold value (pea flour concentration = 15%). In fact, the spaghetti samples supplemented with 15% pea flour (15%S‐P) showed less elasticity, unpleasant colour and higher firmness compared to the control sample (CTRL). The second step was aimed to improve the overall sensory quality of the 15%S‐P spaghetti by means of guar gum (GUAR). The sample with GUAR (15%S‐P/GUAR) showed a pleasant colour, odour and taste. Furthermore, the 15%S‐P/GUAR sample recorded a low starch digestibility value (i.e. 54) and a higher soluble fibre content with respect to the 15%S‐P sample.     

Gene regulatory networks reconstruction from time series datasets using genetic programming: a comparison between tree-based and graph-based approaches

Genetic programming researchers have shown a growing interest in the study of gene regulatory networks in the last few years. Our team has also contributed to the field, by defining two systems for the automatic reverse engineering of gene regulatory networks called GRNGen and GeNet. In this paper, we revise this work by describing in detail the two approaches and empirically comparing them. The results we report, and in particular the fact that GeNet can be used on large networks while GRNGen cannot, encourage us to pursue the study of GeNet in the future. We conclude the paper by discussing the main research directions that we are planning to investigate to improve GeNet.     

A Lyapunov method for stability analysis of piecewise-affine systems over non-invariant domains

This paper analyses stability of discrete-time piecewise-affine systems, defined on possibly non-invariant domains, taking into account the possible presence of multiple dynamics in each of the polytopic regions of the system. An algorithm based on linear programming is proposed, in order to prove exponential stability of the origin and to find a positively invariant estimate of its region of attraction. The results are based on the definition of a piecewise-affine Lyapunov function, which is in general discontinuous on the boundaries of the regions. The proposed method is proven to lead to feasible solutions in a broader range of cases as compared to a previously proposed approach. Two numerical examples are shown, among which a case where the proposed method is applied to a closed-loop system, to which model predictive control was applied without a-priori guarantee of stability.     

Intrinsic Fluorescence of the Active and the Inactive Functional Forms of Human Thymidylate Synthase

The observables associated with protein intrinsic fluorescence – spectra, time decays, anisotropies – offer opportunities to monitor in real time and non-invasively a protein‘s functional form and its interchange with other forms with different functions. We employed these observables to sketch the fluorometric profiles of two functional forms of human thymidylate synthase (hTS), a homodimeric enzyme crucial for cell proliferation and thus targeted by anticancer drugs. The protein takes an active and an inactive form. Stabilization of the latter by peptides that, unlike classical hTS inhibitors, bind it at the monomer/monomer interface offers an alternative inhibition mechanism that promises to avoid the onset of drug resistance in anticancer therapy. The fluorescence features depicted herein can be used as tools to identify and quantify each of the two protein forms in solution, thus making it possible to investigate the kinetic and thermodynamic aspects of the active/inactive conformational interchange. Two examples of fluorometrically monitored interconversion kinetics are provided.