Thursday, March 5, 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 161 - 180 de 140,063

161. Algunos efectos perversos de la globalización: las empresas transnacionales y el deber de respeto de los estándares mínimos internacionales de derechos humanos - Belloso Martín, Nuria
It will highlight the emergence of a new organizational paradigm by which multinational / transnational corporations should respect and promote minimum international human rights standards. The different initiatives, while well intentioned, have only succeeded on moving control's core of the activities developed by companies to the logic of a voluntary Corporate Social Responsibility. The author argues that control instruments must be designed beyond that CSR (from soft law to a hard law). Urges to define the liability of companies and improve repair's mechanisms on human rights needs.

162. Blogging 9/11 and Memory Discourse - Paganoni, Maria Cristina
Marking �Time Zero� in the history of the US and the world, the 9/11 catastrophe provoked an outburst of discourses that found an unprecedented sounding board in the blogosphere, flooded with fragmentary contributions from a global public that mostly witnessed the event mediated by TV coverage. Examining a decade bracketed by those traumatic attacks and Osama bin Laden�s death, we may ask ourselves in what relationship the continuous flow of comments, disclosures and news updates published on 9/11-related blogs stands to the making of the history of the event and what followed it, especially the emergence of the �war-on-terror� rhetoric. This...

163. Black Orpheus, Barack Obama's Governmentality - Pease, Donald E.
This essay constitutes a preliminary effort to explain the state fantasy with which Barack Obama hegemonized an alternative to the biopolitical settlement normalizing George W. Bush�s Global War on Terror (Pease 2009). In what follows, I intend to argue that Obama has not utterly displaced Bush�s Homeland State of Exception but that Obama�s governmentality presupposes it as the structuring logic through which he transformed the US state�s relationship with domestic and planetary peoples. I will be interested in particular in the role that Obama�s complex negotiation with the congeries of racial fantasies that he found condensed in the figure and...

164. Beneficios del uso de Maude para desarrollar sistemas adaptativos - Inglés Romero, Juan F.; Vicente-Chicote, C.
La adaptación del software en tiempo de ejecución se está convirtiendo en un reto cada vez más importante a medida que las aplicaciones necesitan ajustarse dinámicamente para hacer frente a los continuos cambios que se producen en su entomo de ejecución, en los recursos computacionales disponibles en cada momento, o en los requisitos de los usuarios. Maude es un lenguaje de especificación formal, basado en lógica ecuacionaL y lógica de reescritura. que permite la programación de una amplia gama de aplicaciones. En este trabajo describimos nuestra experiencia en el uso de Maude para la creacion de prototipos de sistemas auto-adaptativos.

165. Una reseña histórica de los diseños experimentales - Cazau, Pablo
En el presente artículo se realiza una revisión histórica de los diferentes procedimientos para descubrir o probar conexiones causales, hoy en día conocidos como diseños experimentales en sentido amplio. Se comienza con una breve referencia a los antecedentes aristotélicos que destacan su sustento lógico, y se describen luego los avances en la Baja Edad Media y el Renacimiento, donde el pensamiento de Francis Bacon ocupó un lugar predominante. Desde allí se continúa hasta el siglo XIX, donde la figura de John Stuart Mill es asimismo central, para luego describir la forma en que, en el siglo XX, son tratados los...

166. El humano como recurso de las organizaciones hipermodernas: resonancias del poder gerencialista - Viana Braz, M.; Hashimotto, Francisco
Nowadays, the current work perspective is characterized by a management economy in which the accounting and financial considerations overlap the human and social considerations. Therefore, there is a creation of a social imaginary dominated by a capitalist and utilitarist logic. With this in mind, we intend, in this theoretical-reflexive study, learn the power resonances and managerialist ideology for the included subjects in the hypermodern organizations. This way, this research was constructed by the light of Psichosociology. The reading through these approaches emphasizes the imaginary dimension, intersubjective and group of the organizations, contributing to the understanding of job relations and worker's...

167. On the Use of Alloy to Analyze Graph Transformation Systems - Luciano Baresi; Paola Spoletini
Abstract. This paper proposes a methodology to analyze graph trans-formation systems by means of Alloy and its supporting tools. Alloy is a simple structural modeling language, based on first-order logic, that allows the user to produce models of software systems by abstracting their key characteristics. The tools can generate instances of invariants, and check properties of models, on user-constrained representations of the world under analysis. The paper describes how to render a graph transformation system —specified using AGG — as an Alloy model and how to exploit its tools to prove significant properties of the system. Specifically, it allows the...

168. A Novel Multi-loop Fuzzy Logic Dynamic Controller for Wind/Photovoltaic-Grid Interface DC Energy Utilization Farm - A. M. Sharaf; I. H. Altas; E. Ozkop
Abstract. This paper proposes a novel control system for control of a hybrid wind/photovoltaic (PV) farm utilization with alternative power source for DC type loads. A controller consisting of six different loop controllers is mainly used to regulate the DC-DC converter to reduce a weighted total sum of all loop errors, to mainly track a given speed reference trajectory depicting the demand for discharge or flow and also to ensure power quality, reliability and stability. The proposed control function is digitally simulated using the MATLAB/Simulink / SimPower System software environment. The dynamic performance of the hybrid system is examined for...

169. Selective Approaches for Solving Weak Games - Malte Helmert; Sven Schewe
Abstract. Model-checking alternating-time properties has recently at-tracted much interest in the verification of distributed protocols. While checking the validity of a specification in alternating-time temporal logic (ATL) against an explicit model is cheap (linear in the size of the for-mula and the model), the problem becomes EXPTIME-hard when sym-bolic models are considered. Practical ATL model-checking therefore of-ten consumes too much computation time to be tractable. In this paper, we describe a novel approach for ATL model-checking, which constructs an explicit weak model-checking game on-the-fly. This game is then evaluated using heuristic techniques inspired by efficient evaluation algorithms for and/or-trees. To...

170. An Error Reducing Approach to Machine Learning using Multi-Valued Functional Decomposition - Craig M. Files; Marek A. Perkowski
This paper considers minimization of incompletely spec-ified multi-valued functions using functional decomposition. While functional decomposition was originally created for the minimization of logic circuits, this paper uses the de-composition process for both machine learning and logic synthesis of multi-valued functions. As it turns out, the min-imization of logic circuits can be used in the concept of ”learning ” in machine learning, by reducing the complex-ity of a given data set. A main difference is that machine learning problems normally have a large number of output don’t cares. Thus, the decomposition technique presented in this paper is focused on functions with...

171. Modal Logics that Need Very Large Frames - Marcus Kracht
Abstract. The Kuznetsov–Index of a modal logic is the least cardinal µ such that any consistent formula has a Kripke–model of size ≤ µ if it has a Kripke–model at all. The Kuznetsov–Spectrum is the set of all Kuznetsov–Indices of modal logics with countably many operators. It has been shown by Thomason that there are tense logics with Kuznetsov–Index iω+ω. Futhermore, Chagrov has constructed an extension of K4 with Kuznetsov–Index iω. We will show here that for each countable ordinal λ there are logics with Kuznetsov–Index iλ. Furthermore, we show that the Kuznetsov–Spectrum is identical to the spectrum of indices...

172. An algorithm to evaluate quantified Boolean formulae and its experimental evaluation - Marco Cadoli; Andrea Giovanardi; Marco Schaerf
The high computational complexity of advanced rea-soning tasks such as belief revision and planning calls for efficient and reliable algorithms for reasoning prob-lems harder than NP. In this paper we propose Eval-uate, an algorithm for evaluating Quantified Boolean Formulae, a language that extends propositional logic in a way such that many advanced forms of propo-sitional reasoning, e.g., reasoning about knowledge, can be easily formulated as evaluation of a QBF. Al-gorithms for evaluation of QBFs are suitable for the experimental analysis on a wide range of complex-ity classes, a property not easily found in other for-malisms. Evaluate is based on a...

173. Yonsei Medical Journal
Primary gastrointestinal lymphoma is a common presenta-tion of non-Hodgkin's lymphoma. The main controversy arises when many aspects of its classification and management are under discussion, particularly regarding roles for surgical resection. The aim of this study was to evaluate clinicopatho-logic characteristics and the therapeutic outcome of primary gastrointestinal non-Hodgkin's lymphoma. We carried out a retrospective analysis of 74 patients who were presented to our center with histopathological diagnosis of primary gastro-inte-stinal non-Hodgkin's lymphoma between 1990 and 2001. All patients have been staged according to Lugano Staging Sys-tem. For histopathological classification, International Working Formulation was applied. The treatment choice concerning the...

174. The Logic of Currency Crises - Maurice Obstfeld; Lars Homgren; Lars E
0. Svensson generously helped me obtain data. Comments fromLars Horngren, Kerstin Mitlid, Andr6 Orlan, Henri Pages, and Lars E. 0. Svensson led to improvements in the paper, as did the discussions at the Banque de France conference and at presentations sponsored by New York University's C.V. Starr Centerand the S6minaire d'Economie

175. Adopting a service business logic in relational business-to-business marketing - Christian Grönroos; Christian Grönroos
Adopting a service business logic in relational business-to-business marketing: value creation, interaction and joint value co-creation

176. Shapes of Learning.............................................. 32 - Kurt W. Fischer; Mary Helen Immordino-yang
Piaget and the Universal Logic of the Mind.................................. 3

177. Chapter 2: natural history of anogenital human papillomavirus infection and - Mark Schiffman; Susanne Krüger Kjaer
This chapter suggests promising areas of future epidemio-logic research on human papillomavirus (HPV) and anogeni-tal cancer, organized around our understanding of cervical carcinogenesis. The major steps in cervical carcinogenesis include HPV infection, HPV persistence over a certain pe-riod of time, progression to precancer, and invasion. Back-ward steps include clearance of HPV infection and regres-sion of precancer. Additional studies of incident HPV infections among virgins initiating sexual activity could clarify the earliest aspects of transmission and immune re-sponse. Research on older women and their male partners should focus on understanding the determinants of varying age-specific HPV prevalence curves and underlying dynam-ics...

178. Me - Ferdinand K. Hui; Marc A. Camacho; Jiyearn K. Chung; Dean W. Broga; Narinder N. Sethi
sponsible for approximately 13 % of all radio-logic procedures performed in the United States and contributes 30 % of the medical di-agnostic radiation dosage to patients [1–3]. As the use of CT has markedly increased over the past two decades, so have its technical capabil-ities. CT now plays a critical role in the diag-nosis and management of most patients with complex thoracic and cardiopulmonary dis-ease, including pulmonary thromboembolism. With the advent of multidetector scanners, CT has become the de facto gold standard for imaging pulmonary emboli [4]. Although the with CT pulmonary angiography are women of reproductive age, our objective...

179. $rec.titulo
AbstractGlobal climate change may have large impacts on water supplies, drought or flood frequencies and magnitudes in local and regional hydro-logic systems. Water authorities therefore rely on computer models for quantitative impact prediction. In this study we present kernel-based learning machine river flow models for the Upper Gallego catchment of the Ebro basin. Different learning machines were calibrated using daily gauge data. The models posed two major challenges: (1) estimation of the rainfallerunoff transfer function from the available time series is complicated by anthropogenic regulation and mountainous terrain and (2) the river flow model is weak when only climate data...

180. Policy: Integrating Methods for Investigating Human Dimensions Issues in Environmental Policy - Lynn A. Wilson
Policy Lynn A. Wilson, Ph.D. The role of science in ocean policy is influenced by values reflected in the perceptions policy actors express about scientific and political facts and processes. Discourse and policy analytics framed in scientific methodological terms yield useful information to specific questions that are responsive to quantitative results but limit considerations of complexity regarding values surrounding human interactions. This paper explores a recent study that combines narrative analysis and V diagramming to inform and guide the logic used in the statistical Q Method investigation of discourse participants ’ values in the U.S. Commission on Ocean Policy (USCOP)...


Busque un recurso