Mostrando recursos 81 - 100 de 28.941

  1. Evaluating openEHR for defining machine readable electronic health record phenotypes: lessons from the CALIBER resource

    Papez, V; Denaxas, S
    Linked Electronic Health Records (EHR) are increasingly being used for research. The process of defining and validating EHR phenotypes poses significant challenges as data have been collected for care, auditing or administrative purposes and not research. Challenges are further amplified by the lack of common standards for describing EHR phenotypes, making their reproducibility problematic. While phenotype components are often controlled clinical terminology terms, definitions and algorithmic logic are expressed in unstructured textual and/or graphical form which is not machine-readable. Open-source clinical data specifications, such as openEHR, can potentially address some of these challenges and used to define computable EHR-derived phenotypes....

  2. Arithmetical algorithms for elementary patterns

    Alexander, SA

  3. O tecer da rede de saúde mental

    Braz, Pamela da Silva
    Este trabalho de conclusão de curso analisa o contexto atual da Rede de Saúde Mental. Para tanto uso como base a experiência empírica do Estágio Obrigatório em Serviço Social, ocorrido no Centro de Atenção Psicossocial do Hospital de Clinicas de Porto Alegre. Contextualizo a saúde a partir da regulamentação como um direito socialmente atribuído, através do movimento sanitário. Será dada ênfase a expansão do cuidado integrado a partir das Unidades Básicas de saúde, como forma descentralizada do cuidado. A análise da saúde mental parte do movimento de ruptura com o conservadorismo, a partir do movimento da reforma psiquiátrica, prevista pela...

  4. Da passarela às vitrines: a apropriação de tendências da semana de moda de Nova York pelas lojas Renner

    Lahm, Yasmin
    Este trabalho tem como tema a apropriação de tendências de moda difundidas por grifes internacionais pela cadeia brasileira de fast fashion Lojas Renner. Seu objetivo é investigar se a Renner reproduz as tendências lançadas pelas marcas internacionais em suas coleções, apurando se estas são usadas como referência na criação de coleções pela fast fashion. Com este objetivo em vista, foi construído um panorama teórico compreendendo uma perspectiva histórica dos primórdios da moda como indústria, a evolução da sua dinâmica de mercado ao longo dos anos, uma análise dos significados assumidos pelo conceito de tendência e um compêndio de teorias acerca...

  5. A logic-reasoning based system to harness bioprocess experimental data and knowledge for design

    Zhang, J; Hunter, A; Zhou, Y
    Bioprocess design requires substantial resources during the experimental investigation of the options for each bioprocess step. This is both time-consuming and expensive. The amount of data available has increased exponentially since the expansion of new biological drug development. Data are heterogeneous, sometimes inconsistent and incomplete, making them difficult to be systematically utilised for analysis for any new bioprocess design. In this paper, we report a novel computational method that harnesses the bioprocess experimental data to assist design decision making, and perhaps identify further needed experiments. First, we develop a new data representation structure to capture the experimental data systematically. Then...

  6. Women (Re)Writing Language: Literary Approaches to the Linguistic Representation of Women and Men in English and German

    Luck, C
    Since the 1970s activists and linguists have argued for a more inclusive linguistic representation of women and men. As a result, editorial guidelines, legislation and everyday usage now incorporate more inclusive terms. However, in many instances men continue to be referenced as the linguistic norm. The research questions guiding this thesis are: ‘Can literary texts help to shape attitudes toward inclusive language?’ and ‘Can they help to advance linguistic change?’ My starting point is narrative research. Zwaan showed that literary texts are processed differently to non-fiction. Furthermore, literary texts are able to ‘get under the radar’ of certain preconceptions, Dal...

  7. Using PVS to support the analysis of distributed cognition systems

    Masci, P; Curzon, P; Furniss, D; Blandford, A
    The rigorous analysis of socio-technical systems is challenging, because people are inherent parts of the system, together with devices and artefacts. In this paper, we report on the use of PVS as a way of analysing such systems in terms of distributed cognition. Distributed cognition is a conceptual framework that allows us to derive insights about plausible user trajectories in socio-technical systems by exploring what information in the environment provides resources for user action, but its application has traditionally required substantial craft skill. DiCoT adds structure and method to the analysis of socio-technical systems from a distributed cognition perspective. In...

  8. The role of environmental sustainability in marketing of small architectural design practices

    Murtagh, N; Roberts, A; Hind, R
    Environmental sustainability in construction is a pressing concern. Despite their importance to the industry, and evident differences from large organizations in business strategy, markets and challenges, the literature has little to say about how small architectural design firms view the marketing potential of improved environmental sustainability. The aim is to address this gap by examining practitioner experience of sustainability and marketing in small architectural design practices. Semi-structured interviews were conducted with 16 such practices. A critical interpretive stance was adopted in analysis, drawing on the theoretical framings of service-dominant logic (SDL) and relationship marketing. Sustainable design is part of the...

  9. Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation

    Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael
    Part 8: Privacy for eHealth and eID Applications

  10. Automated Evaluation of Annotators for Museum Collections Using Subjective Logic

    Ceolin, Davide; Nottamkandath, Archana; Fokkink, Wan
    Part 2: Short Papers

  11. Uma Epistemologia Racional-Realista e o Ensino da Física

    Silveira, Fernando Lang da
    A Filosofia da Ciência de Karl Popper e Imre Lakatos é o referencial teórico para a proposta de uma estratégia de mudança das concepções alternativas para concepções científicas. A estratégia foi testada empiricamente em nove estudos conduzidos com alunos de Física 1 e 2 das engenharias da PUCRS e UFRGS. Os nove estudos corroboraram a eficácia da estratégia na promoção das mudanças pretendidas. Aborda-se também o ensino da Mecãnica Quântica. Discute-se a questão das interpretações desta teoria, utilizando-se como referencial teórico a epistemologia racionalista e realista de Karl Popper e mario Bunge. Critica-se a interpretação não-realista da Escola de Copenhague...

  12. Having Fun With 31.521 Shell Scripts

    Jeannerod, Nicolas; Régis-Gianas, Yann; Treinen, Ralf
    Statically parsing shell scripts is, due to various peculiarities of the shell language, a challenge. One of the difficulties is that the shell language is designed to be executed by intertwining reading chunks of syntax with semantic actions. We have analyzed a corpus of 31.521 POSIX shell scripts occurring as maintainer scripts in the Debian GNU/Linux distribution. Our parser, which makes use of recent developments in parser generation technology, succeeds on 99.9% of the corpus. The architecture of our tool allows us to easily plug in various statistical analyzers on the syntax trees constructed from the shell scripts. The statistics...

  13. Models and termination of proof reduction in the λΠ-calculus modulo theory

    Dowek, Gilles
    We define a notion of model for the λΠ-calculus modulo theory and prove a soundness theorem. We then define a notion of super-consistency and prove that proof reduction terminates in the λΠ-calculus modulo any super-consistent theory. We prove this way the termination of proof reduction in several theories including Simple type theory and the Calculus of constructions .

  14. Passive dynamic motion

    Tsai, M-S; Fang, H; Leung, C
    This paper investigates the application of passive dynamic motion in an architectural context. Through a design project for a deployable canopy, we present strategies to operate its movable elements with passive responses to more than one environmental condition. The principle of the "heat-motor" to exploit thermal-to-mechanical energy conversion is used. The materials and construction of the canopy together with the transition logic for each environmental response is described. A user override to the passive response is described, its implications for resolving potential conflicts between an automatic response and occupant preference is discussed. The implication for applying passive actuation strategies within...

  15. Prospective logic agents

    Pereira, LM; Lopes, G

  16. Territórios subjetivos na Ilha da Pintada : traçando caminhos com o coletivo colaí, movimento de cultura

    Leal, Bruna Molina
    Esta dissertação tem como objetivo problematizar como o coletivo Colaí, Movimento de Cultura tem construído territórios subjetivos a partir das experiências promovidas na Ilha da Pintada, em Porto Alegre. Acompanhamos atividades do Colaí, coletivo de jovens, criado a partir da iniciativa de um grupo de amigos, que buscou ocupar uma praça da comunidade de maneira distinta, promovendo atividades de lazer, esporte e cultura. Apesar de ter uma posição central na comunidade, localizada ao lado de uma escola, a praça escolhida pelos jovens estava em processo de abandono, referenciada por moradores como espaço de “tráfico de drogas” e de circulação de...

  17. Itinerários de Turismo Solidário: o caso do Bairro da Mouraria

    Delgado, Joana Rita Torres
    A presente dissertação teve como objetivo desenvolver e apresentar propostas de itinerários de turismo solidário para o bairro da Mouraria em Lisboa, procurando estudar formas de turismo em forte crescimento no contexto de um bairro multifacetado e multicultural. Os itinerários turísticos constituem formas privilegiadas de organização da oferta turística e no contexto da sustentabilidade local podem ser organizados e implementados numa lógica de desenvolvimento comunitário, respondendo à crescente procura de experiências autênticas por parte dos turistas, onde a responsabilidade social e a participação ativa nos modos de vida das comunidades locais constituiu atualmente um dos eixos centrais da experiência turística....

  18. Monoidal-Closed Categories of Tree Automata

    Riba, Colin
    We propose a realizability semantics for automata on infinite trees, based on categories of games built on usual simple games, and generalizing usual acceptance games of tree automata. Our approach can be summarized with the slogan " automata as objects, strategies as morphisms ". We show that the operations on tree automata used in the translations of MSO-formulae to automata (underlying Rabin's Theorem, that is the decidability of MSO on infinite trees) can be organized in a deduction system based on the multiplica-tive fragment of intuitionistic linear logic (ILL). Namely, we equip a variant of usual alternating tree automata (that...

  19. $rec.titulo

    Assaf, Ali; Dowek, Gilles; Jouannaud, Jean-Pierre; Liu, Jiaxiang
    We investigate techniques based on van Oostrom's decreasing diagrams that reduce confluence proofs to the checking of critical pairs in the absence of termination properties, which are useful in dependent type calculi to prove confluence on untyped terms. These techniques are applied to a complex example taken from practice: a faithful encoding in an extension of LF with rewrite rules on objects and types, of the calculus of constructions with a cumulative hierarchy of predicative universes above Prop. The rules may be first-order or higher-order, plain or modulo, non-linear on the right or on the left. Variables which occur non-linearly...

  20. On the Proof Theory of Indexed Nested Sequents for Classical and Intuitionistic Modal Logics

    Marin, Sonia; Straßburger, Lutz
    Fitting's indexed nested sequents can be used to give deductive systems to modal logics which cannot be captured by pure nested sequents. In this paper we show how the standard cut-elimination procedure for nested sequents can be extended to indexed nested sequents, and we discuss how indexed nested sequents can be used for intuitionistic modal logics.

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.