FORMAÇÃO EM SAÚDE MENTAL DE ACADÊMICOS DO CURSO DE MEDICINA

A saúde mental tem estado em pauta e está no centro das atenções do século XXI, dada a sua prevalência e importância no bem-estar geral das pessoas. Nesse sentido, a formação médica na área de saúde mental, assume papel importante para contemplar profissionais capazes de lidar com o sofrimento emocional das pessoas. Assim, o objetivo deste trabalho foi de caracterizar a formação em saúde mental do curso de Medicina da Univali, identificando suas potencialidades e fragilidades. O estudo de abordagem qualitativa realizou coleta de dados a partir de entrevistas semiestruturadas com três professores e três alunos do curso. Para análise de dados foi utilizada a técnica de análise de conteúdo temático. A partir da leitura e análise das entrevistas, emergiram quatro categorias relacionadas à formação em saúde mental: organização curricular – com pequena exposição em atividades de saúde mental ao longo do curso e deficiência no processo avaliativo como limitadores no processo formativo; estrutura emocional dos estudantes – fragilidade com a necessidade de suporte emocional e potência pela possibilidade de humanização, necessária para a prática em saúde mental; transferência, contratransferência e projeção – com necessidade de acompanhamento psicológico para o exercício da prática em saúde mental; subjetividade da saúde mental – dificuldade de assimilação pela lógica hegemônica objetiva do modelo tradicional biomédico. Nesse sentido o estudo aponta para a necessidade de uma visão diferente na organização do curso, que transcenda a estrutura curricular focado na disciplina, para o cuidado com o estudante de medicina

FORMAÇÃO EM SAÚDE MENTAL DE ACADÊMICOS DO CURSO DE MEDICINA

A saúde mental tem estado em pauta e está no centro das atenções do século XXI, dada a sua prevalência e importância no bem-estar geral das pessoas. Nesse sentido, a formação médica na área de saúde mental, assume papel importante para contemplar profissionais capazes de lidar com o sofrimento emocional das pessoas. Assim, o objetivo deste trabalho foi de caracterizar a formação em saúde mental do curso de Medicina da Univali, identificando suas potencialidades e fragilidades. O estudo de abordagem qualitativa realizou coleta de dados a partir de entrevistas semiestruturadas com três professores e três alunos do curso. Para análise de dados foi utilizada a técnica de análise de conteúdo temático. A partir da leitura e análise das entrevistas, emergiram quatro categorias relacionadas à formação em saúde mental: organização curricular – com pequena exposição em atividades de saúde mental ao longo do curso e deficiência no processo avaliativo como limitadores no processo formativo; estrutura emocional dos estudantes – fragilidade com a necessidade de suporte emocional e potência pela possibilidade de humanização, necessária para a prática em saúde mental; transferência, contratransferência e projeção – com necessidade de acompanhamento psicológico para o exercício da prática em saúde mental; subjetividade da saúde mental – dificuldade de assimilação pela lógica hegemônica objetiva do modelo tradicional biomédico. Nesse sentido o estudo aponta para a necessidade de uma visão diferente na organização do curso, que transcenda a estrutura curricular focado na disciplina, para o cuidado com o estudante de medicina

Wrapping corrections, reciprocity and BFKL beyond the sl(2) subsector in N=4 SYM

We consider N=4 SYM and a class of spin N, length-3, twist operators beyond the well studied sl(2) subsector. They can be identified at one-loop with three gluon operators. At strong coupling, they are associated with spinning strings with two spins in AdS5. We exploit the Y-system to compute the leading weak-coupling four loop wrapping correction to their anomalous dimension. The result is written in closed form as a function of the spin N. We combine the wrapping correction with the known four-loop asymptotic Bethe Ansatz contribution and analyze special limits in the spin N. In particular, at large N, we prove that a generalized Gribov-Lipatov reciprocity holds. At negative unphysical spin, we present a simple BFKL-like equation predicting the rightmost leading poles.Comment: 18 page

Reasoning with Metric Temporal Logic and Resettable Skewed Clocks

The formal verification of distributed real-time systems is challenging due to the interaction between the local computation and the communication between the different nodes of a network. The overall correctness of the system relies on local properties and timing exchange of data between components. This requires to take into account the drift of local clocks and their synchronization. The reference time of local properties may be given by skewed and resettable (thus non-monotonic) clocks. In this paper, we consider automated reasoning over MTLSK, a variant of MTL over Resettable Skewed Clocks. We focus on metric operators with lower and upper parametric bounds. We provide an encoding into temporal logic modulo the theory of reals and we solve satisfiability with SMT-based model checking techniques. We implemented and evaluated the approach on typical properties of real-time systems

Asynchronous Composition of Local Interface LTL Properties

The verification of asynchronous software components is very challenging due to the non-deterministic interleaving of components and concurrent access to shared variables. Compositional approaches decouple the problem of verifying local properties specified over the component interfaces from the problem of composing them to ensure some global property. In this paper, we focus on symbolic model checking techniques for Linear-time Temporal Logic [24] (LTL) properties on asynchronous software components communicating through data ports. Differently from event-based composition, the local properties can specify constraints on the input provided by other components, making their composition more complex. We propose a new LTL rewriting that translates a local property into a global one taking into account interleaving with other processes. We demonstrate that for every possible global trace, the local LTL property is satisfied by its projection on the local symbols if and only if the rewritten LTL property is satisfied by the global trace. This rewriting is then optimized, reducing the size of the resulting formula and leaving it unchanged when the temporal property is stutter invariant. We also consider an alternative approach where the local formulas are first translated into fair transition systems and then composed. This work has been implemented inside the contract-based design model checking tool OCRA as part of the contract refinement verification suite. Finally, the different composition approaches were compared through an experimental evaluation that covers various types of specifications

Metric Temporal Logic with Resettable Skewed Clocks

Distributed Real Time Systems (DRTS) are systems composed of various components communicating through a network and depending on a large number of timing constraints on the exchanged data and messages. Formal verification of DRTS is very challenging due to the intertwining of timing constraints and synchronization and communication mecha-nisms. Moreover, in a decentralized system, clocks may be skewed and it is necessary to synchronize them periodically, e.g., with the Berkeley synchronization algorithm

COMPASTA: Integrating COMPASS Functionality into TASTE

TASTE is a tool chain dedicated to the design and implementation of embedded, real-time systems, developed under the initiative of the European Space Agency (ESA). It consists of various tools, which support model-based design of embedded systems, automatic code generation, deployment and simulation. TASTE is based on several specification languages, in particular it uses AADL for the architectural design, whereas the behavior of SW components can be specified in SDL and other languages. TASTE currently lacks a comprehensive support for performing early verification and assessment of the design models. COMPASTA is an ESA study that aims at filling this gap, by integrating into TASTE the formal verification functionality of COMPASS, a tool for model-based HWSW co-Engineering developed in a series of ESA studies. COMPASTA extends TASTE by providing the possibility to model the behavior of HW components using SLIM, a dialect of AADL supported by COMPASS. Moreover, it offers capabilities such as library-based specification of HW faults, automatic fault injection, contract-based design, functional verification and safety assessment, fault detection and identification analysis

Synthesis and biosynthesis of isocordoin

In the search of a convenient synthesis for isocordoin (1), a potential anticancer natural product, 2 ' ,4 ' -dihydroxychalcone was inoculated in cell suspension cultures of Morus nigro, which were expected to contain an active prenyltransferase. After 24 hours the target compound was easily isolated from the metabolite extract. Optimization of the biotransformation resulted in a 85% yield of the prenyl derivative

COMPASTA: Extending TASTE with Formal Design and Verification Functionality

TASTE is a development environment dedicated to embedded, real-time systems, developed under the initiative of the European Space Agency. It consists of various tools, such as graphical editors, code generators and visualizers, which support model-based design of embedded systems, automatic code generation, deployment and simulation. TASTE currently lacks a comprehensive support for performing early verification and assessment of the design models. The goal of the COMPASTA study is to integrate the formal verification capabilities of COMPASS into TASTE. COMPASS is a tool for model-based System-SW Co-Engineering developed in a series of ESA studies, offering formal design and verification capabilities, such as requirements analysis, contract-based design, functional verification and safety assessment, fault detection and identification analysis. COMPASTA will deliver a full end-to-end coherent tool chain, based on TASTE, covering system design, HW/SW implementation, deployment and testing

Copper affect the multixenobiotic resistance mechanism (MXR) in embryo and larvae of Rhamdia quelen

P-glycoproteins (P-gp) and Multidrug resistance protein (MRP) represent a family of ABC (ATP-binding cassette) transporters responsible for multixenobiotic resistance mechanism (MXR) in aquatic organisms. In the current study the modulation of P-gp and MRP proteins was evaluated in embryo and larvae of Rhamdia quelen fish species exposed to copper. Adult females were exposed by gavage during 60 days to copper (5 mg Cu kg-1) and eggs, embryos, and larvae from exposed and unexposed females were exposed to 30 mg Cu L-1. The activity of ABC transporters was accessed via calcein accumulation assay using the specific inhibitors: Verapamil (P-gp) and MK571 (MRP). P-gp activity was detected in all analyzed stages whereas MRP activity was observed after 36 and 96 hpf. Oocytes from females previously exposed and larvae stages (36 and 96 hpf) accumulated less calcein than no exposed oocytes, showing higher ABC transporters activity. In individuals exposed to copper, a higher inhibitory effect was observed 1 hpf. The modulation of ABC transporter proteins is time dependent throughout the development, and the initial stages are more sensible to copper. These findings highlight the MXR mechanism as a biomarker of pollutant exposure in early stages of development of R. quelen