IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Neonatal anthropometry: a tool to evaluate the nutritional status and predict early and late risks

Neonatal anthropometry is an inexpensive, noninvasive and convenient tool for bedside evaluation, especially in sick and fragile neonates. Anthropometry can be used in neonates as a tool for several purposes: diagnosis of foetal malnutrition and prediction of early postnatal complications; postnatal assessment of growth, body composition and nutritional status; prediction of long-term complications including metabolic syndrome; assessment of dysmorphology; and estimation of body surface. However, in this age group anthropometry has been notorious for its inaccuracy and the main concern is to make validated indices available. Direct measurements, such as body weight, length and body circumferences are the most commonly used measurements for nutritional assessment in clinical practice and in field studies. Body weight is the most reliable anthropometric measurement and therefore is often used alone in the assessment of the nutritional status, despite not reflecting body composition. Derived indices from direct measurements have been proposed to improve the accuracy of anthropometry. Equations based on body weight and length, mid-arm circumference/head circumference ratio, and upper-arm cross-sectional areas are among the most used derived indices to assess nutritional status and body proportionality, even though these indices require further validation for the estimation of body composition in neonates.

Auction of financial transmission rights in electricity market environment

An auction model is used to increase the individual profits for market players with products they do not use. A Financial Transmission Rights Auction has the goal of trade transmission rights between Bidders and helps them raise their own profits. The ISO plays a major rule on keep the system in technical limits without interfere on the auctions offers. In some auction models the ISO decide want bids are implemented on the network, always with the objective maximize the individual profits for all bidders in the auction. This paper proposes a methodology for a Financial Transmission Rights Auction and an informatics application. The application receives offers from the purchase and sale side and considers bilateral contracts as Base Case. This goal is maximize the individual profits within the system in their technical limits. The paper includes a case study for the 30 bus IEEE test case.

Avaliação e controlo da dor em pediatria: uma década

Introdução – A negligência no controlo da dor é um problema amplamente reconhecido em Portugal. Desde 2001 têm sido realizadas inúmeras iniciativas para melhorar a prática de cuidados nesta área. Desenvolveram-se ações de sensibilização e formação dos profissionais de saúde, publicaram-se orientações técnicas e guias de boas práticas e realizaram-se os primeiros estudos para se fazer um diagnóstico da situação. Objetivos – O objetivo deste trabalho foi o de caracterizar os cuidados prestados na avaliação e no controlo da dor nas crianças até aos 18 anos internadas em serviços hospitalares em Portugal e analisar a evolução feita nos cuidados entre os anos de 2002 e 2012. Metodologia – Estudo descritivo, transversal, de consulta retrospetiva seriada de registos intermitentes efetuados no processo clínico em relação a um período de 24 horas. O recrutamento da amostra foi aleatório e incluiu todos os processos clínicos de crianças até aos 18 anos internados em serviços de quatro hospitais Portugueses entre agosto e dezembro de 2011. Resultados – A prevalência de dor reduziu de forma significativa entre 2002 e 2012. As crianças livres de dor subiram de 37% para 75%. O registo da avaliação da intensidade da dor e a colheita de informação sobre a história de dor passou a ser uma prática comum na maioria dos casos (53% e 64%, respetivamente), embora ainda direcionada para o modelo de cuidados biomédico. A prevalência das intervenções farmacológicas não se alterou (43% versus 42%), mas a implementação de estratégias não-farmacológicas baixou significativamente (72% versus 15%). Conclusões – As ações de sensibilização/formação realizadas no âmbito das políticas implementadas nestes últimos dez anos na área da avaliação e controlo da dor pediátrica geraram evidentes ganhos na qualidade de cuidados prestados, pelo que o investimento na formação deve continuar. No entanto, deve ser dada prioridade à formação para a aplicação de estratégias de intervenção não-farmacológicas e ao desenvolvimento de mais investigação que suporte as práticas.

Trabalho político em saúde: a tuberculose no Rio de Janeiro

A intervenção sobre a tuberculose no Rio de Janeiro, Brasil, revela atualmente uma intensificação e alargamento das articulações de pessoas, organizações e instituições envolvidas. Para compreender este processo, recorri ao mapeamento de arenas e mundos sociais. Os mundos sociais definem-se pela partilha de objetivos e de ações, constituindo unidades de ação coletiva. Para atingir os seus objetivos precisam de interagir com outros mundos sociais. Os espaços onde interagem sobre temas de comum interesse, mas sobre os quais têm perspetivas e até objetivos diferentes, denominam-se arenas. O estudo revelou que a arena da tuberculose no Rio de Janeiro se ampliou na última década, aumentando e diversificando os mundos sociais envolvidos, através do “trabalho político” de pessoas e organizações locais, nacionais e internacionais, isto é, através da atribuição de poder a determinadas instâncias com base na valorização ética de objetivos comuns. Este trabalho político tem vindo a implicar a interseção com as arenas do Sistema Único de Saúde e do VIH-Sida. A ampliação da arena da tuberculose redefine a própria doença e as formas de intervir sobre ela. Os apoios socioeconómicos para as/os pacientes, o tratamento de comorbidades, os direitos humanos, bem como outras questões que extravasam a perspetiva biomédica, integram agora as agendas da tuberculose. Neste processo, os intervenientes alargam também as fronteiras da ação na saúde.

Worldwide molecular epidemiology of HIV

Human immunodeficiency virus (HIV) is the worldwide disseminated causative agent of acquired immunodeficiency syndrome (AIDS). HIV is a member of the Lentivirus genus of Retroviridae family and is grouped in two types named HIV-1 and HIV-2. These viruses have a notable ability to mutate and adapt to the new conditions of human environment. A large incidence of errors at the transcriptional level results in changes on the genetic bases during the reproductive cycle. The elevated genomic variability of HIV has carried important implications for the diagnosis, treatment and prevention as well as epidemiologic investigations. The present review describes important definitions and geographical distribution of subtypes, circulating recombinant forms and other genomic variations of HIV. The present study aimed at leading students of Biomedical Sciences and public health laboratory staff guidance to general and specific knowledge about the genomic variability of the HIV.

VirtualECare: group support in collaborative networks organizations for digital homecare

Collaborative Work plays an important role in today’s organizations, especially in areas where decisions must be made. However, any decision that involves a collective or group of decision makers is, by itself complex, but is becoming recurrent in recent years. In this work we present the VirtualECare project, an intelligent multi-agent system able to monitor, interact and serve its customers, which are, normally, in need of care services. In last year’s there has been a substantially increase on the number of people needed of intensive care, especially among the elderly, a phenomenon that is related to population ageing. However, this is becoming not exclusive of the elderly, as diseases like obesity, diabetes and blood pressure have been increasing among young adults. This is a new reality that needs to be dealt by the health sector, particularly by the public one. Given this scenarios, the importance of finding new and cost effective ways for health care delivery are of particular importance, especially when we believe they should not to be removed from their natural “habitat”. Following this line of thinking, the VirtualECare project will be presented, like similar ones that preceded it. Recently we have also assisted to a growing interest in combining the advances in information society - computing, telecommunications and presentation – in order to create Group Decision Support Systems (GDSS). Indeed, the new economy, along with increased competition in today’s complex business environments, takes the companies to seek complementarities in order to increase competitiveness and reduce risks. Under these scenarios, planning takes a major role in a company life. However, effective planning depends on the generation and analysis of ideas (innovative or not) and, as a result, the idea generation and management processes are crucial. Our objective is to apply the above presented GDSS to a new area. We believe that the use of GDSS in the healthcare arena will allow professionals to achieve better results in the analysis of one’s Electronically Clinical Profile (ECP). This achievement is vital, regarding the explosion of knowledge and skills, together with the need to use limited resources and get better results.

Wetting behaviour of femtosecond laser textured Ti-6Al-4V surfaces

The aim of the present work was to investigate the wetting behaviour of biomedical grade Ti-6Al-4V alloy surfaces textured by a femtosecond laser treatment. The material was treated in ambient atmosphere using an Yb: KYW chirped-pulse-regenerative amplification laser with a wavelength of 1030 nm and a pulse duration of 500 fs. Four main types of surface textures were obtained depending on the processing parameters and laser treatment method. These textures consist of: (1) nanoscale laser-induced periodic surface structures (LIPSS); (2) nanopillars; (3) a bimodal roughness distribution texture formed of LIPSS overlapping microcolumns; (4) a complex texture formed of LIPSS overlapping microcolumns with a periodic variation of the columns size in the laser scanning direction. The wettability of the surfaces was evaluated by the sessile drop method using distilled-deionized (DD) water and Hank's balanced salt solution (HBSS) as testing liquids. The laser treated surfaces present a hydrophilic behaviour as well as a high affinity for the saline solution, with equilibrium contact angles in the ranges 24.1-76.2. for DD water and 8.4-61.8. for HBSS. The wetting behaviour is anisotropic, reflecting the anisotropy of the surface textures. (c) 2012 Elsevier B.V. All rights reserved.

Investigação em curso no Centro de Investigação de Recursos Naturais (CIRN)

Jornadas "Ciência nos Açores – que futuro? Tema Ciências Naturais e Ambiente", Ponta Delgada, 7-8 de Junho de 2013.

Optimization and validation of organochlorine compounds in adipose tissue by SPE-gas chromatography

Scientific evidence has shown an association between organochlorine compounds (OCC) exposure and human health hazards. Concerning this, OCC detection in human adipose samples has to be considered a public health priority. This study evaluated the efficacy of various solid-phase extraction (SPE) and cleanup methods for OCC determination in human adipose tissue. Octadecylsilyl endcapped (C18-E), benzenesulfonic acid modified silica cation exchanger (SA), poly (styrene-divinylbenzene (EN) and EN/RP18 SPE sorbents were evaluated. The relative sample cleanup provided by these SPE columns was evaluated using gas chromatography with electron capture detection (GC–ECD). The C18-E columns with strong homogenization were found to provide the most effective cleanup, removing the greatest amount of interfering substance, and simultaneously ensuring good analyte recoveries higher than 70%. Recoveries>70% with standard deviations (SD)<15% were obtained for all compounds under the selected conditions. Method detection limits were in the 0.003–0.009 mg/kg range. The positive samples were confirmed by gas chromatography coupled with tandem mass spectrometry (GC-MS/MS). The highest percentage found of the OCC in real samples corresponded to HCB, o,p′-DDT and methoxychlor, which were detected in 80 and 95% of samples analyzed respectively. Copyright © 2012 John Wiley & Sons, Ltd.

Global and local detection of liver steatosis from ultrasound

Liver steatosis is a common disease usually associated with social and genetic factors. Early detection and quantification is important since it can evolve to cirrhosis. Steatosis is usually a diffuse liver disease, since it is globally affected. However, steatosis can also be focal affecting only some foci difficult to discriminate. In both cases, steatosis is detected by laboratorial analysis and visual inspection of ultrasound images of the hepatic parenchyma. Liver biopsy is the most accurate diagnostic method but its invasive nature suggest the use of other non-invasive methods, while visual inspection of the ultrasound images is subjective and prone to error. In this paper a new Computer Aided Diagnosis (CAD) system for steatosis classification and analysis is presented, where the Bayes Factor, obatined from objective intensity and textural features extracted from US images of the liver, is computed in a local or global basis. The main goal is to provide the physician with an application to make it faster and accurate the diagnosis and quantification of steatosis, namely in a screening approach. The results showed an overall accuracy of 93.54% with a sensibility of 95.83% and 85.71% for normal and steatosis class, respectively. The proposed CAD system seemed suitable as a graphical display for steatosis classification and comparison with some of the most recent works in the literature is also presented.

Chronic liver disease staging classification based on ultrasound, clinical and laboratorial data

In this work the identification and diagnosis of various stages of chronic liver disease is addressed. The classification results of a support vector machine, a decision tree and a k-nearest neighbor classifier are compared. Ultrasound image intensity and textural features are jointly used with clinical and laboratorial data in the staging process. The classifiers training is performed by using a population of 97 patients at six different stages of chronic liver disease and a leave-one-out cross-validation strategy. The best results are obtained using the support vector machine with a radial-basis kernel, with 73.20% of overall accuracy. The good performance of the method is a promising indicator that it can be used, in a non invasive way, to provide reliable information about the chronic liver disease staging.

FMRI 3D registration based on Fourier space subsets using neural networks

In this work, we present a neural network (NN) based method designed for 3D rigid-body registration of FMRI time series, which relies on a limited number of Fourier coefficients of the images to be aligned. These coefficients, which are comprised in a small cubic neighborhood located at the first octant of a 3D Fourier space (including the DC component), are then fed into six NN during the learning stage. Each NN yields the estimates of a registration parameter. The proposed method was assessed for 3D rigid-body transformations, using DC neighborhoods of different sizes. The mean absolute registration errors are of approximately 0.030 mm in translations and 0.030 deg in rotations, for the typical motion amplitudes encountered in FMRI studies. The construction of the training set and the learning stage are fast requiring, respectively, 90 s and 1 to 12 s, depending on the number of input and hidden units of the NN. We believe that NN-based approaches to the problem of FMRI registration can be of great interest in the future. For instance, NN relying on limited K-space data (possibly in navigation echoes) can be a valid solution to the problem of prospective (in frame) FMRI registration.

3D-2D image registration by nonlinear regression

We propose a 3D-2D image registration method that relates image features of 2D projection images to the transformation parameters of the 3D image by nonlinear regression. The method is compared with a conventional registration method based on iterative optimization. For evaluation, simulated X-ray images (DRRs) were generated from coronary artery tree models derived from 3D CTA scans. Registration of nine vessel trees was performed, and the alignment quality was measured by the mean target registration error (mTRE). The regression approach was shown to be slightly less accurate, but much more robust than the method based on an iterative optimization approach.

Análise de eficiência energética de transportes rodoviários

Projecto para obtenção do grau de Mestre em Engenharia Informática e de computadores