Saturday, April 25, 2015

 

 



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 101 - 120 de 143,224

101. Modeling of an Organizational Environment by System Dynamics and Fuzzy Logic - Bouloiz, Hafida; Garbolino, Emmanuel; Tkiouat, Mohamed
This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

102. Indices de solapamiento entre conjuntos difusos. construccion a partir de grados de solapamiento - Bustince, Humberto; Fernandez, Javier; Montero de Juan, Francisco Javier
En este trabajo presentamos las propiedades basicas que, desde nuestro punto de vista,deben cumplir los grados de solapamiento. Estudiamos diferentes metodos de construccion y analizamos las condiciones bajo las cuales las t-normas continuas son grados de solapamiento. Por ultimo, demostramos que si aplicamos operadores de agregacion especiales a dichos grados, entonces obtenemos el ındice de solapamiento (overlap) entre conjuntos difusos definido por Dubois y el ındice de consistencia propuesto por Zadeh.

103. Categorical Abstract Algebraic Logic: Truth-Equational $\pi$ -Institutions - Voutsadakis, George
Finitely algebraizable deductive systems were introduced by Blok and Pigozzi to capture the essential properties of those deductive systems that are very tightly connected to quasivarieties of universal algebras. They include the equivalential logics of Czelakowski. Based on Blok and Pigozzi’s work, Herrmann defined algebraizable deductive systems. These are the equivalential deductive systems that are also truth-equational, in the sense that the truth predicate of the class of their reduced matrix models is explicitly definable by some set of unary equations. Raftery undertook the task of characterizing the property of truth-equationality for arbitrary deductive systems. In this paper, following Raftery,...

104. Forking in Finite Models - Hyttinen, Tapani
We study properties of forking in the classes of all finite models of a complete theory in a finite variable logic. We also study model constructions under the assumption that forking is trivial.

105. Reconocimiento de los derechos de pueblos indígenas en el sudeste asiático - Inguanzo Ortiz, Isabel
Esta investigación ha tratado de explicar por qué en algunos lugares se reconocen los derechos de los PI y en otros lugares no. El reconocimiento de estos derechos se ha extendido sobre todo a partir de los años ochenta, fruto de un cambio de paradigma a nivel internacional por el cual se pasó de un enfoque asimilacionista y paternalista a un enfoque multicultural de reconocimiento de la diversidad. Sin embargo la extensión del reconocimiento se ha producido de forma desigual. Los países de América Latina y de la esfera anglosajona han sido los pioneros en esta materia, y también por...

106. THE BRAZILIAN FOREIGN POLITICS IN THE CARDOSO GOVERNMENT: AN EXERCISE OF AUTONOMY FOR THE INTEGRATION. - Tullo Vigevani; Marcelo Fern; Es De Oliveira; Palavras-chaves Governo Fern
As mudanças na política externa brasileira na década de 90 foram importantes. Durante os dois mandatos do presidente Fernando Henrique Cardoso, buscou-se substituir a agenda reativa, da política externa brasileira, dominada pela lógica da autonomia pela distância, por uma nova agenda internacional pró-ativa, determinada pela lógica da autonomia pela integração. Segundo ela, o país deve ampliar o poder de controle sobre o seu destino e enfrentar seus problemas através da adesão ativa à elaboração das normas e das pautas de conduta da gestão da ordem mundial, colaborando na formulação e funcionamento dos regimes internacionais. O trabalho analisa o período dos...

107. LOGIC-BASED FORMULA MANAGEMENT STRATEGIES IN AN ACTUARIAL CONSULTING SYSTEM - Tasacad Sivasanltaran; Matthias Jake
In many decision support systems, multiple decision methods and models must be combined for solving a complex problem. Expertise is required for selecting, adapting and coordinat-ing appropriate models. This paper describes the design and implementation of a knowledge-based model management system called the Actuarial Consulting System (ACS). The ACS supports actuaries in making pricing decisions in the domain of life insurance. Actuarial knowledge is organized using a graph formalism called Formula Derivation Network (FDN), represented in Prolog as a hierarchy of predicates. On the user level, a Problem Analyzer converts a problem specification by the user into a search problem...

108. An Efficient Wakeup Design for Energy Reduction in High-Performance Superscalar Processors - Kuo-su Hsiao; Chung-ho Chen
In modern superscalar processors, the complex instruction scheduler could form the critical path of the pipeline stages and limit the clock cycle time. In addition, complex scheduling logic results in the formation of a hot spot on the processor chip. Consequently, the latency and power consumption of the dynamic scheduler are two of the most crucial design issues when developing a high-performance microprocessor. We propose an instruction wakeup scheme that remedies the speed and power issues faced with conventional designs. This is achieved by a new design that separates RAM cells from the match circuits. This separated design is such...

109. On Hoare Logic, Kleene Algebra, and Types - Dexter Kozen
We show that propositional Hoare logic is subsumed by the type calculus of typed Kleene algebra augmented with subtypes and typecasting. Assertions are interpreted as typecast operators. Thus Hoare-style reasoning with partial correct-ness assertions reduces to typechecking in this system.

110. Breves reflexiones en torno a las Ponencias sobre Lógica de las Ciencias Sociales de K.R. Popper y T.W. Adorno, en el marco del Congreso de la Sociedad Alemana de Sociología - 1961 - Fernández Oliva, Marianela
Sumario: Los Ponentes. 1. La Lógica de las Ciencias Sociales. 1. 1. Dinámica entre conocimiento e ignorancia. 1.2. Los problemas como punto de partida. 2. Reflexiones sobre el método. 2. 1. Las Ciencias de la Naturaleza y las Ciencias del Espíritu. 2. 2. De la Objetividad en Ciencias Sociales. 3. Conclusión.

111. Otredades a la Intemperie: Regulaciones Culturales en la Periferia - Ponce, Elsa del Carmen
En regiones como el NOA (Noroeste argentino) asistimos a un continuo emprolijamiento de los discursos normalizadores en torno de la diferencia, en cuanto formato estético y político disidente respecto de marcas identitarias dominantes. Estas disidencias, al mismo tiempo que se reproducen, revelan los cursos de la lógica cultural hegemómica en los escenarios sociales de la periferia capitalista. Sitúo en este trabajo como objeto de reflexión filosófico-política aquellas “otredades” a las que se dirige el discurso jurídico con empeño “normalizador” en dichos contextos. Mediante el examen de las categorías empleadas en el discurso jurídico refiriendo al aborto como aberración, se localizan narrativas...

112. Reflexiones sobre la axiosofía dikelógica - Zabalza, Guillermina
En el presente trabajo abordaremos el fenómeno jurídico desde una consideración filosófica menor, enfocándolo desde dentro del Mundo Jurídico, denominándoselo Filosofía Jurídica Menor, es decir la Jurística. En tal sentido recordamos que en el fenómeno jurídico nos encontramos con “...el orden de repartos, descrito e integrado por el ordenamiento normativo y por encima advertimos la justicia que valora conjuntamente tanto uno como el otro” . En consecuencia, es fundamental recalcar que la Teoría Trialista del Mundo Jurídico, contempla al Derecho integrado a la vida, es la vida misma (Dimensión Sociológica), por su parte, la lógica cuenta la vida, es decir,...

113. Los partidos y los alineamientos políticos como culturas - Bustamante, Fernando
En el Ecuador, los clivajes partidistas no responden a lógicas de intereses económico racional instrumentales ni a ideologías.

114. Educar personas y ciudadanos democráticos - Cortina Orts, Adela
Educar para la ciudadanía democrática parece ser la meta de las sociedades pluralistas, pero no para cualquier forma de organización democrática, sino la que entienda que el ejercicio de la autonomía personal y la formación dialógica de la voluntad son indispensables. Para alcanzar tal meta parece necesario cultivar el capital humano (destrezas técnicas y conocimientos), el capital social (habilidades sociales) y la prudencia para desarrollar una vida buena. Pero no sólo eso, también un sentido de la justicia, ejercido en el marco del mutuo reconocimiento, en el marco de un diálogo no sólo lógico, sino también sentiente. Desgranar estos puntos...

115. SISTEMA DIFUSO PARA LA DETECCION Y DIAGNOSTICO DE FALLA EN LA GENERACION A VAPOR - Valencia, Fabian Alexis; Estupiñan, Jose Alexander
En la industria existen procesos que necesitan de generadores a vapor para su producción y cuando estos fallan generan pérdidas, por esta razón es necesario desarrollar un sistema de diagnostico de fallas SDDF fundamentado en  lógica borrosa para mejorar  la eficiencia del proceso y así evitar paros no programados en la producción. Mediante el modelado difuso, se analiza el comportamiento de falla, ante diferentes patrones o esquemas de funcionamiento aplicando metodologías no basadas en el conocimiento del modelo, integrado al sistema de seguridad en calderas, ejecutando de forma directa y eficaz la predicción de las fallas presentes en el proceso.

116. Análise do potencial e dos obstáculos para a dinamização dos destinos turísticos inseridos em rotas de cruzeiros marítimos - Abrahão, Cinthia Sena; Gonçalves Gândara, José Manoel
O artigo analisa a expansão do segmento de cruzeiros marítimos no Brasil, baseando-se nos estudos sobre economia regional e turismo, tendo em vista compreender o potencial e os obstáculos para dinamização dos destinos mobilizados. O método quantitativo e a pesquisa exploratória subsidiaram a coleta e interpretação das informações. Os resultados foram estruturados em três partes, na primeira é realizada a revisão teórica sobre a temática. Na segunda, são analisados dados capazes de identificar os destinos que vêm sendo mobilizados, bem como os fatores relacionados à infraestrutura e às relações intraempersariais. A terceira é dedicada aos apontamentos finais. Depreende-se da discussão...

117. Improvement of the dynamic behavior of large-scale power systems by using robust power system stabilizers based on fuzzy logic - Ramírez-González, Miguel; Castellanos-Bustamante, Rafael
In this paper, the effect of fuzzy logic-based robust power system stabilizers on the improvement of the dynamics of a large-scale power system is investigated. The study is particularly focused on the Mexican Interconnected System and on adding damping to two critical inter-area system oscillation modes: The north-south mode and the western-peninsular mode. The fuzzy power system stabilizers (FPSSs) applied here are based on a significantly reduced rule base, small number of tuning parameters, and simple control algorithm and architecture, which makes their design and implementation easier and suitable for practical applications. Non-linear time-domain simulations for a set of test...

118. “Sólo distinguir a alguien como diferente instituye la desigualdad” - Cremona, María Florencia
Entrevista a Ana María Fernández, Doctora en Psicología, Profesora Titular en las Cátedras de Teoría y Técnica de Grupos e introducción a los Estudios de Género, Facultad de Psicología, Universidad de Buenos Aires. Directora del Programa de Actualización en el Campo de Problemas de la Subjetividad, autora de La Mujer de la Ilusión: Pactos y contratos entre hombres y mujeres, La invención de la niña, Las lógicas colectivas, Imaginarios, cuerpos y multiplicidades, entre otras publicaciones.

119. Simone de Beauvoir: hacer triunfar el reino de la libertad - Femenías, María Luisa
En las últimas décadas, tres circunstancias –en cierto sentido fortuitas– reintrodujeron la lectura de Simone de Beauvoir en la Academia luego del impasse que se produjo tras su fuerte influencia en el feminismo estadounidense a finales de los 60 y principios de los 70. La primera de estas circunstancias, en 1986, fue la publicación de Judith Butler de un artículo en el que examina y critica la posición filosófica y feminista de la filósofa francesa, convirtiéndola en su referente polémico y, a su vez, convirtiéndose a sí misma en una autora audaz, tan leída como polémica. Corresponde la segunda circunstancia...

120. Encoding hybridised institutions into first order logic - Diaconescu, Razvan; Madeira, Alexandre
"Published online : 12 November 2014"

Página de resultados:
 

Busque un recurso