Lab on paper: biossensores colorimétricos de papel para a detecção de membros do complexo Mycobacterium tuberculosis

Este trabalho foi realizado no âmbito do projecto Lab on Paper, desenvolvido no Centro de Investigação de Materiais (CENIMAT) da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FCT - UNL)

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Management consulting lab- Galp social media

This study consists of the reflection on a consultancy project developed by four students and one project manager from NOVA SBE. In attempting to assist Galp Energia structure the operationalization of an entry into Social Media, we were confronted with first-time challenges in real-life highly demanding workplace situations. The following considerations attempt to defuse the problem-solving mindset of the practical experience from the methodological development and learning experience extracted from the consulting line of work

Management consulting lab-Portugal Telecom

This paper presents the main developments and learning taken from the Management Consulting Lab at Portugal Telecom. The main purpose of this consulting project was to assess the potential of a specific technology and how could Portugal Telecom maximize the value created. By identifying and evaluating all the business sectors where this technology would have impact, the team was able to address the initial hypotheses stated by the client regarding the importance of the technology and elaborate a set of recommendations based on the main findings obtained through field as well as desk research.

Evaluating balance, stability and gait symmetry of stroke patients using kinematic and dynamic gait lab data

Dissertação de mestrado integrado em Engenharia Biomédica

Kids Media Lab: Tecnologias e a aprendizagem da programação em idade Pré-escolar

Sabedores da realidade tecnológica que envolve as crianças, sentimos necessidade de conhecer aprofundadamente como é que as crianças aprendem, ou seja, como estruturam e desenvolvem o seu pensamento, nesta relação com as tecnologias e através da programação. A presente investigação revela-se inovadora, quer no contexto em que vai ser implementado, quer nos objetivos da própria investigação. Pretendemos consolidar conhecimento sobre as teorias de aprendizagem, através da introdução da programação de forma lúdica e criativa nas atividades no jardim de infância. Compreender como as crianças reagem na utilização das tecnologias e da programação revela-se importante para conhecer o seu comportamento, o seu estilo de aprendizagem e permitir aos profissionais de educação antecipar ou não esta integração, nos seus contextos educativos. Conhecer como todo este processo de aprendizagem é vivenciado pelas crianças irá permitir avaliar quais os benefícios e riscos da utilização das tecnologias e da aprendizagem da programação em idade pré-escolar.

PDMS encasing system for integrated lab-on-chip Ag/AgCl reference electrodes

Poly(dimethylsiloxane) (PDMS) is an organosilicon polymer widely used in the fabrication of microfluidic systems to integrate biochips. In this study, we propose the use of an adapted PDMS mould for the creation of a miniaturized, reusable, reference electrode for in-chip electrochemical measurements. Through its integrated microfluidic system it is possible to replenish internal buffer solutions, unclog critical junctions and treat the electrode’s surface, assuring a long term reuse of the same device. Planar Ag/AgCl reference electrodes were microfabricated over a passivated p-type Silicon Wafer. The PDMS mould, containing an integrated microfluidic system, was fabricated based on patterned SU-8 mould, which includes a lateral horizontal inlet access point. Surface oxidation was used for irreversible permanent bondage between flat surfaces. The final result was planar Ag/AgCl reference electrode with integrated microfluidic that allows for electrochemical analysis in biochips

Effects of One Resistance Exercise Session on Vascular Smooth Muscle of Hypertensive Rats

AbstractBackground:Hypertension is a public health problem and increases the incidence of cardiovascular diseases.Objective:To evaluate the effects of a resistance exercise session on the contractile and relaxing mechanisms of vascular smooth muscle in mesenteric arteries of NG-nitro L-arginine methyl ester (L-NAME)-induced hypertensive rats.Methods:Wistar rats were divided into three groups: control (C), hypertensive (H), and exercised hypertensive (EH). Hypertension was induced by administration of 20 mg/kg of L-NAME for 7 days prior to experimental protocols. The resistance exercise protocol consisted of 10 sets of 10 repetitions and intensity of 40% of one repetition maximum. The reactivity of vascular smooth muscle was evaluated by concentration‑response curves to phenylephrine (PHEN), potassium chloride (KCl) and sodium nitroprusside (SNP).Results:Rats treated with L-NAME showed an increase (p < 0.001) in systolic blood pressure (SBP), diastolic blood pressure (DBP) and mean arterial pressure (MAP) compared to the initial period of induction. No difference in PHEN sensitivity was observed between groups H and EH. Acute resistance exercise reduced (p < 0.001) the contractile response induced by KCl at concentrations of 40 and 60 mM in group EH. Greater (p < 0.01) smooth muscle sensitivity to NPS was observed in group EH as compared to group H.Conclusion:One resistance exercise session reduces the contractile response induced by KCl in addition to increasing the sensitivity of smooth muscle to NO in mesenteric arteries of hypertensive rats.

Effects of motive-oriented therapeutic relationship in a ten-session general psychiatric treatment of borderline personality disorder: a randomized controlled trial.

Background: Motive-oriented therapeutic relationship (MOTR) was postulated to be a particularly helpful therapeutic ingredient in the early treatment phase of patients with personality disorders, in particular with borderline personality disorder (BPD). The present randomized controlled study using an add-on design is the first study to test this assumption in a 10-session general psychiatric treatment with patients presenting with BPD on symptom reduction and therapeutic alliance. Methods: A total of 85 patients were randomized. They were either allocated to a manual-based short variant of the general psychiatric management (GPM) treatment (in 10 sessions) or to the same treatment where MOTR was deliberately added to the treatment. Treatment attrition and integrity analyses yielded satisfactory results. Results: The results of the intent-to-treat analyses suggested a global efficacy of MOTR, in the sense of an additional reduction of general problems, i.e. symptoms, interpersonal and social problems (F1, 73 = 7.25, p < 0.05). However, they also showed that MOTR did not yield an additional reduction of specific borderline symptoms. It was also shown that a stronger therapeutic alliance, as assessed by the therapist, developed in MOTR treatments compared to GPM (Z55 = 0.99, p < 0.04). Conclusions: These results suggest that adding MOTR to psychiatric and psychotherapeutic treatments of BPD is promising. Moreover, the findings shed additional light on the perspective of shortening treatments for patients presenting with BPD. © 2014 S. Karger AG, Basel.

Self-Confidence, Overconfidence and Prenatal Testosterone Exposure: Evidence from the Lab

This paper examines whether the degree of confidence and overconfidence in one's ability is determined biologically. In articular, we study whether foetal testosterone exposure correlates with an incentive-compatible measure of confidence within an experimental setting. We find that men (rather than women) who were exposed to high testosterone levels in their mother's womb are less likely to overestimate their actual performance, which in turn helps them to gain higher monetary rewards. Men exposed to low prenatal testosterone levels, instead, set unrealistically high expectations which results in self-defeating behaviour. These results from the lab are able to reconcile hitherto disconnected evidence from the field, by providing a link between traders'overconfidence bias, long-term financial returns and prenatal testosterone exposure.