Inter-application redundancy elimination in sensor networks with compiler-assisted scheduling

Most current-generation Wireless Sensor Network (WSN) nodes are equipped with multiple sensors of various types, and therefore support for multi-tasking and multiple concurrent applications is becoming increasingly common. This trend has been fostering the design of WSNs allowing several concurrent users to deploy applications with dissimilar requirements. In this paper, we extend the advantages of a holistic programming scheme by designing a novel compiler-assisted scheduling approach (called REIS) able to identify and eliminate redundancies across applications. To achieve this useful high-level optimization, we model each user application as a linear sequence of executable instructions. We show how well-known string-matching algorithms such as the Longest Common Subsequence (LCS) and the Shortest Common Super-sequence (SCS) can be used to produce an optimal merged monolithic sequence of the deployed applications that takes into account embedded scheduling information. We show that our approach can help in achieving about 60% average energy savings in processor usage compared to the normal execution of concurrent applications.

Assigning real-time tasks on heterogeneous multiprocessors with two types of processors

Consider the problem of scheduling a set of implicitdeadline sporadic tasks on a heterogeneous multiprocessor so as to meet all deadlines. Tasks cannot migrate and the platform is restricted in that each processor is either of type-1 or type-2 (with each task characterized by a different speed of execution upon each type of processor). We present an algorithm for this problem with a timecomplexity of O(n·m), where n is the number of tasks and m is the number of processors. It offers the guarantee that if a task set can be scheduled by any non-migrative algorithm to meet deadlines then our algorithm meets deadlines as well if given processors twice as fast. Although this result is proven for only a restricted heterogeneous multiprocessor, we consider it significant for being the first realtime scheduling algorithm to use a low-complexity binpacking approach to schedule tasks on a heterogeneous multiprocessor with provably good performance.

Molybdenum-containing proteins from Sulphate Reducing Bacteria: studying proteins with novel cofactors and revealing new features of old enzymes

Dissertação apresentada para a obtenção do Grau de Doutor em Bioquímica, especialidade de Bioquímica-Física pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Development of an interface for ontology‐based transformation between features of different types

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

Wetland Habitat Studies using various Classification Techniques on Multi-Spectral Landsat Imagery: Case study: Tram chim National Park, Dong Thap Vietnam

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

The contribution of multitemporal information from multispectral satellite images for automatic land cover classification at the national scale

Thesis submitted to the Instituto Superior de Estatística e Gestão de Informação da Universidade Nova de Lisboa in partial fulfillment of the requirements for the Degree of Doctor of Philosophy in Information Management – Geographic Information Systems

Avaliação do desempenho energético de um grande edifício de serviços existente

Nesta dissertação pretende-se caracterizar o desempenho energético de um grande edifício de serviços existente, da tipologia ensino, avaliar e identificar potenciais medidas que melhorem aquele desempenho, permitindo, em complemento, determinar a sua classificação energética no âmbito da legislação vigente. A pertinência do estudo prende-se com a avaliação do desempenho energético dos edifícios e com o estudo de medidas de melhoria que permitam incrementar a eficiência energética, por recurso a um programa de simulação energética dinâmica certificado – DesignBuilder e tendo em conta a regulamentação portuguesa em vigor. Inicialmente procedeu-se à modelação do edifício com recurso ao programa DesignBuilder, e, simultaneamente, realizou-se um levantamento de todas as suas características ao nível de geometria, pormenores construtivos, sistemas AVAC e de iluminação e fontes de energia utilizadas. Com vista à caracterização do modo de operação do edifício, foi realizado um levantamento dos perfis reais de utilização em termos de ocupação, iluminação e equipamentos para os vários espaços. Foram realizadas medições de caudais de ar novo e da temperatura do ar, em alguns equipamentos e alguns espaços específicos. Foram realizadas medições em tempo real e leituras de contagens da energia eléctrica utilizada, quer em período de aulas quer em período de férias, que permitiram a desagregação das facturas da energia eléctrica que se apresentam globais para o campus do ISEP. Foram realizadas leituras de contagens de gás natural. Em sequência, foi realizada a simulação energética dinâmica com o intuito de ajustar o modelo criado aos consumos reais e de analisar medidas de melhoria que lhe conferissem um melhor desempenho energético. Essas medidas são agrupadas em quatro tipos: - Medidas de natureza comportamental; - Medidas de melhoria da eficiência energética nos sistemas de iluminação; - Medidas de melhoria de eficiência energética nos sistemas AVAC;- Medidas que visam a introdução de energias de fonte renovável; Em sequência, foi elaborada a simulação nominal e calculados os indicadores de eficiência energética com vista à respectiva classificação energética do edifício, tendo o edifício apresentado uma Classe Energética D de acordo com a escala do SCE. Finalmente, foi avaliado o impacto das diferentes medidas de melhoria identificadas e com potencial de aplicação, isto é, que apresentaram um retorno simples do investimento inferior a oito anos, tanto ao nível do desempenho energético real do edifício, como ao nível da sua classificação energética. De onde se concluiu que existe um potencial de 7% de redução nos consumos energéticos actuais do edifício e de 18% se o funcionamento do edifício for em pleno, ou seja, se todos os seus sistemas estiverem efectivamente em funcionamento, e que terá impacto na classificação energética alcançado uma Classe Energética C.

Type inference for conversation types

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Lithostratigraphy, sequence stratigraphy and depositional setting of the Pliensbachian and Toarcian series in the Lusitanian Basin, Portugal

In the Lusitanian Basin (Central Portugal), the Middle-Upper Liassic series are characterized by an expressive marly limestone accumulation, sediments that were deposited on a homoclinal carbonate ramp. These series belong to the Vale das Fontes, Lemede, S. Gião (and the lateral equivalents Prado and Cabo Carvoeiro Formations) and, partially, to the Póvoa da Lomba Formations. These units, in great part controlled by an accurate ammonite biostratigraphic scale, are organized into two secondorder transgressive-regressive sequences. The first one (SP) is dated of early Pliensbachian/lowermost early Toarcian age; the second (ST) is dated of early Toarcian to early Aalenian.

A physical packing sequence algorithm for the container loading problem with static mechanical equilibrium conditions

The container loading problem (CLP) is a combinatorial optimization problem for the spatial arrangement of cargo inside containers so as to maximize the usage of space. The algorithms for this problem are of limited practical applicability if real-world constraints are not considered, one of the most important of which is deemed to be stability. This paper addresses static stability, as opposed to dynamic stability, looking at the stability of the cargo during container loading. This paper proposes two algorithms. The first is a static stability algorithm based on static mechanical equilibrium conditions that can be used as a stability evaluation function embedded in CLP algorithms (e.g. constructive heuristics, metaheuristics). The second proposed algorithm is a physical packing sequence algorithm that, given a container loading arrangement, generates the actual sequence by which each box is placed inside the container, considering static stability and loading operation efficiency constraints.

Generalization of Wertheim's theory for the assembly of various types of rings

We generalize Wertheim's first order perturbation theory to account for the effect in the thermodynamics of the self-assembly of rings characterized by two energy scales. The theory is applied to a lattice model of patchy particles and tested against Monte Carlo simulations on a fcc lattice. These particles have 2 patches of type A and 10 patches of type B, which may form bonds AA or AB that decrease the energy by epsilon(AA) and by epsilon(AB) = r epsilon(AA), respectively. The angle theta between the 2 A-patches on each particle is fixed at 601, 90 degrees or 120 degrees. For values of r below 1/2 and above a threshold r(th)(theta) the models exhibit a phase diagram with two critical points. Both theory and simulation predict that rth increases when theta decreases. We show that the mechanism that prevents phase separation for models with decreasing values of theta is related to the formation of loops containing AB bonds. Moreover, we show that by including the free energy of B-rings ( loops containing one AB bond), the theory describes the trends observed in the simulation results, but that for the lowest values of theta, the theoretical description deteriorates due to the increasing number of loops containing more than one AB bond.

Implicações imunobiológicas da infecção a herpesvirus em tumores malignos : pesquisa e análise quantitativa de herpesvirus humanos no astrocitoma pilocítico

RESUMO: As infecções virais podem contribuir para o desenvolvimento do cancro, estando vários tumores malignos associados aos Herpesvirus (HHV). O vírus de Epstein-Barr (EBV) e o Herpesvirus 8, dois Herpesvirus, foram reconhecidos como agentes etiológicos de várias neoplasias. O astrocitoma pilocítico do cerebelo é um dos tumores cerebrais mais frequentes na criança, adolescentes e jovens adultos e a proliferação astrocitária ocorre geralmente após vários tipos de agressão, nomeadamente a infecção viral. Para investigar esta eventual interligação, estudámos 35 astrocitomas pilocíticos, pesquisando a presença dos 8 Herpesvirus. Neste estudo, foram utilizadas 10 amostras de biópsias do cerebelo de doentes que faleceram por doenças não relacionadas com infecção ou patologia tumoral. A maioria dos astrocitomas (33) eram tumores de baixa malignidade. As amostras foram analisadas por PCR (Polymerase Chain Reaction) quantitativa em tempo real (qPCR), com amplificação do gene da DNA polimerase viral. Treze astrocitomas e 7 controles revelaram pequenas quantidades de DNA viral (1-100 cópias/100ng DNA) de todos os Herpesvirus, com excepção do HHV6 A e B que estava ausente nas amostras. O EBV foi identificado em 9 dos 35 astrocitomas (26%) e em 7 dos 10 controles (70%) estando muito mais presente nos controles. As amostras positivas para o EBV foram também analisadas por imunohistoquímica, não tendo sido imunoreactivas para os anticorpos utilizados. A PCR com CODEHOP (consensus-degenerated hybrid oligonucleotide primers) foi utilizada para investigar a presença de um eventual Herpesvirus novo nestas amostras. Não foi identificada nenhuma sequência indicativa de um novo HHV por este método. 24. Em conclusão, os dados apontam para a presença de Herpesvirus, com particular relevância para o EBV, em tecido de cerebelo normal e em tumores cerebrais, embora em níveis demasiado baixos para poderem ser responsabilizados pela indução tumoral. A presença de sequências de DNA de Herpesvirus, nomeadamente do EBV, no Sistema Nervoso Central vem enriquecer a discussão sobre o significado da infecção viral na oncogénese humana, particularmente na neuro-oncogénese. ABSTRACT: Viral infections can contribute to the development of human cancer. Several human malignancies are linked with Human Herpesviruses (HHVs). Epstein-Barr virus and HHV8, two hHerpesvirus, have been recognized as etiologic agents of several neoplasms. Pilocytic astrocytoma of the cerebellum is one of the most common brain tumour in children, adolescents and young adults and astrocytary proliferation generally occurs after several types of injury, namely viral infection. To further explore this association, we have searched the tissue from 35 pilocytic astrocytoma, for all the 8 HHV. In this study, ten brain biopsies (cerebellum) from patients who died of unrelated diseases were used as controls. Most of the astrocytomas (33) were of low grade malignity. Samples were assessed by Real-time quantitative Polymerase Chain Reaction (q PCR) amplification of viral DNA polymerase gene. Thirteen astrocytoma and 7 controls showed low viral DNA levels (1-100 copies/100ng DNA) for all HHVs, with the exception of HHV6 that was absent. EBV was identified in 9 of the 35 astrocytoma (26 %) and in 7 of the 10 controls (70%) being more present in controls. EBV positive samples were also assessed by Immunohistochemistry (IHC) but none showed immunoreactivity for the antibodies used. PCR with consensus-degenerated hybrid oligonucleotide primers (CODEHOP) were also used to look for novel HHVs in these samples and no sequence indicative of a new HHV was detected. 26 Altogether the data indicate the presence of HHVs, with relevance for EBV in normal cerebellum tissue and also in brain tumours but at too low levels to be considered responsible for tumour induction. The presence of HHV DNA sequences, particularly EBV, in the studied brain tumours and control samples, further enriches the discussion about the relevance of viral infection in human oncogenesis, particularly neuro-oncogenesis.RÉSUMÉ: Les infections virales peuvent contribuer au développement du cancer. Les vírus de type Herpès sont associés à plusieurs néoplasies. Il est par exemple établi que les vírus Epstein-Barr et « human Herpesvirus 8 » (HHV-8) sont responsables de plusieurs tumeurs malignes. L´astrocytome pilocitique du cervelet est l’une des tumeurs les plus fréquentes chez les enfants, adolescents et adultes jeunes. En général la prolifération des astrocytes se produit en réponse à une agression. Posant l’hypothèse d’une agression d’origine virale, nous avons recherché la présence des 8 vírus Herpès dans les tissus de 35 astrocytomes. Dans cette étude, 10 échantillons de biopsie de cervelet de patients décédés suite à d’autres pathologies, ont été utilisés comme contrôles. La majorité des astrocytomes étaient de très basse malignité. Les échantillons ont été étudiés par PCR quantitative en temps réel, en amplifiant le gène de l’ADN-polymérase virale. Treize astrocytomes sur 35 (37%) et 7 contrôles sur 10 (70%) ont été trouvés positifs pour tous les HHV sauf l´HHV6, toujours avec un nombre de copies de polymérase virale bas (< 100 copies/100 ng d’ADN). Notamment l’EBV a été identifié 7 fois dans les contrôles (70%) et 9 fois dans les astrocytomes (26%). Les échantillons positifs pour l`EBV ont aussi été étudiés par immuno-histochimie. Aucun signal n’a été observé avec les anticorps utilisés. Enfin, une technique de PCR avec oligonucléotides dégénérés (CODEHOP ou consensus degenerated hybrid oligonucleotide primers) a été utilisée pour rechercher la présence d´un éventuel nouveau vírus Herpès dans les échantillons d’astrocytome. Aucun nouveau vírus n’a été identifié. 28 En résumé, nous avons établi la présence de vírus Herpès, en particulier l´EBV, dans le cervelet normal et dans les tumeurs du cerveau. Les quantités d’ADN viral retrouvées sont faibles et ne permettent pas d’attribuer à ces vírus la responsabilité de l’induction des tumeurs. Cependant, la présence d’ADN de vírus Herpès dans le cerveau sain ou pathologique vient enrichir la discussion sur le signification de l´infection virale dans les processus d´oncogenèse en général, et dans la neuroonco-genèse en particulier.

Multiple sequence alignment correction using constraints

Trabalho apresentado no âmbito do European Master in Computational Logics, como requisito parcial para obtenção do grau de Mestre em Computational Logics

A teaching-learning sequence of colour informed by history and philosophy of science

In this work, we present a teaching-learning sequence on colour intended to a pre-service elementary teacher programme informed by History and Philosophy of Science. Working in a socio-constructivist framework, we made an excursion on the history of colour. Our excursion through history of colour, as well as the reported misconception on colour helps us to inform the constructions of the teaching-learning sequence. We apply a questionnaire both before and after each of the two cycles of action-research in order to assess students’ knowledge evolution on colour and to evaluate our teaching-learning sequence. Finally, we present a discussion on the persistence of deep-rooted alternative conceptions.

A didactic sequence of elementary geometric optics Informed by history and philosophy of science

The concepts and instruments required for the teaching and learning of geometric optics are introduced in the didactic processwithout a proper didactic transposition. This claim is secured by the ample evidence of both wide- and deep-rooted alternative concepts on the topic. Didactic transposition is a theory that comes from a reflection on the teaching and learning process in mathematics but has been used in other disciplinary fields. It will be used in this work in order to clear up the main obstacles in the teachinglearning process of geometric optics. We proceed to argue that since Newton’s approach to optics, in his Book I of Opticks, is independent of the corpuscular or undulatory nature of light, it is the most suitable for a constructivist learning environment. However, Newton’s theory must be subject to a proper didactic transposition to help overcome the referred alternative concepts. Then is described our didactic transposition in order to create knowledge to be taught using a dialogical process between students’ previous knowledge, history of optics and the desired outcomes on geometrical optics in an elementary pre-service teacher training course. Finally, we use the scheme-facet structure of knowledge both to analyse and discuss our results as well as to illuminate shortcomings that must be addressed in our next stage of the inquiry.