Biological markers in noninvasive brain stimulation trials in major depressive disorder: a systematic review

Objectives: The therapeutic effects of transcranial magnetic stimulation (TMS) and transcranial direct current stimulation in patients with major depression have shown promising results; however, there is a lack of mechanistic studies using biological markers (BMs) as an outcome. Therefore, our aim was to review noninvasive brain stimulation trials in depression using BMs. Methods: The following databases were used for our systematic review: MEDLINE, Web of Science, Cochrane, and SCIELO. We examined articles published before November 2012 that used TMS and transcranial direct current stimulation as an intervention for depression and had BM as an outcome measure. The search was limited to human studies written in English. Results: Of 1234 potential articles, 52 articles were included. Only studies using TMS were found. Biological markers included immune and endocrine serum markers, neuroimaging techniques, and electrophysiological outcomes. In 12 articles (21.4%), end point BM measurements were not significantly associated with clinical outcomes. All studies reached significant results in the main clinical rating scales. Biological marker outcomes were used as predictors of response, to understand mechanisms of TMS, and as a surrogate of safety. Conclusions: Functional magnetic resonance imaging, single-photon emission computed tomography, positron emission tomography, magnetic resonance spectroscopy, cortical excitability, and brain-derived neurotrophic factor consistently showed positive results. Brain-derived neurotrophic factor was the best predictor of patients’ likeliness to respond. These initial results are promising; however, all studies investigating BMs are small, used heterogeneous samples, and did not take into account confounders such as age, sex, or family history. Based on our findings, we recommend further studies to validate BMs in noninvasive brain stimulation trials in MDD.

Are cognitive interventions for multiple sclerosis effective and feasible?

Purpose: Fifty percent of patients with Multiple Sclerosis (MS) are estimated to have cognitive impairments leading to considerable decline in productivity and quality of life. Cognitive intervention has been considered to complement pharmacological treatments. However, a lack of agreement concerning the efficacy of cognitive interventions in MS still exists. A systematic review and meta-analysis was conducted to assess the effects of cognitive interventions in MS. Methods: To overcome limitations of previous meta-analyses, several databases were searched only for Randomized Clinical Trials (RCTs) with low risk of bias. Results: Five studies (total of 139 participants) met our eligibility criteria. Although good completion and adherence rates were evident, we found no evidence of intervention effects on cognition or mood in post-intervention or follow-up assessments. Conclusions: This is the first meta-analysis assessing the effects of cognitive intervention in MS including only RCTs with comparable conditions. Research regarding efficacy, cost-effectiveness and feasibility is still in its infancy. Caution is advised when interpreting these results due to the small number of RCTs meeting the inclusion criteria. Considering the costs of disease, good completion and adherence rates of this approach, further research is warranted. Recommendations concerning improved research practices in the field are presented as well.

Molecular regulation of flowering induction in Quercus suber

Dissertação de mestrado em Plant Molecular Biology, Biotechnology and Bioentrepeneurship

Microscopy- or DNA-based analyses: Which methodology gives a truer picture of stream-dwelling decomposer fungal diversity?

We assessed aquatic hyphomycete diversity in autumn and spring on oak leaves decomposing in five streams along a gradient of eutrophication in the Northwest of Portugal. Diversity was assessed through microscopy-based (identification by spore morphology) and DNA-based techniques (Denaturing Gradient Gel Electrophoresis and 454 pyrosequencing). Pyrosequencing revealed five times greater diversity than DGGE. About 21% of all aquatic hyphomycete species were exclusively detected by pyrosequencing and 26% exclusively by spore identification. In some streams, more than half of the recorded species would have remained undetected if we had relied only on spore identification. Nevertheless, in spring aquatic hyphomycete diversity was higher based on spore identification, probably because many species occurring in this season are not yet connected to ITS barcodes in genetic databases. Pyrosequencing was a powerful tool for revealing aquatic hyphomycete diversity on decomposing plant litter in streams and we strongly encourage researchers to continue the effort in barcoding fungal species.

Automatic eye blink detection using consumer web cameras

This research aims to advance blinking detection in the context of work activity. Rather than patients having to attend a clinic, blinking videos can be acquired in a work environment, and further automatically analyzed. Therefore, this paper presents a methodology to perform the automatic detection of eye blink using consumer videos acquired with low-cost web cameras. This methodology includes the detection of the face and eyes of the recorded person, and then it analyzes the low-level features of the eye region to create a quantitative vector. Finally, this vector is classified into one of the two categories considered —open and closed eyes— by using machine learning algorithms. The effectiveness of the proposed methodology was demonstrated since it provides unbiased results with classification errors under 5%

Sistema de apoio à decisão clínica: quality of life system

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

Automatic distinction of Fernando Pessoas’ heteronyms

Text Mining has opened a vast array of possibilities concerning automatic information retrieval from large amounts of text documents. A variety of themes and types of documents can be easily analyzed. More complex features such as those used in Forensic Linguistics can gather deeper understanding from the documents, making possible performing di cult tasks such as author identi cation. In this work we explore the capabilities of simpler Text Mining approaches to author identification of unstructured documents, in particular the ability to distinguish poetic works from two of Fernando Pessoas' heteronyms: Alvaro de Campos and Ricardo Reis. Several processing options were tested and accuracies of 97% were reached, which encourage further developments.

Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.

Effects of bariatric surgery on the central nervous system and eating behavior in humans: a systematic review on the neuroimaging studies

INTRODUCTION: Neuroimaging studies suggest that obese people might show hyperactivity of brain areas regarding reward processing, and hypoactivity of brain areas concerning cognitive control, when exposed to food cues. Although the effects of bariatric surgery on the central nervous system and eating behavior are well known, few studies have used neuroimage techniques with the aim of investigating the central effects of bariatric surgery in humans. OBJECTIVES: This paper systematically and critically reviews studies using functional neuroimaging to investigate changes on the patterns of activation of central areas related to the regulation of eating behavior after bariatric surgery. METHOD: A search on the databases Medline, Web of Science, Lilacs and Science Direct on Line, was conducted in February 2013, using the keywords "Neuroimaging", "Positron-Emission Tomography", "Magnetic Resonance Imaging", "Gastric Bypass", "Gastroplasty", "Jejunoileal Bypass", "Bariatric Surgery". RESULTS: Seven manuscripts were included; the great majority studied the central effects of Roux en Y gastric bypass, using positron emission tomography or functional magnetic resonance. CONCLUSIONS: Bariatric surgery might normalize the activity of central areas concerned with reward and incentive salience processing, as the nucleus accumbens and mesencephalic tegmental ventral area, as well as circuitries processing behavioral inhibition, as the dorsolateral prefrontal cortex.

Immersiveness of ubiquitous computing environments prototypes: A case study

The development of ubiquitous computing (ubicomp) environments raises several challenges in terms of their evaluation. Ubicomp virtual reality prototyping tools enable users to experience the system to be developed and are of great help to face those challenges, as they support developers in assessing the consequences of a design decision in the early phases of development. Given the situated nature of ubicomp environments, a particular issue to consider is the level of realism provided by the prototypes. This work presents a case study where two ubicomp prototypes, featuring different levels of immersion (desktop-based versus CAVE-based), were developed and compared. The goal was to determine the cost/benefits relation of both solutions, which provided better user experience results, and whether or not simpler solutions provide the same user experience results as more elaborate one.

Exploring scenario exploration

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.