Habiter l’enfance approche de l’habitat dans les premiers récits d’Eugène Savitzkaya

L‘auteur entreprend l‘approche de l‘importance particulière du rapport aux espaces habités ou inhabités dans l‘imaginaire et la construction narrative des textes fictionnels de l‘écrivain belge francophone contemporain Eugène Savitzkaya de Mentir (1977) jusqu‘à En vie (1994). Il s‘agit de souligner la pertinence de l‘habitat en tant que support des imaginaires de l‘enfance et de la poétisation du quotidien. L‘espace s‘avère en effet un repère symbolique et poétique chez Savitzkaya ; ce qui lui permet de s‘exprimer et d‘exprimer son enfance sur un mode autofictionnel.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Relação entre qualidade da quditoria e manipulação de resultados

A presente dissertação tem como objetivo analisar se existe relação entre a manipulação de resultados e a qualidade da auditoria, baseado no estudo do comportamento de determinados “accruals” nas empresas portuguesas não cotadas. Nos diversos estudos existentes sobre o tema “Relação da Qualidade da Auditoria e Manipulação de Resultados”, surgem abordados muitos aspetos, nomeadamente no que respeita às motivações, às formas de manipulação e métodos de deteção que se verifica no campo da auditoria e, este trabalho, pretende abordar se o processo da auditoria é, ou não, eficaz na deteção destas práticas efetuadas pelos gestores, pois isso influencia a confiança naqueles que utilizam a informação financeira. Desta forma, o trabalho pretende basear-se nestas abordagens e complementar visões e conclusões. Neste âmbito, surgem perspetivas e informações que alertam para comportamentos de risco, assim como a sua origem, ou seja, as motivações que provocam esta prática, tanto por parte dos gestores como dos administradores. É nesta perspetiva que este trabalho se enquadra, numa sociedade contemporânea que continuadamente dá exemplos reais e concretos destas práticas. Um ponto é comum, que é o facto de a manipulação dos resultados surgir principalmente pelo motivo dos interesses e motivações por parte dos gestores em conseguirem benefícios. Na tese são abordados os incentivos que levam à manipulação no contexto português, que parecem estar relacionados com o contexto económico e fiscal, onde é desenvolvida a atividade dos agentes económicos. Outra abordagem importante no trabalho é a referência às principais metodologias de detenção da manipulação de resultados, nomeadamente os modelos baseados nos accruals e na distribuição de resultados. O modelo empírico deste estudo consiste numa regressão linear múltipla, com o objetivo de explicar a relação, entre a variável accruals discricionários e as variáveis Big4, a dimensão da empresa, o endividamento, o volume de negócios e a rendibilidade. Para complementar este estudo a análise empírica incidiu sobre 4723 empresas portuguesas não cotadas, a amostra usada foi baseada na base de dados SABI, para um período de análise entre 2011 a 2013. Os resultados encontrados sugerem que existe relação entre a qualidade da auditoria e a manipulação dos resultados concluindo que as empresas auditadas pelas Big4 apresentam accruals discricionários inferiores às restantes empresas.

The immediate effects of atlanto-occipital joint manipulation and suboccipital muscle inhibition technique on active mouth opening and pressure pain sensitivity over latent myofascial trigger points in the masticatory muscles

DESIGN: A randomized controlled trial.OB JECTIVE: To investigate the immediate effects on pressure pain thresholds over latent trigger points (TrPs) in the masseter and temporalis muscles and active mouth opening following atlanto-occipital joint thrust manipulation or a soft tissue manual intervention targeted to the suboccipital muscles. BACKGROUND : Previous studies have described hypoalgesic effects of neck manipulative interventions over TrPs in the cervical musculature. There is a lack of studies analyzing these mechanisms over TrPs of muscles innervated by the trigeminal nerve. METHODS: One hundred twenty-two volunteers, 31 men and 91 women, between the ages of 18 and 30 years, with latent TrPs in the masseter muscle, were randomly divided into 3 groups: a manipulative group who received an atlanto-occipital joint thrust, a soft tissue group who received an inhibition technique over the suboccipital muscles, and a control group who did not receive an intervention. Pressure pain thresholds over latent TrPs in the masseter and temporalis muscles, and active mouth opening were assessed pretreatment and 2 minutes posttreatment by a blinded assessor. Mixed-model analyses of variance (ANOVA) were used to examine the effects of interventions on each outcome, with group as the between-subjects variable and time as the within-subjects variable. The primary analysis was the group-by-time interaction. RESULTS: The 2-by-3 mixed-model ANOVA revealed a significant group-by-time interaction for changes in pressure pain thresholds over masseter (P<.01) and temporalis (P =.003) muscle latent TrPs and also for active mouth opening (P<.001) in favor of the manipulative and soft tissue groups. Between-group effect sizes were small. CONCLUSIONS: The application of an atlanto-occipital thrust manipulation or soft tissue technique targeted to the suboccipital muscles led to an immediate increase in pressure pain thresholds over latent TrPs in the masseter and temporalis muscles and an increase in maximum active mouth opening. Nevertheless, the effects of both interventions were small and future studies are required to elucidate the clinical relevance of these changes. LEVEL OF EVIDENCE : Therapy, level 1b. J Orthop Sports Phys Ther 2010;40(5):310-317. doi:10.2519/jospt.2010.3257. KEYWORDSDS: cervical manipulation, muscle trigger points, neck, TMJ, upper cervical.