Mostrando recursos 161 - 180 de 28.944

  1. Why Are We Waiting?: The Logic, Urgency, and Promise of Tackling Climate Change

    Grubb, M

  2. Os largos da cidade de Porto Alegre: a produção do espaço e as apropriações alternativas

    Silva, Rosiéle Melgarejo da
    Com este trabalho pretende-se refletir a produção do espaço dos largos, frente ao universo dos espaços públicos contemporâneos. A tese é a de que os espaços públicos dos largos se constituíram como redutos de apropriações alternativas. Assim, divergente da lógica das “revitalizações urbanas”, pautadas na especulação imobiliária, os largos resistiram e consolidaram uma produção do espaço de caráter popular. Além disso, o desenvolvimento do trabalho apresenta uma proposta metodológica que perpassa os conceitos norteadores da Geografia a fim de ampliar e tornar múltipla a apropriação teórica. Assim, através do conceito de paisagem, espaço, território e lugar, os largos trazem a...

  3. Fuzzy Logic Assisted Reasoning for Improving the Sea Traffic Control and Surveillance

    Quinquis, André; Radoi, Emanuel
    International audience

  4. Modèles de la théorie des types donnés par traduction de programme

    Boulier, Simon; Pédrot, Pierre-Marie; Tabareau, Nicolas
    International audience

  5. Lógicas de ligação ancestrais

    Castelhano, Marco Ferreira Martins
    Dissertação de Mestrado Integrado em Arquitetura, com a especialização em Arquitetura, apresentada na Faculdade de Arquitetura da Universidade de Lisboa para obtenção do grau de Mestre.

  6. Microfinance regulation and social sustainability of microfinance institutions: the case of Nigeria and Zambia

    Siwale, Juliana; Okoye, Ngozi
    This study examines the effect of regulations on microfinance institutions in Nigeria and Zambia by focusing on the post-regulation experiences and reflections of the microfinance institutions (MFIs) and their regulators. Based on in-depth interviews with the Central Banks as regulators, MFI managers, practitioners and apex microfinance associations, the study finds that regulations in both countries have managed to professionalize the sector, but their effectiveness in augmenting the centrality of social goals to microfinance and MFIs remains doubtful. The poorly designed regulations are not only undermining social goals but also sending wrong signals to would be social investors, with implications for...

  7. Recorridos de activistas de Ibadán : el éxito de un apoliticismo de aparencia y el fracaso del activismo político (1947-1957)

    Panata, Sara
    Tomando en consideración el caso de Ibadán, en el suroeste de Nigeria en el último período colonial (1947-1957), este artículo se centra en el análisis de las movilizaciones colectivas femeninas, cuyo ángulo de ataque está privilegiado para comprender cómo las mujeres se están organizando para negociar una mayor autonomía, tanto en el campo socioeconómico como político. Se presta una atención especial a la complejidad de estas negociaciones cuando implican un cuestionamiento de asignaciones de género propias de la época, incluyendo una feminidad diseñada en torno a las funciones sociales de amas de casa, madres y esposas. Las estrategias de acción...

  8. Model checking two layers of mean-field models

    Kolesnichenko, Anna; Remke, Anne; Boer, Pieter-Tjerk de; Haverkort, Boudewijn R.
    Recently, many systems that consist of a large number of interacting objects have been analysed using the mean-field method, which allows a quick and accurate analysis of such systems, while avoiding the state-space explosion problem. To date, the mean-field method has primarily been used for classical performance evaluation purposes. In this chapter, we discuss model-checking mean-field models. We define and motivate two logics, called Mean-Field Continuous Stochastic Logic (MF-CSL) and Mean-Field Logic (MFL), to describe properties of systems composed of many identical interacting objects. We present model-checking algorithms and discuss the differences in the expressiveness of these two logics and...

  9. Letramento criativo : metódica para o desenvolvimento da consciência de design no ensino médio

    Sperb, Daniel Quintana
    O objetivo geral desta tese é criar uma metódica para o desenvolvimento da consciência de Design em alunos de ensino médio. Quanto à natureza e aos objetivos, o presente estudo se enquadra como uma Pesquisa Aplicada e Exploratória. Com relação aos procedimentos, caracteriza-se como uma Pesquisa-Ação. Foram estabelecidas premissas básicas para o desenvolvimento do Letramento Criativo; operacionalizada uma sequência lógica de pranchas de capacitação, por meio do agrupamento de ferramentas criativas. Foram também avaliadas as contribuições do Letramento Criativo com relação à percepção de valor e ao desempenho dos estudantes perante as disciplinas do currículo formal, e desenhado um Manual...

  10. Sistema minimamente invasivo baseado em agentes aplicado em controladores lógicos programáveis

    Peixoto, João Alvarez
    A indústria carece de sistemas produtivos que atendam a diversidade de demanda do mercado, com eficiência e capacidade de adaptação rápida. As novas soluções para estas necessidades remetem ao uso de novas tecnologias de automação. Porém, a maioria dos sistemas integrados de manufatura implantados em indústria possui seu gerenciamento por controladores lógicos programáveis, assim como suas interligações elétricas e lógicas de controle. A tese proposta faz uso de Sistemas Multiagentes em controladores lógicos programáveis, para que estes possam controlar seus sistemas de manufatura, propiciando-lhes os requisitos de diversidade, agilidade e auto-organização no meio produtivo. A comprovação desta tese se dá...

  11. A eficácia do indicador IMA-GDASS acerca do desempenho das Gerências Executivas do INSS : um estudo a partir da realidade do Rio Grande do Sul

    Fernandes, Marla Chachamovich
    O objetivo do presente estudo é demonstrar que o indicador de desempenho IMA-GDASS, utilizado para pagamento de gratificação aos servidores do INSS, não demonstra efetivamente o estado da gestão do órgão, pois não transmite à administração como se encontra a qualidade de atendimento aos cidadãos. Pelo contrário, a aferição do indicador afeta negativamente a qualidade da análise dos requerimentos dos cidadãos-usuários do INSS. Este trabalho se caracteriza como um estudo de caso-exploratório. Foram utilizados os métodos quantitativo-descritivo e qualitativo. Apresenta-se a evolução da gestão do órgão desde os anos 90, que culminou na criação Plano de Ação, com diversos indicadores...

  12. Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables

    Aréchiga, Nikos; Dathathri, Sumanth; Vernekar, Shashank; Kathare, Nagesh; Gao, Sicun; Shiraishi, Shinichi
    Some industrial systems are difficult to formally verify due to their large scale. In particular, the widespread use of lookup tables in embedded systems across diverse industries, such as aeronautics and automotive systems, create a critical obstacle to the scalability of formal verification. This paper presents Osiris, a tool that automatically computes abstractions of lookup tables. Osiris uses these abstractions to verify a property in first order logic. If the verification fails, Osiris uses a falsification heuristic to search for a violation of the specification. We validate our technique on a public benchmark of an adaptive cruise controller with lookup...

  13. A high-level synthesis approach optimizing accumulations in floating-point programs using custom formats and operators

    Uguen, Yohann; de Dinechin, Florent; Derrien, Steven
    Many case studies have demonstrated the potential of Field-Programmable Gate Arrays (FPGAs) as accelerators for a wide range of applications. FPGAs offer massive parallelism and programmability at the bit level. This enables programmers to exploit a range of techniques that avoid many bottlenecks of classical von Neumann computing. However, development costs for FPGAs are orders of magnitude higher than classical programming. A solution would be the use of High-Level Synthesis (HLS) tools, which use C as a hardware description language. However, the C language was designed to be executed on general purpose processors, not to generate hardware. Its datatypes and...

  14. The clove tree of Madagascar: a success story with an unpredictable future

    Danthu, Pascal; Penot, Eric; Ranoarisoa, Karen Mahafaka; Rakotondravelo, Jean Chrysostôme; Michel, Isabelle; Tiollier, Marine; Michels, Thierry; Normand, Frédéric; Razafimamonjison, Gaylor; Fawbush, Fanja; Jahiel, Michel
    El clavero, introducido en Madagascar a principios del s. XIX, es originario de las islas Molucas en Indonesia. A pesar de su sensibilidad a riesgos meteorológicos como los ciclones, a los ataques de un parásito local,andretra , y a la variable producción de clavos de olor de un año para otro, su adaptación a las condiciones eco-lógicas de la costa este de Madagascar, especialmente en la región de Analanjirofo, es sorprendente. La especie fue adoptada muy rápidamente por los campesinos (autóctonos en su mayoría y algunos foráneos) que la integraron en sus sistemas de cultivo como complemento de los cultivos...

  15. A pre-semantics for counterfactual conditionals and similar logics

    Schlechta, Karl
    Notes on work in progress

  16. Civic Capitalism

    Hay, Colin; Payne, Anthony
    As we struggle with the legacy of the crisis and with the prospect of accelerating environmental degradation, it is time to ask not what we can do for capitalism but what capitalism can do for us, as citizens of a democratic society. In Civic Capitalism, Colin Hay and Anthony Payne build on their influential analysis of the crisis of the Anglo-liberal growth model to set out a coherent account of the steps required to build an alternative that is more sustainable socially, economically and environmentally.They argue that it is time to move on from the Anglo-liberal model of capitalism whose...

  17. Soft X-Ray Tomography Reveals Gradual Chromatin Compaction and Reorganization during Neurogenesis In Vivo

    Le Gros, Mark A.; Clowney, E. Josephine; Magklara, Angeliki; Markenscoff-Papadimitriou, Eirene; Colquitt, Bradley; Myllys, Markko; Lomvardas, Stavros; Larabell, Carolyn A.; Yen, Angela; Kellis, Manolis
    Summary - The realization that nuclear distribution of DNA, RNA, and proteins differs between cell types and developmental stages suggests that nuclear organization serves regulatory functions. Understanding the logic of nuclear architecture and how it contributes to differentiation and cell fate commitment remains challenging. Here, we use soft X-ray tomography (SXT) to image chromatin organization, distribution, and biophysical properties during neurogenesis in vivo. Our analyses reveal that chromatin with similar biophysical properties forms an elaborate connected network throughout the entire nucleus. Although this interconnectivity is present in every developmental stage, differentiation proceeds with concomitant increase in chromatin compaction and re-distribution...

  18. $rec.titulo

    Halmagrand, Pierre

  19. $rec.titulo

    Straßburger, Lutz

  20. $rec.titulo

    Straßburger, Lutz

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.