MarketOpolis: A market simulation based on investors decisions

This study aims to replicate Apple’s stock market movement by modeling major investment profiles and investors. The present model recreates a live exchange to forecast any predictability in stock price variation, knowing how investors act when it concerns investment decisions. This methodology is particularly relevant if, just by observing historical prices and knowing the tendencies in other players’ behavior, risk-adjusted profits can be made. Empirical research made in the academia shows that abnormal returns are hardly consistent without a clear idea of who is in the market in a given moment and the correspondent market shares. Therefore, even when knowing investors’ individual investment profiles, it is not clear how they affect aggregate markets.

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/.

Engineering bio-based polymers using alternative solvents and processes

The work presented in this thesis explores novel routes for the processing of bio-based polymers, developing a sustainable approach based on the use of alternative solvents such as supercritical carbon dioxide (scCO2), ionic liquids (ILs) and deep eutectic solvents (DES). The feasibility to produce polymeric foams via supercritical fluid (SCF) foaming, combined with these solvents was assessed, in order to replace conventional foaming techniques that use toxic and harmful solvents. A polymer processing methodology is presented, based on SCF foaming and using scCO2 as a foaming agent. The SCF foaming of different starch based polymeric blends was performed, namely starch/poly(lactic acid) (SPLA) and starch/poly(ε-caprolactone) (SPCL). The foaming process is based on the fact that CO2 molecules can dissolve in the polymer, changing their mechanical properties and after suitable depressurization, are able to create a foamed (porous) material. In these polymer blends, CO2 presents limited solubility and in order to enhance the foaming effect, two different imidazolium based ILs (IBILs) were combined with this process, by doping the blends with IL. The use of ILs proved useful and improved the foaming effect in these starch-based polymer blends. Infrared spectroscopy (FTIR-ATR) proved the existence of interactions between the polymer blend SPLA and ILs, which in turn diminish the forces that hold the polymeric structure. This is directly related with the ability of ILs to dissolve more CO2. This is also clear from the sorption experiments results, where the obtained apparent sorption coefficients in presence of IL are higher compared to the ones of the blend SPLA without IL. The doping of SPCL with ILs was also performed. The foaming of the blend was achieved and resulted in porous materials with conductivity values close to the ones of pure ILs. This can open doors to applications as self-supported conductive materials. A different type of solvents were also used in the previously presented processing method. If different applications of the bio-based polymers are envisaged, replacing ILs must be considered, especially due to the poor sustainability of some ILs and the fact that there is not a well-established toxicity profile. In this work natural DES – NADES – were the solvents of choice. They present some advantages relatively to ILs since they are easy to produce, cheaper, biodegradable and often biocompatible, mainly due to the fact that they are composed of primary metabolites such as sugars, carboxylic acids and amino-acids. NADES were prepared and their physicochemical properties were assessed, namely the thermal behavior, conductivity, density, viscosity and polarity. With this study, it became clear that these properties can vary with the composition of NADES, as well as with their initial water content. The use of NADES in the SCF foaming of SPCL, acting as foaming agent, was also performed and proved successful. The SPCL structure obtained after SCF foaming presented enhanced characteristics (such as porosity) when compared with the ones obtained using ILs as foaming enhancers. DES constituted by therapeutic compounds (THEDES) were also prepared. The combination of choline chloride-mandelic acid, and menthol-ibuprofen, resulted in THEDES with thermal behavior very distinct from the one of their components. The foaming of SPCL with THEDES was successful, and the impregnation of THEDES in SPCL matrices via SCF foaming was successful, and a controlled release system was obtained in the case of menthol-ibuprofen THEDES.