Mostrando recursos 41 - 60 de 10.534

  1. Internal logic viewed from observation space: Theory and a case study

    Hatakeyama,Motohiko; Tsuda,Ichiro
    We propose a framework of neurocognitive experiments that clarifies the mathematical structure of experiments and can be used to analyze experimental results and to determine the limitation of their possible interpretation. In contrast to the conventional analysis that employs simple Boolean logic, the present analysis treats classification in terms of higher-order functions. We also predict the existence of a previously unidentified type of neuron.

  2. Making sense of internal logic Theory and a case study

    Tsuda,I; Hatakeyama,M
    Motivated by the interf aciology proposed by Otto Rossler, we have attempted to construct a framework of internal logic of the mind and brain. We propose a functional equation as an abstract form representing mental processes. We consider a method by which such in­ternal logic can be interpreted and understood by an (external) observer. For this purpose, we propose a theory for cognitive experiments. Applying this theory to simple deductive inference processes exhibited by animal subjects in an experimental setting, with the as­sumption that syllogism is expressed as a composite mapping corresponding to the product operation of two implications A-t...

  3. Higher-order dependency pairs

    Blanqui , Frédéric
    International audience

  4. Logic Fragments: A Coordination Model Based on Logic Inference

    Angelis , Francesco; Marzo Serugendo , Giovanna ,
    Part 1: Tuple-Based Coordination

  5. Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles

    Lam , Edmund; Cervesato , Iliano; Fatima , Nabeeha
    Part 2: Coordinating Ensembles

  6. MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models

    Blanchard , Allan; Kosmatov , Nikolai; Loulergue , Frédéric
    International audience

  7. Evolución institucional de la gestión de cuencas hidrográficas compartidas transfronterizas: cuencas baja del río Colorado y del río Tijuana, y las cuencas de los ríos Miño y Limia

    Abitia Cuevas, Luis Fernando
    La presente tesis analiza la evolución de las instituciones que administran las cuencas hidrográficas transfronterizas considerando que el agua es un bien común y que lo óptimo para asegurar el manejo sostenible del agua es que sea administradas bajo la lógica de la cuenca hidrográfica como una sola unidad administrativa. Para el estudio de la evolución institucional se comparan dos casos: la cuenca baja del río Colorado y la cuenca del río Tijuana en Estados Unidos (EE. UU.) y México, y las cuencas del Miño y Limia en España y Portugal. El trabajo define y analiza los principales factores que...

  8. Análisis intergubernamental de la alta función pública de la Administración General del Estado. El caso de los Administradores Civiles del Estado

    Crespo González, Jorge
    La presente investigación doctoral tiene como objeto la realización de un análisis intergubernamental de la alta función pública del Estado español, partiendo de la premisa de que los altos funcionarios constituyen un actor crítico en la gobernanza de las sociedades y un instrumento privilegiado para conocer aspectos básicos del funcionamiento de los estados, como por ejemplo la coordinación existente entre niveles de gobierno. En ese marco la tesis desarrolla tres objetivos específicos. El primero se centra en mostrar la necesidad de nuevos enfoques analíticos para abordar la complejidad del entorno en que se sustancian los asuntos públicos en nuestros días....

  9. A logic-based dynamical theory for a genesis of biological threshold

    Tsuda,I; Tadaki,K
    Motivating the study of constructing a formal neuron in computer, we propose a logic-based dynamical theory for a genesis of biological threshold which specific pro­ teins like ion channel proteins or their network can be responsible for. By viewing such a protein or a protein network as a computation machine, the statements concerning the states of reaction chains which eventually activate or inactivate the protein are treated. Introducing dynamical systems, associated with an inference process on the statements with continuous truth values, we investigate invariant characters of such a dynamics, thereby we obtain a sigmoidal function for an invariant distribution...

  10. Propositional Dynamic Logic for Message-Passing Systems

    Bollig , Benedikt; Kuske , Dietrich; Meinecke , Ingmar
    International audience

  11. Nuevo enfoque teórico sobre la literatura fantástica : el aporte de la lógica paraconsistente

    Linck , Anouck
    International audience

  12. Vichy and the Deportation of the Jews. A Historiographic Essay in Relation to Alain Michel's Book

    Joly , Laurent
    Alain Michel's book, Vichy et la Shoah: Enquête sur le paradoxe français, argues the following thesis: despite Vichy's collaboration with Nazi anti-Jewish policy, the logic of rescue was at the heart of the regime's actions. Michel regrets that since the early 1970s and the appearance of Paxton's Vichy France, the "doxa" of the "absolute negativity of Vichy" has become de rigueur. True, the context of the 1980s and 1990s, with their strong social demand and saturation media coverage of cases of crimes against humanity, influenced the writing of history. True, Vichy never intended to contribute to the deportation of Jews...

  13. Generalizations of the permutohedron: Closed-open constructions

    Santocanale , Luigi; Wehrung , Friedrich
    International audience

  14. Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles

    Alonso-Mora, Javier; DeCastro, Jonathan A; Raman, Vasumathi; Kress-Gazit, Hadas; DeCastro, Jonathan A.; Rus, Daniela L
    In the near future mobile robots, such as personal robots or mobile manipulators, will share the workspace with other robots and humans. We present a method for mission and motion planning that applies to small teams of robots performing a task in an environment with moving obstacles, such as humans. Given a mission specification written in linear temporal logic, such as patrolling a set of rooms, we synthesize an automaton from which the robots can extract valid strategies. This centralized automaton is executed by the robots in the team at runtime, and in conjunction with a distributed motion planner that...

  15. O papel dos estágios na preparação da transição ensino superior-mercado de trabalho

    Prada, Ana Raquel Russo; Parada, Filomena
    Nos últimos anos aumentaram as pressões exercidas sobre as Instituições de Ensino Superior (IEs) para que, além da educação/formação, também assumam responsabilidades no âmbito da inserção profissional dos seus diplomados. O mercado de trabalho está cada vez mais exigente, competitivo e volátil, com contornos imprecisos e facilitador da construção de percursos menos previsíveis e não lineares. Por outro lado, constata-se uma proliferação sem precedentes na oferta de formação de nível superior, bem como a emergência de uma lógica de avaliação das IEs assente em critérios de eficiência como, por exemplo, os relacionados com o grau de empregabilidade dos seus diplomados....

  16. Violencia política y desempeño de los gobiernos municipales en Colombia

    Díaz Rocca, Luz Helena
    Esta tesis doctoral buscó dar respuesta a la pregunta ¿qué explica las diferencias en el desempeño entre los gobiernos municipales en Colombia? El interrogante surgió en el contexto de los cambios institucionales de la descentralización política, administrativa y fiscal. Si las instituciones fueron diseñadas de tal forma que las autoridades locales tuvieran los incentivos para desempeñarse de manera adecuada, ¿por qué se presentaron marcadas variaciones en los resultados entre gobiernos municipales? Las ciencias políticas han producido un prolífico conocimiento sobre esta cuestión. Por las particularidades de un país como Colombia, las explicaciones de esta literatura se revelaron insuficientes. La existencia...

  17. Introduction: inferences and proofs

    Piccolomini d'Aragona , Antonio; Crocco , Gabriella
    International audience

  18. An integrative approach to simulation model discovery: Combining system theory, process mining and fuzzy logic

    Zacharewicz , Grégory; Wang , Yan; ZACHAREWICZ , Gregory; Traoré , Mamadou Kaba; Chen , David
    International audience

  19. Peirce's semiotic version of the semantic tradition in formal logic

    Tiercelin , Claudine
    Publié sous le nom de Engel-Tiercelin

  20. Commentaires sur l'article de Paul Gochet, "La formalisation du savoir-faire"

    Egré , Paul
    Paul Gochet, dans un article consacré à la formalisation du "savoir-faire" et présenté lors des conférences Pierre Duhem à Paris en avril 2006, compare et discute plusieurs théories qui tentent de rendre compte du concept de savoir-faire en logique épistémique. Cette note retranscrit les questions que j'ai été invité à adresser à P. Gochet lors de cette journée de conférence. (These are the questions and comments I was invited to submit to Prof. Paul Gochet on the occasion of the Pierre Duhem lectures that he gave in Paris in April 2006, on the formalization of the notion of "savoir-faire" (knowing...

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.