Sunday, May 29, 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 61 - 80 de 164,785

61. Oré awé roiru’a ma : todas as vezes que dissemos adeus e a antropofagia literária de uma obra entre dois mundos : a resistência política e a lógica cultural do mercado - Lopes, Rebeca Cavalcante
Publicada pela primeira vez em 1994, sob a autoria do escritor e ambientalista txukarramãe Kaká Werá Jecupé, a obra Oré awé roiru’a ma – Todas as vezes que dissemos adeus – Whenever we said goodbye transpõe para o conhecimento de seu público leitor/ouvinte memórias da vida do narrador-personagem, segundo ele, entre dois mundos: de um lado estão os saberes ancestrais do povo guarani que o acolhera e, de outro, o seu contato com a dominadora cultura branca. Expõe, além disso, sua intenção de levar a “voz da mata” para a “sociedade envolvente”, a fim de, a partir dos ensinamentos guaranis,...

62. The Definitional Side of the Forcing - Jaber, Guilhem; Lewertowski, Gabriel; Pédrot, Pierre-Marie; Sozeau, Matthieu; Tabareau, Nicolas
International audience

63. La cooperación descentralizada entre España y Colombia en el marco de la gestión de los riesgos de desastres - Velásquez Peñaloza, Amparo
El aumento de la resiliencia para las ciudades y países en el mundo son una prioridad de las agendas Nacionales y los organismos internacionales. La construcción de resiliencia pasa por la comprensión, interpretación y práctica de la gestión del riesgo de desastres y en ese marco la cooperación al desarrollo puede jugar un papel muy importante para contribuir a construir desarrollo sostenible o perpetuar riesgos en los lugares que coopera. En este contexto el objetivo de esta investigación es interpretar la presencia del enfoque de la gestión del riesgo de desastres en el ámbito de la cooperación oficial descentralizada municipal...

64. La responsabilidad disciplinaria de jueces y magistrados - Ron Latas, Ricardo Pedro; Lousada Arochena, J. Fernando
[RESUMEN] La responsabilidad de los Jueces y Magistrados se ha considerado el lógico contrapunto a la independencia judicial, y, en particular, a la inamovilidad del cargo. En este trabajo se aborda el estudio de la responsabilidad de Jueces y Magistrados en el ordenamiento jurídico español, tanto desde una perspectiva orgánica como normativa y la inamovilidad de los jueces y su efecto en la independencia del poder judicial

65. A Conversation with Richard M. Cormack - Buckland, Stephen T.
Richard Melville Cormack is one of the giants who developed the theory of mark-recapture. Referring to his key paper in 1964, and the papers published back-to-back in 1965 by George Jolly and George Seber, the “Cormack–Jolly–Seber model” is central to the development of mark-recapture methods for estimating survival. ¶ Richard was born on 12 March 1935. His father was Principal of Stow College of Engineering in Glasgow. From the age of 7, Richard attended Glasgow Academy, and later entered directly into the second year at King’s College, Cambridge, intending at the time to be a theoretical astronomer. He secured first class honours...

66. Pasiones, Libertad y Estado en Spinoza - Rodríguez Benavides, Iván Ramón
En esta investigación estudiamos el pensamiento político de Spinoza, bajo la hipótesis de que, si bien parte de los mismos referentes y categorías políticas que seguían los filósofos de su época, como Hobbes o Maquiavelo, las consecuencias de su reflexión son originales. Además, se muestra, que la novedad del pensamiento de Spinoza no se restringe a su época, sino que su pensamiento aporta categorías pertinentes para algunas discusiones actuales en Política. Hemos consultado, fundamentalmente, tres obras de Spinoza: La Ética Demostrada Según el Orden Geométrico, El Tratado Teológico Político y el Tratado Político. El desarrollo de la investigación está compuesto por...

67. Análisis lógico-comparativo de las formulaciones de la termodinámica - Sánchez Ferrer, Juan Manuel
1. OBJETIVO PRINCIPAL Sean las termodinámicas fundamentales de la vertebración histórica de los conceptos específicamente termodinámicos, es decir, la termodinámica de lo que aquí se denomina 2ª etapa de Clausius, la gibbsiana y la de Carathéodory. El objetivo principal es establecer un conjunto completo de conclusiones comparativas, en perspectiva macroscópica clásica, de dichas termodinámicas por su contenido físico. 2. EXTENSIONES DEL ENUNCIADO DEL OBJETIVO PRINCIPAL 2.1. Comparación de las extensiones de dichas termodinámicas, por el contenido físico, a dominios macroscópicos clásicos para las que no fueron formuladas originariamente. 2.2. Comparación de las extensiones de dichas termodinámicas, por el contenido físico, al...

68. La Lógica de Gottlob Frege: 1879 – 1903 - Bertran San Millán, Joan
Ofrecemos en esta tesis doctoral una reconstrucción global y detallada de la lógica desarrollada por Gottlob Frege a lo largo de su carrera. A pesar de que esta lógica fue objeto de profundas modificaciones desde su formulación inicial en Begriffsschrift hasta la versión revisada de Grundgesetze, muy raramente se han considerado las diferencias fundamentales que hay entre estas dos obras. No sólo defendemos que estas diferencias existen; además explicamos cómo deben entenderse atendiendo a la evolución del pensamiento de Frege. En primer lugar, plateamos una reconstrucción de la lógica de Begriffsschrift, de la que resulta una lectura completamente original de su...

69. Interactions between Type III receptor tyrosine phosphatases and growth factor receptor tyrosine kinases regulate tracheal tube formation in Drosophila - Mili Jeon; Matthew P. Scott; Kai Zinn
Summary The respiratory (tracheal) system of the Drosophila melanogaster larva is an intricate branched network of air-filled tubes. Its developmental logic is similar in some ways to that of the vertebrate vascular system. We previously described a unique embryonic tracheal tubulogenesis phenotype caused by loss of both of the Type III receptor tyrosine phosphatases (RPTPs), Ptp4E and Ptp10D. In Ptp4E Ptp10D double mutants, the linear tubes in unicellular and terminal tracheal branches are converted into bubble-like cysts that incorporate apical cell surface markers. This tube geometry phenotype is modulated by changes in the activity or expression of the epidermal growth factor...

70. The Complexity of Generalized Satisfiability for Linear Temporal Logic - Michael Bauland; Thomas Schneider; Henning Schnoor; Ilka Schnoor; Heribert Vollmer
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set of propositional operators is restricted, the complexity may decrease. This paper undertakes a systematic study of satisfiability for LTL formulae over restricted sets of propositional and temporal operators. Since every propositional operator corresponds to a Boolean function, there exist infinitely many propositional operators. In order to systematically cover all possible sets of them, we use Post’s lattice. With its help, we determine the computational complexity...

71. The Complexity of Generalized Satisfiability for Linear Temporal Logic - Michael Bauland; Thomas Schneider; Henning Schnoor; Ilka Schnoor; Heribert Vollmer
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set of propositional operators is restricted, the complexity may decrease. This paper undertakes a systematic study of satisfiability for LTL formulae over restricted sets of propositional and temporal operators. Since every propositional operator corresponds to a Boolean function, there exist infinitely many propositional operators. In order to systematically cover all possible sets of them, we use Post’s lattice. With its help, we determine the computational complexity...

72. The Complexity of Satisfiability for Fragments of CTL and CTL* - Arne Meier; Martin Mundhenk; Michael Thomas; Heribert Vollmer
The satisfiability problems for CTL and CTL? are known to be EXPTIME-complete, resp. 2EXPTIME-complete (Fischer and Ladner (1979), Vardi and Stockmeyer (1985)). For fragments that use less temporal or propositional operators, the complexity may decrease. This paper undertakes a systematic study of satisfiability for CTL- and CTL?-formulae over restricted sets of propositional and temporal operators. We show that restricting the temporal operators yields satisfiability problems complete for 2EXPTIME, EXPTIME, PSPACE, and NP. Restricting the propositional operators either does not change the complexity (as determined by the temporal operators), or yields very low complexity like NC1, TC0, or NLOGTIME.

73. Logical Closure Properties of Propositional Proof Systems (Extended Abstract) - Olaf Beyersdorff
In this paper we define and investigate basic logical closure properties of propositional proof systems such as closure of arbitrary proof systems under modus ponens or substitutions. As our main result we obtain a purely logical characterization of the degrees of schematic extensions of EF in terms of a simple combination of these properties. This result underlines the empirical evidence that EF and its extensions admit a robust definition which rests on only a few central concepts from propositional logic.

74. The Complexity of Generalized Satisfiability for Linear Temporal Logic - Michael Bauland; Thomas Schneider; Henning Schnoor; Ilka Schnoor; Heribert Vollmer
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set of propositional operators is restricted, the complexity may decrease. This paper undertakes a systematic study of satisfiability for LTL formulae over restricted sets of propositional and temporal operators. Since every propositional operator corresponds to a Boolean function, there exist infinitely many propositional operators. In order to systematically cover all possible sets of them, we use Post’s lattice. With its help, we determine the computational complexity...

75. The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments - Michael Bauland; Martin Mundhenk; Thomas Schneider; Henning Schnoor; Ilka Schnoor, Heribert Vollmer
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set of propositional operators is restricted, the complexity may decrease. This paper systematically studies the model-checking problem for LTL formulae over restricted sets of propositional and temporal operators. For almost all combinations of temporal and propositional operators, we determine whether the model-checking problem is tractable (in P) or intractable (NP-hard). We then focus on the tractable cases, showing that they all are NL-complete or...

76. Typology of axioms for a weighted modal logic - Legastelois, Bénédicte; Lesot, Marie-Jeanne; Revault d'Allonnes, Adrien
International audience

77. Spotlighting fantasy literature with the tools of Frame Semantics and Systemic Functional Linguistics: A case study - Luporini, Antonella
This paper presents a dual approach to the stylistic analysis of literary texts, focusing on fantasy literature, and deploying the tools provided by two arguably complementary theoretical-descriptive models: Frame Semantics (FS; Fillmore 1985; 2006 [1982]; Fillmore and Baker 2010) and the system of TRANSITIVITY as developed within Systemic Functional Linguistics (SFL; Halliday and Matthiessen 1999; 2014). The frameworks are applied to the analysis of two excerpts from the fantasy series Harry Potter, respectively relating the first and the last of a long series of battles between the protagonist and the main antagonist, Lord Voldemort. Within each passage, we consider all...

78. Genetic dissection of a cell-autonomous neurodegenerative disorder: lessons learned from mouse models of Niemann-Pick disease type C - Manuel E. Lopez; Matthew P. Scott
Understanding neurodegenerative disease progression and its treatment requires the systematic characterization and manipulation of relevant cell types and molecular pathways. The neurodegenerative lysosomal storage disorder Niemann-Pick disease type C (NPC) is highly amenable to genetic approaches that allow exploration of the disease biology at the organismal, cellular and molecular level. Although NPC is a rare disease, genetic analysis of the associated neuropathology promises to provide insight into the logic of disease neural circuitry, selective neuron vulnerability and neural-glial interactions. The ability to control the disorder cell-autonomously and in naturally occurring spontaneous animal models that recapitulate many aspects of the human...

79. Música, etnicidad e identidad mapuche. Una mirada crítica al Chile multicultural - Juan Gustavo Núñez Olguín
El objetivo del presente trabajo es aproximarse, desde una perspectiva etnomusicológica, a las estrategias de reproducción identitaria del Pueblo mapuche, en un contexto actual y bajo la lógica multicultural imperante en Chile. Para esto, revisaremos algunos sucesos que condicionan la actual relación entre el Estado chileno y el Pueblo mapuche, y centraremos el análisis de las manifestaciones culturales y musicales en los conceptos de etnicidad y relevancia social. De esta manera, y escapando de cualquier presupuesto idealista, intentaré sugerir una reflexión basada en el grado de conexión entre música y cultura, analizando usos y funciones, en casos concretos y en...

80. Trabajo femenino y migraciones estacionales en la recolección de la caña de azúcar en la Vega del Guadalfeo - Gracia Moya García
Este artículo analiza la participación de la mujer en las migraciones estacionales que tuvieron como destino la recolección de la caña de azúcar en la Vega del Guadalfeo. Se trata de migraciones de corto alcance que tuvieron como objetivo completar los ingresos obtenidos en las localidades de origen y que afectaron a familias de jornaleros y pequeños propietarios proletarizados. Esta fase del cultivo se caracterizó por una fuerte división sexual de las tareas en las que el trabajo femenino consistió en limpiar el tronco de la caña antes de ser trasladado a las azucareras para su transformación industrial. Junto a...

Página de resultados:
 

Busque un recurso