Real Time Internet DGPS Service

The accuracy of the Navigation Satellite Timing and Ranging (NAVSTAR) Global Positioning System (GPS) measurements is insufficient for many outdoor navigation tasks. As a result, in the late nineties, a new methodology – the Differential GPS (DGPS) – was developed. The differential approach is based on the calculation and dissemination of the range errors of the GPS satellites received. GPS/DGPS receivers correlate the broadcasted GPS data with the DGPS corrections, granting users increased accuracy. DGPS data can be disseminated using terrestrial radio beacons, satellites and, more recently, the Internet. Our goal is to provide mobile platforms within our campus with DGPS data for precise outdoor navigation. To achieve this objective, we designed and implemented a three-tier client/server distributed system that establishes Internet links with remote DGPS sources and performs campus-wide dissemination of the obtained data. The Internet links are established between data servers connected to remote DGPS sources and the client, which is the data input module of the campus-wide DGPS data provider. The campus DGPS data provider allows the establishment of both Intranet and wireless links within the campus. This distributed system is expected to provide adequate support for accurate (submetric) outdoor navigation tasks.

Beliefs and Conflicts in a Real World Multi-Agent System

In a real world multiagent system, where the agents are faced with partial, incomplete and intrinsically dynamic knowledge, conflicts are inevitable. Frequently, different agents have goals or beliefs that cannot hold simultaneously. Conflict resolution methodologies have to be adopted to overcome such undesirable occurrences. In this paper we investigate the application of distributed belief revision techniques as the support for conflict resolution in the analysis of the validity of the candidate beams to be produced in the CERN particle accelerators. This CERN multiagent system contains a higher hierarchy agent, the Specialist agent, which makes use of meta-knowledge (on how the con- flicting beliefs have been produced by the other agents) in order to detect which beliefs should be abandoned. Upon solving a conflict, the Specialist instructs the involved agents to revise their beliefs accordingly. Conflicts in the problem domain are mapped into conflicting beliefs of the distributed belief revision system, where they can be handled by proven formal methods. This technique builds on well established concepts and combines them in a new way to solve important problems. We find this approach generally applicable in several domains.

Comunidade real, comunidade imaginada: observação participante em contexto de estágio numa associação cultural: relatório de estágio

Relatório de Estágio submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Teatro e Comunidade.

Efeito de flutuações de composição química nas transformações dos aços: aplicação a um aço-ferramenta DIN X 38 CrMoV 51

Dissertação apresentada para obtenção do grau de Doutor em Ciência dos Materiais, especialidade de Metalurgia, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Efeito da exposição às temperaturas extremas na população portuguesa - um contributo da epidemiologia

Backgroud: O International Panel on Climate Change prevê que o aumento da temperatura média global, até ao ano de 2100, varie entre 1,4 e 5,8ºC desconhecendo-se a evolução da adaptação da população a esta subida da temperatura. Em Portugal morre-se mais no Inverno que no Verão. Mas existem evidências de repercussões na mortalidade atribuíveis ao calor extremo. Este estudo procura conhecer os grupos etários e/ou populacionais que parecem revelar vulnerabilidade acrescida à exposição a temperaturas extremas e identificar indicadores de saúde apropriados para revelar esses mesmos efeitos. Métodos: Foram analisados dados de internamentos hospitalar e mortalidade por doenças cardiovasculares, respiratórias, renais, efeitos directos do frio e do calor, na população com 75 e mais anos de idade, nos distritos de Beja, Bragança e Faro, nos meses de Janeiro e Junho. Para os dados de morbilidade o período de análise foi 2002 a 2005 e para os de mortalidade de 2002 a 2004. Os dados meteorológicos analisados corresponderam aos valores da temperatura máxima e percentis da temperatura máxima, nos meses de Janeiro (P10) e Junho (P90). Os excessos de internamentos hospitalares, definidos como os dias em que ocorreram internamentos acima do valor da média mais 2 desvio padrão, foram relacionados com a distribuição das temperaturas extremas (frias abaixo do P10, quentes acima do P90.Os dias com óbitos acima do valor da média foram relacionados com a distribuição das temperaturas extremas (frias abaixo do P10, quentes acima do P90). Os indicadores propostos foram baseados em Odds Ratios e intervalos de confiança que sugeriam as estimativas mais precisas. Resultados: O grupo que revelou maior vulnerabilidade às temperaturas extremas foi o grupo dos 75 e mais anos, com doenças cardiovasculares quando exposto a temperaturas extremas, nos 3 distritos observados.O nº de dias de excesso de óbitos por doenças cardiovasculares relacionados com temperaturas extremas foi o mais elevado comparado com as restantes causas de morte. O grupo etário dos 75 e mais anos com de doenças respiratórias também é vulnerável, às temperaturas extremas frias, nos 3 distritos. Verificaram-se dias de excessos de internamentos hospitalares e óbitos por esta causa de morte, relacionados com a exposição às temperaturas extremas frias. Em Junho, não se verificou excesso de mortalidade associado à exposição a temperaturas extremas por esta causa, em qualquer dos distritos analisados. Apenas se verificou a associação entre os dias de ocorrência de internamentos hospitalares por doenças renais e o calor extremo, em Bragança. Conclusões: Foram encontradas associações estatísticas significativas entre dias de excesso de ocorrência de internamentos hospitalares ou óbitos por causa e exposição a temperaturas extremas frias e quentes possibilitando a identificação de um conjunto de indicadores de saúde ambiental apropriados para monitorizar a evolução dos padrões de morbilidade, mortalidade e susceptibilidade das populações ao longo do tempo.-------------------- Backgroud: International Panel on Climate Change estimates that the rise of mean global temperature varies between 1,4 e 5,8ºC until 2100, with unknowing evolution adaptation of populations. In Portugal we die more in Winter than in Summer time. But there are several evidences of mortality attributable to extreme eat. The proposal of this study is to know the age and/or populations groups that reveal more vulnerability to exposure to extreme temperature and identifying proper health indicators to reveal those effects. Methods: Data from hospital admissions and mortality caused by cardiovascular, respiratory, renal diseases and direct effects from direct exposure to extreme cold and heat, in population with 75 and more years, in Beja, Bragança and Faro districts, during January and June, were analysed. Analysis period for morbidity data was from 2002 to 2005 and form mortality was 2002 to 2004. Meteorological data analysed were maximum temperature and percentile of maximum temperature, from January (P10) and June (P90. Relationship between excess of hospital admission, defined as the days that occurred hospital admissions above mean value more 2 standards desviation and distribution of extreme temperatures were established (cold under P10 and heat above P90. Proposal indicators were based on Odds Ratios and confidence intervals, suggesting the most precises estimatives. Results: The most vulnerable group to extreme temperature were people with 75 or more years older with cardiovascular diseases, observed in the 3 districts. Number of days caused by excess cardiovascular mortality and extreme temperature were the most number of days between the other causes. The group with 75 or more years old with respiratory diseases is vulnerable too, especially to cold extreme temperature, in all the 3 districts. There were excess of days of hospital admissions and days with deaths, for this cause relating to extreme cold temperature. In June, does not funded excess of mortality associated to extreme temperature by this cause in any district of the in observation. Just was found relationship between days of hospital admissions caused by renal diseases in Bragança in days with extreme heat. Conclusions: Were found statistically significant associations between days of excess of hospital admissions or deaths and exposure to extreme cold and heat temperatures giving the possibility of identifying a core of environmental indicators proper to monitoring patterns and trends evolutions on morbidity, mortality and susceptibly of populations for a long time.

Real-time scheduling with resource sharing on heterogeneous multiprocessors

Consider the problem of scheduling a task set τ of implicit-deadline sporadic tasks to meet all deadlines on a t-type heterogeneous multiprocessor platform where tasks may access multiple shared resources. The multiprocessor platform has m k processors of type-k, where k∈{1,2,…,t}. The execution time of a task depends on the type of processor on which it executes. The set of shared resources is denoted by R. For each task τ i , there is a resource set R i ⊆R such that for each job of τ i , during one phase of its execution, the job requests to hold the resource set R i exclusively with the interpretation that (i) the job makes a single request to hold all the resources in the resource set R i and (ii) at all times, when a job of τ i holds R i , no other job holds any resource in R i . Each job of task τ i may request the resource set R i at most once during its execution. A job is allowed to migrate when it requests a resource set and when it releases the resource set but a job is not allowed to migrate at other times. Our goal is to design a scheduling algorithm for this problem and prove its performance. We propose an algorithm, LP-EE-vpr, which offers the guarantee that if an implicit-deadline sporadic task set is schedulable on a t-type heterogeneous multiprocessor platform by an optimal scheduling algorithm that allows a job to migrate only when it requests or releases a resource set, then our algorithm also meets the deadlines with the same restriction on job migration, if given processors 4×(1+MAXP×⌈|P|×MAXPmin{m1,m2,…,mt}⌉) times as fast. (Here MAXP and |P| are computed based on the resource sets that tasks request.) For the special case that each task requests at most one resource, the bound of LP-EE-vpr collapses to 4×(1+⌈|R|min{m1,m2,…,mt}⌉). To the best of our knowledge, LP-EE-vpr is the first algorithm with proven performance guarantee for real-time scheduling of sporadic tasks with resource sharing on t-type heterogeneous multiprocessors.

Efficient schedulability tests for real-time embedded systems with urgent routines

Task scheduling is one of the key mechanisms to ensure timeliness in embedded real-time systems. Such systems have often the need to execute not only application tasks but also some urgent routines (e.g. error-detection actions, consistency checkers, interrupt handlers) with minimum latency. Although fixed-priority schedulers such as Rate-Monotonic (RM) are in line with this need, they usually make a low processor utilization available to the system. Moreover, this availability usually decreases with the number of considered tasks. If dynamic-priority schedulers such as Earliest Deadline First (EDF) are applied instead, high system utilization can be guaranteed but the minimum latency for executing urgent routines may not be ensured. In this paper we describe a scheduling model according to which urgent routines are executed at the highest priority level and all other system tasks are scheduled by EDF. We show that the guaranteed processor utilization for the assumed scheduling model is at least as high as the one provided by RM for two tasks, namely 2(2√−1). Seven polynomial time tests for checking the system timeliness are derived and proved correct. The proposed tests are compared against each other and to an exact but exponential running time test.

Matrizes energética e de emissões de gases com efeito de estufa no Concelho de Torres Vedras: agir localmente num problema global

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, perfil de Gestão de Sistemas Ambientais

Study in real conditions and in laboratory of the application of expanded agglomerated cork as exterior wall covering

The interest of the study on the implementation of expanded agglomerated cork as exterior wall covering derives from two critical factors in a perspective of sustainable development: the use of a product consisting of a renewable natural material-cork-and the concern to contribute to greater sustainability in construction. The study aims to assess the feasibility of its use by analyzing the corresponding behaviour under different conditions. Since this application is relatively recent, only about ten years old, there is still much to learn about the reliability of its long-term properties. In this context, this study aims to deepen and approach aspects, some of them poorly studied and even unknown, that deal with characteristics that will make the agglomerate a good choice for exterior wall covering. The analysis of these and other characteristics is being performed by testing both under actual exposure conditions, on an experimental cell at LNEC, and on laboratory. In this paper the main laboratory tests are presented and the obtained results are compared with the outcome of the field study. © (2015) Trans Tech Publications, Switzerland.

Estrogen receptor dependent genetic and epigenetic factors of tamoxifen resistance

Resumo: A decisão da terapêutica hormonal no tratamento do cancro da mama baseiase na determinação do receptor de estrogénio alfa por imunohistoquímica (IHC). Contudo, a presença deste receptor não prediz a resposta em todas as situações, em parte devido a limitações do método IHC. Investigámos se a expressão dos genes ESR1 e ESR2, bem como a metilação dos respectivos promotores, pode estar relacionada com a evolução desfavorável de uma proporção de doentes tratados com tamoxifeno assim como com a perda dos receptores de estrogénio alfa (ERα) e beta (ERß). Amostras de 211 doentes com cancro da mama diagnosticado entre 1988 e 2004, fixadas em formalina e preservadas em parafina, foram utilizadas para a determinação por IHC da presença dos receptores ERα e ERß. O mRNA total do gene ESR1 e os níveis específicos do transcrito derivado do promotor C (ESR1_C), bem como dos transcritos ESR2_ß1, ESR2_ß2/cx, and ESR2_ß5 foram avaliados por Real-time PCR. Os promotores A e C do gene ESR1 e os promotores 0K e 0N do gene ESR2 foram investigados por análise de metilação dos dinucleotidos CpG usando bisulfite-PCR para análise com enzimas de restrição, ou para methylation specific PCR. Atendendo aos resultados promissores relacionados com a metilação do promotor do gene ESR1, complementamos o estudo com um método quantitativo por matrix-assisted laser desorption/ionization time-of-flight mass spectrometry (MALDI-TOF MS) suportado pelo software Epityper para a medição da metilação nos promotores A e C. Fez-se a avaliação da estabilidade do mRNA nas linhas celulares de cancro da mama MCF-7 e MDA-MB-231 tratadas com actinomicina D. Baixos níveis do transcrito ESR1_C associaram-se a uma melhor sobrevivência global (p = 0.017). Níveis elevados do transcrito ESR1_C associaram-se a uma resposta inferior ao tamoxifeno (HR = 2.48; CI 95% 1.24-4.99), um efeito mais pronunciado em doentes com tumores de fenótipo ERα/PgR duplamente positivo (HR = 3.41; CI 95% 1.45-8.04). A isoforma ESR1_C mostrou ter uma semi-vida prolongada, bem como uma estrutura secundária da região 5’UTR muito mais relaxada em comparação com a isoforma ESR1_A. A análise por Western-blot mostrou que ao nível da 21 proteína, a selectividade de promotores é indistinguivel. Não se detectou qualquer correlação entre os níveis das isoformas do gene ESR2 ou entre a metilação dos promotores do gene ESR2, e a detecção da proteína ERß. A metilação do promotor C do gene ESR1, e não do promotor A, foi responsável pela perda do receptor ERα. Estes resultados sugerem que os níveis do transcrito ESR1_C sejam usados como um novo potencial marcador para o prognóstico e predição de resposta ao tratamento com tamoxifeno em doentes com cancro da mama. Abstract: The decision of endocrine breast cancer treatment relies on ERα IHC-based assessment. However, ER positivity does not predict response in all cases in part due to IHC methodological limitations. We investigated whether ESR1 and ESR2 gene expression and respective promoter methylation may be related to non-favorable outcome of a proportion of tamoxifen treated patients as well as to ERα and ERß loss. Formalin-fixed paraffin-embedded breast cancer samples from 211 patients diagnosed between 1988 and 2004 were submitted to IHC-based ERα and ERß protein determination. ESR1 whole mRNA and promoter C specific transcript levels, as well as ESR2_ß1, ESR2_ß2/cx, and ESR2_ß5 transcripts were assessed by real-time PCR. ESR1 promoters A and C, and ESR2 promoters 0N and 0K were investigated by CpG methylation analysis using bisulfite-PCR for restriction analysis, or methylation specific PCR. Due to the promising results related to ESR1 promoter methylation, we have used a quantification method by matrixassisted laser desorption/ionization time-of-flight mass spectrometry (MALDITOF MS) together with Epityper software to measure methylation at promoters A and C. mRNA stability was assessed in actinomycin D treated MCF-7 and MDA-MB-231 cells. ERα protein was quantified using transiently transfected breast cancer cells. Low ESR1_C transcript levels were associated with better overall survival (p = 0.017). High levels of ESR1_C transcript were associated with non-favorable response in tamoxifen treated patients (HR = 2.48; CI 95% 1.24-4.99), an effect that was more pronounced in patients with ERα/PgR double-positive tumors (HR = 3.41; CI 95% 1.45-8.04). The ESR1_C isoform had a prolonged mRNA half-life and a more relaxed 5’UTR structure compared to ESR1_A isoform. Western-blot analysis showed that at protein level, the promoter selectivity is undistinguishable. There was no correlation between levels of ESR2 isoforms or ESR2 promoter methylation and ERß protein staining. ESR1 promoter C CpG methylation and not promoter A was responsible for ERα loss. We propose ESR1_C levels as a putative novel marker for breast cancer prognosis and prediction of tamoxifen response.

Matemática II : apoio às aulas de funções reais de mais de uma variável real

Este texto apresenta os conceitos fundamentais das funções reais de mais de duas variáveis. Estes slides são um complemento às aulas de Matemática II para o tema em estudo para alunos da licenciatura em gestão.

Comportamento ao punçoamento de lajes fungiformes reforçadas com parafusos - efeito da área e posicionamento da ancoragem

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Civil - Ramo de Estruturas e Geotecnia

Produção de Biohidrogénio pela cianobactéria Anabaena sp. PCC 7120 e mutantes: efeito do ciclo de luz (dia/noite) e da intensidade luminosa

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção de Grau de Mestre em Energia e Bioenergia

Simulação da Central de Cogeração da Refinaria de Matosinhos (Petrogal)

Mestrado em Engenharia Química – Ramo Optimização Energética na Indústria Química