Supporting NAT traversal and secure communications in a protocol implementation framework

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 de Computadores

Development of 3D in vitro models for prediction of hepatic metabolism and toxicity

The development of human cell models that recapitulate hepatic functionality allows the study of metabolic pathways involved in toxicity and disease. The increased biological relevance, cost-effectiveness and high-throughput of cell models can contribute to increase the efficiency of drug development in the pharmaceutical industry. Recapitulation of liver functionality in vitro requires the development of advanced culture strategies to mimic in vivo complexity, such as 3D culture, co-cultures or biomaterials. However, complex 3D models are typically associated with poor robustness, limited scalability and compatibility with screening methods. In this work, several strategies were used to develop highly functional and reproducible spheroid-based in vitro models of human hepatocytes and HepaRG cells using stirred culture systems. In chapter 2, the isolation of human hepatocytes from resected liver tissue was implemented and a liver tissue perfusion method was optimized towards the improvement of hepatocyte isolation and aggregation efficiency, resulting in an isolation protocol compatible with 3D culture. In chapter 3, human hepatocytes were co-cultivated with mesenchymal stem cells (MSC) and the phenotype of both cell types was characterized, showing that MSC acquire a supportive stromal function and hepatocytes retain differentiated hepatic functions, stability of drug metabolism enzymes and higher viability in co-cultures. In chapter 4, a 3D alginate microencapsulation strategy for the differentiation of HepaRG cells was evaluated and compared with the standard 2D DMSO-dependent differentiation, yielding higher differentiation efficiency, comparable levels of drug metabolism activity and significantly improved biosynthetic activity. The work developed in this thesis provides novel strategies for 3D culture of human hepatic cell models, which are reproducible, scalable and compatible with screening platforms. The phenotypic and functional characterization of the in vitro systems performed contributes to the state of the art of human hepatic cell models and can be applied to the improvement of pre-clinical drug development efficiency of the process, model disease and ultimately, development of cell-based therapeutic strategies for liver failure.

Linear amplification with multiple nonlinear devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Perceções sobre o clima de segurança em bloco operatório

RESUMO - Introdução: Os blocos operatórios têm uma prevalência alta de incidentes sendo uma prática complexa, interdisciplinar, com forte dependência da atuação individual, onde a ergonomia e os fatores organizacionais desempenham um papel fundamental. Devido a estes fatores torna-se imperativo que o clima de segurança seja analisado de forma a melhorar a segurança do doente. Metodologia: A versão original anglo-saxónica do “Safety Attitudes Questionnaire” ou SAQ foi traduzida e adaptada para o contexto português e aplicada no serviço de cirurgia de um centro hospital público. As escalas psicométricas foram analisadas usando o alfa de Cronbach e interpelações entre as escalas. Resultados: O teste de validade interna do instrumento foi de 0.90 para os 73 itens. Os dados de 82 questionários foram analisados revelando diferenças significativas na classificação da qualidade de comunicação entre os vários grupos profissionais. Verificou que o clima de equipa e segurança é afetado em larga parte pela satisfação profissional e condições de trabalho. Conclusão: O SAQ revela boas capacidades psicométricas para o estudo do clima de segurança no entanto são necessários estudos mais extensos para colmatar a falta de dados nalguns itens. Os resultados obtidos permitem concluir que as condições de trabalho e a satisfação profissional são satisfatórias, no entanto é sugestivo a necessidade de melhoria do clima de segurança e do envolvimento da gestão de topo.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

A possibilidade de utilização das publicações nas redes sociais como prova nos procedimentos disciplinares e despedimento dos trabalhadores

In these days, Internet and social media represent a big advance in communication. Using the internet brings people a lot of benefits and facilities, but with them comes risks and problems that are turning the line between public and private life smaller. The frequent use of internet and the unbridled use of it we see nowadays on its utilization brings problems related to people privacy, and the dividing line between private and public life is becoming more blurred and admitting the employer intromission on employee’s private life. So, it assumes the largest importance understand in which way this employee’s on exposure on social media brings problems and risks to employment relationship and establish some criteria in order to decide what needs legal protection. But should we affirm that protection when the employee’s publications on social media brings problems to the employer or the company? We think, in these cases, and considering some facts, employee’s private life should cede before the employer’s rights.

Communication and choice in yeast mating

Dissertação apresentada para obtenção do grau de doutor em Biologia de Sistemas pelo Instituto de Tecnologia Química e Biológica da Universidade Nova de Lisboa.

Bacterial inter-species communication mediated by the autoinducer-2 signal

Dissertation presented to obtain the Ph.D degree in Biology by Universidade Nova de Lisboa, Instituto de Tecnologia Química e Biológica, Instituto Gulbenkian de Ciência.

Sustainability of systems interoperability in dynamic business networks

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Cell-to cell Communication in Pectobacterium wasabiae

Dissertation presented to obtain the PhD degree in Biology

Methodological framework for detection of harmonisation breaking in service environments

As the complexity of markets and the dynamicity of systems evolve, the need for interoperable systems capable of strengthening enterprise communication effectiveness increases. This is particularly significant when it comes to collaborative enterprise networks, like manufacturing supply chains, where several companies work, communicate, and depend on each other, in order to achieve a specific goal. Once interoperability is achieved, that is once all network parties are able to communicate with and understand each other, organisations are able to exchange information along a stable environment that follows agreed laws. However, as markets adapt to new requirements and demands, an evolutionary behaviour is triggered giving space to interoperability problems, thus disrupting the sustainability of interoperability and raising the need to develop monitoring activities capable of detecting and preventing unexpected behaviour. This work seeks to contribute to the development of monitoring techniques for interoperable SOA-based enterprise networks. It focuses on the automatic detection of harmonisation breaking events during real-time communications, and strives to develop and propose a methodological approach to handle these disruptions with minimal or no human intervention, hence providing existing service-based networks with the ability to detect and promptly react to interoperability issues.

Using an LED as a sensor and visible light communication device in a smart illumination system

The need for more efficient illumination systems has led to the proliferation of Solid-State Lighting (SSL) systems, which offer optimized power consumption. SSL systems are comprised of LED devices which are intrinsically fast devices and permit very fast light modulation. This, along with the congestion of the radio frequency spectrum has paved the path for the emergence of Visible Light Communication (VLC) systems. VLC uses free space to convey information by using light modulation. Notwithstanding, as VLC systems proliferate and cost competitiveness ensues, there are two important aspects to be considered. State-of-the-art VLC implementations use power demanding PAs, and thus it is important to investigate if regular, existent Switched-Mode Power Supply (SMPS) circuits can be adapted for VLC use. A 28 W buck regulator was implemented using a off-the-shelf LED Driver integrated circuit, using both series and parallel dimming techniques. Results show that optical clock frequencies up to 500 kHz are achievable without any major modification besides adequate component sizing. The use of an LED as a sensor was investigated, in a short-range, low-data-rate perspective. Results show successful communication in an LED-to-LED configuration, with enhanced range when using LED strings as sensors. Besides, LEDs present spectral selective sensitivity, which makes them good contenders for a multi-colour LED-to-LED system, such as in the use of RGB displays and lamps. Ultimately, the present work shows evidence that LEDs can be used as a dual-purpose device, enabling not only illumination, but also bi-directional data communication.

Multipacket reception in the presence of in-band full-duplex communication

In-Band Full-DupleX (IB-FDX) is defined as the ability for nodes to transmit and receive signals simultaneously on the same channel. Conventional digital wireless networks do not implement it, since a node’s own transmission signal causes interference to the signal it is trying to receive. However, recent studies attempt to overcome this obstacle, since it can potentially double the spectral efficiency of current wireless networks. Different mechanisms exist today that are able to reduce a significant part of the Self- Interference (SI), although specially tuned Medium Access Control (MAC) protocols are required to optimize its use. One of IB-FDX’s biggest problems is that the nodes’ interference range is extended, meaning the unusable space for other transmissions and receptions is broader. This dissertation proposes using MultiPacket Reception (MPR) to address this issue and adapts an already existing Single-Carrier with Frequency-Domain Equalization (SC-FDE) receiver to IB-FDX. The performance analysis suggests that MPR and IB-FDX have a strong synergy and are able to achieve higher data rates, when used together. Using analytical models, the optimal transmission patterns and transmission power were identified, which maximize the channel capacity with the minimal energy consumption. This was used to define a new MAC protocol, named Full-duplex Multipacket reception Medium Access Control (FM-MAC). FM-MAC was designed for a single-hop cellular infrastructure, where the Access Point (AP) and the terminals implement both IB-FDX and MPR. It divides the coverage range of the AP into a closer Full-DupleX (FDX) zone and a farther Half-DupleX (HDX) zone and adds a tunable fairness mechanism to avoid terminal starvation. Simulation results show that this protocol provides efficient support for both HDX and FDX terminals, maximizing its capacity when more FDX terminals are used.

Which communication strategy should a male luxury (fashion) brand – associated with a luxury car brand – develop, in order to increase its awareness in Europe

This work project explores how a male luxury (fashion) brand (subsidiary) that is associated with a luxury car brand (parent company) should develop its communication strategy in order to increase awareness in Europe. For this purpose a quantitative research was conducted. The aim was to find out whether the company in question had low brand awareness among European luxury consumers. Hereafter, a qualitative research revealed important insights in regard to luxury communication among male luxury consumers. Both the results of the research and the recommendations of luxury experts laid the foundation for the development of a solution-oriented communication strategy. The result of the analysis crystallizes the importance of the shared heritage and the synergistic effects, of which the subsidiary should make vast use when communicating.