What makes an entrepreneur?: The role of feelings

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Inteligência emocional como competência na formação do futuro gestor de saúde de instituições de saúde : proposta de uma unidade curricular

RESUMO - Introdução: A formação de um gestor neste século é um verdadeiro desafio, pois apesar das instituições de ensino superior formarem profissionais com capacidade para actuar na área da Gestão da Saúde, é difícil afirmar que tal formação seja suficiente para produzir os grandes gestores exigidos actualmente para orientarem Instituições de Saúde modernas. Assim, muitos são os estudos que têm mostrado que os gestores de saúde mais eficazes se assemelham num requisito crucial: a Inteligência Emocional (IE). Objectivos: Perceber a importância do ensino das competências emocionais nos Cursos de Mestrado em Gestão da Saúde; analisar de forma descritiva/analítica e crítica o módulo opcional de Emoção, Liderança e Coaching na Gestão da Saúde leccionado no Mestrado em Gestão da Saúde na Escola Nacional de Saúde Pública; e por fim construir uma proposta de Unidade Curricular de Inteligência Emocional. Metodologia: Realizou-se uma revisão da literatura que permitiu desenvolver e adquirir conhecimentos, conceitos e teorias na área da IE. De seguida, procedeu-se a uma análise descritiva/analítica e crítica do módulo opcional de Emoção, Liderança e Coaching na Gestão em Saúde leccionado no Mestrado em Gestão da Saúde na Escola Nacional de Saúde Pública, com base na revisão de literatura anteriormente efectuada; e por fim tentou-se construir uma proposta de Unidade Curricular de Inteligência Emocional a ser leccionada a futuros gestores de saúde. Conclusões: Este trabalho tem como principal intuito por um lado, mostrar através da vária literatura consultada que a Inteligência Emocional é uma competência essencial a ser desenvolvida pelos gestores em saúde de hoje em dia, pois as competências que a englobam fazem toda a diferença na organização, tornando os funcionários mais motivados, seguros e comprometidos com o que fazem; por outro lado foi um trabalho que permitiu reunir dados e ampliar as ideias sobre Inteligência Emocional. Da análise efectuada do módulo leccionado no Mestrado em Gestão de Saúde na Escola Nacional de Saúde Pública, o que se pode concluir é que a carga horária assim como o peso do módulo que é opcional, é pouco significativo (tendo uma percentagem apenas de 3,33% dos ECTS (Sistema Europeu de créditos curriculares que significa European Credit Transfer System) e de acordo com os dados disponibilizados pela colega Mestre Joana Areias no IV Curso de Mestrado em Gestão da Saúde, apenas 36,6% dos alunos frequentaram este módulo, o que revela que ainda nem todos os futuros gestores de saúde estão dispertos para a importância do desenvolvimento da Inteligência Emocional como competência essencial nas suas práticas.

Caracterização das águas residuais produzidas no campus universitário da FCT/UNL

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, para obtenção do Grau de Mestre em Engenharia do Ambiente, Perfil de Engenharia Sanitária

Purification of complex biopharmaceuticals with new processes, advanced analytics and computer-aided process design tools

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Preliminary study of the acoustic behavior concerning an innovative prototype for indoor modular partitioning

This paper presents a preliminary acoustic study concerning the development of the first prototype of a patented removable module for interior partitioning. It is a prefabricated, vertical element for division of interior spaces that does not require the use of gutters or technical support. A set of such modules, linearly disposed, will create a division, allowing the personalization of any indoor area, including open office spaces, rooms, among others. The main characteristic that distinguishes this element from the existing solutions available on the market is that its mobility relies exclusively on a set of integrated bearings at the base of each module. Through an incorporated elevation system, the user can lower the module, move it to the desired position and re-elevate it until pressed against the ledge of the ceiling, making it stable. In this sense, and taking into account its acoustic behavior, several tests were made in the LNEC acoustics lab. Airborne sound insulation tests for different typologies of the prototype were conducted, according to the applicable standards EN ISO 354:2003, EN ISO 717-1:2013 and EN ISO 10140-2:2010. Some important conclusions and analysis of the prototype viability were extracted.

About using serious games to teach (Portuguese) sign language

Sign language is the form of communication used by Deaf people, which, in most cases have been learned since childhood. The problem arises when a non-Deaf tries to contact with a Deaf. For example, when non-Deaf parents try to communicate with their Deaf child. In most cases, this situation tends to happen when the parents did not have time to properly learn sign language. This dissertation proposes the teaching of sign language through the usage of serious games. Currently, similar solutions to this proposal do exist, however, those solutions are scarce and limited. For this reason, the proposed solution is composed of a natural user interface that is intended to create a new concept on this field. The validation of this work, consisted on the implementation of a serious game prototype, which can be used as a source for learning (Portuguese) sign language. On this validation, it was first implemented a module responsible for recognizing sign language. This first stage, allowed the increase of interaction and the construction of an algorithm capable of accurately recognizing sign language. On a second stage of the validation, the proposal was studied so that the pros and cons can be determined and considered on future works.

What makes an entrepreneur? The role of feelings

This study uses a sample of 678 observations from the Community Innovation Survey 6 (CIS6) plus the Leadership Module attached in Portugal wherein 55.93% of the respondents are business Owners. It focuses on recent literature on Entrepreneurship to understand how the perceived importance of Personality Traits and Social Ties influence the decision-making process of the Entrepreneur towards an Intuitive or an Analytical Approach. It gets statistical significant values for the Founder/Sample in the traits, and for strong ties in the Founder/Owner Model shows statistical significance.

Electrohysterogram signal component cataloging with spectral and time-frequency methods

The Electrohysterogram (EHG) is a new instrument for pregnancy monitoring. It measures the uterine muscle electrical signal, which is closely related with uterine contractions. The EHG is described as a viable alternative and a more precise instrument than the currently most widely used method for the description of uterine contractions: the external tocogram. The EHG has also been indicated as a promising tool in the assessment of preterm delivery risk. This work intends to contribute towards the EHG characterization through the inventory of its components which are: • Contractions; • Labor contractions; • Alvarez waves; • Fetal movements; • Long Duration Low Frequency Waves; The instruments used for cataloging were: Spectral Analysis, parametric and non-parametric, energy estimators, time-frequency methods and the tocogram annotated by expert physicians. The EHG and respective tocograms were obtained from the Icelandic 16-electrode Electrohysterogram Database. 288 components were classified. There is not a component database of this type available for consultation. The spectral analysis module and power estimation was added to Uterine Explorer, an EHG analysis software developed in FCT-UNL. The importance of this component database is related to the need to improve the understanding of the EHG which is a relatively complex signal, as well as contributing towards the detection of preterm birth. Preterm birth accounts for 10% of all births and is one of the most relevant obstetric conditions. Despite the technological and scientific advances in perinatal medicine, in developed countries, prematurity is the major cause of neonatal death. Although various risk factors such as previous preterm births, infection, uterine malformations, multiple gestation and short uterine cervix in second trimester, have been associated with this condition, its etiology remains unknown [1][2][3].

The use of a modular titanium endoprosthesis in skeletal reconstructions after bone tumor resections: method presentation and analysis of 37 cases

We analyzed 37 patients who underwent segmental wide resection of bone tumors and reconstruction with a modular titanium endoprosthesis at the Orthopaedic Oncology Group, between 1992 and 1998. Twelve patients were male and 25 were female, with a mean age of 30 years (9 - 81). The mean follow-up was 14 months (2 - 48). The diagnoses were: osteosarcoma (14 cases), metastatic carcinoma (10), Ewing's sarcoma (4), giant cell tumor (4), malignant fibrous histiocytoma (3), chondrosarcoma (1), and aneurysmal bone cyst (1). Eleven articulated total knee, 8 partial proximal femur with bipolar acetabulum, 8 partial proximal humerus, 3 total femur, 2 partial proximal tibia, 2 diaphyseal femur, 2 diaphyseal humerus, and 1 total proximal femur with cementless acetabulum endoprosthesis implant procedures were done. The complications related to the procedure included: infection (5 cases), dislocation (3), module loosening (1), and ulnar nerve paresthesia (1). We used the following criteria for the clinical evaluation: presence of pain, range of motion, reconstruction stability, surgical and oncologic complications, and patient acceptance. The results were good in 56.8% of the cases, regular in 32.4% and poor in 10.8%.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

A multi-criteria decision support system for a routing problem in waste collection

Autor proof

Generic system for human-computer gesture interaction: applications on sign language recognition and robotic soccer refereeing

Hand gestures are a powerful way for human communication, with lots of potential applications in the area of human computer interaction. Vision-based hand gesture recognition techniques have many proven advantages compared with traditional devices, giving users a simpler and more natural way to communicate with electronic devices. This work proposes a generic system architecture based in computer vision and machine learning, able to be used with any interface for human-computer interaction. The proposed solution is mainly composed of three modules: a pre-processing and hand segmentation module, a static gesture interface module and a dynamic gesture interface module. The experiments showed that the core of visionbased interaction systems could be the same for all applications and thus facilitate the implementation. For hand posture recognition, a SVM (Support Vector Machine) model was trained and used, able to achieve a final accuracy of 99.4%. For dynamic gestures, an HMM (Hidden Markov Model) model was trained for each gesture that the system could recognize with a final average accuracy of 93.7%. The proposed solution as the advantage of being generic enough with the trained models able to work in real-time, allowing its application in a wide range of human-machine applications. To validate the proposed framework two applications were implemented. The first one is a real-time system able to interpret the Portuguese Sign Language. The second one is an online system able to help a robotic soccer game referee judge a game in real time.

Generic system for human-computer gesture interaction

Hand gestures are a powerful way for human communication, with lots of potential applications in the area of human computer interaction. Vision-based hand gesture recognition techniques have many proven advantages compared with traditional devices, giving users a simpler and more natural way to communicate with electronic devices. This work proposes a generic system architecture based in computer vision and machine learning, able to be used with any interface for humancomputer interaction. The proposed solution is mainly composed of three modules: a pre-processing and hand segmentation module, a static gesture interface module and a dynamic gesture interface module. The experiments showed that the core of vision-based interaction systems can be the same for all applications and thus facilitate the implementation. In order to test the proposed solutions, three prototypes were implemented. For hand posture recognition, a SVM model was trained and used, able to achieve a final accuracy of 99.4%. For dynamic gestures, an HMM model was trained for each gesture that the system could recognize with a final average accuracy of 93.7%. The proposed solution as the advantage of being generic enough with the trained models able to work in real-time, allowing its application in a wide range of human-machine applications.

Rational approximations of sectional category and Poincaré duality

Félix, Halperin, and Lemaire have shown that the rational module category Mcat and the rational Toomer invariant coincide for simply connected Poincaré duality complexes. We establish an analogue of this result for the sectional category of a fibration.