Type-based protocol conformance and aliasing control in concurrent java programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Navegação web anónima e segura

A Web aproximou a humanidade dos seus pares a um nível nunca antes visto. Com esta facilidade veio também o cibercrime, o terrorismo e outros fenómenos característicos de uma sociedade tecnológica, plenamente informatizada e onde as fronteiras terrestres pouco importam na limitação dos agentes ativos, nocivos ou não, deste sistema. Recentemente descobriu-se que as grandes nações “vigiam” atentamente os seus cidadãos, desrespeitando qualquer limite moral e tecnológico, podendo escutar conversas telefónicas, monitorizar o envio e receção de e-mails, monitorizar o tráfego Web do cidadão através de poderosíssimos programas de monitorização e vigilância. Noutros cantos do globo, nações em tumulto ou envoltas num manto da censura perseguem os cidadãos negando-lhes o acesso à Web. Mais mundanamente, há pessoas que coagem e invadem a privacidade de conhecidos e familiares, vasculhando todos os cantos dos seus computadores e hábitos de navegação. Neste sentido, após o estudo das tecnologias que permitem a vigilância constante dos utilizadores da Web, foram analisadas soluções que permitem conceder algum anónimato e segurança no tráfego Web. Para suportar o presente estudo, foi efetuada uma análise das plataformas que permitem uma navegação anónima e segura e um estudo das tecnologias e programas com potencial de violação de privacidade e intrusão informática usados por nações de grande notoriedade. Este trabalho teve como objetivo principal analisar as tecnologias de monitorização e de vigilância informática identificando as tecnologias disponíveis, procurando encontrar potenciais soluções no sentido de investigar a possibilidade de desenvolver e disponibilizar uma ferramenta multimédia alicerçada em Linux e em LiveDVD (Sistema Operativo Linux que corre a partir do DVD sem necessidade de instalação). Foram integrados recursos no protótipo com o intuito de proporcionar ao utilizador uma forma ágil e leiga para navegar na Web de forma segura e anónima, a partir de um sistema operativo (SO) virtualizado e previamente ajustado para o âmbito anteriormente descrito. O protótipo foi testado e avaliado por um conjunto de cidadãos no sentido de aferir o seu potencial. Termina-se o documento com as conclusões e o trabalho a desenvolver futuramente.

A systems biology framework for pathway level culture media engineering: pplication to Pichia pastoris cultures

Dissertação para obtenção do Grau de Doutor em Engenharia Química e Bioquímica

Biology of Triatominae (Reduviidae Hemiptera) from North of Formosa County (Goiás-Brazil) I. Length of life cycle of Triatoma sordida (Stal. 1859)

In the present paper the life cycle of Triatoma sordida was studied. The mean length from egg to adult was 213 days. The mean length in days from each stage was: 24.3 (± 1.30) for the first. 32.8 (± 1.45) (2nd), 36.1 (± 1.50) (3rd), 44.6 (± 1.85) (4th) and 52.0 (± 1.92) (5th). The mean egg incubation períod was 23.2 (± 1.40). Overall mortality was 18.8% and egg viability was 82.5%.

Biology of Triatominae (Reduviidae, Hemiptera) from north of formosa county (Goiás - Brazil) II. Length of life cycle of Rhodnius Neglectus lent, 1954

In the present paper the life cycle of Rhodnius neglectus was studied. The mean length from egg to adult was 119 days. The mean length in day from each stage was: 17.4 (± 1.15) for first, 18.2 (± 1.28) for second, fourth and 29.8 (± 1.46) for fifth.

Biology of triatominae (Reduviidade, Hemiptera) from north of Formosa county (Goiás - Brazil). III: length of life cycle of Psammolestes tertius Lent and Jurberg 1965

In the present work the life cycle of Psammolestes tertius was studied. The mean length, in days, fromeach stage was: 26.3 (± 1.7) (1st), 28.6 (± 1.8) (2nd), 28.4 (± 1.8) (3rd), 32.2 (± 1.9) (4th) and 33.5 (± 5.8) (5th). The mean egg incubation period was 15.7 days (± 1.7). Overall mortality was 48.9% and egg viability was 65.7%.

How to promote healthy eating habits in children

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Spill-over effects in multi-partner loyalty programs

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Brain-computer interface (BCI): a methodological proposal to assess the impacts of medical applications in 2022

Based on the report for “Project IV” unit of the PhD programme on Technology Assessment (Doctoral Conference) at Universidade Nova de Lisboa (December 2011). This thesis research has the supervision of António Moniz (FCT-UNL and ITAS-KIT) and Armin Grunwald (Karlsruhe Institute of Technology-ITAS, Germany). Other members of the thesis committee are Mário Forjaz Secca (FCT-UNL) and Femke Nijboer (University of Twente, Netherlands).

Establishing a cell biology platform: isolation and preservation of human blood products

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Maintaining the correctness of transactional memory programs

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Purification of complex biopharmaceuticals with new processes, advanced analytics and computer-aided process design tools

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Lightweight monitoring of transactional memory programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática