Development and application of NMR techniques to study water-in-CO2 microemulsions

Self-assembly is a phenomenon that occurs frequently throughout the universe. In this work, two self-assembling systems were studied: the formation of reverse micelles in isooctane and in supercritical CO2 (scCO2), and the formation of gels in organic solvents. The goal was the physicochemical study of these systems and the development of an NMR methodology to study them. In this work, AOT was used as a model molecule both to comprehensively study a widely researched system water/AOT/isooctane at different water concentrations and to assess its aggregation in supercritical carbon dioxide at different pressures. In order to do so an NMR methodology was devised, in which it was possible to accurately determine hydrodynamic radius of the micelle (in agreement with DLS measurements) using diffusion ordered spectroscopy (DOSY), the micellar stability and its dynamics. This was mostly assessed by 1H NMR relaxation studies, which allowed to determine correlation times and size of correlating water molecules, which are in agreement with the size of the shell that interacts with the micellar layer. The encapsulation of differently-sized carbohydrates was also studied and allowed to understand the dynamics and stability of the aggregates in such conditions. A W/CO2 microemulsion was prepared using AOT and water in scCO2, with ethanol as cosurfactant. The behaviour of the components of the system at different pressures was assessed and it is likely that above 130 bar reverse microemulsions were achieved. The homogeneity of the system was also determined by NMR. The formation of the gel network by two small molecular organogelators in toluene-d8 was studied by DOSY. A methodology using One-shot DOSY to perform the spectra was designed and applied with success. This yielded an understanding about the role of the solvent and gelator in the aggregation process, as an estimation of the time of gelation.

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Assessment of climate change statistical downscaling methods: Application and comparison of two statistical methods to a single site in Lisbon

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente

Novel techniques for the design and practical realization of switched-capacitor circuits in deep-submicron CMOS technologies

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

POST-PROCESSING TECHNIQUES SUITABILITY FOR MESOLEVEL FREE BOUNDARY FLOWS

Reliable flow simulation software is inevitable to determine an optimal injection strategy in Liquid Composite Molding processes. Several methodologies can be implemented into standard software in order to reduce CPU time. Post-processing techniques might be one of them. Post-processing a finite element solution is a well-known procedure, which consists in a recalculation of the originally obtained quantities such that the rate of convergence increases without the need for expensive remeshing techniques. Post-processing is especially effective in problems where better accuracy is required for derivatives of nodal variables in regions where Dirichlet essential boundary condition is imposed strongly. In previous works influence of smoothness of non-homogeneous Dirichlet condition, imposed on smooth front was examined. However, usually quite a non-smooth boundary is obtained at each time step of the infiltration process due to discretization. Then direct application of post-processing techniques does not improve final results as expected. The new contribution of this paper lies in improvement of the standard methodology. Improved results clearly show that the recalculated flow front is closer to the ”exact” one, is smoother that the previous one and it improves local disturbances of the “exact” solution.

Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Application of the EcoBlock method to eco-design - electric hand dryers versus paper towels

Sustainable Construction, Materials and Practice, p. 426-432

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics

Active cycle breathing techniques como técnica de higiene brônquica na asma: estudo piloto

RESUMO: Relevância e Objectivos: O objectivo deste estudo consistiu em verificar a eficácia e segurança de uma técnica de higiene brônquica – Active Cycle breathing technique (ACBT), na remoção de secreções e desinsuflação em crianças asmáticas. É uma técnica recente, que ainda não foi estudada nesta população. Metodologia: A amostra foi constituída por um total de 14 crianças, com idades compreendidas entre os 6 e 18 anos, com o diagnóstico de asma. Foi dividida em dois grupos: grupo de controlo, constituído por asmáticos estáveis e grupo experimental constituído por asmáticos pós-crise. Ambos receberam o mesmo tratamento, que consistiu numa única sessão de ACBT. Realizaram um exame da função respiratória (variáveis FEV1, PEF, MEF75%, RV e FRC) antes e após a aplicação da técnica. Mediu-se a Saturação de O2 antes, a meio e no fim da aplicação da técnica. Por último, pesaram-se as secreções recolhidas durante a sessão de tratamento. Resultados: Como resultados, quando omparamos o antes e após aplicação do ACBT, obtivemos diferenças significativas no RV (p <0,05) e FRC (p <0,05); muito significativa na Sa02 (p <0,01) e peso de secreções, nos asmáticos pós crise. Ocorreu uma melhoria significativa da saturação (p <0,05) em asmáticos estáveis, não havendo secreções. Não houve efeitos adversos nem broncoespasmo em ambos os grupos.Conclusão: O ACBT é uma técnica que promove a remoção de secreções e diminuição da insuflação na população de asmáticos.--------------------ABSTRACT:Relevance and Goals: the goal of this study was to verify the efficiency and security of a bronchial hygienic technique - Active Cycle Breathing Technique (ACBT) – in the obstruction and insufflation of asthmatic children. This is a new technique that has not yet been studied in this population. Procedures: The subjects were 14 children aged between 6 and 18 years old with asthma diagnosis. They were divided in two groups: the control group with stable asthmatics and the experimental group with post-crisis asthmatics. Both received the same treatment that was a single session of ACBT. They made a lung function test before and after the application of the technique (variables FEV1, PEF, MEF75%, RV and FRC). The level of O2 saturation was measured before, during and after the procedure. In the end, the secretions collected during the treatment were weighted. Results: We observed a significant difference on RV (p ˂0,05), FRC (p ˂0,05), Sa02 (p ˂0,01) and in the weight of the secretions in the post-crisis asthmatics after ACBT. There was a significant improvement of saturation (p ˂0,05) only in the stable asthmatics. There were no adverse effects or bronchospasm in both groups.

Application of ionic liquids and enzymes for the removal of proteinaceous layers from polychrome of works of art and evaluation of the cleaning effectiveness

Dissertação Apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Ciências da Conservação, especialização em Pintura

Behavior monitoring and behavioral exchange: an approach from geospatial technologies involving gamification techniques

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

Application of NMR RDC’s, relaxation and self-diffusion for the study of dynamic processes of small molecules in solution

Spin-lattice Relaxation, self-Diffusion coefficients and Residual Dipolar Couplings (RDC’s) are the basis of well established Nuclear Magnetic Resonance techniques for the physicochemical study of small molecules (typically organic compounds and natural products with MW < 1000 Da), as they proved to be a powerful and complementary source of information about structural dynamic processes in solution. The work developed in this thesis consists in the application of the earlier-mentioned NMR techniques to explore, analyze and systematize patterns of the molecular dynamic behavior of selected small molecules in particular experimental conditions. Two systems were chosen to investigate molecular dynamic behavior by these techniques: the dynamics of ion-pair formation and ion interaction in ionic liquids (IL) and the dynamics of molecular reorientation when molecules are placed in oriented phases (alignment media). The application of NMR spin-lattice relaxation and self-diffusion measurements was applied to study the rotational and translational molecular dynamics of the IL: 1-butyl-3-methylimidazolium tetrafluoroborate [BMIM][BF4]. The study of the cation-anion dynamics in neat and IL-water mixtures was systematically investigated by a combination of multinuclear NMR relaxation techniques with diffusion data (using by H1, C13 and F19 NMR spectroscopy). Spin-lattice relaxation time (T1), self-diffusion coefficients and nuclear Overhauser effect experiments were combined to determine the conditions that favor the formation of long lived [BMIM][BF4] ion-pairs in water. For this purpose and using the self-diffusion coefficients of cation and anion as a probe, different IL-water compositions were screened (from neat IL to infinite dilution) to find the conditions where both cation and anion present equal diffusion coefficients (8% water fraction at 25 ºC). This condition as well as the neat IL and the infinite dilution were then further studied by 13C NMR relaxation in order to determine correlation times (c) for the molecular reorientational motion using a mathematical iterative procedure and experimental data obtained in a temperature range between 273 and 353 K. The behavior of self-diffusion and relaxation data obtained in our experiments point at the combining parameters of molar fraction 8 % and temperature 298 K as the most favorable condition for the formation of long lived ion-pairs. When molecules are subjected to soft anisotropic motion by being placed in some special media, Residual Dipolar Couplings (RDCs), can be measured, because of the partial alignment induced by this media. RDCs are emerging as a powerful routine tool employed in conformational analysis, as it complements and even outperforms the approaches based on the classical NMR NOE or J3 couplings. In this work, three different alignment media have been characterized and evaluated in terms of integrity using 2H and 1H 1D-NMR spectroscopy, namely the stretched and compressed gel PMMA, and the lyotropic liquid crystals CpCl/n-hexanol/brine and cromolyn/water. The influence that different media and degrees of alignment have on the dynamic properties of several molecules was explored. Different sized sugars were used and their self-diffusion was determined as well as conformation features using RDCs. The results obtained indicate that no influence is felt by the small molecules diffusion and conformational features studied within the alignment degree range studied, which was the 3, 5 and 6 % CpCl/n-hexanol/brine for diffusion, and 5 and 7.5 % CpCl/n-hexanol/brine for conformation. It was also possible to determine that the small molecules diffusion verified in the alignment media presented close values to the ones observed in water, reinforcing the idea of no conditioning of molecular properties in such media.

Creation of a web application for smart park system and parking prediction study for system integration

In the last few years, we have observed an exponential increasing of the information systems, and parking information is one more example of them. The needs of obtaining reliable and updated information of parking slots availability are very important in the goal of traffic reduction. Also parking slot prediction is a new topic that has already started to be applied. San Francisco in America and Santander in Spain are examples of such projects carried out to obtain this kind of information. The aim of this thesis is the study and evaluation of methodologies for parking slot prediction and the integration in a web application, where all kind of users will be able to know the current parking status and also future status according to parking model predictions. The source of the data is ancillary in this work but it needs to be understood anyway to understand the parking behaviour. Actually, there are many modelling techniques used for this purpose such as time series analysis, decision trees, neural networks and clustering. In this work, the author explains the best techniques at this work, analyzes the result and points out the advantages and disadvantages of each one. The model will learn the periodic and seasonal patterns of the parking status behaviour, and with this knowledge it can predict future status values given a date. The data used comes from the Smart Park Ontinyent and it is about parking occupancy status together with timestamps and it is stored in a database. After data acquisition, data analysis and pre-processing was needed for model implementations. The first test done was with the boosting ensemble classifier, employed over a set of decision trees, created with C5.0 algorithm from a set of training samples, to assign a prediction value to each object. In addition to the predictions, this work has got measurements error that indicates the reliability of the outcome predictions being correct. The second test was done using the function fitting seasonal exponential smoothing tbats model. Finally as the last test, it has been tried a model that is actually a combination of the previous two models, just to see the result of this combination. The results were quite good for all of them, having error averages of 6.2, 6.6 and 5.4 in vacancies predictions for the three models respectively. This means from a parking of 47 places a 10% average error in parking slot predictions. This result could be even better with longer data available. In order to make this kind of information visible and reachable from everyone having a device with internet connection, a web application was made for this purpose. Beside the data displaying, this application also offers different functions to improve the task of searching for parking. The new functions, apart from parking prediction, were: - Park distances from user location. It provides all the distances to user current location to the different parks in the city. - Geocoding. The service for matching a literal description or an address to a concrete location. - Geolocation. The service for positioning the user. - Parking list panel. This is not a service neither a function, is just a better visualization and better handling of the information.

Engineering of metal oxide nanoparticles for application in electrochemical devices

The growing demand for materials and devices with new functionalities led to the increased inter-est in the field of nanomaterials and nanotechnologies. Nanoparticles, not only present a reduced size as well as high reactivity, which allows the development of electronic and electrochemical devices with exclusive properties, when compared with thin films. This dissertation aims to explore the development of several nanostructured metal oxides by sol-vothermal synthesis and its application in different electrochemical devices. Within this broad theme, this study has a specific number of objectives: a) research of the influence of the synthesis parameters to the structure and morphology of the nanoparticles; b) improvement of the perfor-mance of the electrochromic devices with the application of the nanoparticles as electrode; c) application of the nanoparticles as probes to sensing devices; and d) production of solution-pro-cessed transistors with a nanostructured metal oxide semiconductor. Regarding the results, several conclusions can be exposed. Solvothermal synthesis shows to be a very versatile method to control the growth and morphology of the nanoparticles. The electrochromic device performance is influenced by the different structures and morphologies of WO3 nanoparticles, mainly due to the surface area and conductivity of the materials. The dep-osition of the electrochromic layer by inkjet printing allows the patterning of the electrodes without wasting material and without any additional steps. Nanostructured WO3 probes were produced by electrodeposition and drop casting and applied as pH sensor and biosensor, respectively. The good performance and sensitivity of the devices is explained by the high number of electrochemical reactions occurring at the surface of the na-noparticles. GIZO nanoparticles were deposited by spin coating and used in electrolyte-gated transistors, which promotes a good interface between the semiconductor and the dielectric. The produced transistors work at low potential and with improved ON-OFF current ratio, up to 6 orders of mag-nitude. To summarize, the low temperatures used in the production of the devices are compatible with flexible substrates and additionally, the low cost of the techniques involved can be adapted for disposable devices.

Spray coating of oxide and chalcogenide semiconductor layers for TFT application

This work documents the deposition and optimization of semiconductor thin films using chemical spray coating technique (CSC) for application on thin-film transistors (TFTs), with a low-cost, simple method. CSC setup was implemented and explored for industrial application, within Holst Centre, an R&D center in the Netherlands. As zinc oxide had already been studied within the organization, it was used as a standard material in the initial experiments, obtaining typical mobility values of 0.14 cm2/(V.s) for unpatterned TFTs. Then, oxide X layer characteristics were compared for films deposited with CSC at 40°C and spin-coating. The mobility of the spin-coated TFTs was 103 cm2/(V.s) higher, presumably due to the lack of uniformity of spray-coated film at such low temperatures. Lastly, tin sulfide, a relatively unexplored material, was deposited by CSC in order to obtain functional TFTs and explore the device’s potential for working as a phototransistor. Despite the low mobilities of the devices, a sensitive photodetector was made, showing drain current variation of nearly one order of magnitude under yellow light. CSC technique’s simplicity and versatility was confirmed, as three different semiconductors were successfully implemented into functional devices.