CardioBengo study protocol: a population based cardiovascular longitudinal study in Bengo Province, Angola

Background: Cardiovascular diseases and other non-communicable diseases are major causes of morbidity and mortality, responsible for 38 million deaths in 2012, 75 % occurring in low- and middle-income countries. Most of these countries are facing a period of epidemiological transition, being confronted with an increased burden of non-communicable diseases, which challenge health systems mainly designed to deal with infectious diseases. With the adoption of the World Health Organization “Global Action Plan for the Prevention and Control of non-communicable diseases, 2013–2020”, the national dimension of risk factors for non-communicable diseases must be reported on a regular basis. Angola has no national surveillance system for non-communicable diseases, and periodic population-based studies can help to overcome this lack of information. CardioBengo will collect information on risk factors, awareness rates and prevalence of symptoms relevant to cardiovascular diseases, to assist decision makers in the implementation of prevention and treatment policies and programs. Methods: CardioBengo is designed as a research structure that comprises a cross-sectional component, providing baseline information and the assembling of a cohort to follow-up the dynamics of cardiovascular diseases risk factors in the catchment area of the Dande Health and Demographic Surveillance System of the Health Research Centre of Angola, in Bengo Province, Angola. The World Health Organization STEPwise approach to surveillance questionnaires and procedures will be used to collect information on a representative sex-age stratified sample, aged between 15 and 64 years old. Discussion: CardioBengo will recruit the first population cohort in Angola designed to evaluate cardiovascular diseases risk factors. Using the structures in place of the Dande Health and Demographic Surveillance System and a reliable methodology that generates comparable results with other regions and countries, this study will constitute a useful tool for the surveillance of cardiovascular diseases. Like all longitudinal studies, a strong concern exists regarding dropouts, but strategies like regular visits to selected participants and a strong community involvement are in place to minimize these occurrences.

A Review of Definitions for Fractional Derivatives and Integral

This paper presents a review of definitions of fractional order derivatives and integrals that appear in mathematics, physics, and engineering.

From weak Allee effect to no Allee effect in Richards’ growth models

Population dynamics have been attracting interest since many years. Among the considered models, the Richards’ equations remain one of the most popular to describe biological growth processes. On the other hand, Allee effect is currently a major focus of ecological research, which occurs when positive density dependence dominates at low densities. In this chapter, we propose the dynamical study of classes of functions based on Richards’ models describing the existence or not of Allee effect. We investigate bifurcation structures in generalized Richards’ functions and we look for the conditions in the (β, r) parameter plane for the existence of a weak Allee effect region. We show that the existence of this region is related with the existence of a dovetail structure. When the Allee limit varies, the weak Allee effect region disappears when the dovetail structure also disappears. Consequently, we deduce the transition from the weak Allee effect to no Allee effect to this family of functions. To support our analysis, we present fold and flip bifurcation curves and numerical simulations of several bifurcation diagrams.

Fractional Order Junctions

Gottfried Leibniz generalized the derivation and integration, extending the operators from integer up to real, or even complex, orders. It is presently recognized that the resulting models capture long term memory effects difficult to describe by classical tools. Leon Chua generalized the set of lumped electrical elements that provide the building blocks in mathematical models. His proposal of the memristor and of higher order elements broadened the scope of variables and relationships embedded in the development of models. This paper follows the two directions and proposes a new logical step, by generalizing the concept of junction. Classical junctions interconnect system elements using simple algebraic restrictions. Nevertheless, this simplistic approach may be misleading in the presence of unexpected dynamical phenomena and requires including additional “parasitic” elements. The novel γ-junction includes, as special cases, the standard series and parallel connections and allows a new degree of freedom when building models. The proposal motivates the search for experimental and real world manifestations of the abstract conjectures.

Study of forbidden transitions in atomic systems

A Thesis submitted for the co-tutelle degree of Doctor in Physics at Universidade Nova de Lisboa and Université Pierre et Marie Curie

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Routine Transthoracic Echocardiography in a General Intensive Care Unit: an 18 Month Survey in 704 Patients

The authors analyzed 704 transthoracic echocardiographic (TTE) examinations, performed routinely to all admitted patients to a general 16-bed Intensive Care Unit (ICU) during an 18-month period. Data acquisition and prevalence of abnormalities of cardiac structures and function were assessed, as well as the new, previously unknown severe diagnoses. A TTE was performed within the first 24 h of admission on 704 consecutive patients, with a mean age of 61.5+/-17.5 years, ICU stay of 10.6+/-17.1 days, APACHE II 22.6+/-8.9, and SAPS II 52.7+/-20.4. In four patients, TTE could not be performed. Left ventricular (LV) dimensions were quantified in 689 (97.8%) patients, and LV function in 670 (95.2%) patients. Cardiac output (CO) was determined in 610 (86.7%), and mitral E/A in 399 (85.9% of patients in sinus rhythm). Echocardiographic abnormalities were detected in 234 (33%) patients, the most common being left atrial (LA) enlargement (n=163), and LV dysfunction (n=132). Patients with these alterations were older (66+/-16.5 vs 58.1+/-17.4, p<0.001), presented a higher APACHE II score (24.4+/-8.7 vs 21.1+/-8.9, p<0.001), and had a higher mortality rate (40.1% vs 25.4%, p<0.001). Severe, previously unknown echocardiographic diagnoses were detected in 53 (7.5%) patients; the most frequent condition was severe LV dysfunction. Through a multivariate logistic regression analysis, it was determined that mortality was affected by tricuspid regurgitation (p=0.016, CI 1.007-1.016) and ICU stay (p<0.001, CI 1-1.019). We conclude that TTE can detect most cardiac structures in a general ICU. One-third of the patients studied presented cardiac structural or functional alterations and 7.5% severe previously unknown diagnoses.

Sectors and routes in solid waste collection

Collecting and transporting solid waste is a constant problem for municipalities and populations in general. Waste management should take into account the preservation of the environment and the reduction of costs. The goal with this paper is to address a real-life solid waste problem. The case reveals some general and specific characteristics which are not rare, but are not widely addressed in the literature. Furthermore, new methods and models to deal with sectorization and routing are introduced, which can be extended to other applications. Sectorization and routing are tackled following a two-phase approach. In the first phase, a new method is described for sectorization based on electromagnetism and Coulomb’s Law. The second phase addresses the routing problems in each sector. The paper addresses not only territorial division, but also the frequency with which waste is collected, which is a critical issue in these types of applications. Special characteristics related to the number and type of deposition points were also a motivation for this work. A new model for a Mixed Capacitated Arc Routing Problem with Limited Multi-Landfills is proposed and tested in real instances. The computational results achieved confirm the effectiveness of the entire approach.

Modelos Teóricos de Difusão Dérmica: abordagens matemáticas e computacionais para terapias transdérmicas da Obesidade

É de senso comum que os nutrientes são fundamentais à vida e que a subnutrição leva à acumulação de gorduras que pode chegar a casos de obesidade, tendo como consequência inúmeras complicações de saúde. Diferentes estruturas neuroanatómicas do cérebro têm um papel essencial no comportamento digestivo. A ação de várias moléculas de sinalização (hormonas, neurotransmissores e neuropéptidos) resulta na regulação da ingestão de alimentos, sendo que, por exemplo, algumas hormonas podem aumentar a sensação de saciedade podendo diminuir o apetite e a ingestão calórica. A descoberta de hormonas envolvidas no balanço energético proporcionou novas oportunidades para desenvolver meios para o tratamento da obesidade. A transferência de medicação antiobesidade por via tópica ou transdérmica é um desafio pois a pele funciona como uma barreira natural e protetora. Sendo uma barreira com uma grande área de superfície e de fácil acessibilidade, a pele tem potencial interesse na libertação de fármacos específicos a cada terapia. Vários métodos têm sido estudados de modo a permitir um aumento da permeabilidade de moléculas terapêuticas para o interior da pele e através da pele. As biotecnologias transdérmicas são um campo de interesse cada vez maior, devido as aplicações dérmicas e farmacêuticas que lhes estão subjacentes. Existem vários modelos computacionais e matemáticos em uso que permite uma visão mais abrangente de puros dados experimentais e até mesmo permite a extrapolação prática de novas metodologias de difusão dérmica. Contudo, eles compreendem uma complexa variedade de teorias e suposições que atribuem a sua utilização para situações específicas. Este trabalho, primeiramente analisa, de forma extensiva, as várias metodologias teóricas para o estudo da difusão dérmica e sistematiza as suas características, realizando depois a fase prévia duma nova abordagem computacional para o estudo da difusão dérmica, que determina características microscópicas de moléculas capazes de provocar a perda de peso, tais como a Leptina e/ou os seus agonistas.

Historic timber roof structures

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

Writing/erasing 3D micro and nano wrinkles in flexible elastomers for volatile organic compounds sensor

Micro/nano wrinkled patterns on cross-linked urethane/urea polymeric flexible free standing films with two soft segments, polypropylene oxide and polybutadiene, can be induced by UV-irradiation. The ability to write/erase these 3D structures, in a controlled manner, is the main focus of this work. The imprinting of the wrinkled structures was accomplished by swelling in an appropriate solvent followed by drying the membranes after the cross-linking process and UV irradiation. The surface tailoring of the elastomeric membranes was imaged by optical microscopy, scanning electronic microscopy and by atomic force microscopy. To erase the wrinkled structures the elastomers were swollen. The swelling as well as the sol/gel fraction and the UV radiation were tuned in order to control the wrinkles characteristics. It was found that the wrinkles wavelength, in the order of microns (1±0,25μm), was stamped by the UV radiation intensity and exposure time while the wrinkles' amplitude, in the order of nanometers (150-450 nm), was highly dependent on the swelling and sol/gel fraction. A prototype for volatile organic compounds detection was developed taking advantage of the unique 3D micro/nano wrinkles features.

Complex networks and data mining: toward a new perspective for the understanding of complex systems

Complex systems, i.e. systems composed of a large set of elements interacting in a non-linear way, are constantly found all around us. In the last decades, different approaches have been proposed toward their understanding, one of the most interesting being the Complex Network perspective. This legacy of the 18th century mathematical concepts proposed by Leonhard Euler is still current, and more and more relevant in real-world problems. In recent years, it has been demonstrated that network-based representations can yield relevant knowledge about complex systems. In spite of that, several problems have been detected, mainly related to the degree of subjectivity involved in the creation and evaluation of such network structures. In this Thesis, we propose addressing these problems by means of different data mining techniques, thus obtaining a novel hybrid approximation intermingling complex networks and data mining. Results indicate that such techniques can be effectively used to i) enable the creation of novel network representations, ii) reduce the dimensionality of analyzed systems by pre-selecting the most important elements, iii) describe complex networks, and iv) assist in the analysis of different network topologies. The soundness of such approach is validated through different validation cases drawn from actual biomedical problems, e.g. the diagnosis of cancer from tissue analysis, or the study of the dynamics of the brain under different neurological disorders.

Planning and verification of multipath routing protocols

Conventionally the problem of the best path in a network refers to the shortest path problem. However, for the vast majority of networks present nowadays this solution has some limitations which directly affect their proper functioning, as well as an inefficient use of their potentialities. Problems at the level of large networks where graphs of high complexity are commonly present as well as the appearing of new services and their respective requirements, are intrinsically related to the inability of this solution. In order to overcome the needs present in these networks, a new approach to the problem of the best path must be explored. One solution that has aroused more interest in the scientific community considers the use of multiple paths between two network nodes, where they can all now be considered as the best path between those nodes. Therefore, the routing will be discontinued only by minimizing one metric, where only one path between nodes is chosen, and shall be made by the selection of one of many paths, thereby allowing the use of a greater diversity of the present paths (obviously, if the network consents). The establishment of multi-path routing in a given network has several advantages for its operation. Its use may well improve the distribution of network traffic, improve recovery time to failure, or it can still offer a greater control of the network by its administrator. These factors still have greater relevance when networks have large dimensions, as well as when their constitution is of high complexity, such as the Internet, where multiple networks managed by different entities are interconnected. A large part of the growing need to use multipath protocols is associated to the routing made based on policies. Therefore, paths with different characteristics can be considered with equal level of preference, and thus be part of the solution for the best way problem. To perform multi-path routing using protocols based only on the destination address has some limitations but it is possible. Concepts of graph theory of algebraic structures can be used to describe how the routes are calculated and classified, enabling to model the routing problem. This thesis studies and analyzes multi-path routing protocols from the known literature and derives a new algebraic condition which allows the correct operation of these protocols without any network restriction. It also develops a range of software tools that allows the planning and the respective verification/validation of new protocols models according to the study made.

The effect of ownership concentration on management behavior in Belgian banks: A case study

Double Degree. A Work Project, presented as part of the requirements for the Award of a Master’s Degree in Finance from NOVA – School of Business and Economics and a Masters Degree in Management from Louvain School of Management

In Search of the Origins of Modernism: Venice and the Crisis of Classical Architecture in the mid-eighteenth century

This paper attempts to prove that in the years 1735 to 1755 Venice was the birthplace and cradle of Modern architectural theory, generating a major crisis in classical architecture traditionally based on the Vitruvian assumption that it imitates early wooden structures in stone or in marble. According to its rationalist critics such as the Venetian Observant Franciscan friar and architectural theorist Carlo Lodoli (1690-1761) and his nineteenth-century followers, classical architecture is singularly deceptive and not true to the nature of materials, in other words, dishonest and fallacious. This questioning did not emanate from practising architects, but from Lodoli himself– a philosopher and educator of the Venetian patriciate – who had not been trained as an architect. The roots of this crisis lay in a new approach to architecture stemming from the new rationalist philosophy of the Enlightenment age with its emphasis on reason and universal criticism.