Mostrando recursos 141 - 160 de 189.571

  1. Model Revision from Temporal Logic Properties in Computational Systems Biology

    Fages, Francois; Soliman, Sylvain
    International audience

  2. La imprenta y el comercio de libros en Madrid: (siglos XVI - XVIII)

    Agulló y Cobo, Mercedes
    El presente trabajo trata de ofrecer una visión de conjunto de lo que fue la industria y el comercio de libros en Madrid partiendo del análisis de los documentos originales consultados tanto en el Archivo Histórico Nacional, en el de Protocolos madrileño y Archivo de Villa como en los de las Parroquias. Como es lógico se dan a conocer las noticias aportadas por otros investigadores, completándolas cuando sólo se dieron de modo parcial y aricullándolas entrre sí con objeto de formar una unidad documental. La tesis que presentamos se articula en tres grandes apartados: I. La imprenta y ele comercio...

  3. Del prosumidor al prodiseñador: el consumo participativo de noticias

    Hernández Serrano, María José; Renés Arellano, Paula; Graham, Gary; Greenhill, Anita
    New democratic participation forms and collaborative productions of diverse audiences have emerged as a result of digital innovations in the online access to and consumption of news. The aim of this paper is to propose a conceptual framework based on the possibilities of Web 2.0. Outlining the construction of a “social logic”, which combines computer and communicative logics, the conceptual framework is theoretically built to explore the evolution of news consumption from a pure circulation of designed products towards a global conversation of proactive news designers. Then, the framework was tested using an empirical database built by the Pew Research...

  4. La lógica en la investigación y el desarrollo del conocimiento demográfico

    Escobedo Rivera, Jose
    En este trabajo se revisan los principales aportes al conocimiento demográfico en relación con la utilización de razonamientos lógicos en el proceso de investigación. Estos razonamientos dependen de una justificación epistemológica que los instrumentaliza dándoles contenido y utilidad. En este sentido, se ha tomado la hipótesis de Malthus como ejemplo de la aplicación de la lógica deductiva; la transición demográfica, como inductiva; el descubrimiento de las causas de la fiebre puerperal como abductiva, y la teoría de la capilaridad social, como analogía.

  5. Football, Music and Narcisism: Some Speculations on “Brazil, Tell me How it Feels”

    Alabarces, Pablo
    During the 2014 World Cup in Brazil, Argentina fans traveled in large numbers and flooded the streets (even more than the stadiums) unanimously singing a song of encouragement, renowned for its first verse: "Brazil, tell me how it feels". The song, based on an old melody of the American rock band Creedence Clearwater Revival, was quickly adopted by hundreds of thousands of fans in Brazil and also millions in Argentina, becoming viral by social networks. From this phenomenon, the article analyzes the song, the musical and political traditions on which works, and the relationship between music and nationality that can...

  6. El orden de mercado y la hegemonía neoliberal en chile. La regulación de la vida social por las lógicas mercantiles

    Sepúlveda, Manuel
    In this paper, it explores transformations operated in the processes of production and work in the dictatorial regime (1973-1989), explanatory elements of neo-liberal hegemony in Chile. Based on the interpretive canon developed by Antonio Gramsci in Americanism and Fordism, and contributions made by Michel Foucault in the Birth of Biopolitics on innovations introduced by neoliberalism with respect to prior liberalism, it delves into the new mechanisms of integration and social control inherent in the market order, the conditions of possibility of obtaining an active consensus towards a socio economic model that produces and reproduces deep inequalities in their development.

  7. La práctica social como expresión de humanidad

    Murcia Peña, Napoleón; Jaimes Mora, Sandra Susana; Gómez, Jovany
    Social reality is configured and permanently re-configured from the meaning societies give to the world. From these meanings, people shape their social order; their ways of being, doing, represent in the world, organizing in this framework their daily lives. It is established as a social practice as far as it acquires enough roots, significance and objectification to give a transformative sense to its social actors and their environment. The purpose of this article is to question some perspectives from which social practice has been set up, departing decisively from the functional dimension, showing the power of the concept of social...

  8. Conversaciones juveniles: aportes a las prácticas y lógicas de la investigación social

    Duarte, Klaudio; Canales Cerón, Manuel; Cottet S., Pablo
    Social research techniques are a set of devices that contribute to the observation and knowledge of the social. Such devices are the subject of analysis in this article. The main argument that we hold is that increasingly innovation in design and use is required to better understand the complexity contained in social processes we studied, not succumbing to the formalization and crystallization of the same, but opening to movements that blur boundaries and open up new possibilities increasingly filled with everyday observation. The youth as a metaphor for the social contains a good opportunity for the deployment of these ideas,...

  9. crowd: A Tool for Conceptual Modelling assisted by Automated Reasoning

    Giménez, Christian; Braun, Germán; Cecchi, Laura; Fillottrani, Pablo Rubén
    There is an increment on the complexity of the information systems derived from new paradigms, for example Semantic Web, Big Data, e-government, etc. which require high quality solutions to tackle complex problems such as information integration. This quality is widely determined by the conceptual level. In this work, we present crowd as a novel tool for designing both conceptual models and ontologies based on visual representations with assistance of logic-based reasoning services. The challenge and the intention behind this work is to define graphicallogical methodologies as effective solutions for the description of interest domains at conceptual level. We detail the tool...

  10. Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies

    Gómez, Sergio Alejandro
    This work reports on our e orts to implement a practical reasoner based on Dung-style argumentation semantics for potentially inconsistent possibilistic ontologies. Our Java-based implementation targets a subset of the description logic programming fragment that we codify in a Racer-like syntax suitably adapted for representing certainty degrees of both axioms and assertions. We introduce our approach with a running example, discuss implementation issues and present time complexity results.

  11. ¿Se producen diferencias considerables en los resultados experimentales en función del procedimiento de medición? Un estudio comparativo para los constructos calidad y productividad en el marco de un experimento de test-driven development.

    Jaimes Sequeda, Dora Elizabeth
    OBJETIVO: El presente informe contiene un estudio comparativo que busca establecer si se producen diferencias considerables en los resultados experimentales en función del procedimiento de medición, para los constructos calidad y productividad en el marco de un experimento de Test-Driven Development (TDD). MÉTODO: Para lo cual se realizaron una serie de actividades organizadas en tres principales etapas: análisis de requisitos, gestión de pruebas y finalmente un procedimiento de medición y análisis de resultados, con el fin de obtener nuevos datos de éstas variables a través del uso de Particiones de equivalencia como técnica para obtener nuevos casos de prueba. Durante...

  12. Toward molecular programming with DNA

    Winfree, Erik
    Biological organisms are beautiful examples of programming. The program and data are stored in biological molecules such as DNA, RNA, and proteins; the algorithms are carried out by molecular and biochemical processes; and the end result is the creation and function of an organism. If we understood how to program molecular systems, what could we create? Lifelike technologies whose basic operations are chemical reactions? The fields of chemistry, physics, biology, and computer science are converging as we begin to synthesize molecules, molecular machines, and molecular systems of ever increasing complexity, leading to subdisciplines such as DNA nanotechnology, DNA computing, and...

  13. Demo Abstract: How Fuzzy Logic can enhance Energy Management in autonomous Wireless Sensor Nodes ?

    Ait Aoudia, Fayçal; Gautier, Matthieu; Le Gentil, Mickael; Berder, Olivier
    International audience

  14. Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers

    Libal, Tomer; Steen, Alexander
    International audience

  15. Size-based termination of higher-order rewrite systems

    Blanqui, Frédéric
    This paper is concerned with the termination, in Church' simply-typed λ-calculus, of the combination of β-reduction and arbitrary user-defined rewrite rules fired using matching modulo α-congruence only. Several authors have devised termination criteria for fixpoint-based function definitions using deduction rules for bounding the size of terms inhabiting inductively defined types, where the size of a term is (roughly speaking) the set-theoretical height of the tree representation of its normal form. In the present paper, we extend this approach to rewriting-based function definitions and more general notions of size.

  16. Temporal Logic Framework for Performance Analysis of Architectures of Systems

    Piel, Ariane; Bourrely, Jean; Lala, Stéphanie; Bertrand, Sylvain; Kervarc, Romain
    International audience

  17. $rec.titulo

    Halmagrand, Pierre

  18. Artis logicae compendium

    Aldrich, Henry, 1648-1710
    First published in 1691

  19. Lógica de empreendedorismo no Ensino Superior: empreendedorismo de negócio e empreendedorismo social

    Lopes, Rui Pedro; Mesquita, Cristina
    Os recentes Relatório da União Europeia (2012) e da OECDE (2012) sobre o ensino superior têm acentuado a importância da dinamização da cultura empreendedora, enunciado mesmo os impactos que esta tem ao nível da construção de competências- chave, da inserção no mercado de trabalho e do desenvolvimento da economia e da sociedade. Tem surgido, neste âmbito, uma diversidade de estudos que fazem emergir duas correntes de empreendedorismo: o social e o de negócios.

  20. Zur lehre von der induktion,

    Driesch, Hans, 1867-1941
    Mode of access: Internet.

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.