Friday, October 31, 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 281 - 300 de 131,823

281. Discrete quantum causal dynamics - Richard F. Blute; Ivan T. Ivanov; Prakash Panangaden
We give a mathematical framework to describe the evolution of an open quantum systems subjected to finitely many interactions with classical apparatuses. The systems in question may be composed of distinct, spatially separated subsystems which evolve independently but may also interact. This evolution, driven both by unitary operators and measurements, is coded in a precise mathematical structure in such a way that the crucial properties of causality, covariance and entanglement are faithfully represented. We show how our framework may be expressed using the language of (poly)categories and functors. Remarkably, important physical consequences- such as covariance- follow directly from the functoriality...

282. Quantum temporal logic and decoherence . . . - C. J. Isham; N. Linden
We analyse and develop the recent suggestion that a temporal form of quantum logic provides the natural mathematical framework within which to discuss the proposal by Gell-Mann and Hartle for a generalised form of quantum theory based on the ideas of histories and

283. On traced monoidal closed categories - Masahito Hasegawa
... focus on a simple observation that a traced monoidal category C is closed if and only if the canonical inclusion from C into Int C has a right adjoint. Thus, every traced monoidal closed category arises as a monoidal co-reflexive full subcategory of a tortile monoidal category. From this, we derive a series of facts for traced models of linear logic, and some for models of fixed-point computation. To make the paper more self-contained, we also include various background results for traced monoidal categories. 1

284. Análisis sociológico del discurso: métodos y lógicas - Ruiz Ruiz, Jorge
El análisis sociológico del discurso presenta similitudes en muchos de sus procedimientos con el que se realiza por otras ciencias sociales. Además, con frecuencia encontramos importantes diferencias de enfoque entre los análisis del discurso realizados por distintos sociólogos. Este panorama puede crear confusión e, incluso, llevar a cuestionar la propia existencia del análisis sociológico del discurso como un método con entidad propia. Este artí­culo pretende contribuir a clarificar las bases metodológicas del análisis sociológico del discurso, distinguiéndolo de otras aproximaciones y prácticas de análisis. Para ello, se plantea una explicación de lo que hacemos los sociólogos cuando analizamos discursos, centrada...

285. Evaluación de frameworks para aplicaciones web - Funes, Ana; Dasso, Aristides
En la línea de investigación aquí presentada, nos ocupamos del desarrollo de modelos para la evaluación de sistemas usando el método LSP (Logic Score of Preference). Dentro de esta línea de investigación, nos encontramos avocados al desarrollo de modelos para la evaluación de Frameworks para Aplicaciones Web (WAF; Web Application Frameworks) así como al desarrollo de modelos para la evaluación de Web Integrated Development Environments (WIDE). El empleo del método LSP permite expresar aspectos en la evaluación que otras técnicas meramente aditivas no permiten, ofreciéndonos la posibilidad de construir modelos que se ajusten con una mayor precisión a las necesidades del...

286. Entre la autonomía y el paternalismo: ¿quién decide sobre anticoncepción o tecnologías de reproducción asistida? - Brown, Josefina Leonor; Buratovich, Paula; Perl, Irina
Las nociones de decisión, responsabilidad y autonomía constituyen elementos de gran importancia en el imaginario de la clase media argentina, especialmente en su vinculación con cuestiones de salud y derechos (no) reproductivos y sexuales. La intervención del Estado en dichos aspectos es considerada en algunas oportunidades como un avance sobre lo privado, o bien, como una intervención legítima. Que se entienda de una u otra manera depende de la clase social a la que se aplica así como del tema al cual se haga referencia. En este sentido, el presente trabajo se propone identificar y describir que lógicas y representaciones...

287. Homo Fabulans : ficcionalidade, epistemologia e pragmática - Ferreira, Rodrigo Bueno
Resumo: Em um trabalho seminal publicado no ano de 1975, sob o título The Logical Status of Fictional Discourse, o filósofo John Searle evidenciou duas questões que, conforme a revisão do antropólogo cognitivo Pascal Boyer (2007), permanecem enigmáticas à ciência. A primeira diz respeito à motivação para a ficção - quais processos evolutivos a teriam fixado como um atrator transcultural entre os seres humanos; a segunda remete ao processo da comunicação ficcional, pertinente ao que possibilita um autor usar as palavras literalmente sem se comprometer com seus significados literais. A fim de promover uma hipótese explicativa aos questionamentos searleanos, este...

288. Summa philosophiae : ex variis libris D. Thomae Aquinatis doctoris angelici / - Thomas, Aquinas, Saint, 1225?-1274.; Alamanno, Cosmo, 1559-1634.
v.1. Logica; Physica, pars prima.--v.2. Physica, pars secunda; physica, pars tertia.--v.3. Ethica; Metaphysica

289. Philosophical lectures and remains of Richard Lewis Nettleship / - Nettleship, Richard Lewis, 1846-1892.; Charnwood, Godfrey Rathbone Benson, Baron, 1864-1945.; Bradley, A. C. (Andrew Cecil), 1851-1935.
v. 1. Biographical sketch. Miscellaneous papers and extracts from letters. Lectures on logic. Plato's conception of goodness and the good -- v. 2. Lectures on the Republic of Plato.

290. Consumer dominant value creation: a theoretical response to the recent call for a consumer dominant logic for marketing - Anker, Thomas; Sparks, Leigh; Moutinho, Luiz; Grönroos, Christian
Purpose: This paper discusses consumer driven value creation (value-in-use) across three different marketing logics: product dominant logic (PDL), service dominant logic (SDL) and consumer dominant logic (CDL). PDL conceptualises value as created by firms and delivered to consumers through products. SDL frames consumer value as a function of direct provider-consumer interaction, or consumer driven chains of action indirectly facilitated by the provider. Recently the research focus has been turning to consumer dominant value creation. While there is agreement on the significance of this phenomenon, there is disagreement over whether consumer dominant value creation is an extension of SDL or calls...

291. Logic and imagination in the perception of truth : the nature of pure activity in two series, book I and book II / - Stoner, J. Rush, 1875- .
Mode of access: Internet.

292. The laws of discursive thought, being a text-book for formal logic / By James McCosh. - McCosh, James, 1811-1894.
Mode of access: Internet.

293. Variants of unification considering compression and context variables - Gascón Caro, Adrià
Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of variables allowed to occur in the terms and under which conditions two terms are considered to be equal, several frameworks of unification such as first-order unification, higher-order unification, syntactic unification, and unification modulo theories can be distinguished. Moreover, other variants of term unification arise when we consider nontrivial representations for terms. In this thesis we study variants of the classic first-order syntactic term unification problem resulting...

294. Reconocimiento de gestos basado en acelerómetros - Fernández Sánchez, Eduardo
En los últimos años, ha crecido de forma significativa el interés por la utilización de dispositivos capaces de reconocer gestos humanos. En este trabajo, se pretenden reconocer gestos manuales colocando sensores en la mano de una persona. El reconocimiento de gestos manuales puede ser implementado para diversos usos y bajo diversas plataformas: juegos (Wii), control de brazos robóticos, etc. Como primer paso, se realizará un estudio de las actuales técnicas de reconocimiento de gestos que utilizan acelerómetros como sensor de medida. En un segundo paso, se estudiará como los acelerómetros pueden utilizarse para intentar reconocer los gestos que puedan realizar una persona (mover...

295. Estudi de la mort encefàlica: Articular(-se) en la controvèrsia i la multiplicitat - Flores Pons, Gemma
En aquesta tesi desenvolupem, a partir d'una aproximació de tipus etnogràfica, una anàlisi de la mort encefàlica com un cas de biomedicalització. El treball analitza les pràctiques que articulen la mort encefàlica i empra les nocions de multiplicitat i controvèrsia per a descriure-les. Així descrivim com la mort encefàlica s'enacta com un objecte múltiple, tal i com és definit per AnneMarie Mol. És a dir, com un objecte fractal, que fa de la mort encefàlica més que una però menys que moltes. Argumentem que la controvèrsia no es desplega a partir de diferents perspectives sobre un objecte unívoc sinó que...

296. Xarxes personals, associacionisme i integració social de la població immigrada: una aproximació des dels mètodes mixtos - Bolíbar Planas, Mireia
La tesi doctoral estudia el procés d’integració social de la població equatoriana i marroquina immigrada a Catalunya, i analitza específicament el paper de la participació associativa en aquest procés des d’una perspectiva relacional. La recerca es basa en la premissa que el canvi i la naturalesa dels canvis en les xarxes personals de la població immigrada revelen el seu encaix estructural a la societat d’acollida i, per tant, expressa els models d’integració social des de la seva vessant relacional. Amb aquest punt de partida la investigació de la tesi s’ha centrat concretament en identificar i explicar els factors que porten...

297. Programación de tareas con recursos limitados mediante meta-algoritmos de exploración de entornos - Bautista Valhondo, Joaquín; Pereira Gude, Jordi; De la Rosa Herrero, Marcela; Companys Pascual, Ramón
La secuenciación de tareas o actividades con limitación de recursos (RCPSP: resource-constrained project scheduling problem) es un problema combinatorio clásico que aparece en diversos campos como la gestión de proyectos productivos y logísticos. El problema consiste en establecer el orden de lanzamiento de las actividades y la asignación de recursos que suponga menor tiempo de ocupación del sistema. Las heurísticas greedy basadas en reglas de prioridad son las más empleadas para su resolución, también se han propuesto procedimientos de búsqueda local con definiciones clásicas de vecindario válidas para cualquier problema de secuencias. Aquí se proponen dos procedimientos híbridos que combinan...

298. Aplicación de la CLP al problema de secuencia regulares con restricciones en una cadena de montaje de automóviles - Bautista Valhondo, Joaquín; Companys Pascual, Ramón; Vila, Albert; Pereira Gude, Jordi; Mateo Doll, Manuel
Las líneas de montaje de automóviles presentan problemas de diseño y programación cada vez más complejos generados por la diversificación del producto mediante opciones ofertadas sobre un modelo base. El problema de secuenciación de unidades mixtas en una única línea de producción con el objetivo de atenuar las variaciones de las tasas de consumo de recursos (componentes y cargas de trabajo) ha recibido atención creciente durante los últimos años. En el presente trabajo se presenta una visión de distintos enfoques recogidos en la literatura y se establece una generalización parcial de algunas variantes del problema mediante el CORV (constrained output...

299. Finite semigroups and recognizable languages: an introduction - Jean-Eric Pin
This paper is an attempt to share with a larger audience some modern developments in the theory of finite automata. It is written for the mathematician who has a background in semigroup theory but knows next to nothing on automata and languages. No proofs are given, but the main results are illustrated by several examples and counterexamples. What is the topic of this theory? It deals with languages, automata and semigroups, although recent developments have shown interesting connections with model theory in logic, symbolic dynamics and topology. Historically, in their attempt to formalize natural languages, linguists such as Chomsky gave...

300. Una solución particularizada: Un problema-Un Taller - Verdejo Nuño, María
Presento la respuesta que elaboramos en el Centro de Día Terapéutico-Educativo de La Ola (2008) en relación a un problema que en terminología actual supondría aplicar un protocolo de gestión para la resolución de conflictos.Dicho protocolo implicaría un trabajo de evaluación y puesta en práctica de las estrategias de intervención adecuada para la resolución del conflicto de acuerdo a los tres paradigmas básicos de la época que nos toca, la modernidad tardía: El paradigma problema-solución, el paradigma de la evaluación y, el hiperparadigma de la equivalencia, que conocemos mejor gracias a la conversación de Miller y Milner (2004).La respuesta construida responde a una lógica particularizada, donde el concepto...

 

Busque un recurso