Saturday, July 4, 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 121 - 140 de 145,747

121. Equivalence in Logic-Based Argumentation - Amgoud, Leila; Besnard, Philippe; Vesic, Srdjan
International audience

122. Multidimensional models meet the semantic web: defining and reasoning on OWL-DL ontologies for OLAP - Prat, Nicolas; Megdiche, Imen; Akoka, Jacky
Data warehouses use a multidimensional model. Based on this model, OLAP cubes enable users to analyze data. For correct OLAP analysis, multidimensional models should be checked. In particular, these models should ensure summarizability. Checking multidimensional models and their summarizability is complex and error-prone. To perform this task, formal reasoning is appropriate. In this paper, we propose and illustrate an approach to represent a multidimensional model as an OWL-DL ontology, and reason on this ontology to check the multidimensional model and its summarizability. Beyond the reasoning capabilities of description logic, representing multidimensional models as OWL-DL ontologies is a means to move...

123. Capturing equilibrium models in modal logic - Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz
International audience

124. On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes - Lorini, Emiliano
International audience

125. Temporal STIT logic and its application to normative reasoning - Lorini, Emiliano
International audience

126. WSDLUD: a metric to measure the understanding degree of WSDL descriptions - Berón, Mario; Bernardis, Hernán; Miranda, Enrique; Riesco, Daniel; Pereira, Maria João; Henriques, Pedro
In this article, WSDL Understanding Degree (WSDLUD) a metric aimed at measuring a priori the understandability of WSDL (Web Services Description Language) descriptions is presented. In order to compute WSDLUD, all the static information available in a WSDL description is collected. This information is submitted to an evaluation process based on a method named LSP (Logic Scoring of Preference). This evaluation process outputs a Global Preference value that indicates the satisfaction level of theWSDL description regarding the evaluation focus, in this case, the understanding degree.

127. System design support of cyber-physical systems: a co-simulation and co-modelling approach - Ni, Yunyun
The goal of this research is to support system-level design for CPS devices from methods perspective with corresponding tooling support to bridge the existing design gap. In this work, a set of methods are provided that support different exper- tise to understand CPS design from a system level, instead of only considering one single specific discipline. In order to avoid confusions across the different domains, a list of explained terms is provided. Co-design support guidelines (co-design flows) that consider different backgrounds of the possible designers and different system properties are discussed in detail. Following the step-wise refinement design steps, a CPS...

128. Sujeto y comunidad: una aproximación al pensamiento ‘comunitario’ de Roberto Esposito a través del concepto de lo sublime kantiano - Amaya Villarreal, Ana María
En este texto abordo una pregunta que deja abierta el pensamiento de la comunidad de Roberto Esposito: ¿cómo pensar la condición humana de ser-en-común sin derivarla de la noción de sujeto individual o colectivo? Me ocupo, además, de la preocupación de Esposito en torno a si su propuesta de pensar la comunidad como desestructuración radical del sujeto corre el riesgo de reproducir, en alguna forma, la lógica del sacrificio que él identifica en la noción tradicional y moderna de comunidad. Mi propuesta es la de enfrentar estas preguntas a través del particular contacto que la reflexión de Esposito establece con...

129. Displacement logic for anaphora - Morrill, Glyn; Valentín Fernández Gallart, José Oriol
The displacement calculus of Morrill, Valentín and Fadda (2011) [25] aspires to replace the calculus of Lambek (1958) [13] as the foundation of categorial grammar by accommodating intercalation as well as concatenation while remaining free of structural rules and enjoying Cut-elimination and its good corollaries. Jäger (2005) [11] proposes a type logical treatment of anaphora with syntactic duplication using limited contraction. Morrill and Valentín (2010) [24] apply (modal) displacement calculus to anaphora with lexical duplication and propose extension with a negation as failure in conjunction with additives to capture binding conditions. In this paper we present an account of anaphora...

130. L’émergence de cinq paradoxes qui nous interrogent: vers un avenir complexe de la recherche en éducation - Sabirón Sierra, Fernando; Arraiz Pérez, Ana
In the first part of the article («classical epistemology and complexity»), the Kuhn’s Historicism is stated to oppose the binary classical scientific logic with the fuzzy logic of the Complexity. The contrast between two of the classical paradigms in research (positivist paradigm versus ethnographic paradigm), allows us to exemplify the consequent instrumental and communicative logics applied in the historical development of research in education. By opposition, it is suggested a current development from the epistemological principles of the Complexity. These principles are developed throughout the article and allow us to formulate the five paradoxes that articulate it 1) concerning how to interpret...

131. Mental Practice: some observations and speculations - Lippman, L.P.; Selder, D. J.
The use of words such as mental practice, imagery, and rehearsal have great meaning in the psychological, motor learning and sport psycology literature. There exists logic and precedence to simplifyterminology and research that utilizes the paradigm where any kind of mental rehearsal is takin place. In fact, there is some justification that such a mechanism is and always have been an integral part of the learning process. A rubric incorporating mental practice into the mainstream of learning is presented. The importance of these mental processes in learning and performing motor skills become evident when characteristics of the cognitive, associative and...

132. Red ilógica: Investigación en la docencia universitaria de la lógica, del uso de las tecnologías informáticas y su presencia en internet - Llorens Largo, Faraón; Castel de Haro, María Jesús; Gallego Durán, Francisco; Gomis Castelló, José Javier; Satorre Cuerda, Rosana; Villagrá Arnedo, C.

133. Una experiencia docente sobre el uso cotidiano de las diferentes lógicas. - Rodríguez, Juan Tinguaro; Guada, Carely; Montero de Juan, Francisco Javier
En este artículo se presentan los resultados de una experiencia realizada con dos grupos de alumnos,uno de Ciencias Sociales y otro de Ciencias Matemáticas, con la finalidad de observar las posibles disimilitudes en la percepción y uso de diferentes lógicas. El resultado de esta experiencia inicial mostrará, sobre todo, cómo el científico acepta más fácilmente que el humanista modelos que su propio sentido común rechaza, lo cual es un aspecto que se debe tomar en cuenta en estudios formales posteriores.

134. Consistencia y estabilidad en operadores de agregación: Una aplicación al problema de datos perdidos - Gomez, Daniel; Rojas, Karina; Montero de Juan, Francisco Javier; Rodríguez, Juan Tinguaro; Beliakov, G.
En este trabajo se analiza una cuestión clave respecto de la relación que debe existir entre operadores de una misma familia de operadores de agregación (FAO) {An}, a fin de comprender que ellos deben definir adecuadamente un todo consistente. Se extienden algunas de las ideas de estabilidad de una FAO con un enfoque más general,definiéndose formalmente las nociones de i−L y j−R estabilidad estricta para familias de operadores de agregación, e introduciendo la noción de estabilidad estricta de orden k. Finalmente,se muestra una aplicación de las condiciones de estabilidad estricta al problema de pérdida de datos en un proceso de...

135. Real-time multiprocessor architecture for sharing stream processing accelerators - Dekens, Berend H.J.; Bekooij, Marco J.G.; Smit, Gerard J.M.
Stream processing accelerators are often applied in MPSoCs for software defined radios. Sharing of these accelerators between different streams could improve their utilization and reduce thereby the hardware cost but is challenging under real-time constraints. In this paper we introduce entry- and exit-gateways that are responsible for multiplexing blocks of data over accelerators under real-time constraints. These gateways check for the availability of sufficient data and space and thereby enable the derivation of a dataflow model of the application. The dataflow model is used to verify the worst-case temporal behavior based on the sizes of the blocks of data used for...

136. Metafísica, lógica y mundo: Una mirada antropológica de los conceptos fundamentales de la metafísica. - Muñoz Pérez, Enrique V.
This article offers an interpretation of certain passages of the lectures on The Fundamental Concepts of Metaphysics: World, Finitude, Solitude which Martin Heidegger dictated at the University of Freiburg (Germany), in the winter semester of 1929/30. My research hypothesis is that Heidegger provides a metaphysical reading of logic that have anthropological consequences in the sense that they allow the distinction between animals and humans. In other words, I think the detailed analysis on the “as” (als) is, in part, the Heideggerian response to one of the fundamental anthropological questions of the time, that is: what is the difference between an...

137. La valoración de MOOC: una perspectiva de Calidad - Ramírez Fernández, Miguel Baldomero
The research analyzes the normative quality of five MOOC courses of the EDX platform through EduTool® instrument, brand registered in the Spanish Patent and Trademark Office (3,087,298, in effect). This tool was the result of a Doctoral Thesis in the research line of work “2.0 ICT teaching innovation in the European Higher Education Area” of the University Pablo de Olavide of Seville (Spain). This work was developed under the auspices of the UNE 66181: 2012 norm and the weights of the subfactors of each of the dimensions of this standard for Quality Management of Virtual Training for MOOC were analyzed using fuzzy logic. In that sense, to...

138. Materiales docentes con los que aumentará tu interEEES por estudiar lógica - Castel de Haro, María Jesús; Villagrá Arnedo, C.; Palomino Benito, J.A.

139. Integration of human factors in project uncertainty management, a decision support system based on fuzzy logic - Hassanzadeh, Saïna; Marmier, François; Gourc, Didier; Bougaret, Sophie
International audience

140. Decision-making in R&D projects, a framework based on fuzzy logic - Hassanzadeh, Saïna; Gourc, Didier; Marmier, François; Bougaret, Sophie
International audience

Página de resultados:

Busque un recurso