Abstract
Electronic Health Records (EHR) applications have evolved a lot in recent years taking advantage of the strong growth of information and communication technologies (ICT) in the healthcare sector. With the existence of multiple solutions to solve the problems of systemic interoperability would be expected a greater and quicker rise of these applications within, and beyond, healthcare systems. The integrated and continued care is a new paradigm that seeks to ensure that all users, depending on their specific situation, have access to the type and intensity of care that actually need, when and where it is needed, depends on the involvement of formal and informal caregivers beyond the narrow area of health. This paper presents a platform to support applications in the social sector, with the intention of guarantee the interoperability of them with the existing healthcare information systems. This platform is likely to generate new information objects to accommodate the needs of recording and sharing of information from a wide range of providers.

Abstract
Since wireless sensor network applications are ever growing in scale and complexity, managers require strong formal guarantees that any changes done to the system can be enacted safely. This paper presents the formalisation and analysis of the semantics of policies, tiny software artefacts used to orchestrate wireless sensor network applications. The semantics of policies is formalised in terms of traces augmented with information concerning the constraints under which traces are executed. These traces are composed according to the network topology and subsequently analysed using the mCRL2 model-checking tool. The analysis allows for the detection of semantical inconsistencies that may lead to dangerous or unwanted behaviour of the application based on the policy configuration. An analysis of policies in a real-world system is provided, showing how to verify security and resource usage properties. © 2012 IEEE.

Abstract

Abstract
One of the most challenging tasks for an animator is to quickly create convincing facial expressions. Finding an effective control interface to manipulate facial geometry has traditionally required experienced users (usually technical directors), who create and place the necessary animation controls. Here we present our sketching interface control system, designed to reduce the time and effort necessary to create facial animations. Inspired in the way artists draw, where simple strokes define the shape of an object, our approach allows the user to sketch such strokes either directly on the 3D mesh or on two different types of canvas: a 2D fixed canvas or more flexible 2.5D dynamic screen-aligned billboards. In all cases, the strokes do not control the geometry of the face, but the underlying animation rig instead, allowing direct manipulation of the rig elements. Additionally, we show how the strokes can be easily reused in different characters, allowing retargeting of poses on several models. We illustrate our interactive approach using varied facial models of different styles showing that first time users typically create appealing 3D poses and animations in just a few minutes. We also present in this article the results of a user study. We deploy our method in an application for an artistic purpose. Our system has also been used in a pioneer serious game context, where the goal was to teach people with Autism Spectrum Disorders (ASD) to recognize facial emotions, using real time synthesis and automatic facial expression analysis.

Abstract
Modern software systems must support a high degree of variability to accommodate a wide range of requirements and operating conditions. This paper introduces the Abstract Behavioural Specification (ABS) language and tool suite, a comprehensive platform for developing and analysing highly adaptable distributed concurrent software systems. The ABS language has a hybrid functional and object- oriented core, and comes with extensions that support the development of systems that are adaptable to diversified requirements, yet capable to maintain a high level of trustworthiness. Using ABS, system variability is consistently traceable from the level of requirements engineering down to object behaviour. This facilitates temporal evolution, as changes to the required set of features of a system are automatically reflected by functional adaptation of the system's behaviour. The analysis capabilities of ABS stretch from debugging, observing and simulating to resource analysis of ABS models and help ensure that a system will remain dependable throughout its evolutionary lifetime. We report on the experience of using the ABS language and the ABS tool suite in an industrial case study. © 2012 Springer-Verlag.

Abstract
This paper explores Ampere's circuital law (ACL) from an educational perspective. The interchangeability of the amperian loop with the current loop, an intrinsic symmetry of ACL that is seldom addressed in the literature or textbooks, is illustrated here. It is verified that the symmetry axis of a circular current is an amperian loop. The attempt to apply ACL to a finite wire, a common source of student misunderstanding, is used to highlight the limitations of ACL. The generalisation of ACL is illustrated using an instructive example where the displacement current is unconfined and not spatially uniform. This work is primarily intended for teachers and more advanced undergraduate students, who may benefit from the ideas that are presented here.