Two protocols without periodicity for the global and preemptive scheduling problem of multi-mode real-time systems upon multiprocessor Platforms

We consider the problem of scheduling a multi-mode real-time system upon identical multiprocessor platforms. Since it is a multi-mode system, the system can change from one mode to another such that the current task set is replaced with a new task set. Ensuring that deadlines are met requires not only that a schedulability test is performed on tasks in each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. We propose two protocols which ensure that all the expected requirements are met during every transition between every pair of operating modes of the system. Moreover, we prove the correctness of our proposed algorithms by extending the theory about the makespan determination problem.

Copper-organic frameworks assembled from in situ generated 5-(4-pyridyl) tetrazole building blocks: synthesis, structural features, topological analysis and catalytic oxidation of alcohols

Two new metal- organic compounds {[Cu-3(mu(3)-4-(p)tz)(4)(mu(2)-N-3)(2)(DMF)(2)](DMF)(2)}(n) (1) and {[Cu(4ptz) (2)(H2O)(2)]}(n) (2) {4-ptz = 5-(4-pyridyl)tetrazolate} with 3D and 2D coordination networks, respectively, have been synthesized while studying the effect of reaction conditions on the coordination modes of 4-pytz by employing the [2 + 3] cycloaddition as a tool for generating in situ the 5-substituted tetrazole ligands from 4-pyridinecarbonitrile and NaN3 in the presence of a copper(II) salt. The obtained compounds have been structurally characterized and the topological analysis of 1 discloses a topologically unique trinodal 3,5,6-connected 3D network which, upon further simplification, results in a uninodal 8-connected underlying net with the bcu (body centred cubic) topology driven by the [Cu-3(mu(2)-N-3)(2)] cluster nodes and mu(3)-4-ptz linkers. In contrast, the 2D metal-organic network in 2 has been classified as a uninodal 4-connected underlying net with the sql [Shubnikov tetragonal plane net] topology assembled from the Cu nodes and mu(2)-4-ptz linkers. The catalytic investigations disclosed that 1 and 2 act as active catalyst precursors towards the microwave-assisted homogeneous oxidation of secondary alcohols (1-phenylethanol, cyclohexanol, 2-hexanol, 3-hexanol, 2-octanol and 3-octanol) with tert-butylhydroperoxide, leading to the yields of the corresponding ketones up to 86% (TOF = 430 h(-1)) and 58% (TOF = 290 h(-1)) in the oxidation of 1-phenylethanol and cyclohexanol, respectively, after 1 h under low power ( 10 W) microwave irradiation, and in the absence of any added solvent or additive.

Maintaining image quality for paediatric chest CTs while lowering dose: FBP versus SAFIRE

Objectives: Children have a greater risk from radiation, per unit dose, due to increased radiosensitivity and longer life expectancies. It is of paramount importance to reduce the radiation dose received by children. This research concerns chest CT examinations on paediatric patients. The purpose of this study was to compare the image quality and the dose received from imaging with images reconstructed with filtered back projection (FBP) and five strengths of Sinogram-Affirmed Iterative Reconstruction (SAFIRE). Methods: Using a multi-slice CT scanner, six series of images were taken of a paediatric phantom. Two kVp values (80 and 110), 3 mAs values (25, 50 and 100) and 2 slice thicknesses (1 mm and 3 mm) were used. All images were reconstructed with FBP and five strengths of SAFIRE. Ten observers evaluated visual image quality. Dose was measured using CT-Expo. Results: FBP required a higher dose than all SAFIRE strengths to obtain the same image quality for sharpness and noise. For sharpness and contrast image quality ratings of 4, FBP required doses of 6.4 and 6.8 mSv respectively. SAFIRE 5 required doses of 3.4 and 4.3 mSv respectively. Clinical acceptance rate was improved by the higher voltage (110 kV) for all images in comparison to 80 kV, which required a higher dose for acceptable image quality. 3 mm images were typically better quality than 1 mm images. Conclusion: SAFIRE 5 was optimal for dose reduction and image quality.

From design-for-test to design-for-debug-and-test: analysis of requirements and limitations for 1149.1

The increasing complexity of VLSI circuits and the reduced accessibility of modern packaging and mounting technologies restrict the usefulness of conventional in-circuit debugging tools, such as in-circuit emulators for microprocessors and microcontrollers. However, this same trend enables the development of more complex products, which in turn require more powerful debugging tools. These conflicting demands could be met if the standard scan test infrastructures now common in most complex components were able to match the debugging requirements of design verification and prototype validation. This paper analyses the main debug requirements in the design of microprocessor-based applications and the feasibility of their implementation using the mandatory, optional and additional operating modes of the standard IEEE 1149.1 test infrastructure.

Mechanical behavior and localized failure modes in a porous basalt from the Azores

Basaltic rocks are the main component of the oceanic upper crust, thus of potential interest for water and geothermal resources, storage of CO2 and volcanic edifice stability. In this work, we investigated experimentally the mechanical behavior and the failure modes of a porous basalt, with an initial connected porosity of 18%. Results were acquired under triaxial compression experiments at confining pressure in the range of 25-200 MPa on water saturated samples. In addition, a purely hydrostatic test was also performed to reach the pore collapse critical pressure P*. During hydrostatic loading, our results show that the permeability is highly pressure dependent, which suggests that the permeability is mainly controlled by pre-existing cracks. When the sample is deformed at pressure higher than the pore collapse pressure P*, some very small dilatancy develops due to microcracking, and an increase in permeability is observed. Under triaxial loading, two modes of deformation can be highlighted. At low confining pressure (Pc < 50 MPa), the samples are brittle and shear localization occurs. For confining pressure > 50 MPa, the stress-strain curves are characterized by strain hardening and volumetric compaction. Stress drops are also observed, suggesting that compaction may be localized. The presence of compaction bands is confirmed by our microstructure analysis. In addition, the mechanical data allows us to plot the full yield surface for this porous basalt, which follows an elliptic cap as previously observed in high porosity sandstones and limestones.

Phylogeny and phenotypic characterization of pathogenic cryptococcus species and closely related saprobic taxa in the tremellales

Eukaryotic Cell, Vol.8, Nº3

Alimentação e saúde : uma abordagem epidemiológica de estudantes universitários

Resumo: A alimentação e o estado nutricional são factores determinantes do estado de saúde e sabe-se hoje que os mecanismos da patogénese de várias doenças crónicas não-transmissíveis podem ocorrer no início da idade adulta. A alimentação é influenciada por uma multiplicidade de factores, entre os quais se contam a importância atribuída à alimentação, o peso e imagem corporal e a percepção dos riscos associados à escolha de alimentos. Esta investigação teve como objectivos analisar, em estudantes universitários até aos 30 anos de idade, o estado nutricional, a importância atribuída a alimentação, as percepções do peso e da imagem corporal e a percepção do risco de doença relacionada com a alimentação. Os objectivos foram cumpridos através de dois desenhos de estudo distintos: estudo descritivo transversal e estudo de caso-controlo. Avaliou-se o peso, altura e os perímetros da cintura e da anca e construiu-se um questionário de auto-preenchimento para recolher a restante informação. Encontraram-se valores para a prevalência de obesidade e excesso de peso de, respectivamente, 6,5% e 24,3% e concluiu-se que existe uma percepção incorrecta do peso e da imagem corporal, mais frequente entre os indivíduos obesos. Os obesos também consideram a alimentação menos importante que os indivíduos normoponderais. A análise da percepção dos riscos revela que os inquiridos consideram que factores como a obesidade e a inactividade física são menos prejudiciais para a saúde do que factores como as alterações climáticas ou as radiações de telefones móveis. Verificaram-se também diferenças entre sexos nos parâmetros estudados: relativamente às mulheres, os homens sobrestimam mais frequentemente o peso e a imagem corporal, consideram a alimentação menos importante, julgam-se em menor risco de doença e classificam os factores de risco estudados como menos prejudiciais. Conclui-se que as estratégias de educação alimentar e de promoção da saúde devem considerar as diferenças registadas entre sexos e a importância atribuída à alimentação e as percepções do risco, do peso e da imagem corporal. Abstract: Nutrition and nutritional status are health determinants and it’s accepted that the mechanisms for the pathogenesis of several chronic non-communicable diseases can occur in early adult age. Nutrition is influenced by a large number of factors, including the value placed on food, weight and body image and the risk perception associated with food choice. Consequently, the analysis of the factors that can influence food behaviour and food choice in young adults can be useful for the control and prevention of nutrition related disease. The objectives of this research were to analyse, in college students up to 30 years of age, nutritional status, value placed on nutrition, weight and body image perceptions and the risk perception of nutrition related disease. Two study designs were used: cross-sectional and case-control. Weight, height and waist and hip circumference were measured and a questionnaire was built to collect the remaining information. Prevalences of 6,5% for obesity and 24,3% for excess weight were found, along with the existence of biased weight and body image perceptions, more frequent in obese subjects. Obese subjects also placed less value on nutrition than non-obese. Risk perception analysis shows that risk factors like obesity and physical inactivity are considered less hazardous than risk factors like climate changes and mobile phone radiation. Men, comparatively to women, overestimated more frequently their weight and body image, placed less value in nutrition, considered themselves less disease susceptible and classified the risk factors studied as less hazardous. The conclusions of this study show that nutrition education and health promotion strategies should consider the gender related differences reported and, also, the value placed on nutrition and weigh, body image and risk perceptions.

Molecular details of INH-C-10 binding to wt KatG and Its S315T mutant

Isoniazid (INH) is still one of the two most effective antitubercular drugs and is included in all recommended multitherapeutic regimens. Because of the increasing resistance of Mycobacterium tuberculosis to INH, mainly associated with mutations in the katG gene, new INH-based compounds have been proposed to circumvent this problem. In this work, we present a detailed comparative study of the molecular determinants of the interactions between wt KatG or its S315T mutant form and either INH or INH-C10, a new acylated INH derivative. MD simulations were used to explore the conformational space of both proteins, and results indicate that the S315T mutation did not have a significant impact on the average size of the access tunnel in the vicinity of these residues. Our simulations also indicate that the steric hindrance role assigned to Asp137 is transient and that electrostatic changes can be important in understanding the enzyme activity data of mutations in KatG. Additionally, molecular docking studies were used to determine the preferred modes of binding of the two substrates. Upon mutation, the apparently less favored docking solution for reaction became the most abundant, suggesting that S315T mutation favors less optimal binding modes. Moreover, the aliphatic tail in INH-C10 seems to bring the hydrazine group closer to the heme, thus favoring the apparent most reactive binding mode, regardless of the enzyme form. The ITC data is in agreement with our interpretation of the C10 alkyl chain role and helped to rationalize the significantly lower experimental MIC value observed for INH-C10. This compound seems to be able to counterbalance most of the conformational restrictions introduced by the mutation, which are thought to be responsible for the decrease in INH activity in the mutated strain. Therefore, INH-C10 appears to be a very promising lead compound for drug development.

Imagiologia Espetral - Análise Forense de Notas e Escrita Manual

A análise forense de documentos é uma das áreas das Ciências Forenses, responsável pela verificação da autenticidade dos documentos. Os documentos podem ser de diferentes tipos, sendo a moeda ou escrita manual as evidências forenses que mais frequentemente motivam a análise. A associação de novas tecnologias a este processo de análise permite uma melhor avaliação dessas evidências, tornando o processo mais célere. Esta tese baseia-se na análise forense de dois tipos de documentos - notas de euro e formulários preenchidos por escrita manual. Neste trabalho pretendeu-se desenvolver técnicas de processamento e análise de imagens de evidências dos tipos referidos com vista a extração de medidas que permitam aferir da autenticidade dos mesmos. A aquisição das imagens das notas foi realizada por imagiologia espetral, tendo-se definidas quatro modalidades de aquisição: luz visível transmitida, luz visível refletida, ultravioleta A e ultravioleta C. Para cada uma destas modalidades de aquisição, foram também definidos 2 protocolos: frente e verso. A aquisição das imagens dos documentos escritos manualmente efetuou-se através da digitalização dos mesmos com recurso a um digitalizador automático de um aparelho multifunções. Para as imagens das notas desenvolveram-se vários algoritmos de processamento e análise de imagem, específicos para este tipo de evidências. Esses algoritmos permitem a segmentação da região de interesse da imagem, a segmentação das sub-regiões que contém as marcas de segurança a avaliar bem como da extração de algumas características. Relativamente as imagens dos documentos escritos manualmente, foram também desenvolvidos algoritmos de segmentação que permitem obter todas as sub-regiões de interesse dos formulários, de forma a serem analisados os vários elementos. Neste tipo de evidências, desenvolveu-se ainda um algoritmo de análise para os elementos correspondentes à escrita de uma sequência numérica o qual permite a obtenção das imagens correspondentes aos caracteres individuais. O trabalho desenvolvido e os resultados obtidos permitiram a definição de protocolos de aquisição de imagens destes tipos de evidências. Os algoritmos automáticos de segmentação e análise desenvolvidos ao longo deste trabalho podem ser auxiliares preciosos no processo de análise da autenticidade dos documentos, o qual, ate então, é feito manualmente. Apresentam-se ainda os resultados dos estudos feitos às diversas evidências, nomeadamente as performances dos diversos algoritmos analisados, bem como algumas das adversidades encontradas durante o processo. Apresenta-se também uma discussão da metodologia adotada e dos resultados, bem como de propostas de continuação deste trabalho, nomeadamente, a extração de características e a implementação de classificadores capazes aferir da autenticidade dos documentos.

Constructing and validating a scale of employee satisfaction with HRM practices in the healthcare context

The concept of HRM perceptions is a growing interest in the literature, as one of the antecedents of HRM outcomes. Regardless, not only the cognitive aspect of perception is interesting in this field (what you think) but also the affective perspective is of interest (how you feel about it). In this study we propose a scale for assessing satisfaction with the perceptions of the HRM practices. A 24 item Likert-type scale was developed considering literature review, to assess subjects’ satisfaction with Human Resources Practices in a healthcare setting. Talked reflections were held and a survey encompassing all workers from a Hospital was conducted later, with a sample of 922 subjects. Exploratory and Confirmatory Factor Analysis were performed; reliability was tested using Cronbach’s alpha. The scale presents good psychometric properties with alpha values that range from .71 to .91. Exploratory and Confirmatory Factor Analysis demonstrated that the scale presents a very good fit with CFI= 0.94, AGFI= 0.88, and RMSEA= 0.07. The present study represents a first approach in the usage of this scale and despite having a large sample, respondents originate from a single institution. This study presents a pertinent scale towards measuring a seldom explored construct of the worker-organization relationship. The scale is parsimonious and results are promising. There seems to be very little research on how subjects feel about the HRM practices. This construct, very much in line with more recent studies concerning worker perceptions can be especially interesting in the context of the worker-organization relationship.

“The past is a foreign country”? Acculturation theory and the anthropology of globalization

Etnográfica, 15 (2): 313-336

Aquisição e Processamento de Imagens de Microscopia em Balística Forense

As novas tecnologias aplicadas ao processamento de imagem e reconhecimento de padrões têm sido alvo de um grande progresso nas últimas décadas. A sua aplicação é transversal a diversas áreas da ciência, nomeadamente a área da balística forense. O estudo de evidências (invólucros e projeteis) encontradas numa cena de crime, recorrendo a técnicas de processamento e análise de imagem, é pertinente pelo facto de, aquando do disparo, as armas de fogo imprimirem marcas únicas nos invólucros e projéteis deflagrados, permitindo relacionar evidências deflagradas pela mesma arma. A comparação manual de evidências encontradas numa cena de crime com evidências presentes numa base de dados, em termos de parâmetros visuais, constitui uma abordagem demorada. No âmbito deste trabalho pretendeu-se desenvolver técnicas automáticas de processamento e análise de imagens de evidências, obtidas através do microscópio ótico de comparação, tendo por base algoritmos computacionais. Estes foram desenvolvidos com recurso a pacotes de bibliotecas e a ferramentas open-source. Para a aquisição das imagens de evidências balísticas foram definidas quatro modalidades de aquisição: modalidade Planar, Multifocus, Microscan e Multiscan. As imagens obtidas foram aplicados algoritmos de processamento especialmente desenvolvidos para o efeito. A aplicação dos algoritmos de processamento permite a segmentação de imagem, a extração de características e o alinhamento de imagem. Este último tem como finalidade correlacionar as evidências e obter um valor quantitativo (métrica), indicando o quão similar essas evidências são. Com base no trabalho desenvolvido e nos resultados obtidos, foram definidos protocolos de aquisição de imagens de microscopia, que possibilitam a aquisição de imagens das regiões passiveis de serem estudadas, assim como algoritmos que permitem automatizar o posterior processo de alinhamento de imagens de evidências, constituindo uma vantagem em relação ao processo de comparação manual.

Evaluation of seroepidemiological toxoplasmosis in HIV/AIDS patients in the south of Brazil

Toxoplasmosis is considered one of the opportunistic infections for individuals with the Acquired Immunodeficiency Syndrome (AIDS), and is also a major cause of morbidity and mortality. The aim of this study was to evaluate the prevalence of neurotoxoplasmosis, ocular toxoplasmosis and antibodies for Toxoplasma gondii in HIV-positive patients attending the SAE (Specialized Assistance Service for HIV/AIDS), as well as to associate their serological profile with epidemiological and clinical data. A total of 250 patients participated in the study from December, 2009 to November, 2010. Serological analysis was performed using the indirect immunofluorescent technique; epidemiological data were gathered by a questionnaire, and clinical history was based on the analysis of medical charts. Prevalence of seropositivity was 80%, with history of neurotoxoplasmosis in 4.8% and of ocular toxoplasmosis in 1.6% of the patients. The Highly Active Antiretroviral Treatment (HAART) was not used by 32% of the patients, 18.4% of the patients had CD4+ T- lymphocyte count less than 200 cells/mm³ and 96.8% of them were not aware of the modes of disease transmission. These findings led us to conclude that the study population is at high risk of clinical toxoplasmosis, because of both reactivation of infection in the seropositive patients who do not make a regular use of HAART, and primo-infection in seronegative patients worsened by an unawareness of the modes of infection reported in this study.

A learning approach to swarm-based path detection and tracking

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

A qualitive reasoning approach for improving query results for sketch based queries by topological analysis of spatial aggregation

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.