Mostrando recursos 101 - 120 de 5.367

  1. Modelizaciones y análisis de sensibilidad en la evaluación integral del riesgo sísmico a escala urbana : aplicación a la ciudad de Lorca

    Quirós Hernández, Ligia Elena
    En esta tesis se presenta una propuesta metodológica para la evaluación integral del riesgo sísmico en un entorno urbano, con alto grado de resolución, identificando los métodos actuales y modelos óptimos para la caracterización de las cuatro fases principales en el cálculo del riesgo: peligrosidad, efecto local, vulnerabilidad y cuantificación del daño. Como contribución inédita se incorpora en la metodología un árbol lógico para considerar distintas distribuciones de vulnerabilidad que se simulan estocásticamente por un método de Montecarlo y diferentes métodos de cálculo del daño, con el fin de cuantificar las incertidumbres inherentes a estos dos aspectos. La metodología propuesta...

  2. Control climático de un invernadero mediante lógica borrosa

    Mazquiarán Andrade, César
    En la Escuela Técnica Superior en Ingeniería y Diseño Industrial se ha llevado a cabo la implantación de un sistema de control mediante Lógica Borrosa cuyo objetivo es el control climático de un invernadero inteligente. Con el presente proyecto, se pretende realizar un control óptimo de las variables de humedad relativa y temperatura ambiental mediante un controlador de tipo Mamdani. Para conseguir este objetivo, se hará uso del material necesario tanto para la medición de las variables ambientales, como de todo aquel dispositivo que sea relevante para alterar las condiciones internas para alcanzar las consignas deseadas. El objetivo final es disponer...

  3. An intensionally fully-abstract sheaf model for π (expanded version)

    Eberhart, Clovis; Hirschowitz, Tom; Seiller, Thomas
    Following previous work on CCS, we propose a compositional model for the π-calculus in which processes are interpreted as sheaves on certain simple sites. Such sheaves are a concurrent form of innocent strategies, in the sense of Hyland-Ong/Nickau game semantics. We define an analogue of fair testing equivalence in the model and show that our interpretation is intensionally fully abstract for it. That is, the interpretation preserves and reflects fair testing equivalence; and furthermore, any innocent strategy is fair testing equivalent to the interpretation of some process. The central part of our work is the construction of our sites, relying...

  4. An intensionally fully-abstract sheaf model for π (expanded version)

    Eberhart, Clovis; Hirschowitz, Tom; Seiller, Thomas
    Following previous work on CCS, we propose a compositional model for the π-calculus in which processes are interpreted as sheaves on certain simple sites. Such sheaves are a concurrent form of innocent strategies, in the sense of Hyland-Ong/Nickau game semantics. We define an analogue of fair testing equivalence in the model and show that our interpretation is intensionally fully abstract for it. That is, the interpretation preserves and reflects fair testing equivalence; and furthermore, any innocent strategy is fair testing equivalent to the interpretation of some process. The central part of our work is the construction of our sites, relying...

  5. Proof-checking Euclid

    Beeson, Michael; Narboux, Julien; Wiedijk, Freek
    We used computer proof-checking methods to verify the correctness of our proofs of the propositions in Euclid Book I. We used axioms as close as possible to those of Euclid, in a language closely related to that used in Tarski's formal geometry. We used proofs as close as possible to those given by Euclid, but filling Euclid's gaps and correcting errors. Euclid Book I has 48 propositions; we proved 213 theorems. The extras were partly " Book Zero " , preliminaries of a very fundamental nature, partly propositions that Euclid omitted but were used implicitly, partly advanced theorems that we...

  6. Grundzüge der Logik /

    Lipps, Theodor, 1851-1914.
    "Unveränderter Abdruck."

  7. Logic-based argumentation with existential rules

    Arioua, Abdallah; Croitoru, Madalina; Vesic, Srdjan
    International audience

  8. Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning

    Grimaud, Christel
    International audience

  9. Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning

    Grimaud, Christel
    International audience

  10. Logic programming reveals alteration of key transcription factors in multiple myeloma

    Miannay, Bertrand; Minvielle, Stéphane; Roux, Olivier; Drouin, Pierre; Avet-Loiseau, Hervé; Guérin-Charbonnel, Catherine; Gouraud, Wilfried; Attal, Michel; Facon, Thierry; Munshi, Nikhil; Moreau, Philippe; Campion, Loïc; Magrangeas, Florence; Guziolowski, Carito
    International audience

  11. Logic programming reveals alteration of key transcription factors in multiple myeloma

    Miannay, Bertrand; Minvielle, Stéphane; Roux, Olivier; Drouin, Pierre; Avet-Loiseau, Hervé; Guérin-Charbonnel, Catherine; Gouraud, Wilfried; Attal, Michel; Facon, Thierry; Munshi, Nikhil; Moreau, Philippe; Campion, Loïc; Magrangeas, Florence; Guziolowski, Carito
    International audience

  12. Logic programming reveals alteration of key transcription factors in multiple myeloma

    Miannay, Bertrand; Minvielle, Stéphane; Roux, Olivier; Drouin, Pierre; Avet-Loiseau, Hervé; Guérin-Charbonnel, Catherine; Gouraud, Wilfried; Attal, Michel; Facon, Thierry; Munshi, Nikhil; Moreau, Philippe; Campion, Loïc; Magrangeas, Florence; Guziolowski, Carito
    International audience

  13. Relatório detalhado sobre a atividade profissional dos últimos cinco anos (2010/11 a 2014/15)

    Sanches, Cristina Mafalda Carreira
    A elaboração do presente Relatório Detalhado da Atividade Profissional reflete a vivência de 23 anos de desempenho docente na área da Educação Física. A sua análise crítica incide nos últimos cinco anos letivos (2010-2015), evidenciando as adaptações verificadas na evolução pessoal e profissional da docente, decorrentes das mudanças operadas na escola pública e na sociedade em geral. Ao longo deste trabalho procurou-se reforçar os factos inerentes à atividade profissional da docente, através de ideias de diferentes autores fundamentando a descrição e reflexão apresentada. A sua estrutura segue uma sequência lógica, do geral para o particular, em termos de localização e contexto....

  14. Définition des situations de suroffre et de sous offre commerciale en Wallonie et intégration des éléments du SRDC au sein de l’outil LOGIC

    Jaspard, Mathieu; Renson, P; Vazquez-Parras, J; Devillet, Guénaël

  15. Mise à disposition et suivi de la plateforme LOGIC dans le cadre du permis des implantations commerciales PIC en Wallonie

    Condé, Gilles; Vazquez-Parras, J; Kasprzyk, Jean-Paul; Jaspard, Mathieu; Devillet, Guénaël

  16. Mise à disposition du logiciel LOGIC (Localisation et gestion des iplantations commerciales) dans le cadre du permis des implantations commerciales PIC en Wallonie. Gestion opérationnelle de la plateforme LOGIC

    Jaspard, Mathieu; Léonard, R; Vazquez-Parras, J; Devillet, Guénaël

  17. The Impact of Intermittent Renewable Production and Market Coupling on the Convergence of French and German Electricity Prices

    Keppler, Jan Horst; Phan, Sébastien; Le Pen, Yannick; Boureau, Charlotte
    Interconnecting two adjacent areas of electricity production generates benefits in combined consumer surplus and welfare by allowing electricity to flow from the low cost area to the high cost area. It will lower prices in the high cost area, raise them in the low cost area and will thus have prices in the two areas converge. With unconstrained interconnection capacity, price convergence is, of course, complete and the two areas are merged into a single area. With constrained interconnection capacity, the challenge for transport system operators (TSOs) and market operators is using the available capacity in an optimal manner. This...

  18. Shapely monads and analytic functors

    Garner, Richard; Hirschowitz, Tom
    In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the established presentation of such structures as algebras for monads on presheaf categories, we describe a characteristic property of the associated monads---the shapeliness of the title---which says that “any two operations of the same shape agree”. An important part of this work is the study of analytic functors between presheaf categories, which are a common generalisation of Joyal's analytic endofunctors on sets and of...

  19. Shapely monads and analytic functors

    Garner, Richard; Hirschowitz, Tom
    In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the established presentation of such structures as algebras for monads on presheaf categories, we describe a characteristic property of the associated monads---the shapeliness of the title---which says that “any two operations of the same shape agree”. An important part of this work is the study of analytic functors between presheaf categories, which are a common generalisation of Joyal's analytic endofunctors on sets and of...

  20. Shapely monads and analytic functors

    Garner, Richard; Hirschowitz, Tom
    In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the established presentation of such structures as algebras for monads on presheaf categories, we describe a characteristic property of the associated monads---the shapeliness of the title---which says that “any two operations of the same shape agree”. An important part of this work is the study of analytic functors between presheaf categories, which are a common generalisation of Joyal's analytic endofunctors on sets and of...

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.