Modeling individual’s aging within a bacterial population using a pi-calculus paradigm

We propose an aging mechanism which develops in artificial bacterial populations fighting against antibiotic molecules. The mechanism is based on very elementary information gathered by each individual and elementary reactions as well. Though we do not interpret the aging process in strictly biological terms, it appears compliant with recent studies on the field, and physically feasible. The root of the aging mechanism is an adaptation strategy based on a thresholding operation that derives from theoretical results on stochastic monotone games. The methods for implementing it denote their rationale in that they represent a sophisticated dialect of pi-calculus, a widespread computational paradigm for implementing dynamics of massive populations with bipolar reactions. As a result we may implement processes that explain some typical patterns of the evolution of the immunosystems.     

PHON: A program to calculate phonons using the small displacement method

The program phon calculates force constant matrices and phonon frequencies in crystals. From the frequencies it also calculates various thermodynamic quantities, like the Helmholtz free energy, the entropy, the specific heat and the internal energy of the harmonic crystal. The procedure is based on the small displacement method, and can be used in combination with any program capable to calculate forces on the atoms of the crystal. In order to examine the usability of the method, I present here two examples: metallic Al and insulating MgO. The phonons of these two materials are calculated using density functional theory. The small displacement method results are compared with those obtained using the linear response method. In the case of Al the method provides accurate phonon frequencies everywhere in the Brillouin Zone (BZ). In the case of MgO the longitudinal branch of the optical phonons near the centre of the BZ is incorrectly described as degenerate with the two transverse branches, because the non-analytical part of the dynamical matrix is ignored here; however, thermodynamic properties like the Helmholtz free are essentially unaffected.

Program summary

Program title: PHONCatalogue identifier: AEDP_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEDP_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 19 580No. of bytes in distributed program, including test data, etc.: 612 193Distribution format: tar.gzProgramming language: Fortran 90Computer: Any Unix, LinuxOperating system: UnixRAM: Depends on super-cell size, but usually negligibleClassification: 7.8External routines: Subprograms ZHEEV and DSYEV (Lapack); needs BLAS. A tutorial is provided with the distribution which requires the installation of the quantum-espresso package (http://www.quantum-espresso.org)Nature of problem: Stable crystals at low temperature can be well described by expanding the potential energy around the atomic equilibrium positions. The movements of the atoms around their equilibrium positions can then be described using harmonic theory, and is characterised by global vibrations called phonons, which can be identified by vectors in the Brillouin zone of the crystal, and there are 3 phonon branches for each atom in the primitive cell. The problem is to calculate the frequencies of these phonons for any arbitrary choice of q-vector in the Brillouin zone.Solution method: The small displacement method: each atom in the primitive cell is displaced by a small amount, and the forces induced on all the other atoms in the crystal are calculated and used to construct the force constant matrix. Supercells of ∼100 atoms are usually large enough to describe the force constant matrix up to the range where its elements have fallen to negligibly small values. The force constant matrix is then used to compute the dynamical matrix at any chosen q-vector in the Brillouin zone, and the diagonalisation of the dynamical matrix provides the squares of the phonon frequencies. The PHON code needs external programs to calculate these forces, and it can be used with any program capable of calculating forces in crystals. The most useful applications are obtained with codes based on density functional theory, but there is no restriction on what can be used.Running time: Negligible, typically a few seconds (or at most a few minutes) on a PC. It can take longer if very dense meshes of q-points are needed, for example, to compute very accurate phonon density of states.     

Sensing device for measuring infants’ grasping actions

The study and measurement of grasping actions and forces in humans is important in a variety of contexts. In infants, it can give insights on the neuro-motor development and on pathological dysfunctions, while it poses functional and operative requirements that are not fully matched by current sensing technology. Novel approaches for measuring infants’ grasping actions are based on sensorized toys usable in natural settings. In this paper, we present a sensing device for measuring grasping force in 4–9-month-old infants. Starting from technical and clinical specifications, we designed and developed a novel device made by silicone, shaped as a ring toy and equipped with a pressure sensor, able to measure the pressure exerted by the infant's hand in the range of 0–5 psi. A mechanical model of the material has been developed and tensile compression tests have been executed in order to assess the mechanical and electrical characteristics of the sensing device. The proposed device complies with the (technical and clinical) specifications and results suitable for measuring the grasping forces of the targeted infants, and finally for monitoring infants’ motor development. The theoretical model developed and the methodology for designing and characterizing the sensing device allow for easy re-design and adaptation of the sensing device and consideration of a variety of possible applications.     

Energy-Efficient Thermal-Aware Autonomic Management of Virtualized HPC Cloud Infrastructure

Virtualized datacenters and clouds are being increasingly considered for traditional High-Performance Computing (HPC) workloads that have typically targeted Grids and conventional HPC platforms. However, maximizing energy efficiency and utilization of datacenter resources, and minimizing undesired thermal behavior while ensuring application performance and other Quality of Service (QoS) guarantees for HPC applications requires careful consideration of important and extremely challenging tradeoffs. Virtual Machine (VM) migration is one of the most common techniques used to alleviate thermal anomalies (i.e., hotspots) in cloud datacenter servers as it reduces load and, hence, the server utilization. In this article, the benefits of using other techniques such as voltage scaling and pinning (traditionally used for reducing energy consumption) for thermal management over VM migrations are studied in detail. As no single technique is the most efficient to meet temperature/performance optimization goals in all situations, an autonomic approach that performs energy-efficient thermal management while ensuring the QoS delivered to the users is proposed. To address the problem of VM allocation that arises during VM migrations, an innovative application-centric energy-aware strategy for Virtual Machine (VM) allocation is proposed. The proposed strategy ensures high resource utilization and energy efficiency through VM consolidation while satisfying application QoS by exploiting knowledge obtained through application profiling along multiple dimensions (CPU, memory, and network bandwidth utilization). To support our arguments, we present the results obtained from an experimental evaluation on real hardware using HPC workloads under different scenarios.     

A platform for the development of patient applications in the domain of personalized health

Personalized health (p-health) systems can contribute significantly to the sustainability of healthcare systems, though their feasibility is yet to be proven. One of the problems related to their development is the lack of well-established development tools for this domain. As the p-health paradigm is focused on patient self-management, big challenges arise around the design and implementation of patient systems. This paper presents a reference platform created for the development of these applications, and shows the advantages of its adoption in a complex project dealing with cardio-vascular diseases.     

A syntactic commutativity format for SOS

Considering operators defined using Structural Operational Semantics (SOS), commutativity axioms are intuitive properties that hold for many of them. Proving this intuition is usually a laborious task, requiring several pages of boring and standard proof. To save this effort, we propose a syntactic SOS format which guarantees commutativity for a set of composition operators.     

The multi-modal interface of Robot-Era multi-robot services tailored for the elderly

Socially assistive robotic platforms are now a realistic option for the long-term care of ageing populations. Elderly users may benefit from many services provided by robots operating in different environments, such as providing assistance inside apartments, serving in shared facilities of buildings or guiding people outdoors. In this paper, we present the experience gained within the EU FP7 ROBOT-ERA project towards the objective of implementing easy-to-use and acceptable service robotic system for the elderly. In particular, we detail the user-centred design and the experimental evaluation in realistic environments of a web-based multi-modal user interface tailored for elderly users of near future multi-robot services. Experimental results demonstrate positive evaluation of usability and willingness to use by elderly users, especially those less experienced with technological devices who could benefit more from the adoption of robotic services. Further analyses showed how multi-modal modes of interaction support more flexible and natural elderly–robot interaction, make clear the benefits for the users and, therefore, increase its acceptability. Finally, we provide insights and lessons learned from the extensive experimentation, which, to the best of our knowledge, is one of the largest experimentation of a multi-robot multi-service system so far.     

Polychaete-Like Undulatory Robotic Locomotion in Unstructured Substrates

A biological paradigm of versatile locomotion and effective motion control is provided by the polychaete annelid worms, whose motion adapts to a large variety of unstructured environmental conditions (sand, mud, sediment, water, etc.), and could thus be of interest to replicate by robotic analogs. Their locomotion is characterized by the combination of a unique form of tail-to-head body undulations (opposite to snakes and eels), with the rowing-like action of numerous lateral appendages distributed along their long segmented body. Focusing on the former aspect of polychaete locomotion, computational models of crawling and swimming by such tail-to-head body undulations have been developed in this paper. These are based on the Lagrangian dynamics of the system and on resistive models of its interaction with the environment, and are used for simulation studies demonstrating the generation of undulatory gaits. Several biomimetic robotic prototypes have been developed, whose undulatory actuation achieves propulsion on sand and other granular unstructured environments. Extensive experimental studies demonstrate the feasibility of robot propulsion by tail-to-head body undulations in such environments, as well as the agreement of its qualitative and quantitative characteristics to the predictions of the corresponding computational models.