Sunday, November 23, 2014

 

 



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 161 - 180 de 132,700

161. Recommender system based on argumentation by analogy - Budán, Paola D.; Rosenzvaig, Federico; Budán, Maximiliano; Simari, Guillermo Ricardo
Argumentation has contributed to the formalization of a reasoning model, similar to the human reasoning. In general, argumentation can be associated with the interaction of reasons in favour and against certain conclusions, so as to determine what conclusions are acceptable. A way of arguing in which the way in which the arguments are constructed, is Defeasible Logic Programming (DeLP); this is a formalism that combines logic programming and defeasible argumentation. This work focuses on the strengthening of the reasoning process, identifying partial connections or determinations between knowledge pieces. Through these relations, it is possible to increase the justi cations and...

162. A preliminary approach towards a logic for warrant - Gómez, Sergio Alejandro; Simari, Guillermo Ricardo
We extend Defeasible Logic Programming for it to be able to warrant complex logical formulas. We show how negation, conjunction, disjunction and implication of ground literals can be tested for warrant. We show a running scenario to test the suitability of the approach.

163. Some Classical Problems of Inheritance Networks in the Light of Defeasible Ontology Reasoning - Gómez, Sergio Alejandro
Reasoning with possibly inconsistent ontologies is an important reasearch topic for the implementation of the Semantic Web as they pose a problem for performing instance checking. We contend that Defeasible Logic Programming (DeLP) is a reliable tool for doing ontology reasoning when Description Logic ontologies can be interpreted as DeLP programs. In this work we present some classical problems of the eld of inheritance networks and show how they are modeled as inconsistent ontologies and thus how the problem of instance checking is solved; we also show how issues in reasoning with argumentation frameworks based on Dung's grounded semantics are...

164. Evaluación del dispositivo Raspberry Pi como elemento de despliegue de servicios en el marco de las Smart Grids - Moreno Rodríguez, Luis Manuel
La tendencia actual de las redes de telecomunicaciones conduce a pensar en un futuro basado en el concepto emergente de las Smart Cities¸ que tienen como objetivo el desarrollo urbano basado en un modelo de sostenibilidad que responda a las necesidades crecientes de las ciudades. Dentro de las Smart Cities podemos incluir el concepto de Smart Grid, el cual está referido a sistemas de administración y producción de energía eficientes, que permitan un sistema energético sostenible, y que den cabida a las fuentes de energía renovables. Sistemas de este tipo se muestran a los usuarios como un conjunto de servicios con...

165. Effective Web content recommendation based on consumer behavior modeling - Zhou, Baoyao; Fong, AC.M.; Hui, Siu C.; Do, The A.
Web surfing has become an important activity for many consumers. We propose a web recommender that models user behavior by constructing a know ledge base using temporal web access patterns as input. We apply fuzzy logic to represent real-life temp oral concepts and requested resources of periodic pattern-based web access activities. Th e fuzzy representation is used to construct a know ledge base of the user's web access behaviors, which is then used to provide timely and personalized recommendations to the user, possibly on their portable devices. Experiments conducted to e valuate the performance of the proposed approach have shown...

166. Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. - Giesl, J; Ströder, T; Schneider-Kamp, P; Emmes, F; Fuhs, C

167. Verificación formal en ACL2 del Algoritmo de Buchberger - Medina Bulo, Inmaculada
En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del algoritmo de Buchberger para el cálculo de bases de Gröbner, utilizando para ello un sistema de razonamiento automatizado (ACL2); esto incluye la formalización completa y precisa de toda la teoría matemática subyacente. Concretamente: -El desarrollo de una teoría computacional sobre los anillos de polinomios de múltiples variables. -La obtención de un orden natural a los polinomios de múltiples variables y demostración de su buena fundamentación. -La representación de los conceptos asociados a los ideales polinómicos de manera que sea posible razonar sobre ellos de manera automatizada. -El...

168. Design and characterization of molecular fluorescent architectures for potential applications as sensors and logic switches - Fernandes Pais, Vânia Cristina
The increasing complexity of information technology and the therewith connected demands for miniaturization have alimented the need for alternative small-scale approaches to computing and data processing. Molecules can be one solution for this problem. However, they must be taught to integrate the functions of computing such as logic gates and circuits. Molecular switches can be converted from one state to another by a wide range of external stimuli, such as chemical species, light, temperature etc. This switching action can be translated into binary codes and in some cases (as shown in this thesis) also into multivalued coding. Beside their potential...

169. Desarrollo y aplicaciones de un entorno de programación para computación celular: P-Lingua - Pérez Hurtado de Mendoza, Ignacio
La presente memoria está estructurada en tres partes que constan de un total de siete capítulos cuyos contenidos se describen sucintamente a continuación. Parte I: Preliminares La memoria comienza con un breve recorrido histórico acerca del desarrollo y evolución de diversos conceptos relacionados con la Teoría de la Computación y la Teoría de la Complejidad Computacional. Se analizan las limitaciones que tienen los dispositivos reales construidos en el marco de dichas teorías, a la hora de resolver eficientemente problemas concretos que son relevantes en la vida real, lo cual hace necesario la búsqueda de nuevos paradigmas de computación que permitan...

170. A logic-reasoning based system to harness bioprocess experimental data and knowledge for design - Zhang, J; Hunter, A; Zhou, Y
Bioprocess design requires substantial resources during the experimental investigation of the options for each bioprocess step. This is both time-consuming and expensive. The amount of data available has increased exponentially since the expansion of new biological drug development. Data are heterogeneous, sometimes inconsistent and incomplete, making them difficult to be systematically utilised for analysis for any new bioprocess design. In this paper, we report a novel computational method that harnesses the bioprocess experimental data to assist design decision making, and perhaps identify further needed experiments. First, we develop a new data representation structure to capture the experimental data systematically. Then...

171. The order and method of instructing children, with strictures on the modern system of education. - Crabb, George, 1778-1851.
Section I. On association -- Section II. On the operations of the mind -- Section III. On the operation of perception -- Section IV. On the operation of compounding -- Section V. Operation of comparing -- Section VI. Operation of analysing -- Section VII. Operation of combining -- Section VIII. Operation of judging -- Section IX. Operation of the memory -- Section X. Operation of reflection -- Section XI. Different modes of exercising the powers -- Section XII. Application of these principles to the sciences of logic and language -- Section XIII. An Application to the study of arithmetic --...

172. Ronrigaku / - 880-01 Ōnishi, Hajime, 1864-1900.
Furoku: Ronbun 5-hen -- Setsumei zuhyō -- Yōgo Ei-Wa taiyakuhyō.

173. Galeni Institutio logica; - Galen.; Kalbfleisch, K. (Karl), 1868-1921.
Greek letters at head of title.

174. Yesode ḥokhmat ha-higayon / - Malbim, Meir Loeb ben Jehiel Michael, 1809-1879.
Mode of access: Internet.

175. La i-lógica de los géneros: metrosexuales, masculinidad y apoderamientos - Díaz Diego, José
El presente artículo esboza una breve reflexión etnológica sobre las lógicas y retóricas de la construcción de los géneros a través del análisis de un fenómeno de radiante actualidad, la plena subsunción del cuerpo masculino al sistema de mercado, en la figura de los metrosexuales. Además se plantea la capacidad de los grupos de poder por redefinir iguales referentes del performance corporal en un manejo de la semiótica social, haciendo propios y revalorizados elementos y discursos presentes con anterioridad, aunque carentes de tal status de consideración, en otros grupos sociales.

176. De la heterosexualidad a la ciudadanía - Valcuende del Río, José María
El artículo analiza las consecuencias de la heterosexualidad, entendida no como una práctica sino como un modelo social histórico, a partir del cual se legitiman una serie de normas que contribuyen a estigmatizar a todos los individuos y grupos etiquetados bajo otras categorías, como la “homosexualidad”. Esta categoría engloba una realidad diversa y heterogénea, simplificada desde la visión hegemónica de las relaciones humanas. En forma de ensayo se invierte la argumentación que ha representado la homosexualidad como “enfermedad” o “desviación” y se aplica esa misma lógica a la categoría dominante, la “heterosexualidad”.

177. El empleo o la vida: perder el empleo para conservar la vida o renunciar a la vida para conservar el empleo - Rivas Rivas, Ana María
En este breve ensayo se cuestionan los supuestos implícitos en el planteamiento de la conciliación laboral y familiar en la medida que no se oponen a la lógica que subyace a la organización del trabajo, al mercado laboral y al sistema económico capitalista de producción bajo la versión actual de flexibilidad laboral. Mientras esto no se cuestione, no tiene sentido seguir hablando de conciliación de la vida familiar y laboral, porque es imposible conciliar lo que es irreconciliable: la lógica capitalista del beneficio y la lógica de la sostenibilidad humana.

178. "Al final todos terminaron viniendo como terapia". El yoga entre la complementariedad pragmática, el trabajo terapéutico y la reorientación del self - D´Angelo, Ana C.
In its transnational dissemination outside India, yoga´s interpretative framework was �among other processes� adapted to scientific medicalization, and lately inserted in a therapy field governed by a new emotional style inaugurated by psychoanalysis. Yoga is currently used as therapy, either in a pragmatic complementary logic, or in a process of therapeutic work alternative to bio-medicine and to psychotherapies. It is also supported in class habitus that indicate an emotional capital in which discomforts are defined in terms of stress and anxiety. However, this article transcends the issue of complementarity or alternativity between models of health-disease-care. It analyzes the way in...

179. Tradição e modernidade: Reconfigurações identitárias na música folclórica chilena dos anos 1950 e 1960 - da Costa Garcia, Tânia
The urban popular song is a cultural event typically modern. Their production, spreading and consumption are confused with the urbanization processand the availability of technological resources. Communicated by the mass media, when achieved broader public than the local receivers, it has transformed into an important vector of cultural homogenization, what happened considerably fast, within the logic of the market. This article aims to map the connections between the popular song, the formation and consolidation of a consumer market and the political uses of it in different sectors of Chilean society between the fifties and sixties, a period in which the...

180. A paz de Deus no Midi da França no século XII - Carraz, Damien
Fenômeno emblemático da “primeira idade feudal” (900-1050), a Paz e a Trégua de Deus têm suscitado o interesse de gerações de estudiosos desde o século XIX. Habitualmente, considera-se que as iniciativas de pacificação dos bispos e dos abades perderam força progressivamente em meados do século XI para logo ceder lugar a “paz do rei” ou dos príncipes. Entretanto, alguns estudos antigos, frequentemente esquecidos hoje em dia, revelaram que os bispos do sul da França tinham, ao curso do século XII, reativado as normas de paz e de trégua por ocasião de concílios onde figuravam igualmente representantes da aristocracia regional. Estes trabalhos...

 

Busque un recurso