Abstract
The aim of the present work was to evaluate the possibility of using zinc-air batteries in intraoral medical devices. We analyzed the electrical behavior of zinc-air batteries when submitted to different levels of temperature, humidity, and limited quantities of air. The experimental setup was divided in three different parts. Firstly, a set of batteries were tested within a climatic chamber and subjected to discharging tests similar to those recommended by the manufacturer. The climatic chamber allowed an accurate variation of humidity and temperature. Secondly, the batteries were placed in a small prototype of intraoral medical device and tested in the absence of air. Lastly, we used a robot arm to repeatedly immerse the prototype in artificial saliva. The results obtained demonstrated the viability of zinc-air batteries as a power solution for intraoral medical devices, as they tolerate high levels of humidity and are capable of working with limited quantities of air. In addition, this kind of battery presents a volume to electrical capacity ratio more than three times higher than lithium batteries, which may open important improvement for powered medical devices.

Abstract
Nowadays, different techniques are available for manufacturing full-arch implantsupported prosthesis, many of them based on an impression procedure. Nevertheless, the long-term success of the prosthesis is highly influenced by the accuracy during such process, being affected by factors such as the impression material, implant position, angulation and depth. This paper investigates the feasibility of a 3D electromagnetic motion tracking system as an acquisition method for modeling such prosthesis. To this extent, we propose an implant acquisition method at the patient mouth, using a specific prototyped tool coupled with a tracker sensor, and a set of calibration procedures (for distortion correction and tool calibration), that ultimately obtains combined measurements of the implant's position and angulation, and eliminating the use of any impression material. However, in the particular case of the evaluated tracking system, the order of magnitude of the obtained errors invalidates its use for this specific application. © 2014 Taylor & Francis Group.

Abstract
The availability of patient clinical data can be vital to a more effective diagnosis and treatment, by an healthcare professional. This information should be accessible regardless of context, place, time or where it was collected. In order to share this type of data, many countries have initiated projects aiming to implement Electronic Health Record (EHR) systems. Throughout the years, some were more successful than others but all of them were complex and difficult to materialise. The research involves the study of four international projects - in Canada, Denmark, England and France - launched with the goal of fostering the clinical data sharing in the respective countries, namely by implementing EHR-like systems. Those case studies served as data to identify the critical issues in this area. To address the challenge of sharing clinical information, the authors believe to be necessary to act in three different dimensions of the problem: (1) the engagement of the stakeholders and the alignment of the system development with the business goals (2) the building of complex systems of systems with the capability to evolve and easily admit new peers (3) the interoperability between different systems which use different conventions and standards.

Abstract
In recent years there has been a boom of different natural interaction paradigms, such as touch, tangible or gesture-based interfaces, that make better use of human's innate skills rather than imposing new learning processes. However, no work has been reported that systematically evaluates how these interfaces influence users' performance with regard to their level of digital literacy or even age. Furthermore, it is also important to understand the interaction paradigms' impact when performing basic operations, such as data selection, insertion and manipulation, and which interface could be the most efficient for each task. This paper reports the first step of an exploratory evaluation about the relationship between different interaction paradigms and specific target-audiences: dealing with a selection task. We conducted an experiment with 60 subjects to evaluate how different interfaces may influence the performance of specific groups of users. Four input modalities are evaluated in a selection task and results for these different user groups are reported in terms of performance, efficacy (error rate) and user preference. For each group of users, we determined there was a statistically significant difference between the mean time taken to complete the task in each interface. Also, the one input modality every user was accustomed with (the computer mouse) was the one that showed the most discrepancy regarding performance between the groups. We believe that this study raises new issues for future research.

Abstract
Model finders are becoming useful in many software engineering problems. Kodkod [19] is one of the most popular, due to its support for relational logic (a combination of first order logic with relational algebra operators and transitive closure), allowing a simpler specification of constraints, and support for partial instances, allowing the specification of a priori (exact, but potentially partial) knowledge about a problem's solution. However, in some software engineering problems, such as model repair or bidirectional model transformation, knowledge about the solution is not exact, but instead there is a known target that the solution should approximate. In this paper we extend Kodkod's partial instances to allow the specification of such targets, and show how its model finding procedure can be adapted to support them (using both PMax-SAT solvers or SAT solvers with cardinality constraints). Two case studies are also presented, including a careful performance evaluation to assess the effectiveness of the proposed extension. © 2014 Springer-Verlag.

Abstract