Mostrando recursos 141 - 160 de 27.520

  1. Certifying a crash-safe file system

    Chen, Haogang
    File systems are a cornerstone for storing and retrieving permanent data, yet they are complex enough to have bugs that might cause data loss, especially in the face of system crashes. FSCQ is the first file system that (1) provides a precise specification for the core subset of POSIX file-system APIs; and the APIs include fsync and fdatasync, which allow applications to achieve high I/O performance and crash safety, and that (2) provides a machine-checked proof that its I/O-efficient implementation meets this precise specification. FSCQ's proofs avoid crash-safety bugs that have plagued file systems, such as forgetting to insert a...

  2. Assessment of the potential for modal shift to non-motorised transport in a developing context: case of Lima, Peru

    Ortegon-Sanchez, A; Oviedo Hernandez, D
    Under the logic of Avoid, Shift, Improve, fostered by donors and NGOs worldwide, cities in the global south are investing emphatically in non-motorised facilities and policies for low-carbon mobility aiming to reduce the adverse environmental impacts of urban mobility. Such is the case of Lima, Peru, our case study. Through the analysis of the potential for integration of non-motorised facilities with current and planned public transport networks, we seek to provide evidence on the planning considerations of non-motorised facilities in Lima with an emphasis on multi-modal travel and integration of non-motorised infrastructure. We develop spatial coverage, capacity and accessibility assessment...

  3. Relatório final de estágio realizado na Escola Secundária 2,3 D. Filipa de Lencastre, com vista à obtenção do grau de Mestre em Ensino da Educação Física nos Ensinos Básico e Secundário

    Rodrigues, João Mota
    Este relatório enquadra a minha participação enquanto professor estagiário da disciplina de Educação Física na Escola Secundária 2,3 D.Filipa de Lencastre, em Lisboa, no ano letivo de 2015/2016. O processo de estágio pedagógico constituiu um momento ímpar para a aplicação contextualizada das competências técnicas e pessoais desenvolvidas ao longo da Formação Inicial em Educação Física. Foi também uma oportunidade única para operar como um agente privilegiado de mudança nos diversos contextos escolares: no âmbito das estruturas e órgãos escolares, com intima ligação à cultura subjacente aos mesmos; no intimo do Grupo de Educação Física, instituindo alterações nas lógicas curriculares e de avaliação...

  4. Fault Tolerant Integer Data Computations: Algorithms and Applications

    Anarado, IJ-F
    As computing units move to higher transistor integration densities and computing clusters become highly heterogeneous, studies begin to predict that, rather than being exceptions, data corruptions in memory and processor failures are likely to become more prevalent. It has therefore become imperative to improve the reliability of systems in the face of increasing soft error probabilities in memory and computing logic units of silicon CMOS integrated chips. This thesis introduces a new class of algorithms for fault tolerance in compute-intensive linear and sesquilinear (“one-and-half-linear”) data computations on integer data inputs within high-performance computing systems. The key difference between the proposed...

  5. Um arquivo digital de elementos gráficos pertencentes aos aliados durante a segunda guerra mundial

    Carneiro, Filipe
    Este projecto visa responder a uma lacuna encontrada num mundo digital, ao tentarmos encontrar elementos gráficos correspondentes ao tempo da Segunda Guerra Mundial, encontrávamos inúmeros elementos pertencentes ao regime Nazi, não só de característica militar, mas também um vasto número de propaganda. Enquanto que, relativo aos Aliados muito pouco era encontrado, e do que era encontrado, a maioria era propaganda, ou seja, elementos gráficos de característica militar era algo de difícil acesso. Assim, tentamos responder a este problema encontrado, apresentando a construção de website que tem como objectivo mostrar uma colecção rica destes elementos gráficos “desaparecidos” na forma de arquivo. Recolhemos então imagens...

  6. Enhancing tolerance to unexpected jumps in GR(1) games

    Dathathri, Sumanth; Livingston, Scott C.; Murray, Richard M.
    When used as part of a hybrid controller, finite-memory strategies synthesized from linear-time temporal logic (LTL) specifications rely on an accurate dynamics model in order to ensure correctness of trajectories. In the presence of uncertainty about the underlying model, there may exist unexpected trajectories that manifest as unexpected transitions under control of the strategy. While some disturbances can be captured by augmenting the dynamics model, such approaches may be conservative in that bisimulations may fail to exist for which strategies can be synthesized. In this paper, we consider games of the GR(1) fragment of LTL, and we characterize the tolerance of hybrid...

  7. Semantics for structured systems modelling and simulation

    Collinson, M; Monahan, B; Pym, D
    © Copyright 2010 ICST.Simulation modelling is an important tool for exploring and reasoning about complex systems. Many supporting languages are available. Commonly occurring features of these languages are constructs capturing concepts such as process, resource, and location. We describe a mathematical framework that supports a modelling idiom based on these core concepts, and which adopts stochastic methods for representing the environments within which systems exist. We explain how this framework can be used to give a semantics to a simulation modelling language, Core Gnosis, that includes basic constructs for process, resource, and location. We include a brief discussion of a...

  8. Perfil epidemiológico do uso e necessidade de prótese dentária em usuários do serviço de odontologia da Unidade de Saúde da Família Nossa Senhora de Belém, Porto Alegre

    Motta, Bruna Barnard
    O edentulismo caracteriza-se como um dos agravos mais incapacitantes à saúde bucal, sendo um problema de saúde pública que gera uma grande demanda, principalmente quanto aos tratamentos protéticos. O objetivo da presente pesquisa foi estimar o uso e a necessidade de prótese dentária em usuários do serviço de odontologia da Unidade de Saúde da Família (USF) Nossa Senhora de Belém, Porto Alegre, em 2013. A pesquisa teve um delineamento descritivo analítico e foi realizada na USF Nossa Senhora de Belém, no bairro Belém Velho, em Porto Alegre, Rio Grande do Sul. A coleta de dados aconteceu por meio da análise...

  9. Development of plasmonic nanomaterial‐based biosensors and bioresponsive materials for diagnostics and molecular‐scale technologies

    Molto Pallares, R
    Anisotropic metal nanoparticles have been successful used in a wide range of biomedical applications, such as diagnostics and therapy, because of their unique optical and electronic properties. Even though there is a wide range of morphologies synthetically available, the understanding of the mechanism behind the anisotropic growth of the nanoparticles is still incomplete. Regarding their application in diagnostics, metallic nanoparticle-based biosensors are facing new challenges, such as the discovery of novel circulating cancer biomarkers (e.g. cell-free DNA), which require sensitivities that cannot be achieved by traditional approaches. The research of this thesis covers current challenges in three specific areas found...

  10. Relações públicas e cooperativismo: o uso do informativo na comunicação com os associados de uma cooperativa

    Leidens, Thaís
    Este estudo possui como objetivo principal estudar Relações Públicas e comunicação dirigida, destacando a importância de instrumentos informativos para a implementação e a manutenção de relacionamentos com públicos de organizações cooperativas. A fim de obter este propósito, foi desenvolvido um estudo de caso, exploratório, tendo como objeto de estudo a Cooperativa Santa Clara Ltda, localizada na cidade de Carlos Barbosa (RS). Do ponto de vista metodológico, foi realizada uma pesquisa bibliográfica, principalmente sobre os temas Relações Públicas e Cooperativismo, e uma pesquisa documental, com a finalidade de angariar dados e informações sobre a Cooperativa estudada. A partir da análise realizada,...

  11. A synergistic DNA logic predicts genome-wide chromatin accessibility

    Sherwood, Richard I.; Emons, Bart J.M.; Hashimoto, Tatsunori Benjamin; Kang, Daniel D; Rajagopal, Nisha; Barkal, Amira; Zeng, Haoyang; Srinivasan, Sharanya; Jaakkola, Tommi S; Gifford, David K
    Enhancers and promoters commonly occur in accessible chromatin characterized by depleted nucleosome contact; however, it is unclear how chromatin accessibility is governed. We show that log-additive cis-acting DNA sequence features can predict chromatin accessibility at high spatial resolution. We develop a new type of high-dimensional machine learning model, the Synergistic Chromatin Model (SCM), which when trained with DNase-seq data for a cell type is capable of predicting expected read counts of genome-wide chromatin accessibility at every base from DNA sequence alone, with the highest accuracy at hypersensitive sites shared across cell types. We confirm that a SCM accurately predicts chromatin...

  12. Relaxed decidability and the robust semantics of Metric Temporal Logic

    Abbas, Houssam; O'Kelly, Matthew; Mangharam, Rahul
    Relaxed notions of decidability widen the scope of automatic verification of hybrid systems. In quasi-decidability and $\delta$-decidability, the fundamental compromise is that if we are willing to accept a slight error in the algorithm's answer, or a slight restriction on the class of problems we verify, then it is possible to obtain practically useful answers. This paper explores the connections between relaxed decidability and the robust semantics of Metric Temporal Logic formulas. It establishes a formal equivalence between the robustness degree of MTL specifications, and the imprecision parameter $\delta$ used in $\delta$-decidability when it is used to verify MTL properties....

  13. Isto é um jogo : imagens narrativas do currículo, tempo e trajetórias escolares de estudantes com deficiência

    Haas, Clarissa
    O presente estudo aborda a temática currículo e educação especial, analisando múltiplas narrativas produzidas nos contextos escolares que consideram o tempo como dispositivo que dá organicidade ao currículo escolar. Busca-se compreender como esse dispositivo delimita as trajetórias dos estudantes público-alvo da educação especial e contribui para a cristalização da incapacidade dos sujeitos ao lançar, para um momento futuro, os aprendizados que deveriam ser construídos no presente. O itinerário metodológico construído de uma maneira qualitativa valoriza a imagem e a memória em coerência com as regras que instituem um sistema de comunicação como jogo, estabelecendo conexões com a relação pedagógica para...

  14. Isto é um jogo : imagens narrativas do currículo, tempo e trajetórias escolares de estudantes com deficiência

    Haas, Clarissa
    O presente estudo aborda a temática currículo e educação especial, analisando múltiplas narrativas produzidas nos contextos escolares que consideram o tempo como dispositivo que dá organicidade ao currículo escolar. Busca-se compreender como esse dispositivo delimita as trajetórias dos estudantes público-alvo da educação especial e contribui para a cristalização da incapacidade dos sujeitos ao lançar, para um momento futuro, os aprendizados que deveriam ser construídos no presente. O itinerário metodológico construído de uma maneira qualitativa valoriza a imagem e a memória em coerência com as regras que instituem um sistema de comunicação como jogo, estabelecendo conexões com a relação pedagógica para...

  15. O outro na educação especial : uma abordagem pela lente do reconhecimento

    Ullrich, Wladimir Brasil
    O presente estudo parte do impasse em uma experiência formativa no âmbito da licenciatura em filosofia, representado pela questão do outro na educação especial. Para respondê-la, os registros da Modernidade como fato histórico e da Modernidade como experiência subjetiva orientam o argumento. Busca-se, na história das ideias, compreender o surgimento da educação especial a partir da lógica de um mundo partido por uma corrente de dualismos e dicotomias, ocorrendo a principal delas entre o self e o outro. Procura-se refletir sobre como essa problemática se desenvolve no âmbito educacional, intersubjetivo por excelência, mas principalmente naquele nomeado como especial, onde a...

  16. O outro na educação especial : uma abordagem pela lente do reconhecimento

    Ullrich, Wladimir Brasil
    O presente estudo parte do impasse em uma experiência formativa no âmbito da licenciatura em filosofia, representado pela questão do outro na educação especial. Para respondê-la, os registros da Modernidade como fato histórico e da Modernidade como experiência subjetiva orientam o argumento. Busca-se, na história das ideias, compreender o surgimento da educação especial a partir da lógica de um mundo partido por uma corrente de dualismos e dicotomias, ocorrendo a principal delas entre o self e o outro. Procura-se refletir sobre como essa problemática se desenvolve no âmbito educacional, intersubjetivo por excelência, mas principalmente naquele nomeado como especial, onde a...

  17. Aprendendo com a própria prática : a participação das crianças de 4 a 5 anos na minha formação como professora de Educação Infantil

    Leal, Cristielem Feijó
    Neste trabalho analiso como eu, na dupla e simultânea condição como professora titular de uma turma de crianças de 4 a 5 anos de idade, de uma escola da rede particular de Porto Alegre/RS e estagiária do curso de Pedagogia da Universidade Federal do Rio Grande do Sul, fui me dando conta de marcas insistentes da minha docência, mais precisamente, no que diz respeito ao trabalho sobre independência, autonomia, participação e protagonismo –meu e das crianças –, como também, sobre o encontro com o conceito de protagonismo compartilhado – entre mim, as crianças e o conhecimento – e os desafios...

  18. Aprendendo com a própria prática : a participação das crianças de 4 a 5 anos na minha formação como professora de Educação Infantil

    Leal, Cristielem Feijó
    Neste trabalho analiso como eu, na dupla e simultânea condição como professora titular de uma turma de crianças de 4 a 5 anos de idade, de uma escola da rede particular de Porto Alegre/RS e estagiária do curso de Pedagogia da Universidade Federal do Rio Grande do Sul, fui me dando conta de marcas insistentes da minha docência, mais precisamente, no que diz respeito ao trabalho sobre independência, autonomia, participação e protagonismo –meu e das crianças –, como também, sobre o encontro com o conceito de protagonismo compartilhado – entre mim, as crianças e o conhecimento – e os desafios...

  19. Towards an automated and reusable in-field self-test solution for MPSoCs

    Ibrahim, Ahmed; Kerkhoff, Hans G.
    Logic Built-In-Self-Test has been used for long time in order to reduce the cost of manufacturing tests. Recently, LBIST has been increasingly used for lifetime dependability tests, especially in safety-critical applications such as in automotive. In this paper, the use of the IEEE 1687 standard for enabling an automated in-field LBIST solution with reusable test procedures is introduced. An IEEE 1687-compliant dependability manager which is capable of performing LBIST on IEEE 1500 wrapped cores is proposed. By using the IEEE 1687 networks for test delivery, LBIST-access and configuration, this solution becomes reusable and consequently reduces the design time.

  20. Mistos, meios e múltiplos na fotografia : o nervo óptico em um estudo em aberto

    Xavier, Lúcia Marques
    A pesquisa concentra-se em estudos sobre a linguagem fotográfica como prática artística a partir das obras expostas em “Mixtos e Manias”, em 1978. Esta exposição ocorre na Pinacoteca do Instituto de Artes da Universidade Federal do Rio Grande do Sul, em Porto Alegre, em um momento de expansão do mercado de arte local. Dos cinco artistas expositores, Carlos Asp, Clovis Dariano, Mara Alvares, Telmo Lanes e Vera Chaves Barcellos, todos vinculados ao Nervo Óptico, são feitos estudos das obras expostas por Dariano, Lanes e Barcellos. O trabalho toma como base as estratégias de discurso, produção e veiculação utilizada por estes...

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.