Thursday, May 5, 2016

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 281 - 300 de 164,405

281. Algebraic Semantics of Refinement Modal Logic - Bakhtiari, Zeinab; Van Ditmarsch, Hans; Frittella, Sabine
In the present paper we develop algebraic semantics of refinement modal logic using duality theory. Refinement modal logic has been introduced by Bozzelli et al.[7]. A Refinement is like a bisimulation, except that from the three relational requirements only 'atoms' and 'back' have to be satisfied. We study the dual notion of refinement on algebras and present algebraic semantics of refinement modal logic. For this end, we proceed as follows: (1) we present the algebraic semantics of action model logic quantifier, (2) we introduce an algebraic model based on semantics of refinement quantifier in terms of refinement relation. Then we...

282. Inconsistency degree computation for possibilistic description logic: an extension of the tableau algorithm - Lesot, Marie-Jeanne; Couchariere, Olivier; Bouchon-Meunier, Bernadette; Rogier, Jean-Luc
International audience

283. Conditional quantum logic using two atomic qubits - Protsenko, Igor E.; Reymond, Georges; Schlosser, Nicolas; Grangier, Philippe
23 pages, 8 figures in 11 files

284. Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency - Albert Albiol, Elvira; Arenas Sánchez, Purificación; Gómez Zamalloa, Miguel; Rojas, José Miguel
The focus of this tutorial is white-box test case generation (TCG) based on symbolic execution. Symbolic execution consists in executing a program with the contents of its input arguments being symbolic variables rather than concrete values. A symbolic execution tree characterizes the set of execution paths explored during the symbolic execution of a program. Test cases can be then obtained from the successful branches of the tree. The tutorial is split into three parts: (1) The first part overviews the basic techniques used in TCG to ensure termination, handling heap-manipulating programs, achieving compositionality in the process and guiding TCG towards...

285. Testing equivalence with repeated measures: tests of the difference model of two-alternative forced-choice performance. - García Pérez, Miguel Angel; Alcalá Quintana, Rocío
Solving theoretical or empirical issues sometimes involves establishing the equality of two variables with repeated measures. This defies the logic of null hypothesis significance testing, which aims at assessing evidence against the null hypothesis of equality, not for it. In some contexts, equivalence is assessed through regression analysis by testing for zero intercept and unit slope (or simply for unit slope in case that regression is forced through the origin). This paper shows that this approach renders highly inflated Type I error rates under the most common sampling models implied in studies of equivalence. We propose an alternative approach based...

286. Nueva clave de la racionalidad: la filosofía desde la Nouvelle Rhétorique de Chaïm Perelman - Pérez Alors, María Fernanda
Desde la Antigüedad la retórica había sido considerada por muchos pensadores como un arte de persuasión manipuladora; o como una técnica supeditada a la filosofía. La retórica se movía en el terreno de la opinión mientras que las verdades eran filosóficas. Chaïm Perelman ha contribuido en el siglo XX a la rehabilitación de la retórica, cuya completa derrota la había convertido en simple repertorio de figuras de estilo en el siglo XIX. La tradición metafísica de la filosofía, renegando de la retórica, apostó por un modelo de racionalidad, cuyo canon �matemático� instituyó el patrón a seguir por muchas de las...

287. Como controlar pragas e doenças em sistemas agroecológicos? - FEIDEN, A.; BORSATO, A. V.
Em geral a primeira pergunta que os técnicos e agricultores convencionais fazem em relação aos sistemas de produção agroecológicos é ?que produto vocês usam para controlar as pragas e doenças??. O problema é que a própria pergunta já está equivocada, pois ela parte do princípio que é necessário usar algum tipo de veneno para fazer o controle dos organismos indesejados nos sistemas de produção. Uma das primeiras coisas que precisamos quebrar no processo de transição agroecológica é esta lógica convencional de problema = insumo. A pergunta correta na lógica agroecológica é ?como convivo com os organismos indesejáveis?? ou no limite...

288. Como transformar uma propriedade convencional em agroecológica? - FEIDEN, A.; BORSATO, A. V.
Em geral a primeira pergunta que os técnicos e agricultores convencionais fazem em relação aos sistemas de produção agroecológicos é ?que produto vocês usam para controlar as pragas e doenças??. O problema é que a própria pergunta já está equivocada, pois ela parte do princípio que é necessário usar algum tipo de veneno para fazer o controle dos organismos indesejados nos sistemas de produção. Uma das primeiras coisas que precisamos quebrar no processo de transição agroecológica é esta lógica convencional de problema = insumo. A pergunta correta na lógica agroecológica é ?como convivo com os organismos indesejáveis?? ou no limite...

289. Sistema de criptografia simétrica via porta lógica quântica. - CASTRO, A. de; MINTO NETO, J. G.
Atualmente, a teoria relacionada à criptologia é fortemente baseada na hipótese de unidirecionalidade de caminhos computacionais. Esta conjectura matemática sustenta que deve haver uma função bijetora para a qual o cálculo em uma direção é fácil, enquanto reconstruir o estado de entrada a partir do estado de saída é difícil - ?fácil? e ?difícil? devem ser entendidas no sentido de complexidade computacional.

290. Effect of seasonal variations on the phytoconstituents of Aśvagandhā w.r. to lunar cycles - Swagata Dilip Tavhare; Karra Nishteswar; Vinay J Shukla
Introduction: Suśruta, Caraka and other ācāryas advocate the collection of medicinal plants keeping in view the part used, season, soil in which the herb grows and the desired pharmacological actions or therapeutic benefits. The logic behind such recommendations is being validated by modern scientific research. Aim: To assess the effect of seasonal variations on the phytoconstituents of Aśvagandhā (Withania somnifera L. Dunal) w.s.r. to lunar cycles. Material and Methods: The plant specimens were collected from Jamnagar identified pharmacognostically and cultivated under a defined habitat in a herbal garden of IPGT and RA on 7 Oct 2013. The root samples were collected...

291. Activities registered by family health professionals in the primary care information system - Ricardo Bezerra Cavalcante; Tarcísio Laerte Gontijo; Eliete Albano de Azevedo Guimarães; Valéria Conceição de Oliveira; Jéssica Rauane Teixeira Martins
This descriptive study analyzed the activities registered in the Primary Care Information System, by family health professionals, in Minas Gerais. Data were obtained from the Unified Health System’s IT Department. A descriptive analysis of the information was performed, by type of activity and professional category, using the statistical software SPSS® 17.0. A total of 635,788,580 activities were registered, with 81.5% of an individual nature. Collective activities totaled 10.2% of the entries. Group care and meetings of community agents with the population totaled 1.1% and home visits, 7.6% of the entries. Physicians and nurses are responsible for 67.6% of the entries....

292. Optimizing Checking-Logic for Reliability-Agnostic Control of Self-Calibrating Designs - Frédéric Worm, et al.
Self-calibrating designs have recently gained momentum as an alternative to methods relying on worst-case characterisation of silicon [2], [4], [8]. So far, reliable operation of existing link checkers—double sampling flip-flops or codebased—is not ensured over the whole range of bit error rate. Therefore, bit error rates where the checker reliability is poor are avoided either by worst-case characterisation of the link error rate (such as for double sampling flip-flops), or by constraining the operating point controller to avoid such regions (such as for code-based checkers). This paper proposes a novel checker architecture that bridges the gap between low overhead and...

293. Nuevas violencias, nuevas voces y nuevas resistencias en tiempos de reorganización hegemónica. Entrevista a Pilar Calveiro - Calveiro, Pilar; Peris Blanes, Jaume
Los trabajos de Pilar Calveiro sobre violencia política han venido a reordenar, en las últimas décadas, los debates en torno a la naturaleza de la violencia de Estado, la militancia revolucionaria y las nuevas formas de violencia en el mundo global. Muy pocas investigaciones han tenido, en ese campo, el impacto de las reflexiones de Calveiro ni la capacidad para conectar problemáticas y lógicas aparentemente separadas entre sí para pensarlas de forma vinculada. En Poder y desaparición (Colihue, 1998) conceptualizó la lógica del poder desaparecedor que se concretó en el sistema de campos de concentración de la última dictadura militar...

294. Comunicación política argentina digital: convergencia mediática durante las campañas de 2015 - Gandolfo, María Lucrecia
En un corto y vertiginoso período la comunicación política en Argentina se ha visto respondiendo a lógicas nuevas, interactuando y amoldándose a las expresiones ciudadanas que forjó el contexto atravesado por la digitalidad. Esta última, como proceso, se encuentra inmersa en la cotidianeidad de gran parte de la población, y ha exigido reconfiguraciones en las tradicionales formas de intercambio simbólico. Sin desconocer la existencia de la brecha digital, estas nuevas maneras de estar en sociedad, de habitar lo público y de ejercer diferentes instancias de participación ciudadana, se hacen presentes y ponen en discusión los paradigmas sobre los que se...

295. Medios y conflicto de poder en el desafío por la emancipación latinoamericana - Di Mare, Fabiola
El esplendor alcanzado por el desarrollo tecnológico e industrial moderno impulsó la reproducción masiva de periódicos. A partir de 1930, con el surgimiento de la industria cinematográfica, la radio y la televisión, las técnicas de transmisión de información de emisores activos a receptores pacientes avanzaron vertiginosamente. A partir de los adelantos tecnológicos, desde las primeras décadas del siglo XX se impone de manera avasallante una nueva era de las comunicaciones en las que la hegemonía y el control sobre los medios de información es fundamental para mantener el status quo mundial. La denominada “guerra de los tabloides” que protagonizaron los magnates de...

296. Presentación y relatoría - Bolis, Josefina; Piovani, María de las Nieves; Rojas, Ignacio
En la mesa de trabajo “Procesos democráticos populares, ciudadanías y participación política”, se buscó promover la reflexión y el intercambio de miradas en torno a diferentes tópicos vinculados a la política y lo político, la reconfiguración de los escenarios globales y latinoamericanos. Nos preguntamos acerca de las transformaciones de los mapas de los poderes políticos y económicos, los movimientos sociales, las luchas populares, y los cuestionamientos a las lógicas tradicionales de la política. La tensión entre los espacios públicos y privados: la calle y la red y los modos contemporáneos de participación. La cuestión de la afectividad en la constitución...

297. Una mirada topológica - Zarzo, Esther
Este ensayo es un ejercicio de semántica topológica sobre publicidad impresa, cuyo objetivo es mostrar la capacidad analítica del esquematismo topológico propuesto por Fernando Miguel Pérez Herranz como órganon de conocimiento alternativo a la lógica. Además, es una propuesta de utilización de la imagen publicitaria de manera crítica y flexiva, no únicamente consumista.

298. Fault-aware Configurable Logic Block for Reliable Reconfigurable FPGAs - Basha, B. Chagun; Pillement, Sébastien; Piestrak, Stanislaw J
International audience

299. Encaixa - Lopes, Eduardo Manuel Correia
O comércio de mobiliário tem crescido nos últimos anos, sendo que hoje em dia podemos encontrar móveis de todos os tipos, com diferentes funções e dentro de uma enorme variedade de preços. O projecto ENCAIXA resulta de uma análise pessoal do mercado de mobiliário actual, como uma necessidade de melhorar determinados problemas identificados, nomea¬damente a montagem e manipulação das peças, e a falta de adaptabilidade das mesmas. A partir da observação de mobiliário desmontável fui verificando que um dos problemas é a compreensão das instruções e a compreensão da lógica de montagem. Este projecto procura, acima de tudo, abordar questões relacionadas com o...

300. Micropower logic circuits / - Sturman, John C.; Lewis Research Center.
"Prepared under the sponsorship of the National Aeronautics and Space Administration."

 

Busque un recurso