Mostrando recursos 161 - 180 de 188.571

  1. Psicoanálisis al des-nudo

    Caviglia, Felicitas
    En el marco del proyecto de investigación PSI 260: “La lógica y la topología a lo largo de la enseñanza de Lacan y la aplicación retroactiva a sus comienzos (2012)”, se desarrolla este escrito titulado “Psicoanálisis al des-nudo”. El mismo apunta a articular cuestiones presentes en la enseñanza de Lacan que constituyen un intento de formalización en la transmisión del psicoanálisis. Esto es especialmente palpable en los nudos. A lo largo de su enseñanza, Lacan se esmera en dejar plasmadas ciertas cuestiones en gráficos, esquemas, matemas, superficies, y finalmente con los nudos. Si consideramos que estos acercamientos a cierta formalización forman...

  2. Comparação de metodologias para estimar o coeficiente de correlação intraclasse no modelo log-binomial misto

    Zorzi, Mauricio Dalcin
    No contexto atual dos estudos epidemiológicos, os ensaios aleatorizados por clusters ganham popularidade devido a inviabilidade de alguns estudos de randomização individualizada. Apesar desta vantagem, estudos por clusters possuem menor poder do que os individualizados e necessitam de estimativas confiáveis para o coeficiente de correlação intraclasse (ICC), dado sua relação direta com o efeito do delineamento experimental que influi no tamanho da amostra dos estudos por clusters . Por isso, é importante se obter estimativas sólidas para este parâmetro. Neste trabalho, realizamos uma comparação entre três metodologias de estimação para o ICC para o modelo log-binomial misto. Este modelo é...

  3. Deciding the topological complexity of Büchi languages *

    Skrzypczak, Michał; Walukiewicz, Igor
    International audience

  4. The Spirit of Ghost Code

    Filliâtre, Jean-Christophe; Gondelman, Léon; Paskevich, Andrei
    Extended version of https://hal.inria.fr/hal-00873187

  5. [en] LANGUAGE, CHILDHOOD AND PERSPECTIVISM IN WITTGENSTEIN S LATE WRITINGS

    CÉLIA CÂMARA DE ARAÚJO
    [pt] Esta pesquisa examina cenas de alteridade radical entre crianças e adultos nos escritos maduros de Wittgenstein. Demonstra-se como tais cenas ajudam a construir uma visão da linguagem como forma de vida, capaz de recusar tanto o universalismo como o relativismo, em benefício de uma compreensão perspectivista. Os escritos de Ludwig Wittgenstein posteriores ao Tractatus Logico-Philosophicus, obra escrita ainda nos seus anos de juventude, são mais frequentemente compreendidos como um pensamento que tende ao relativismo, opondo-se, portanto, frontalmente ao trabalho inicial do filósofo. Esta pesquisa aponta para uma filosofia única, nos termos da interpretação que lhe dá o filósofo e...

  6. A Note on Monitors and Büchi automata

    Diekert, Volker; Muscholl, Anca; Walukiewicz, Igor
    International audience

  7. Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable

    Torre, Salvatore,; Muscholl, Anca,; Walukiewicz, Igor
    International audience

  8. Soundness in negotiations *

    Esparza, Javier; Kuperberg, Denis; Muscholl, Anca; Walukiewicz, Igor
    International audience

  9. Optimal Control of Nonlinear Systems with Temporal Logic Specifications

    Wolff, Eric M.; Murray, Richard M.
    We present a mathematical programming-based method for optimal control of nonlinear systems subject to temporal logic task specifications. We specify tasks using a fragment of linear temporal logic (LTL) that allows both finite- and infinite-horizon properties to be specified, including tasks such as surveillance, periodic motion, repeated assembly, and environmental monitoring. Our method directly encodes an LTL formula as mixed-integer linear constraints on the system variables, avoiding the computationally expensive process of creating a finite abstraction. Our approach is efficient; for common tasks our formulation uses significantly fewer binary variables than related approaches and gives the tightest possible convex relaxation....

  10. Selling online versus offline: theory and evidences from Sotheby's

    Kazumori, Eiichiro
    We consider a recent business and policy question of "how and why does a firm use online markets versus traditional offline markets ?" using a unique dataset of more than 3000 auctions held by Sotheby's online at eBay and offline at New York in June-July2002. We find robust empirical regularities in our dataset about the use of online markets. First, the average transaction price is more than 10 times higher in offline markets. This fact strongly suggests that the seller is not simply randomly assigning assets between online and offline markets. Second, the higher the mean and spread of pre-auction...

  11. Typeful Normalization by Evaluation

    Danvy, Olivier; Keller, Chantal; Puech, Matthias
    International audience

  12. A Program Logic for Verifying Secure Routing Protocols

    Chen, Chen; Jia, Limin; Xu, Hao; Luo, Cheng; Zhou, Wenchao; Loo, Boon,
    Part 3: Security Analysis

  13. A New Hierarchical Ranking Aggregation Method

    Ding, Jiankun; Han, Deqiang; Dezert, Jean; Yang, Yi
    International audience

  14. Neue National Gallerie de Berlin : aproximación arquitectónica y análisis estructural

    Gorris Vicent, Noelia
    La Neue National Gallerie es la última obra del arquitecto alemán Mies van der Rohe, en Berlín, cuyo encargo se produjo en 1962 y se finalizó su construcción en 1968. El arquitecto diseñó el museo como icono de modernidad y legado de sus principios arquitectónicos para su ciudad natal. El edificio está compuesto por una representativa cubierta metálica que está apoyada en un basamento de piedra, creando un hito moderno de referencias clásicas. La estructura metálica cubre un espacio diáfano de exposición, mientras que en el sótano la estructura de hormigón oculta el resto de funciones. El presente trabajo estudiará la vida del arquitecto y su obra, y...

  15. Debugging of Web Applications with Web-TLR

    Alpuente Frasnedo, María; Ballis, Demis; ESPERT REAL, JAVIER; Romero, Daniel Omar; Frechina, F.
    Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic–Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web applications are expressed as rewrite theories that can be formally verified by using the Maude built-in LTLR model-checker. Whenever a property is refuted, a counterexample trace is delivered that reveals an undesired, erroneous navigation sequence. Unfortunately, the analysis (or even the simple inspection) of such counterexamples may be unfeasible because of the size and complexity of the traces under examination. In this paper, we endow Web-TLR with a new Web debugging facility that supports the efficient...

  16. Las prácticas artísticas colaborativas, basadas en la experiencia autobiográfica, como estrategias que facilitan la reflexión y toma de conciencia, sobre los modos de hacer en el aula en la formación del profesorado

    Ricciardi, Daniela
    Este estudio propone las prácticas artísticas colaborativas, basadas en las experiencias autobiográficas, como estrategias complementarias que faciliten nuevos modos de hacer y de relacionarse en el aula. Se propone un espacio de reflexión sobre la educación recibida por medio de la experiencia autobiográfica ligada a la imagen familiar, enmarcando este proceso en las prácticas de arte contemporáneo que han tratado dicha temática, con el fin de tomar conciencia de los procesos de transmisión implicados y fomentar una transformación futura en las estructuras predeterminadas. De esta forma, la presente investigación propone una alternativa a partir del arte, donde tomando dicha revisión...

  17. Desenvolvimento e teste de uma aplicação baseada em SOA

    Machado, Carla Maria Silva
    As arquiteturas orientadas a serviços, vulgarmente designadas por SOA (Service Oriented Architecture), são um tipo de arquitetura de sistemas que tem estado a ganhar notoriedade e relevância na atualidade, especialmente em soluções empresariais, uma vez que apregoa características bastante interessantes, nomeadamente uma boa capacidade de integração de diferentes sistemas e tecnologias juntamente com um elevado grau de adaptabilidade. No entanto, apesar da popularidade crescente dos ambientes SOA, a informação disponível publicamente é ainda bastante limitada, resumindo-se na sua maioria a informação ao nível teórico sem se encontrar associada a uma concretização prática. Esta limitação de informação torna-se ainda mais notória no que se refere a exemplos concretos de ambientes...

  18. Questionamento e desenvolvimento cognitivo dos alunos

    Valente, Joana Isabel Dias Romeiro
    O presente relatório divide-se em duas partes que se inter-relacionam. Na primeira parte do relatório apresenta-se uma investigação realizada no contexto das Práticas de Ensino Supervisionadas (PES) nos 1º e 2º Ciclos do Ensino Básico, com o objetivo de compreender se o nível de exigência cognitiva das questões utilizadas nas aulas está adequado ao nível de desenvolvimento cognitivo dos alunos. Realizaram-se dois estudos de caso que permitiram constatar que, na maioria das áreas/disciplinas o nível de exigência cognitiva é mais baixo nas questões retiradas de fichas de avaliação que das questões retiradas de documentos de desenvolvimento; que há áreas/disciplinas que,...

  19. Better Abstractions for Timed Automata

    Herbreteau, Frédéric; Srivathsan, B; Walukiewicz, Igor
    International audience

  20. Book Review of Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry,Logic, Argumentation & Reasoning, Volume 8, Springer, 2016

    Poggiolesi, Francesca
    International audience

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.