Numerical modelling of compound channel flow

Fundação para a Ciência e a Tecnologia (FCT) - SFRH/BD/64337/2009 ; projects PTDC/ECM/70652/2006, PTDC/ECM/117660/2010 and RECI/ECM-HID/0371/2012

Almirante: Evaluating the board game: Board game, startup, discounted cash flow, venture capital method, real options

This thesis evaluates a start-up company (Jogos Almirante Lda) whose single asset is a board game named Almirante. It aims to conclude whether it makes sense to create a company or just earn copyrights. The thesis analyzes the board game’s market, as part of the general toy’s market, from which some data exists: European countries as well as the USA. In this work it is analyzed the several ways to finance a start-up company and then present an overview of the valuation of the Jogos Almirante based on three different methods: Discounted Cash Flow, Venture Capital Method and Real Options.

Does direct cash flow presentation help in predicting future operating cash flow?

Research literature and regulators are unconditional in pointing the disclosure of operating cash flow through direct method a section of unique information. Besides the intuitive facet, it is also consistent in forecasting future operating cash flows and a cohesive piece to financial statement puzzle. Bearing this in mind, I produce an analysis on the usefulness and predictive ability on the disclosure of gross cash receipts and payments over the disclosure of reconciliation between net income and accruals for two markets with special features, Portugal and Spain. Results validate the usefulness of direct method format in predicting future operating cash flow. Key

The flow-performance relationship around the world

We use a new dataset to study how mutual fund flows depend on past performance across 28 countries. We show that there are marked differences in the flow-performance relationship across countries, suggesting that US findings concerning its shape do not apply universally. We find that mutual fund investors sell losers more and buy winners less in more developed countries. This is because investors in more developed countries are more sophisticated and face lower costs of participating in the mutual fund industry. Higher country-level convexity is positively associated with higher levels of risk taking by fund managers.

Coupling organic substrate removal to methane production in a fully biological microbial electrolysis cell

Microbial electrolysis cells (MECs) are an innovative and emerging technique based on the use of solid-state electrodes to stimulate microbial metabolism for wastewater treatment and simultaneous production of value-added compounds (such as methane). This research studied the performance of a two-chamber MEC in terms of organic matter oxidation (at the anode) and methane production (at the cathode). MEC‟s anode had been previously inoculated with an activated sludge, whereas the cathode chamber inoculum was an anaerobic sludge (containing methanogenic microorganisms). During the experimentation, the bioanode was continuously fed with synthetic solutions in anaerobic basal medium, at an organic load rate (OLR) of around 1 g L-1 d-1, referred to the chemical oxygen demand (COD). At the beginning (Run I), the feeding solution contained acetate and subsequently (Run II) it was replaced with a more complex solution containing soluble organic compounds other than acetate. For both conditions, the anode potential was controlled at -0.1 V vs. standard hydrogen electrode, by means of a potentiostat. During Run I, over 80% of the influent acetate was anaerobically oxidized at the anode, and the resulting electric current was recovered as methane at the cathode (with a cathode capture efficiency, CCE, accounting around 115 %). The average energy efficiency of the system (i.e., the energy captured into methane relative to the electrical energy input) under these conditions was over 170%. However, reactor‟s performance decreased over time during this run. Throughout Run II, a substrate oxidation over 60% (on COD basis) was observed. The electric current produced (57% of coulombic efficiency) was also recovered as methane, with a CCE of 90%. For this run the MEC‟s average energy efficiency accounted for almost 170 %. During all the experimentation, a very low biomass growth was observed at the anode whereas ammonium was transferred through the cationic membrane and concentrated at the cathode. Tracer experiments and scanning electron microscopy analyses were also carried out to gain a deeper insight into the reactor performance and also to investigate the possible reasons for partial loss of performance. In conclusion, this research suggests the great potential of MEC to successfully treat low-strength wastewaters, with high energy efficiency and very low sludge production.

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

Reporting cash flow evidence from campanies listed in the Euronext Lisbon

Based on the 2013 and 2014 consolidated statements of cash flows of companies listed in Euronext Lisbon, this Work Project analyses the cash flow disclosures, namely if they are in accordance with International Accounting Standards 7, specifically the format, the choice of classification interests, dividends paid and received and the composition of cash and cash equivalents. Additionally, quality of income ratio is analyzed due to its importance for users of financial statements. The results show evidence of uniformity and consistency in the use of the direct method for reporting operational activities in both years, but there are some differences regarding the disclosure of interests and dividends, paid and received, respectively.