Incremental Recomputation of Pig Latin’s Nest and Unnest Operators

This master’s thesis addresses the maintenance of pre-computed structures, which store a frequent or expensive query, for the nested bag data type in the high level work-flow language Pig Latin. This thesis defines a model suitable to accommodate incremental expressions over nested bags on Pig Latin. Afterwards, the partitioned normal form for sets is extended with further restrictions, in order to accommodate the nested bag model, allow the Pig Latin nest and unnest operators revert each other, and create a suitable environment to the incremental computations. Subsequently, the extended operators – extended union and extended difference – are defined for the nested bag data model with the partitioned normal form for bags (PNF Bag) restriction, and semantics for the extended operators are given. Finally, incremental data propagation expressions are proposed for the nest and unnest operators on the data model proposed with the PNF Bag restriction, and the proof of correctness is given.

Bento Coelho da Silveira na igreja matriz de S. João Baptista

Dissertação para obtenção do Grau de Mestre em Conservação e Restauro

Caracterização material e conservação e restauro de um painel de azulejos do séc. XVII do Ecomuseu do Seixal, Portugal

Dissertação para obtenção do Grau de Mestre em Conservação e Restauro, Especialização em Cerâmica e Vidro

Efeito da velocidade de polimerização na eficiência de PDLCs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obter o Grau de Mestre em Engenharia Química e Bioquímica

Nonlinear dynamics of the patient’s response to drug effect during general anesthesia

In today’s healthcare paradigm, optimal sedation during anesthesia plays an important role both in patient welfare and in the socio-economic context. For the closed-loop control of general anesthesia, two drugs have proven to have stable, rapid onset times: propofol and remifentanil. These drugs are related to their effect in the bispectral index, a measure of EEG signal. In this paper wavelet time–frequency analysis is used to extract useful information from the clinical signals, since they are time-varying and mark important changes in patient’s response to drug dose. Model based predictive control algorithms are employed to regulate the depth of sedation by manipulating these two drugs. The results of identification from real data and the simulation of the closed loop control performance suggest that the proposed approach can bring an improvement of 9% in overall robustness and may be suitable for clinical practice.

Análise de robustez de estruturas sujeitas a eventos sísmicos consecutivos

Dissertação para obtencão do Grau de Mestre em Engenharia Civil - Perfil Estruturas

Cravo de Pascal Taskin (1782): caracterização material da policromia exterior

Dissertação para obtenção do Grau de Mestre em Conservação e Restauro, Especialização em Ciências da Conservação

Estudo do efeito da adição de iões metálicos na corrosão de vidros potássicos

Dissertação apresentada para obtenção do Grau de Doutor em Conservação e Restauro, especialidade em Ciências da Conservação, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Desenvolvimento de suportes biodegradáveis para regeneração do tecido neuronal

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Alterações da Actividade Autonómica Durante o Teste de Inclinação em Doentes com Fibrilhação Auricular Paroxística: Análise com Wavelets

The autonomic nervous system (ANS) is known to be an important modulator in the pathogenesis of paroxysmal atrial fibrillation (PAF). Changes in ANS control of heart rate variability (HRV) occur during orthostatism to maintain cardiovascular homeostasis. Wavelet transform has emerged as a useful tool that provides time-frequency decomposition of the signal under investigation, enabling intermittent components of transient phenomena to be analyzed. AIM: To study HRV during head-up tilt (HUT) with wavelet transform analysis in PAF patients and healthy individuals (normals). METHODS: Twenty-one patients with PAF (8 men; age 58 +/- 14 yrs) were examined and compared with 21 normals (7 men, age 48 +/- 12 yrs). After a supine resting period, all subjects underwent passive HUT (60 degrees) while in sinus rhythm. Continuous monitoring of ECG and blood pressure was carried out (Task Force Monitor, CNSystems). Acute changes in RR-intervals were assessed by wavelet analysis and low-frequency power (LF: 0.04-0.15 Hz), high-frequency power (HF: 0.15-0.60 Hz) and LF/HF (sympathovagal) were calculated for 1) the last 2 min of the supine period; 2) the 15 sec of tilting movement (TM); and 3) the 1st (TT1) and 2nd (TT2) min of HUT. Data are expressed as means +/- SEM. RESULTS: Baseline and HUT RR-intervals were similar for the two groups. Supine basal blood pressure was also similar for the two groups, with a sustained increase in PAF patients, and a decrease followed by an increase and then recovery in normals. Basal LF, HF and LF/ HF values in PAF patients were 632 +/- 162 ms2, 534 +/- 231 ms2 and 1.95 +/- 0.39 respectively, and 1058 +/- 223 ms2, 789 +/- 244 ms2 and 2.4 +/- 0.36 respectively in normals (p = NS). During TM, LF, HF and LF/HF values for PAF patients were 747 +/- 277 ms2, 387 +/- 94 ms2 and 2.9 +/- 0.6 respectively, and 1316 +/- 315 ms2, 698 +/- 148 ms2 and 2.8 +/- 0.6 respectively in normals (p < 0.05 for LF and HF). During TF1, LF, HF and LF/ HF values for PAF patients were 1243 +/- 432 ms2, 302 +/- 88 ms2 and 7.7 +/- 2.4 respectively, and 1992 +/- 398 ms2, 333 +/- 76 ms2 and 7.8 +/- 0.98 respectively for normals (p < 0.05 for LF). During TF2, LF, HF and LF/HF values for PAF patients were 871 +/- 256 ms2, 242 +/- 51 ms2 and 4.7 +/- 0.9 respectively, and 1263 +/- 335 ms2, 317 +/- 108 ms2 and 8.6 +/- 0.68 respectively for normals (p < 0.05 for LF/HF). The dynamic profile of HRV showed that LF and HF values in PAF patients did not change significantly during TM or TT2, and LF/HF did not change during TM but increased in TT1 and TT2. CONCLUSION: Patients with PAF present alterations in HRV during orthostatism, with decreased LF and HF power during TM, without significant variations during the first minutes of HUT. These findings suggest that wavelet transform analysis may provide new insights when assessing autonomic heart regulation and highlight the presence of ANS disturbances in PAF.

MicroECG: an integrated platform for the cardiac arrythmia detection and characterization

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

A contribuição das bombas de efluxo QacA e Smr para a multirresistência em Staphylococcus aureus

RESUMO: O efluxo de compostos antimicrobianos é um mecanismo importante na multirresistência em bactérias. Bombas de efluxo codificadas em plasmídeos, como a QacA e a Smr, estão implicadas na susceptibilidade reduzida a biocidas, geralmente utilizados na prevenção e controlo de infecções nosocomiais, incluindo as causadas por estirpes de Staphylococcus aureus resistentes à meticilina (MRSA). Neste trabalho pretendeu-se avaliar a relevância de QacA e Smr no perfil de susceptibilidade dos isolados clínicos MRSA SM39 e SM52, que transportam os plasmídeos pSM39 e pSM52 com os determinantes qacA e smr, respectivamente. A actividade de efluxo das estirpes SM39 e SM39 curada (sem pSM39) e das estirpes SM52 e RN4220:pSM52 (estirpe susceptível RN4220 transformada com pSM52) foi caracterizada por: (1) determinação da concentração mínima inibitória (CMI) de biocidas, corantes e antibióticos, na ausência e presença dos inibidores de efluxo tioridazina, clorpromazina, verapamil e reserpina; e (2) fluorometria em tempo-real. A determinação de CMIs demonstrou que a actividade de efluxo mediada por QacA e Smr está envolvida na susceptibilidade reduzida aos biocidas e corantes testados, que incluíram o brometo de hexadeciltrimetilamónio, a cetrimida, o cloreto de benzalcónio, a berberina, o cloreto de dequalínio, a pentamidina e o brometo de etídeo. Os ensaios fluorométricos confirmaram a elevada actividade de efluxo presente nas estirpes com os genes qacA ou smr. A determinação de CMIs para antibióticos β-lactâmicos em conjunto com o teste da nitrocefina revelou a presença simultânea do gene qacA e de uma β-lactamase no plasmídeo pSM39. Este trabalho evidencia a importância das bombas de efluxo QacA e Smr na resistência a biocidas em estirpes MRSA e na sobrevivência destas estirpes em ambiente hospitalar e na comunidade, para além de destacar a questão da potencial co-resistência entre biocidas e antibióticos.--------------- ABSTRACT: Drug efflux has become an important cause of multidrug resistance (MDR) in bacteria. Plasmid-encoded MDR efflux pumps, such as QacA and Smr, are implicated in reduced susceptibility to biocides, generally used in the prevention and control of nosocomial infections, including the ones caused by methicillin-resistant Staphylococcus aureus (MRSA). In this work, we aimed to evaluate the relevance of QacA and Smr to the susceptibility profile of the clinical MRSA isolates SM39 and SM52, which harbor the plasmids pSM39 and pSM52 that carry the determinants qacA and smr, respectively. Efflux activity of strain SM39 and its plasmid-free counterpart, SM39 cured, SM52 and RN4220:pSM52 (susceptible strain RN4220 transformed with pSM52) was characterized by: (1) determination of minimum inhibitory concentration (MIC) of biocides, dyes and antibiotics, in the absence and presence of the efflux inhibitors thioridazine, chlorpromazine, verapamil and reserpine; and (2) real-time fluorometry. MIC determination showed that QacA and Smr mediated efflux was involved in the reduced susceptibility profile to the biocides and dyes tested, which included hexadecyltrymethylammonium bromide, cetrimide, benzalkonium chloride, berberine, dequalinium chloride, pentamidine and ethidium bromide. Fluorometric assays confirmed the higher efflux activity present in strains harboring qacA or smr genes. Moreover, MIC determination for β-lactam antibiotics together with the nitrocefin test confirmed the presence of a β-lactamase in the plasmid carried by SM39 strain, pSM39. This work highlights the relevance of QacA and Smr to the biocide resistance in MRSA strains, and consequently to their survival and maintenance in the hospital environment and in the community. Furthermore, the presence of a β-lactamase and qacA determinants in the the same plasmid reinforces the question of the potencial biocide/antibiotic co-resistance in MRSA strains.

Modelação de metais pesados nos solos e sedimentos na envolvente à mina de Aljustrel

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

Inversão estocástica de sísmica 3D post-stack e dados de poço para a caracterização de reservatórios e modelação de propriedades

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

Produção e caracterização de microesferas compósitas de quitosano/fosfatos de cálcio para aplicações terapêuticas no tecido osseo

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica