Mechanical characterization of aortas using 2D ultrasound elastography

Rupture of aortic aneurysms (AA) is a major cause of death in the Western world. Currently, clinical decision upon surgical intervention is based on the diameter of the aneurysm. However, this method is not fully adequate. Noninvasive assessment of the elastic properties of the arterial wall can be a better predictor for AA growth and rupture risk. The purpose of this study is to estimate mechanical properties of the aortic wall using in vitro inflation testing and 2D ultrasound (US) elastography, and investigate the performance of the proposed methodology for physiological conditions. Two different inflation experiments were performed on twelve porcine aortas: 1) a static experiment for a large pressure range (0 – 140 mmHg); 2) a dynamic experiment closely mimicking the in vivo hemodynamics at physiological pressures (70 – 130 mmHg). 2D raw radiofrequency (RF) US datasets were acquired for one longitudinal and two cross-sectional imaging planes, for both experiments. The RF-data were manually segmented and a 2D vessel wall displacement tracking algorithm was applied to obtain the aortic diameter–time behavior. The shear modulus G was estimated assuming a Neo-Hookean material model. In addition, an incremental study based on the static data was performed to: 1) investigate the changes in G for increasing mean arterial pressure (MAP), for a certain pressure difference (30, 40, 50 and 60 mmHg); 2) compare the results with those from the dynamic experiment, for the same pressure range. The resulting shear modulus G was 94 ± 16 kPa for the static experiment, which is in agreement with literature. A linear dependency on MAP was found for G, yet the effect of the pressure difference was negligible. The dynamic data revealed a G of 250 ± 20 kPa. For the same pressure range, the incremental shear modulus (Ginc) was 240 ± 39 kPa, which is in agreement with the former. In general, for all experiments, no significant differences in the values of G were found between different image planes. This study shows that 2D US elastography of aortas during inflation testing is feasible under controlled and physiological circumstances. In future studies, the in vivo, dynamic experiment should be repeated for a range of MAPs and pathological vessels should be examined. Furthermore, the use of more complex material models needs to be considered to describe the non-linear behavior of the vascular tissue.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

The use of analytical hierarchy process in spatial decision support system for land use management

Geographic information systems give us the possibility to analyze, produce, and edit geographic information. Furthermore, these systems fall short on the analysis and support of complex spatial problems. Therefore, when a spatial problem, like land use management, requires a multi-criteria perspective, multi-criteria decision analysis is placed into spatial decision support systems. The analytic hierarchy process is one of many multi-criteria decision analysis methods that can be used to support these complex problems. Using its capabilities we try to develop a spatial decision support system, to help land use management. Land use management can undertake a broad spectrum of spatial decision problems. The developed decision support system had to accept as input, various formats and types of data, raster or vector format, and the vector could be polygon line or point type. The support system was designed to perform its analysis for the Zambezi river Valley in Mozambique, the study area. The possible solutions for the emerging problems had to cover the entire region. This required the system to process large sets of data, and constantly adjust to new problems’ needs. The developed decision support system, is able to process thousands of alternatives using the analytical hierarchy process, and produce an output suitability map for the problems faced.

Support in decision-making under uncertainty: a project risk assessment tool development and supplementary advances

A foremost dispute that persists on the contemporary world’s agenda is change. The on-going social/technological/economic changes create a competitive and challenging environment for companies to endure. To benefit from these changes, world economies partially depend on emerging Small and Medium Enterprises (SMEs) and their adaptability skills, and subsequently the development of an integrated capability to innovate has become the prime strategy for most of SMEs to subsist and grow. However, innovation and change are always somewhat bonded to an inherent risk development, which subsequently brings on the necessity of a revision of risk management approaches in innovative processes, whose importance SMEs tend to disregard. Additionally, little efforts have been made to improve and create empirical models, metrics and tools to assist SMEs managing latent risks in their innovative projects. This work seeks to present and discuss a solution to support SMEs in engaging on systematic risk management practices, which consists on an integrated risk assessment and response support web-based tool - Spotrisk® - designed for SMEs. On the other hand, an inherent subjectivity is linked with risk management and identification processes, due to uncertainty trait of its nature, for each individual perceives situations according to his own idiosyncrasy, which brings complications in normalizing risk profiles and procedures. This essay aims to bring insights concerning the support in decision-making processes under uncertainty, by addressing issues related with the risk behavior character among individuals. To address such issues, subjects of neuroscience or psychology are explored and models to identify such character are proposed, as well as models to improve presented tool. This work attempts to go beyond the restrictive aim of endeavoring on technical improvement dissertation, and in embraces an exploratory conceptualization concerning micro, small and medium businesses’ traits regarding risk characters and project risk assessment tools.

Foresight exercises as a tool for decision-making: the example of two case studies in health

Based on the report for the unit “Foresight Methods Analysis” of the PhD programme on Technology Assessment at the Universidade Nova de Lisboa, under the supervision of Prof. Dr. António B. Moniz

Relatório de estágio no Centro de Arbitragem Comercial da Câmara de Comércio e Indústria Portuguesa

This report is the outcome of an internship that took place in Centro de Arbitragem Comercial da Câmara de Comércio e Indústria Portuguesa and its completion is an essential part of the path towards obtaining the Master’s Degree in Faculdade de Direito da Universidade Nova de Lisboa. This report has been structured in two stages – firstly, the presentation of the Centro de Arbitragem Comercial, focusing on its field of expertise, organic structure, principles and advantages. Then, the description of the activities developed within the Secretariat over the several stages of the arbitration procedure – since the reception of the arbitration requirement in institutional proceedings, terms of reference in ad hoc procedures, through the monitoring of the arbitral tribunal sessions (preliminary hearings, submission of evidence and final allegations) and the notification of the arbitration award. The second stage of this report is related to the description of the functions and powers of the President of Centro de Arbitragem Comercial. Firstly, it defines those powers by analyzing the statutes and rules of proceedings of the Centro de Arbitragem, drawing comparisons between the above mention and the rules of proceedings of others arbitral institutional centres, some of them are international references. The report assesses and describes the presidential powers, such as: configuration and composition of the arbitral tribunal (including arbitrator’s replacements, excuses and refusals); deadline extensions; determination of procedural rules and decision-making on any procedural incidents which arise before the constitution of the arbitral tribunal; definition of arbitration costs and fees; joinder of parties and consolidation of proceedings admission; and appointment of an emergency arbitrator. Lastly, this report analyzes some decisions delivered by the President in the respective institutional procedures which took place in the Centre.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Modelação não-linear do comportamento de vigas-parede

Com a evolução dos recursos computacionais e o desenvolvimento dos modelos constitutivos disponíveis na avaliação do comportamento estrutural de elementos de betão armado, é comum recorrer-se cada vez mais a modelos numéricos que consideram a não-linearidade física e geométrica. As simulações numéricas obtidas com recurso a este tipo de modelos computacionais permitem obter um historial completo do comportamento estrutural, desde o início da aplicação do carregamento, até ao colapso total da estrutura. Contudo, verifica-se que em zonas de descontinuidade geométrica em estruturas de betão armado, a evolução do padrão de fendilhação é um fenómeno relativamente complexo, cuja simulação numérica representa um desafio considerável. O objectivo deste trabalho é o de verificar a aplicabilidade do Método dos Elementos Aplicados no estudo do desenvolvimento do padrão de fendilhação em paredes de betão armado, solicitadas por um carregamento monotónico. Foi analisado um conjunto de dez paredes, todas com uma abertura que provoca uma zona de descontinuidade geométrica e, consequentemente, um padrão de fendilhação mais complexo. Cada parede tem uma pormenorização de armadura diferente, permitindo verificar a fiabilidade do modelo computacional. Os resultados numéricos foram comparados com ensaios experimentais realizados por Bounassar Filho [8], permitindo tirar conclusões sobre as vantagens e as limitações deste método, quando aplicado ao estudo de estruturas de betão armado solicitadas por cargas monotónicas.

Decision-making process of Nova Executivos’ students

Field lab: Consumer insights

Importance of decision-making in a purchasing context – DPS Case Study

This work project has the objective of exploring the importance of making good decisions on supplier selection, so that the purchasing department can contribute to the success of a company. For that it is presented a short bibliography review of the latest insights that were found relevant, on the subjects of purchasing, technology, outsourcing, supplier selection and decision-making techniques. For a better understating on how to deal with a decision-making situation, a case study is also presented: Digital Printing Solutions (DPS) is a Portuguese company that provides complete and integrated printing solutions and has been planning to contract a software supplier. DPS has no formal supplier-selection model and it has to choose between 2 suppliers. The case study was solved using the M-MACBETH software. I have found that complex decisions-making situations can be easily overcome by using the M-MACBETH decision model. Moreover, the usage of a model, instead of decision that follows no formal procedure, provides the decision maker with insights that can be useful to negotiate with the supplier.

How to improve consumer decision skills in children? A case study of an intervention with institutionalized children

The aim of this study is to assess the institutionalized children’s skills as consumers but also to assess how we can improve their knowledge through an intervention. The sample was composed of two subgroups (38 institutionalized children and 36 non-institutionalized children). In order to assess children’s knowledge, a questionnaire and an interview were used. The method used as intervention was a 30-minute class. Results suggested that institutionalized children have lower levels of knowledge regarding consumption-related practices and lower levels of accuracy at estimating prices than non-institutionalized children. However, results also showed that the attitudes of institutionalized children towards advertising and making decisions based on price/quantity evaluation or based on the use of the same strategy in different situations are not significantly different from the non-institutionalized children. Regarding the intervention, it was possible to conclude that one class is not the best method to improve children’s knowledge. Institutionalized children need a longer and more practical intervention.

Sintonização de controladores difusos através de técnicas de optimização não-linear com restrições

A presente dissertação tem como objetivo principal a implementação de uma arquitetura baseada em algoritmos evolutivos para a sintonização dos parâmetros do controlador PID (Proporcional-Integral-Derivativo) difuso, sendo o conceito de desempenho em malha fechada explicitamente tido em conta. A sintonização dos parâmetros do controlador difuso é realizada tendo em conta um problema de otimização com restrições, em que a função de custo a ser minimizada é descrita em termos do desempenho em malha fechada, com a dinâmica do sistema a ser aproximada por um modelo não linear. Como nas metodologias de otimização existentes, a incorporação de mecanismos de adaptação referentes às funções de pertença não é comum, na presente dissertação é tido em conta, para além da usual sintonização dos fatores de escala, a sintonização dos fatores de escala e funções de pertença em simultâneo. Os resultados experimentais realizados num sistema de referência, visam demonstrar os benefícios de incorporar as funções de pertença no processo de otimização em diferido. É também utilizado um método analítico de segunda ordem como referência, por forma a comparar o desempenho de uma abordagem de otimização global contra uma de otimização local. Finalmente é implementada uma abordagem em-linha, usando o método analítico de segunda ordem, na otimização dos fatores de escala e funções de pertença.

Challenges of converting nonprofit in for-profit-reasons decision making and key success factores of a conversion

Due to external constraints (opposed by the market and legal system) and internal changes nonprofit organizations have been converting to for-profit entities combining commercial revenue and social value creation. To create an understanding of the conversion process considering its challenges, the reasons, the decision-making process and key success factors of a conversion are examined. Therefore, a two-step research procedure is used combining literature research and a multiple case study approach based on expert interviews with known companies. The outcome is a helpful guideline (including a decision matrix) for social entrepreneurs that might face a conversion.

The firm delocalization decision

In the current paper, the determinants of firm international relocation decision in twenty-six European countries during the period 2004-2014 are analyzed. We demonstrate, at light of three different but complementary theories that neoclassical, behavioural and institutional „push‟ factors have an impact in a firm decision-making process. Findings support that firm size, access to a global network, foreign capital, and negative internal growth in the workforce induce firm relocation. On the other hand, the degree of sunk assets has a negative effect on the probability of relocation. Delocalization decisions are also sector-dependent with low-tech manufacturing firms paying high salaries relocating abroad with a greater likelihood.