Insights into the role of almond CBF transcription factors in the environmental control of cold acclimation and dormancy break

Dissertation presented to obtain the Ph.D degree in Biology

Quantum dots: synthesis, functionalization and bioconjugation for biological applications

Dissertation presented to obtain the Ph.D degree in Engineering Sciences and Technology

Alternative solvents in separation processes

Dissertation presented to obtain the Ph.D degree in Sustainable Chemistry

Improved polymeric medical devices for active substances delivery

The work presented in this thesis was developed in collaboration with a Portuguese company, BeyonDevices, devoted to pharmaceutical packaging, medical technology and device industry. Specifically, the composition impact and surface modification of two polymeric medical devices from the company were studied: inhalers and vaginal applicators. The polyethylene-based vaginal applicator was modified using supercritical fluid technology to acquire self-cleaning properties and prevent the transport of bacteria and yeasts to vaginal flora. For that, in-situ polymerization of 2-substituted oxazolines was performed within the polyethylene matrix using supercritical carbon dioxide. The cationic ring-opening polymerization process was followed by end-capping with N,N-dimethyldodecylamine. Furthermore, for the same propose, the polyethylene matrix was impregnated with lavender oil in supercritical medium. The obtained materials were characterized physical and morphologically and the antimicrobial activity against bacteria and yeasts was accessed. Materials modified using 2-substituted oxazolines showed an effective killing ability for all the tested microorganisms, while the materials modified with lavender oil did not show antimicrobial activity. Only materials modified with oligo(2-ethyl-2-oxazoline) maintain the activity during the long term stability. Furthermore, the cytotoxicity of the materials was tested, confirming their biocompatibilty. Regarding the inhaler, its surface was modified in order to improve powder flowability and consequently, to reduce powder retention in the inhaler´s nozzle. New dry powder inhalers (DPIs), with different needle’s diameters, were evaluated in terms of internal resistance and uniformity of the emitted dose. It was observed that they present a mean resistance of 0.06 cmH2O0.5/(L/min) and the maximum emitted dose obtained was 68.9% for the inhaler with higher needle´s diameter (2 mm). Thus, this inhaler was used as a test and modified by the coating with a commonly-used force control agent, magnesium stearate, dried with supercritical carbon dioxide (scCO2) and the uniformity of delivered dose tests were repeated. The modified inhaler showed an increase in emitted dose from 68.9% to 71.3% for lactose and from 30.0% to 33.7% for Foradil.

Development of composite particles for pulmonary delivery

In this work, biocompatible and biodegradable poly(D-L-lactide-co-glycolide) (PLGA) microparticles with the potential for use as a controlled release system of vaccines and other drugs to the lung were manufactured using supercritical CO2, through the Supercritical Assisted Atomization (SAA) technique. After performing a controlled variance in production parameters (temperature, pressure, CO2/solution flow ratio) PLGA microparticles were characterized and later used to encapsulate active pharmaceutical ingredients (API). Bovine serum albumin (BSA) was chosen as model protein and vaccine, while sildenafil was the chosen drug to treat pulmonary artery hypertension and their effect on the particles characteristics was evaluated. All the produced formulations were characterized in relation to their morphology (Morphologi G3 and scanning electronic microscopy (SEM)), to their physical-chemical properties (X-ray diffraction (XRD, differential scanning calorimetry (DSC), Fourier transform infrared (FTIR)) and aerodynamic performance using an in vitro aerosolization study – Andersen cascade impactor (ACI) - to obtain data such as the fine particle fraction (FPF) and the mass median aerodynamic diameter (MMAD). Furthermore, pharmacokinetic, biodegradability and biocompatibility tests were performed in order to verify the particle suitability for inhalation. The resulting particles showed aerodynamic diameters between the 3 and 5 μm, yields up to 58% and FPF percentages rounding the 30%. Taken as a whole, the produced microparticles do present the necessary requests to make them appropriate for pulmonary delivery.

Bestiário Fantástico das Águas. Evolução do legado da Antiguidade na época medieval

Maria Adelaide Miranda e Pedro Chambel (Coord.)

Scaling In-Memory databases on multicores

Current computer systems have evolved from featuring only a single processing unit and limited RAM, in the order of kilobytes or few megabytes, to include several multicore processors, o↵ering in the order of several tens of concurrent execution contexts, and have main memory in the order of several tens to hundreds of gigabytes. This allows to keep all data of many applications in the main memory, leading to the development of inmemory databases. Compared to disk-backed databases, in-memory databases (IMDBs) are expected to provide better performance by incurring in less I/O overhead. In this dissertation, we present a scalability study of two general purpose IMDBs on multicore systems. The results show that current general purpose IMDBs do not scale on multicores, due to contention among threads running concurrent transactions. In this work, we explore di↵erent direction to overcome the scalability issues of IMDBs in multicores, while enforcing strong isolation semantics. First, we present a solution that requires no modification to either database systems or to the applications, called MacroDB. MacroDB replicates the database among several engines, using a master-slave replication scheme, where update transactions execute on the master, while read-only transactions execute on slaves. This reduces contention, allowing MacroDB to o↵er scalable performance under read-only workloads, while updateintensive workloads su↵er from performance loss, when compared to the standalone engine. Second, we delve into the database engine and identify the concurrency control mechanism used by the storage sub-component as a scalability bottleneck. We then propose a new locking scheme that allows the removal of such mechanisms from the storage sub-component. This modification o↵ers performance improvement under all workloads, when compared to the standalone engine, while scalability is limited to read-only workloads. Next we addressed the scalability limitations for update-intensive workloads, and propose the reduction of locking granularity from the table level to the attribute level. This further improved performance for intensive and moderate update workloads, at a slight cost for read-only workloads. Scalability is limited to intensive-read and read-only workloads. Finally, we investigate the impact applications have on the performance of database systems, by studying how operation order inside transactions influences the database performance. We then propose a Read before Write (RbW) interaction pattern, under which transaction perform all read operations before executing write operations. The RbW pattern allowed TPC-C to achieve scalable performance on our modified engine for all workloads. Additionally, the RbW pattern allowed our modified engine to achieve scalable performance on multicores, almost up to the total number of cores, while enforcing strong isolation.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Contributos para um Plano de Preservação no Arquivo Intermédio da Câmara Municipal de Sintra

Os aquivos municipais preservam a documentação definida legalmente como de conservação permanente, a memória e a experiência da Administração Local e, como tal, são agentes imprescindíveis à preservação dos direitos municipais. A preocupação com a preservação da documentação deve constituir um dos pilares principais do arquivo desde o início da sua criação. E não somente quando a documentação é transferida para o Arquivo Histórico, deve estar presente durante todo o ciclo de vida da documentação. Com a criação do PARAM (Programa de Apoio à Rede de Arquivos Municipais), os arquivos municipais ganham um novo incremento, não só a nível técnico como a nível financeiro, sendo-lhe reconhecido o seu devido valor e importância, na sua dupla dimensão, administrativa e cultural. Uma das funções do arquivo é disponibilizar a documentação que têm à sua guarda e que se encontra armazenada nos depósitos. Para tal é fundamental criar condições a curto, a médio e a longo prazo, implementando toda uma política integrada de preservação, envolvendo os demais serviços da instituição, fazendo-se o controlo do estado de conservação da documentação, aplicando uma metodologia da manipulação de documentos para disponibilizá-los tanto aos clientes internos como externos. O Arquivo Intermédio da Câmara Municipal de Sintra não possui plano de preservação documental, nem ações de preservação extensíveis aos objetos digitais, daí que a presente tese de mestrado pretenda ser um proposta de um contributo de um plano de preservação, que tenha em consideração os demais aspetos desde a localização e construção ou manutenção do edifício onde se encontra o arquivo, questões de segurança, de controlo ambiental, de luz/fotodegradação, o controlo integrado de pragas, danos causados por água, os desastres naturais, a poluição, a limpeza e vigilância na zona de depósitos e armazenamento e manuseamento dos documentos.