Kinect-sign

A nova era da informação que se está a assistir tem possibilitado a criação de novas e vastas coleções de intelecto virtual, como por exemplo o Wikipedia, Corsera, entre outros. Estas ferramentas vieram possibilitar a procura por cultura, resoluções de problemas do quotidiano, novos métodos de aprendizagem, por parte da sociedade em geral. Porém, como é habitual, tem-se vindo a verificar uma certa dificuldade inerente por parte de certas minorias sociais, que não possuem as mesmas capacidades de um indivíduo “normal“. Esta dissertação tem como objetivo a criação de uma ferramenta, em formato de jogo sério, para apoiar o ensino de Língua Gestual Portuguesa a um público ouvinte o -“Kinect Sign”. Com este estudo pretende-se explorar as mais recentes ferramentas de desenvolvimento de jogos, mais conhecidas como Authoring Tools e a sua integração com Natural User interfaces, concretamente o sensor Kinect. A solução apresentada neste documento propõe a utilização desta ferramenta a todos os indivíduos iniciantes que necessitem de uma introdução a esta forma de comunicação, para tornar um pouco menos agressiva a entrada no complexo mundo da linguagem gestual. A validação deste trabalho consistiu no desenvolvimento de um jogo protótipo que incentive os jogadores a aprenderem enquanto jogam. Analisaram-se problemas e tecnologias atuais para se chegar a uma estruturação semelhante a um jogo comum disponível em qualquer superfície comercial e websites dedicados ao género. Posterior apresentação a uma população selecionada a fim de analisar a sua opinião e utilidade do modelo desenvolvido, seguindo-se a resposta a um pequeno questionário.

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

Resiliência estratégica: uma contribuição para o desenvolvimento das organizações

As organizações estão inseridas em ambientes dinâmicos, sujeitas à ocorrência de distúrbios de várias ordens, causados eventualmente por grandes desastres naturais ou simples falhas de entregas de fornecedores-chaves. Para garantir a sobrevivência a estes distúrbios e manter a sua posição competitiva, as organizações precisam estar atentas ao mercado e às suas oportunidades, perceber possíveis sinais das mudanças na sua envolvente e antecipar-se continuamente, alterando a sua estratégia, antes que seja forçada a mudar. A capacidade de uma organização agir proativamente, adaptando-se e aproveitando as oportunidades, maximizando os ganhos e minimizando os problemas ocorre quando a organização desenvolve a capacidade de poder “adivinhar” o futuro. Como isso não é possível, é preciso desenvolver mecanismos de natureza estratégica, para fazer face aos imprevistos que a dinâmica empresarial enfrenta no dia-a-dia e que, como já se referiu, podem perturbar seriamente a sua posição competitiva. A esta capacidade designámos Resiliência Estratégica. Como definir, conceber e operacionalizar a Resiliência Estratégica para desenvolver organizações, constitui o tema central deste trabalho de investigação. Como medir o nível de Resiliência Estratégica constitui o complemento desta questão, pois é vital que a organização conheça a sua situação actual, neste domínio, para desenvolver as necessárias ações de melhoria. Este estudo visa contribuir para o desenvolvimento das organizações, proporcionando um entendimento profundo do que é a Resiliência Estratégica e sugerindo uma métrica para a sua avaliação. Com o intuito de prover um modelo de avaliação, utilizou-se o conceito de Resiliência Estratégica desenvolvido para este estudo alinhado à investigação, de carácter exploratório, permitiu a identificação e exploração dos fatores que favorecem a Resiliência Estratégica, tomando como base, as Teorias de Desenvolvimento Organizacional e Contingencial. Após a seleção dos fatores, procedeu-se à sua validação por especialistas;. para a avaliação da importância de cada fator, foi usado o método Delphi, através de questionário online. A refinação dos resultados foi obtida por recurso a diversas ferramentas estatísticas, nomeadamente, a Análise Fatorial e a Análise de Componentes Principais. Desta forma, concebeu-se um modelo de avaliação da Resiliência Estratégica, composto por 12 componentes não correlacionados. O modelo foi testado em três organizações e revelou ser de grande utilidade no diagnóstico estratégico das organizações e na identificação de ações a desenvolver para a sua Resiliência numa persapectiva estratégica.

m-SportGIS

Information technologies (ITs), and sports resources and services aid the potential to transform governmental organizations, and play an important role in contributing to sustainable communities development, respectively. Spatial data is a crucial source to support sports planning and management. Low-cost mobile geospatial tools bring productive and accurate data collection, and their use combining a handy and customized graphical user interface (GUI) (forms, mapping, media support) is still in an early stage. Recognizing the benefits — efficiency, effectiveness, proximity to citizens — that Mozambican Minister of Youth and Sports (MJD) can achieve with information resulted from the employment of a low-cost data collection platform, this project presents the development of a mobile mapping application (app) — m-SportGIS — under Open Source (OS) technologies and a customized evolutionary software methodology. The app development embraced the combination of mobile web technologies and Application Programming Interfaces (APIs) (e.g. Sencha Touch (ST), Apache Cordova, OpenLayers) to deploy a native-to-the-device (Android operating system) product, taking advantage of device’s capabilities (e.g. File system, Geolocation, Camera). In addition to an integrated Web Map Service (WMS), was created a local and customized Tile Map Service (TMS) to serve up cached data, regarding the IT infrastructures limitations in several Mozambican regions. m-SportGIS is currently being exploited by Mozambican Government staff to inventory all kind of sports facilities, which resulted and stored data feeds a WebGIS platform to manage Mozambican sports resources.

Characterization of molecular damage induced by UV photons and carbon ions on biomimetic heterostructures

The study of the effect of radiation on living tissues is a rather complex task to address mainly because they are made of a set of complex functional biological structures and interfaces. Particularly if one is looking for where damage is taking place in a first stage and what are the underlying reaction mechanisms. In this work a new approach is addressed to study the effect of radiation by making use of well identified molecular hetero-structures samples which mimic the biological environment. These were obtained by assembling onto a solid support deoxyribonucleic acid (DNA) and phospholipids together with a soft water-containing polyelectrolyte precursor in layered structures and by producing lipid layers at liquid/air interface with DNA as subphase. The effects of both ultraviolet (UV) radiation and carbon ions beams were systematically investigated in these heterostructures, namely damage on DNA by means vacuum ultraviolet (VUV), infrared (IR), X-Ray Photoelectron (XPS) and impedance spectroscopy. Experimental results revealed that UV affects furanose, PO2-, thymines, cytosines and adenines groups. The XPS spectrometry carried out on the samples allowed validate the VUV and IR results and to conclude that ionized phosphate groups, surrounded by the sodium counterions, congregate hydration water molecules which play a role of UV protection. The ac electrical conductivity measurements revealed that the DNA electrical conduction is arising from DNA chain electron hopping between base-pairs and phosphate groups, with the hopping distance equal to the distance between DNA base-pairs and is strongly dependent on UV radiation exposure, due loss of phosphate groups. Characterization of DNA samples exposed to a 4 keV C3+ ions beam revealed also carbon-oxygen bonds break, phosphate groups damage and formation of new species. Results from radiation induced damage carried out on biomimetic heterostructures having different compositions revealed that damage is dependent on sample composition, with respect to functional targeted groups and extent of damage. Conversely, LbL films of 1,2-dipalmitoyl-sn-Glycero-3-[Phospho-rac-(1-glycerol)] (Sodium Salt) (DPPG) liposomes, alternated with poly(allylamine hydrochloride) (PAH) revealed to be unaffected, even by prolonged UV irradiation exposure, in the absence of water molecules. However, DPPG molecules were damaged by the UV radiation in presence of water with cleavage of C-O, C=O and –PO2- bonds. Finally, the study of DNA interaction with the ionic lipids at liquid/air interfaces revealed that electrical charge of the lipid influences the interaction of phospholipid with DNA. In the presence of DNA in the subphase, the effects from UV irrladiation were seen to be smaller, which means that ionic products from biomolecules degradation stabilize the intact DPPG molecules. This mechanism may explain why UV irradiation does not cause immediate cell collapse, thus providing time for the cellular machinery to repair elements damaged by UV.

A importância do manual escolar para o professor e alunos de Geografia e de História no 3º Ciclo

Se outrora o manual escolar era o único recurso disponível nas escolas, atualmente a sua utilização entra em competição com os recursos digitais, mais apelativos e dinâmicos. Estudos existentes demonstram a importância na utilização de ambos os recursos, existindo defensores e críticos para o seu uso. Este relatório não pretendeu entrar nessa discussão, mas refletiu acerca da importância do manual escolar para o professor e para o aluno do 3º Ciclo do Ensino Básico. Na minha anterior experiencia como docente nunca tinha recorrido à utilização de recursos digitais. Deste modo e no âmbito do estágio realizado em duas escolas diferentes e depois de atribuídas as turmas para Geografia e História, optou-se pela lecionação das turmas do 8º ano através do manual escolar, ao passo que as turmas do 9º ano foram lecionadas através de recursos digitais. No final do estágio pude constatar que a utilização de recursos digitais revelou-se proveitosa na transmissão de conhecimentos aos alunos (à semelhança do manual escolar), mas requereu bastante tempo para a sua construção. Foram ainda aplicados 88 inquéritos aos alunos e não obstante os resultados demonstrarem uma ligeira tendência preferencial para a utilização de recursos digitais, a relação estabelecida com o professor e o sucesso na avaliação são aspetos capazes de persuadir essa preferência.

Desenvolvimento de novas ferramentas analíticas para a monitorização da actividade da Paraoxonase 1 em amostras de plasma humano

Segundo a Organização Mundial da Saúde (OMS), as doenças cardiovasculares (DCV) são a principal causa de morte nos países desenvolvidos. Há uma necessidade urgente de métodos eficazes para a detecção precoce de doenças cardiovasculares, devido à falta de factores de risco convencionais. Os níveis elevados de homocisteína (Hcy) no sangue, homocisteinemia, são um factor de risco independente bem estabelecido para DCV. De acordo com alguns autores, a conversão metabólica de Hcy no metabolito tóxico Hcy-Tl e subsequente N-homocisteinilação de proteínas induz a agregação e a formação de amiloide, contribuindo assim para a alterações próaterogénicas no sistema cardiovascular. A enzima associada à lipoproteína de alta densidade (HDL), paraoxonase 1 (PON1), é capaz de hidrolisar o metabolito tóxico Hcy-Tl de volta a Hcy no soro humano, como observado em estudos recentes que indicam o papel de patogénese em DCV da hPON1. As paraoxonases de soro (PON1, PON2 e PON3) são hidrolases dependentes de cálcio, que pertencem a uma família de enzimas que exibem propriedades antioxidantes e anti-inflamatórias. Foram identificadas três actividades catalíticas principais para PON1: (i) actividade paraoxonase, que corresponde à conversão hidrolítica de paraoxon em p-nitrofenol e a dietil fosfato, (ii) a actividade arilesterase que promove a hidrólise de ésteres aromáticos, e a (iii) actividade de lactonase, que catalisa a hidrólise de Hcy a Hcy-Tl, sendo considerada a actividade principal da PON1. Vários estudos têm relacionado estas actividades enzimáticas a diversas patologias, o que sugere a sua potencial utilidade no diagnóstico clínico. Neste trabalho pretende-se desenvolver um novo método electroquímico para a detecção fácil do substrato e produto resultantes da hidrólise enzimática de paraoxon pela hPON1. Utilizando uma célula electroquímica constituída por um eléctrodo de referência Ag /AgCl., um contra-eléctrodo de Pt e um electrodo de trabalho de carbono vítreo, o paraoxon e p-nitrofenol foram detectados simultaneamente por voltametria de onda quadrada, numa janela de potencial de [-0,3;-1,2] V. Os resultados dos ensaios com a enzima testada a pH 7,6 e 37°C, na presença de paraoxon e utilizando plasma humano como uma fonte de PON1 serão discutidos. Usando a mesma composição de célula electroquímica, Hcy e Hcy-Tl foram estudados utilizando diferentes interfaces e tipos de tratamento para testar a melhor maneira possível de detecção das duas espécies na mesma experiência electroquímica.

Comportamento de ligações adesivas entre compósitos de FRP e elementos estruturais de aço

Desde de que os Polímeros Reforçados com Fibras (FRP) começaram a ser usados no reparo ou no reforço de elementos estruturais, o descolamento prematuro do compósito FRP com o substrato tem sido objecto de muitos estudos. É importe conhecer e descrever, com rigor, o comportamento completo da interface do FRP com o substrato. Inclusivé, tem-se utilizado com frequência fixações mecânicas adicionais, para demorar ou mesmo evitar o descolamento prematuro do compósito FRP com o substrato. Não existem soluções analíticas que descrevam o comportamento completo das interfaces do FRP com o substrato. Portanto, o objetivo desta dissertação é mitigar esse desconhecimento através de uma solução teórica para descrever a ligação do FRP com o substrato com e sem ancoragem mecânica, através de um modelo de bond-slip exponencial que é conhecido por representar as não linearidades envolvidas no processo de descolagem do compósito FRP com o substrato. A análise completa da carga vs. deslizamento para ambos os casos (com e sem ancoragem mecânica) também é discutida nesta dissertação. Para além disso, este trabalho também visa um estudo experimental utilizando vigas metálicas com compósitos de carbono (CFRP) ou seja, em sistema Externally Bonded Reinforcement (EBR) com e sem sistema ancorado mecânico.

Sistemas de Informação de Marketing, Geomarketing e níveis estratégicos em organizações no Brasil

Este trabalho procura verificar qual aplicação dos SIM - Sistemas de Informação de Marketing e do Geomarketing (através do recurso aos Sistemas de Informação Geográfica) nos vários níveis estratégicos em organizações no Brasil, mais precisamente na cidade de São Paulo. Outro objectivo é descortinar quais as principais vantagens reconhecidas pelas organizações no que toca à utilização do Geomarketing para apoio à tomada de decisão. São apresentadas várias definições para proporcionar um claro entendimento do tema, e destacam-se as seis actividades que segundo a literatura consultada concentram a maioria das aplicações do Geomarketing: segmentação do mercado, análise do potencial do mercado, organização e avaliação da força de vendas, localização do negócio, roteirização e programação de veículos, e, promoção de marketing. Em cada uma das actividades citadas, é feita referência a um case brasileiro para que o leitor possa familiarizar-se com o panorama deste país no que concerne à utilização do Geomarketing. Para alcançar os referidos objectivos, além de uma cuidada revisão bibliográfica, foi também desenhada uma pesquisa qualitativa que levou em conta o Modelo Conceitual de Goñi (2008) que integra os SIM - Sistemas de Informação de Marketing e os vários níveis estratégicos e apresenta as suas diferentes aplicações em cada um desses níveis: operacional, táctico e estratégico. O referido modelo foi já aplicado no México em 30 empresas de grande e médio porte, pelo que se buscou replicar essa pesquisa no Brasil, através de entrevistas em profundidade, numa amostra de 10 organizações de grande porte pertencentes a dois segmentos distintos (Segmento Comércio e Segmento Educação). Este estudo revelou que, tal como nas empresas mexicanas, os gestores e CEOs brasileiros, utilizam e reconhecem a importância dos Sistemas de Informação de Marketing, aos quais recorrem, na maioria das vezes, em todos os níveis estratégicos. O grau de utilização dos vários tipos de informações de marketing elencados no Modelo Conceitual de Goñi (49 tipos de informação de marketing diferentes) é superior nas organizações brasileiras pois a maioria afirmou recorrer à sua totalidade. Estas informações podem também ser fornecidas por vários SIM e utilizadas em vários níveis estratégicos, não existindo uma regra relativamente ao sistema de output da informação, ou layer estratégica em que é utilizada. O Segmento Comércio, composto essencialmente por empresas do ramo supermercadista recorre ao Geomarketing em 60% das actividades pesquisadas, já o Segmento Educação, composto por instituições de ensino superior, utiliza o Geomarketing em 49% das suas acções. Ambos os segmentos identificaram diversas iv vantagens na prática do Geomarketing como a possibilidade de cruzamento de várias variáveis em simultâneo, a disposição dessa informação em mapas ou o carácter intuitivo das interfaces gráficas dos softwares SIG. Tudo isso permite encontrar padrões nos dados que de outra forma não seriam facilmente identificados, uma maior rapidez e facilidade na análise dos dados, melhor percepção da informação, possibilidade de criação de novos indicadores, entre outros. Estas vantagens resultam numa tomada de decisão mais rápida e assertiva.

Estudo da ligação entre camadas betuminosas de pavimentos flexíveis

A ligação entre camadas constitui um dos aspetos fundamentais no comportamento de um pavimento rodoviário. O modo de funcionamento de um pavimento flexível está dependente das características dos materiais de cada camada, mas também das respetivas condições de fronteira, ou seja, das características das respetivas interfaces. Uma correta ligação entre camadas permite ao pavimento funcionar como um todo, esta ligação é normalmente alcançada com a aplicação de uma fina camada de emulsão betuminosa. Com a entrada em serviço de um pavimento, devido às tensões geradas pela passagem dos veículos, este começa a sofrer degradações à superfície, até que finda a sua vida útil procede-se à sua reabilitação. Na reabilitação de pavimentos é necessário um especial cuidado na interface do pavimento existente com novo pavimento aplicado, para que as fissuras existentes não se propaguem para as novas camadas reabilitadas. A presente dissertação de mestrado, estuda a ligação entre camadas de um pavimento cuja técnica de reforço de reabilitação é a introdução de uma grelha que limita a propagação de fendas. A ligação entre camadas é avaliada através de ensaios de corte pelo método de Leutner modificado e de tração pelo método Pull-off, para duas obras distintas, com constituições de pavimentos e com taxas de aplicação de regas de colagem diferentes, com dois tipos de grelhas de reforço e para amostras recolhidas em obra e fabricadas em laboratório. Os resultados são analisados e comparados entre si, de onde se conclui existir uma melhor ligação entre camadas para interfaces que não possuem grelhas de reforço em detrimento das que possuem, contudo a diminuição da resistência da ligação aquando desta introdução não é demasiado expressiva, o que valida esta técnica de reforço como não prejudicial à integridade da ligação entre camadas. Uma maior dosagem de rega de colagem contribui para uma maior ligação entre camadas, embora careça de um estudo mais aprofundado para definir intervalos de aplicação óptimos para uma dada constituição de pavimento. Este estudo valida para os pavimentos nacionais, os valores recomendados na norma Suíça e na norma Alemã, de resistência ao corte mínima para interfaces de ligação entre camadas de base de 12 kN e para interfaces de ligação entre camadas de desgaste de 15 kN. No entanto, considera-se que estes valores poderão ser mais exigentes, deixando os valores obtidos margem para recomendar valores mais elevados, requerendo portanto mais estudos para confirmar estes limites.

Magnetotransport properties of metal/LaAlO3/SrTiO3 heterostructures

The quasi two-dimensional electron gas (q2DEG) hosted in the interface of an epitaxially grown lanthanum aluminate (LaAlO3) thin film with a TiO2-termi-nated strontium titanate (SrTiO3) substrate (001) has been massively studied in the last few years. The confinement of mobile electrons to within a few nanome-ters from the interface, superconductive behavior at low temperatures and elec-tron mobility exceeding 1000 cm2/(V.s) make this system an interesting candi-date to explore the physics of spin injection and transport. However, due to the critical thickness for conduction of 4 unit cells (uc) of LaAlO3, a high tunneling resistance hampers electrical access to the q2DEG, preventing proper injection of spin polarized current. Recently, our group found that depositing a thin overlayer of Co on LaAlO3 reduces the critical thickness, enabling conduction with only 1 uc of LaAlO3. Two scenarios arise to explain this phenomenon: a pinning of the Fermi level in the metal, inducing charge transfer in the SrTiO3; the creation of oxygen vacancies at the interface between LaAlO3 and the metal, leading to an n-type doping of the SrTiO3. In this dissertation, we will report on magnetotransport of metal/LaAlO3/SrTiO3 (metal: Ti, Ta, Co, Py, Au, Pt, Pd) heterostructures with 2 uc of LaAlO3 studied at low temperatures (2 K) and high magnetic fields (9 T). We have analyzed the transport properties of the gas, namely, the carrier concen-tration, mobility and magnetotransport regime and we will discuss the results in the light of the two scenarios mentioned above.

Segurança no nível físico em sistemas multi-antena com diretividade na informação

Os sistemas de comunicação sem fios são sistemas de difusão por natureza. Devido a essa sua natureza, um dos problemas inerentes à mesma deve-se à segurança e ao secretismo, pois se o canal é partilhado a informação facilmente é obtida por um utilizador não autorizado, ao contrário dos sistemas de comunicação com fios. Tradicionalmente, a introdução de segurança em sistemas de comunicação, resulta na encriptação da informação, resultante de protocolos de encriptação. No entanto, a segurança através da criptografia baseia-se na premissa de que o utilizador não autorizado tem uma capacidade de processamento limitada, pois senão poderia simplesmente tentar todas as combinações possíveis e obter a chave de encriptação. Como a capacidade de processamento tem crescido exponencialmente, este tipo de sistemas tem se tornado cada vez mais complexos para não se tornarem obsoletos. A introdução de segurança na camada física torna-se então uma opção apelativa pois pode servir como um complemento, visto que os sistemas de criptografia funcionam em camadas superiores independentes da camada fisica, apresentando assim uma abordagem multi-camada em termos de segurança. Tipicamente as técnicas de segurança no nível físico podem se agrupar em 2 tipos: técnicas que se baseiam em códigos, ou técnicas que exploram variações temporais e espaciais do canal. As primeiras diminuem a eficiência espectral do sistema, e as segundas apresentam bons resultados em ambientes dinâmicos, mas em ambientes estáticos não são muito promissores. Há também a necessidade de aumentar as taxas de transmissão nos próximos sistemas de comunicação. Devido a estes requisitos, uma das tecnologias propostas para a nova geração de comunicações, é uma tecnologia baseada numa arquitectura Multiple-Input-Multiple-Output(MIMO). Esta tecnologia é promissora e consegue atingir taxas de transferências que correspondem aos requisitos propostos. Apresenta-se assim uma nova técnica de segurança no nível físico, que explora as caracteristicas físicas do sistema, como um complemento a outras medidas de segurança em camadas mais altas. Esta técnica não provoca diminuição da eficiência espectral e é independente do canal, o que tenta solucionar os problemas das restantes técnicas já existentes.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Estudo de mecanismos envolvidos na incorporação de proteínas durante a ovogênese em Anopheles

Ovários de Anopheles triannulatus foram dissecados 24 e 48 horas após as fêmeas terem sido alimentadas com fonte protéica (sangue), afim de se estudar o seu efeito sobre a ovogênese. Foram analisadas secçõees hisiológicas, ao nível da ultraestrutura, e observadas as mudanças morfológicas que ocorrem nas interfaces células foliculares-ovócito e célula folicular-célula. Foram observados aspectos estruturais que corroboram a hipótese da produção exógena das proteínas do vitelo. Os grânulos de vitelo originaram-se principalmente por condensação das vesículas pinocíticas formadas na superfície do ovócito.

Avaliação do clima interior no Museu Nacional de Arte Antiga

Os edifícios antigos assumem um papel fundamental na sociedade uma vez que são um símbolo do passado. Muitos museus portugueses encontram-se inseridos nestes edifícios, normalmente caracterizados por microclimas próprios que nem sempre correspondem às condições ideais para uma correcta conservação das colecções. Os materiais reagem a variações de temperatura e humidade relativa, o que pode levar à sua degradação. As directrizes para definir o clima interior têm evoluído nos últimos anos. Inicialmente procuravam-se valores exactos que garantissem ambientes ideais. No entanto, com o passar dos anos e como consequência do aumento do conhecimento esta abordagem foi substituída pela busca de intervalos sustentáveis, tendo sempre a preocupação de garantir uma correcta conservação dos materiais. Abandonou-se a procura por valores ideais e adequados a todos os climas e começou-se a definir intervalos com base no microclima histórico. Neste trabalho pretendeu-se analisar o microclima interior do Museu Nacional de Arte Antiga, em Lisboa (Portugal) e a forma como este influencia as condições de conservação, com o estudo de 11 salas. Através de registos climáticos horários recolhidos no interior do Museu e relativos ao ano de 2014 foi efectuada uma análise do seu comportamento e averiguou-se a eficiência do sistema de climatização presente no Museu. Efectuou-se uma avaliação das condições de conservação (especificação ASHRAE) e testou-se a aplicação de uma metodologia dinâmica (metodologia FCT-UNL) com intervalos mais tolerantes, mas mantendo as condições de conservação. Observou-se a existência de um microclima bastante estável, confirmando a presença de um sistema de climatização, onde não é possível notar o efeito da inércia térmica e onde as solicitações exteriores parecem ter apenas alguma influência no clima interior. Constatou-se ainda a ausência de condensações superficiais e verificou-se que os limites de temperatura e humidade relativa impostos não são cumpridos na maioria do tempo. No entanto, o Museu apresenta uma boa classificação geral no que respeita à qualidade do ambiente para a conservação, pelo que foi possível avançar com a sugestão de novos intervalos - dinâmicos e mais adequados às limitações do edifício.