Piezoresistive sensors for force mapping of hip-prostheses

The success of artificial prosthetic replacements depends on the fixation of the artificial prosthetic component after being implanted in the thighbone. The materials for fixation are subject to mechanical stresses, which originate permanent deformations, incipient cracks and even fatigue fractures. This work shows the possibility of monitoring the mechanical stress over time in prosthesis. In this way, highly sensitive silicon thin-film piezoresistive sensors were developed attached to prosthesis and their results compared with commercial strain gauge sensors. Mechanical stress-strain experiments were performed in compressive mode, during 10,000 cycles. Experimental data was acquired at mechanical vibration frequencies of 0.5 Hz, 1 Hz and 5 Hz, and sent to a computer by means of a wireless link. The results show that there is a decrease in sensitivity of the thin-film silicon piezoresistive sensors when they are attached to the prosthesis, but this decrease does not compromise its monitoring performance. The sensitivity, compared to that of commercial strain gauges, is much larger due to their higher gauge factors (-23.5), when compared to the GFs of commercial sensors (2).

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

An interactive state monad example

A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations

Mapping Culture and Compromised Art in the Era of Globalization

This work presents an analysis of the cultural and artistic field, positively compromised with social and political questions. The authors start with the categorization of the idea of culture and move to vindication art movements. These movements, which followed the first vanguards and worked from the compromise with “otherness”, are at the origin of the contemporary denomination of political art. In this context, the authors approach the origins of activist art, referring to issues of gender, multiculturalism, globalization, and poverty. The different forms of presenting content are also an object of analysis: from art tradition to the contamination of daily life, from local to global, from street contact to digital.

Real-time 3D interactive segmentation of echocardiographic data through user-based deformation of B-spline explicit active surfaces

Image segmentation is an ubiquitous task in medical image analysis, which is required to estimate morphological or functional properties of given anatomical targets. While automatic processing is highly desirable, image segmentation remains to date a supervised process in daily clinical practice. Indeed, challenging data often requires user interaction to capture the required level of anatomical detail. To optimize the analysis of 3D images, the user should be able to efficiently interact with the result of any segmentation algorithm to correct any possible disagreement. Building on a previously developed real-time 3D segmentation algorithm, we propose in the present work an extension towards an interactive application where user information can be used online to steer the segmentation result. This enables a synergistic collaboration between the operator and the underlying segmentation algorithm, thus contributing to higher segmentation accuracy, while keeping total analysis time competitive. To this end, we formalize the user interaction paradigm using a geometrical approach, where the user input is mapped to a non-cartesian space while this information is used to drive the boundary towards the position provided by the user. Additionally, we propose a shape regularization term which improves the interaction with the segmented surface, thereby making the interactive segmentation process less cumbersome. The resulting algorithm offers competitive performance both in terms of segmentation accuracy, as well as in terms of total analysis time. This contributes to a more efficient use of the existing segmentation tools in daily clinical practice. Furthermore, it compares favorably to state-of-the-art interactive segmentation software based on a 3D livewire-based algorithm.