Papers by Helle Krogh Hansen
... Det kropslige hierarki Lise Widding Isaksen (2003) foretager en analyse af de symbolstrukture... more ... Det kropslige hierarki Lise Widding Isaksen (2003) foretager en analyse af de symbolstrukturer, der omgiver krop-pen og ser på de måder, hvorpå kulturelle forestillinger om kroppen påvirker organiseringen og fortolkningen af plejearbejdet. ...
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynam... more Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-player games. Semantically, the generalisation from programs to games is mirrored by moving from Kripke models to monotone neighbourhood models. Parikh proposed a natural PDL-style Hilbert system which was easily proved to be sound, but its completeness has thus far remained an open problem. In this paper, we introduce a cut-free sequent calculus for game logic, and two cut-free sequent calculi that manipulate annotated formulas, one for game logic and one for the monotone $\mu$ -calculus, the variant of the polymodal $\mu$ -calculus where the semantics is given by monotone neighbourhood models instead of Kripke structures. We show these systems are sound and complete, and that completeness of Parikh's axiomatization follows. Our approach builds on recent ideas and results by Afshari & Leigh (LICS 2017...
Qualitative Studies, 2011
Narrative journalism is a method to craft stories worth reading about real people. In this articl... more Narrative journalism is a method to craft stories worth reading about real people. In this article, we explore the ability of that communicative power to produce insights complementary to those obtainable through traditional qualitative and quantitative research methods. With examples from a study of journalistic narrative as patient involvement in professional rehabilitation, interview data transcribed as stories are analyzed for qualities of heterogeneity, sensibility, transparency, and reflexivity. Building on sociological theories of thinking with stories, writing as inquiry, and public journalism as ethnography, we suggest that narrative journalism as a common practice might unfold dimensions of subjective otherness of the self. Aspiring to unite writing in both transparently confrontational and empathetically dialogic ways, the narrative journalistic method holds a potential to expose dynamics of power within the interview.
Electronic Proceedings in Theoretical Computer Science, 2019
We present a proof of Arrow's theorem from social choice theory that uses a fixpoint argument. Sp... more We present a proof of Arrow's theorem from social choice theory that uses a fixpoint argument. Specifically, we use Banach's result on the existence of a fixpoint of a contractive map defined on a complete metric space. Conceptually, our approach shows that dictatorships can be seen as "stable points" (fixpoints) of a certain process.
Tidsskrift for Forskning i Sygdom og Samfund, 2014
Flere undersøgelser viser, at en kræftdiagnose kan afstedkomme en eksistentiel chokbølge med angs... more Flere undersøgelser viser, at en kræftdiagnose kan afstedkomme en eksistentiel chokbølge med angst, fremtidsbekymringer og revidering af livsplaner som følge. Håb er en vigtig komponent af livet med en kræftsygdom, men der mangler viden om, hvordan håb udspiller sig konkret i hverdagslivet med kræft, og hvordan håb påvirker og påvirkes af sociale relationer. En indsigt heri vil kunne bane vej for, at rehabilitering tilrettelægges, således at håb, livsplaner og livsorienteringer bliver en integreret del heraf. Artiklen bygger på etnografisk materiale fra forfatternes antropologiske studier blandt mennesker med kræft i Danmark. Cheryl Mattinglys begreb håbsarbejde og Barbara Adams begreber om tid benyttes til at sætte fokus på nogle overordnede tidsorienteringer eller temporaliteter. Vi viser, at et liv med kræft analytisk kan anskues som et ophold i en lobby, hvor fremtiden er usikker og forbundet med konkrete ny-orienteringer, handlinger og praksis.
Journal of Clinical Nursing, 2015
Family Practice, 2015
Background. Clinical guidelines are considered to be essential for improving quality and safety o... more Background. Clinical guidelines are considered to be essential for improving quality and safety of health care. However, interventions to promote implementation of guidelines have demonstrated only partial effectiveness and the reasons for this apparent failure are not yet fully understood. Objective. To investigate how GPs implement clinical guidelines in everyday clinical practice and how implementation approaches differ between practices. Methods. Individual semi-structured open-ended interviews with seven GPs who were purposefully sampled with regard to gender, age and practice form. Interviews were recorded, transcribed verbatim and then analysed using systematic text condensation. Results. Analysis of the interviews revealed three different approaches to the implementation of guidelines in clinical practice. In some practices the GPs prioritized time and resources on collective implementation activities and organized their everyday practice to support these activities. In other practices GPs discussed guidelines collectively but left the application up to the individual GP whilst others again saw no need for discussion or collective activities depending entirely on the individual GP's decision on whether and how to manage implementation. Conclusion. Approaches to implementation of clinical guidelines vary substantially between practices. Supporting activities should take this into account.
International Journal of Nursing Studies, 2016
A lonely life-A qualitative study of immigrant women on long-term sick leave in Norway. Internati... more A lonely life-A qualitative study of immigrant women on long-term sick leave in Norway. International journal of nursing studies. A lonely life A qualitative study of immigrant women on long-term sick leave in Norway Background: This study focuses on the everyday life of immigrant women with chronic pain on long-term sick leave in Norway. Research has shown that rehabilitation of immigrant women with chronic pain might be challenging both due to their lack of linguistic competence, due to lack of sufficient confidence/trust in their employers and in health personnel and lack of knowledge/skills among health care personnel in meeting immigrants' special needs. Objective: The objective of the study was to explore how immigrant women on long-term sick leave in Norway due to chronic pain experience their illness and their relationships at work and in the family. Design: This article has a qualitative design, using participant observation and in-depth interviews. Methods: Participant observations were carried out in an outpatient clinic and qualitative interviews were conducted after the rehabilitation period. A hermeneutic approach was used to understand the meaning of the narrated text. All the authors participated in the discussion of the findings, and consensus was obtained for each identified theme. Settings: The research was conducted at an outpatient clinic at a rehabilitation hospital in the southern part of Norway. The clinic offers wide-ranging, specialized, multidisciplinary patient A lonely life 2 evaluations that last between 24 and 48 hours, followed by advice and/or treatment either individually or in a group, i.e. in a rehabilitation course. Participants: Participants (immigrant women) who had been referred to the outpatient clinic and to a rehabilitation course were recruited. Fourteen African and Asian women were observed in two rehabilitation courses, and eleven of them agreed to be interviewed once or twice (3). Results: The interpretation revealed the following two main themes: 'Shut inside the home' and 'Rejected at the workplace'. Based on the women's experiences, a new understanding emerged of how being excluded or not feeling sufficiently needed, wanted or valued by colleagues, employers or even by family members rendered their daily lives humiliating and lonely. Conclusions: The immigrant women on long-term sick leave live in triple jeopardy: being ill and being lonesome both at home and at the workplace. This can be described as a vicious circle where the humiliating domestic and workplace-rejection might reinforce both the women's experience of shame and avoidance of telling anybody about their illness/symptoms, which then results in more days on sick leave during which they are again isolated and lonesome. There is a need for more research on multidisciplinary rehabilitation approaches designed to cater for immigrants' special needs.
Innovations in Systems and Software Engineering, 2010
We describe a translation of a subset of Executable UML (xUML) into the process algebraic specifi... more We describe a translation of a subset of Executable UML (xUML) into the process algebraic specification language mCRL2. This subset includes class diagrams with class generalisations, and state machines with send and change events. The choice of these xUML constructs is dictated by their use in the modelling of railway interlocking systems. The long term goal is to verify safety properties of interlockings modelled in xUML using the mCRL2 and LTSmin toolsets. Initial verification of an interlocking toy example demonstrates that the safety properties of model instances depend crucially on the run-tocompletion assumptions.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011
We present a fully automated approach to verifying safety properties of Executable UML models (xU... more We present a fully automated approach to verifying safety properties of Executable UML models (xUML). Our tool chain consists of a model transformation program which translates xUML models to the process algebra mCRL2, followed by symbolic model checking using LTSmin. If a safety violation is found, an error trace is visualised as a UML sequence diagram. As a novel feature, our approach allows safety properties to be specified as UML state machines.
The Patient - Patient-Centered Outcomes Research, 2015
Lecture Notes in Computer Science, 2002
DOI to the publisher's website. • The final author version and the galley proof are versions of t... more DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User Agreement:
The Analyst, 2011
In solution antimony exists either in the pentavalent or trivalent oxidation state. As Sb(III) is... more In solution antimony exists either in the pentavalent or trivalent oxidation state. As Sb(III) is more toxic than Sb(V), it is important to be able to perform a quantitative speciation analysis of Sb's oxidation state. The most commonly applied chromatographic methods used for this redox speciation analysis do, however, often show a low chromatographic Sb recovery when samples of environmental or biological origin are analysed. In this study we explored basal chemistry of antimony and found that formation of macromolecules, presumably oligomeric and polymeric Sb(V) species, is the primary cause of low chromatographic recoveries. A combination of HPLC-ICP-MS, AFFF-ICP-MS and spinfiltration was applied for analysis of model compounds and biological samples. Quantitative chromatographic Sb redox speciation analysis was possible by acidic hydrolysis of the antimony polymers prior to analysis. Sample treatment procedures were studied and the optimum solution was acidic hydrolysis by 1 M HCl in the presence of chelating ligands (EDTA, citrate), which stabilise the trivalent oxidation state of Sb.
Molecular & Cellular Proteomics, 2009
The spread of cancer cells from a primary tumor to form metastasis at distant sites is a complex ... more The spread of cancer cells from a primary tumor to form metastasis at distant sites is a complex multistep process. The cancer cell proteins and plasma membrane proteins in particular involved in this process are poorly defined, and a study of the very early events of the metastatic process using clinical samples or in vitro assays is not feasible. We have used a unique model system consisting of two isogenic human breast cancer cell lines that are equally tumorigenic in mice; but although one gives rise to metastasis, the other disseminates single cells that remain dormant at distant organs. Membrane purification and comparative quantitative LC-MS/MS proteomics identified 13 membrane proteins that were expressed at higher levels and three that were underexpressed in the metastatic compared with the non-metastatic cell line from a total of 1919 identified protein entries. Among the proteins were ecto-5-nucleotidase (CD73), NDRG1, integrin 1, CD44, CD74, and major histocompatibility complex class II proteins. The altered expression levels of proteins identified by LC-MS/MS were validated using flow cytometry, Western blotting, and immunocyto-and immunohistochemistry. Analysis of clinical breast cancer biopsies demonstrated a significant correlation between high ecto-5-nucleotidase and integrin 1 expression and poor outcome, measured as tumor spread or distant recurrence within a 10-year follow-up. Further the tissue analysis suggested that NDRG1, HLA-DR␣, HLA-DR, and CD74 were associated with the ER ؊ /PR ؊ phenotype represented by the two cell lines. The study demonstrates a quantitative and comparative proteomics strategy to identify clinically relevant key molecules in the early events of metastasis, some of which may prove to be potential targets for cancer therapy.
Mathematical Structures in Computer Science, 2011
Final coalgebras capture system behaviours such as streams, infinite trees and processes. Algebra... more Final coalgebras capture system behaviours such as streams, infinite trees and processes. Algebraic operations on a final coalgebra can be defined by distributive laws (of a syntax functor Σ over a behaviour functor F). Such distributive laws correspond to abstract specification formats. One such format is a generalisation of the GSOS rules known from structural operational semantics of processes. We show that given an abstract GSOS specification ρ that defines operations σ on a final F-coalgebra, we can systematically construct a GSOS specification ρ that defines the pointwise extension σ of σ on a final FA-coalgebra. The construction relies on the addition of a family of auxiliary ‘buffer’ operations to the syntax. These buffer operations depend only on A, so the construction is uniform for all σ and F.
The Journal of Immunology, 2009
Uploads
Papers by Helle Krogh Hansen