Development of procedures for the design, optimization and manufacturing of customized orthopaedic and trauma implants: Geometrical/anatomical modelling from 3D medical imaging

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

Joint modelling of longitudinal and survival data on breast cancer

Tese de Doutoramento em Ciências (Especialidade em Matemática)

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

O livro na revista: como revistas semanais brasileiras e portuguesas abordam livros e literatura

Dissertação de mestrado em Comunicação, Arte e Cultura

Myocardial perfusion by contrast echocardiography. Establishment of normal pattern of intracoronary injection and safety in humans

OBJECTIVE: To establish the normal pattern and safety of echocardiographic contrast in patients with no significant obstruction of epicardial coronary arteries. METHODS: 67 patients with normal coronary arteries or obstructions < 50% were selected from 277 patients who underwent coronary angiography (CA). Mean age was 56 ± 11years and 36 were males. At the end CA, echocardiographic contrast was selectively injected into each coronary artery. The parasternal short axis of the left ventricle (LV) was divided into six segments: anterior (A), antero-lateral (AL), postero-lateral (PL), posterior (P), infero-septal (IS) and antero-septal (AS). Anterolateral (ALPM) and posteromedial papillary muscles (PMPM) were also considered. The pattern and intensity of the appearance of the myocardial contrast was visually analyzed. RESULTS: The right coronary artery (RCA) was dominant in 60 patients. Contrast appearance was sudden and simultaneous in the 3 muscle layers. All segments could be contrasted after the injection in both coronary arteries. 100% of the AS, A and AL segments, 97% of the PL and 98% of the ALPM were perfused by the left coronary artery (LCA). P and IS segments were perfused by the RCA in 85% and 82%, respectively, and by a dominant LCA in 71% of the cases. The PMPM was perfused by a dominant RCA in 77% and by a dominant LCA in 86%. There were no symptoms. CONCLUSION: Intracoronary injection of the sonicated solution is a safe procedure that allows for an excellent opacification of the myocardium and can potentially be used during routine CA.

Hypertension in a female nursing staff-pattern of occurrence, diagnosis, and treatment

OBJECTIVE: To report the pattern of occurrence, diagnosis, and treatment of hypertension in a female nursing staff of an emergency hospital. METHODS: We carried out a cross-sectional study that included interviews and blood pressure measurements of 494 nursing professionals at an emergency hospital in the city of Salvador, in the state of Bahia, Brazil. We considered hypertensive all individual with blood pressure > or = 140/90 mmHg or normal pressure if on regular treatment. RESULTS: We found a prevalence of hypertension of 36.4%. Only 18.3% of the individuals ignored their hypertensive condition, and 64.2% admitted not being having regular treatment. Of those individuals who were having treatment, 69.4% had elevated blood pressure on examination. The major reasons for not being on treatment was the occasional elevation of blood pressure (22.2%) and medical counseling (20.0%). CONCLUSION: The results point to the need to introduce hypertension control measures in this occupational group, because of the magnitude of the disease and the potential impact on diffusion of knowledge and measures to control hypertension.

Hierarchical modelling of timber reference properties using probabilistic methods: Maximum Likelihood Method, Bayesian Methods and Probability Networks

In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.

Desarrollo sustentable de Productos y Servicios de Camélidos orientados al mercado en la región andina (DECAM). Sustainable Development Products and Services Marketed oriented in Andean Region

Este proyecto cuenta con el financiamiento del sistema INCO de la Unión Europea e incluye 5 contrapartes europeas, y Bolivia y Perú como contrapartes americanos. Consta de cuatro paquetes: producto, mercado, difusión y coordinación. En el primer paquete se desarrollan fundamentalmente los aspectos relacionados con la carne fresca y los productos cárnicos tanto tradicionales como nuevos a desarrollar. Se realizan faenas protocolizadas y espontáneas comparando animales con distintos tratamientos nutricionales de edades entre 19-21 meses. Se realizan análisis de calidad de carne y paneles de degustación. Los productos tradicionales como el charqui se evalúan en su forma tradicional y se implementan sistemas mejorados como desecadores solares. Los chacinados no son tradicionales en el altiplano por eso se realizan en La Pampa con la idea de transferir la tecnología desarrollada. La evaluación de calidad de la carne incluye técnicas de evaluación del animal en pié como la conservación morfológica y la ecografía para predecir calidad de res en el animal vivo. Estas observaciones se corroboran a la faena donde se realiza toda la batería de evaluaciones de calidad de la res.

Motilidad Orientada de Células Neurales: La comunicación celular a distancia. Oriented neural cell motility: Cell comunication at a distance.

La motilidad celular orientada (o mecanismo quimiotáctico de orientación), es una respuesta celular a señales moleculares de su micro-ambiente necesaria para modular la distribución celular en sitios específicos y con elevada precisión. Nuestra hipótesis establece que la migración orientada de células neurales es regulada por gradientes de concentración de moléculas solubles liberadas por sus regiones "blanco". Este proyecto es continuación del estudio de la quimiotaxis de células de cresta neural (CCN) y de neuronas ventriculares (NV) inducida respectivamente por factores difusibles de la región del futuro ganglio ciliar y del bulbo olfatorio.En el sistema de CCN, hemos caracterizado como moléculas quimiotácticas a la quimioquina Stromal Cell-Derived Factor-1, y los factores tróficos Stem Cell Factor y Neurotrophic Factor-3, habiendo determinado la expresión de sus respectivos receptores CXCR4, TrkC y p75 en la población de CCN mesencefálicas de ambrión de pollo. Actualmente, estamos desarrollando experimentos con el Ciliary Neurotrophic Factor y factores de la familia Bone Morphogenetic Proteins. Además de la estrategia experimental in vitro, hemos determinado en el embrión entero la expresión de las moléculas quimioatractantes mediante hibridación in situ del ARNm y la presencia de las respectivas proteínas mediante inmunocitoquímica. En el sistema de NV, estamos analizando la motilidad celular en relación con moléculas liberadas por el bulbo olfatorio. En los dos sistemas biológicos, estamos analizando elementos de la transducción de señales y cambios en el citoesqueleto, en ambos casos asociados con la respuesta temprana en la orientación quimiotáctica de la célula. Asimismo, en ambos sistemas biológicos, evaluamos los efectos del etanol sobre la migración y distribución celular, en condiciones equivalentes a las que inducen el Sindrome Fetal Alcohólico en mamíferos.En base a resultados ya obtenidos en experimentos in vitro, en la presente etapa intentaremos su caracterización in vivo mediante el bloqueo funcional de las moléculas quimiotácticas (y/o sus receptores) sobre embriones enteros, mediante silenciamiento con ARNsi (o morfolinos específicos) mediante electroporación, y posterior determinación de la distribución celular mediante marcadores específicos anti-CCN (o lipofílicos de tipo DiI).Los resultados permitirán mejorar el conocimiento del mecanismo de la migración celular orientada y aportar al diseño de recursos diagnósticos, terapéuticos o de control de anomalías embrionarias o patologías tumorales por mala distribución celular como las Neurocristopatías, o inducidas por tóxicos exógenos como el Sindrome Fetal Alcohólico.

Development of a semi-automatic self learning pattern recognition system for the control of electronic boards

This project was funded under the Applied Research Grants Scheme administered by Enterprise Ireland. The project was a partnership between Galway - Mayo Institute of Technology and an industrial company, Tyco/Mallinckrodt Galway. The project aimed to develop a semi - automatic, self - learning pattern recognition system capable of detecting defects on the printed circuits boards such as component vacancy, component misalignment, component orientation, component error, and component weld. The research was conducted in three directions: image acquisition, image filtering/recognition and software development. Image acquisition studied the process of forming and digitizing images and some fundamental aspects regarding the human visual perception. The importance of choosing the right camera and illumination system for a certain type of problem has been highlighted. Probably the most important step towards image recognition is image filtering, The filters are used to correct and enhance images in order to prepare them for recognition. Convolution, histogram equalisation, filters based on Boolean mathematics, noise reduction, edge detection, geometrical filters, cross-correlation filters and image compression are some examples of the filters that have been studied and successfully implemented in the software application. The software application developed during the research is customized in order to meet the requirements of the industrial partner. The application is able to analyze pictures, perform the filtering, build libraries, process images and generate log files. It incorporates most of the filters studied and together with the illumination system and the camera it provides a fully integrated framework able to analyze defects on printed circuit boards.

monitoring-based approach to object-oriented real-time computing

Monitoring, object-orientation, real-time, execution-time, scheduling

SQL based frequent pattern mining

Data mining, frequent pattern mining, database mining, mining algorithms in SQL

Modelling of a symmetric molten carbonate fuel cell stack

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2011