Mathematical modelling of shallow flows: closure models drawn from grain-scale mechanics of sediment transport and flow hydrodynamics

Canadian Journal of Civil Engineering 36(10) 1605–16

Simulation of the velocity field in compound channel flow using different closure models

1st European IAHR Congress,6-4 May, Edinburg, Scotland

Coherent structures in open channel flows with bed load transport over an hydraulically rough bed

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Estruturas

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

Development of biocompatible and “smart” porous structures using CO2-assisted processes

Dissertação apresentada para a obtenção do grau de Doutor em Engenharia Química, especialidade Engenharia da Reacção Química, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Segmentation of striatal brain structures from high resolution pet images

Dissertation presented at the Faculty of Science and Technology of the New University of Lisbon in fulfillment of the requirements for the Masters degree in Electrical Engineering and Computers

MBR activated sludge filterability characterization in cross flow filtration

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, perfil Sanitária

Geography of the Information Society

All every day activities take place in space. And it is upon this that all information and knowledge revolve. The latter are the key elements in the organisation of territories. Their creation, use and distribution should therefore occur in a balanced way throughout the whole territory in order to allow all individuals to participate in an egalitarian society, in which the flow of knowledge can take precedence over the flow of interests. The information society depends, to a large extent, on the technological capacity to disseminate information and, consequently, the knowledge throughout territory, thereby creating conditions which allow a more balanced development, from the both the social and economic points of view thus avoiding the existence of info-exclusion territories. Internet should therefore be considered more than a mere technology, given that its importance goes well beyond the frontiers of culture and society. It is already a part of daily life and of the new forms of thinking and transmitting information, thus making it a basic necessity essential, for a full socio-economic development. Its role as a platform of creation and distribution of content is regarded as an indispensable element for education in today’s society, since it makes information a much more easily acquired benefit.”…in the same way that the new technologies of generation and distribution of energy allowed factories and large companies to establish themselves as the organisational bases of industrial society, so the internet today constitutes the technological base of the organisational form that characterises the Information Era: the network” (CASTELLS, 2004:15). The changes taking place today in regional and urban structures are increasingly more evident due to a combination of factors such as faster means of transport, more efficient telecommunications and other cheaper and more advanced technologies of information and knowledge. Although their impact on society is obvious, society itself also has a strong influence on the evolution of these technologies. And although physical distance has lost much of the responsibility it had towards explaining particular phenomena of the economy and of society, other aspects such as telecommunications, new forms of mobility, the networks of innovation, the internet, cyberspace, etc., have become more important, and are the subject of study and profound analysis. The science of geographical information, allows, in a much more rigorous way, the analysis of problems thus integrating in a much more balanced way, the concepts of place, of space and of time. Among the traditional disciplines that have already found their place in this process of research and analysis, we can give special attention to a geography of new spaces, which, while not being a geography of ‘innovation’, nor of the ‘Internet’, nor even ‘virtual’, which can be defined as one of the ‘Information Society’, encompassing not only the technological aspects but also including a socio-economic approach. According to the last European statistical data, Portugal shows a deficit in terms of information and knowledge dissemination among its European partners. Some of the causes are very well identified - low levels of scholarship, weak investments on innovation and R&D (both private and public sector) - but others seem to be hidden behind socio-economical and technological factors. So, the justification of Portugal as the case study appeared naturally, on a difficult quest to find the major causes to territorial asymmetries. The substantial amount of data needed for this work was very difficult to obtain and for the islands of Madeira and Azores was insufficient, so only Continental Portugal was considered for this study. In an effort to understand the various aspects of the Geography of the Information Society and bearing in mind the increasing generalised use of information technologies together with the range of technologies available for the dissemination of information, it is important to: (i) Reflect on the geography of the new socio-technological spaces. (ii) Evaluate the potential for the dissemination of information and knowledge through the selection of variables that allow us to determine the dynamic of a given territory or region; (iii) Define a Geography of the Information Society in Continental Portugal.

Avaliação do débito máximo da tosse (peak cough flow) na doença pulmonar obstrutiva crónica

Resumo Objectivos: Avaliação da Tosse em doentes com Doença Pulmonar Obstrutiva Crónica (DPOC). Identificar e determinar a relação dos factores preditivos que contribuem para a deterioração da capacidade de tosse nestes indivíduos. Tipo de estudo: Estudo observacional descritivo de natureza transversal. Definição dos casos: Os critérios de diagnóstico da DPOC são o quadro clínico e o Gold standard para diagnóstico da DPOC – a espirometria. População-alvo: Todos os utentes com patologia primária de DPOC diagnosticada que se desloquem ao serviço de função respiratória do Hospital de Viseu, para realizar provas. Método de Amostragem: Foi utilizada uma amostra aleatória constituída por todos os indivíduos, que cumpriram os critérios de inclusão, conscientes e colaborantes, que aceitaram participar neste estudo. Dimensão da amostra: Uma amostra de 55 indivíduos que se deslocaram ao serviço de função respiratória, entre Janeiro e Junho de 2009, para realizar provas de função respiratória. Condução do estudo: Os utentes que aceitaram participar neste estudo foram sujeitos a um questionário de dados clínicos e realizaram 5 testes: índice de massa corporal (IMC), estudo funcional respiratório e gasometria arterial, avaliação da força dos músculos respiratórios (PImax e PEmax) e avaliação do débito máximo da tosse (Peak Cough Flow). Análise estatística: Foram obtidos dados caracterizadores da amostra em estudo, sendo posteriormente correlacionado o valor de débito máximo da tosse (Peak Cough Flow) com os resultados obtidos para as avaliações do IMC, estudo funcional respiratório, PImax e PEmax, gasometria, avaliação da capacidade de Tosse e número de internamentos no último ano por agudização da DPOC. Tendo sido encontrados os valores de correlação entre o Peak Cough Flow e os restantes parâmetros. Resultados: Após análise dos resultados, foram obtidos os valores de Peak Cough Flow para a população com DPOC e verificou-se valores diminuídos em comparação com os valores normais da população, tendo-se verificado maiores valores de PCF em indivíduos do sexo masculino, em comparação aos valores do sexo feminino. Foi analisada a relação entre o PCF e a idade, peso, altura e IMC, não tendo sido encontrada relação, dado que a tosse não apresenta uma variação segundo os valores antropométricos, tal como a relação com os valores espirométricos. Quanto aos parâmetros funcionais respiratórios foram analisadas as relações com o PCF. Verificou-se relações significativas entre o PCF e o FEV1, a FVC, o PEF, apresentando uma relação positiva, onde maiores valores destes parâmetros estão correlacionados com maiores picos de tosse. Quanto a RAW e RV, o PCF apresenta uma relação negativa, onde uma maior resistência da via aérea ou doentes mais hiperinsuflados leva a menores valores de PCF. Por outro lado não foi encontrada relação entre o PCF e a FRC e o TLC. Quanto à força dos músculos respiratórios, verificou-se relação significativa com o PImax e a PEmax em que a fraqueza ao nível dos músculos respiratórios contribuem para um menor valor de PCF. Relativamente aos valores da gasometria arterial, verificou-se relação entre o PCF e a PaO2 de forma positiva, em que doentes hipoxémicos apresentam menores valores de tosse, e a PaCO2, de forma negativa, em que os doentes hipercápnicos apresentam menores valores de PCF tendo sido verificada relação entre o PCF e o pH e sO2. Quanto à relação entre o número de internamentos por agudização da DPOC no último ano e o PCF verificou-se uma relação significativa, onde um menor valor de PCF contribui para uma maior taxa de internamento por agudização da DPOC. Conclusão: Este conjunto de conclusões corrobora a hipótese inicialmente formulada, de que o Peak Cough Flow se encontra diminuído nos indivíduos com Doença Pulmonar Obstrutiva Crónica onde a variação do PCF se encontra directamente relacionada com os parâmetros funcionais respiratórios, com a força dos músculos respiratórios e com os valores de gasometria arterial. ABSTRACT: Aims: Cough evaluation in Chronic Obstructive Pulmonary Disease (COPD) patients. Identify and determine the relation of the predictive factors that contribute to the cough capacity degradation in this type of patients. Type of study: Descriptive observational study of transversal nature. Case definition: The COPD diagnosis criteria are the clinical presentation and the gold standard to the COPD diagnosis- the Spirometry. Target Population: Every patients, with primary pathology of COPD diagnosed, who went to the respiratory function service of Viseu hospital to perform tests. Sampling Method: It was used a random sample constituted by all the, conscious and cooperating individuals, who complied with the inclusion criteria and who accepted to make part of this study. Sample size: A sample of 55 individuals that went to the respiratory function service between January and June 2009 to perform respiratory function tests. Study: The patients who accepted to make part of this study were submitted to a clinical data questionary and performed 5 tests: body mass index (BMI), respiratory functional study, arterial blood gas level, evaluation of respiratory muscles strength (maximal inspiratory pressure (MIP) and maximum expiratory pressure (MEP)), and Peak Cough Flow evaluation. Statistic Analysis: Were obtained characterizing data of the sample in study, and later correlated the value of the Peak Cough Flow with the results from the evaluation of the body mass index (BMI), the respiratory functional study the MIP and MEP, the arterial blood gas level and also with the ability to cough evaluation and the number of hospitalizations in the last year for COPD exacerbations. The values of correlation between the Peak Cough Flow and the other parameters were found. Results: After analyzing the results, were obtained the values of Peak Cough Flow for the population with COPD. There were decreased values compared with the population normal values, having been found higher values of PCF in males compared to female values. It was analyzed the relation between the PCF and the age, weight, height and BMI but no relation was found on account of the fact that the cough does not show a variation according to anthropometric parameters, such as the relation with spirometric values. As for the respiratory functional parameters were analyzed relations with the PCF. There were significant relations between the PCF and FEV1, the FVC, the PEF, presenting a positive relation, where higher values of these parameters are correlated with higher incidence of cough. Concerning the RAW and RV, the PCF has a negative relation, in which a higher airway resistance or in more hyperinflated patients, leads to lower values of PCF. On the other hand no correlation was found between the PCF and the FRC and TLC. Regarding the respiratory muscle strength, there was a significant relation with the MIP and MEP, in which the weakness at the level of respiratory muscles contribute to a lower value of PCF. For values of arterial blood gas level, there was no relation between the PCF and PaO2, in a positive way, in which patients with hypoxemia present lower values of cough, and PaCO2, in a negative way in which hypercapnic patients had lower values of PCF, having being founded a relation between the PCF and the pH and sO2. As for the relation between the number of hospitalizations for COPD exacerbation in the last year and the PCF was found a significant relation, in which a smaller value of PCF contributes to a higher rate of hospitalization for COPD exacerbation. Conclusion: This set of findings supports the hypothesis first formulated that Peak Cough Flow is decreased in individuals with Chronic Obstructive Pulmonary Disease, in which the variation of the PCF is directly related to the respiratory function parameters, the strength of respiratory muscles and the values of arterial blood gases.

Functional studies on magnetic resonance

Dissertation submitted in Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa for the degree of Master in Biomedical Engineering

Flow resistance in open-channel flows with mobile hydraulically rough beds

River Flow 2008, Vol.1

A conceptual model for sheet-flow drawn from rapid granular flow theories

33rd IAHR Congress: Water Engineering for a Sustainable Environment

Evolution and biogenesis of microtubule-derived structures

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

Life-cycle performance of structures: combining expert judgment and results of inspection

Life-Cycle Civil Engineering – Biondini & Frangopol