Friday, April 29, 2016

 

 



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 164,325

121. Articulación de actores público-privado para el desarrollo local del territorio - Manuel Albarrán Ulsen
El desarrollo local de un territorio se encuentra determinado por las características sociales, económicas y culturales que posea el territorio, asimismo, depende de la articulación que se va generando entre los diversos actores para potenciar el desarrollo desde una lógica de endogeneidad, lo cual hoy en día es fundamental considerando que todas las localidades se encuentran influenciados y determinados por lo que sucede en la aldea global. Articular los recursos existentes en la región es una tarea fundamental para lograr el desarrollo, siendo necesario para ello ir tomando decisiones que permitan la desconcentración y promover la transferencia de responsabilidades al...

122. Publicaciones recibidas - Alfredo Palacios Barra
• Identidades, Territorio, Cultura y Patrimonio. • Revista Bibliográfica de Geografía y Ciencias Sociales N° 972. • Bienestancia. Breve teoría del Proyecto en Arquitectura en Lógica Orgánica (Sistémica). • El Trauco en Santiago y otros cuentos.

123. La "Model Elimination" de D.W.Loveland expliquée - Lévy, Michel
Nous donnons une explication de la méthode "Model Elimination" de D.W.Loveland. Par une séparation claire des cas propositionnel et du premier ordre, nous donnons une preuve claire et concise de la cohérence et de la complétude de la méthode. De plus, dans le cas propositionnel, nous justifions la correction des lemmes engendrés par cette méthode, grâce à une propriété invariante au cours des dérivations.

124. Formalizing common sense reasoning for scalable inconsistency-robust information coordination using Direct Logic™ Reasoning and the Actor Model - Hewitt, Carl
International audience

125. An invariant based passive testing approach for protocol data parts - LALANNE ROJAS, Felipe; Maag, Stephane
International audience

126. Protocol data parts inclusion in a formal passive testing approach - LALANNE ROJAS, Felipe; Maag, Stephane
International audience

127. A Constraint Logic Programming Approach to Automated Testing - Belhaouari, Hakim; Peschanski, Frédéric
International audience

128. Professional buyers and the value proposition - Aitken, Alan; Paton, Robert A.
Lusch (2011) considers Service-Dominant Logic (S-DL) to be an appropriate lens through which to view supply chain research, and suggests it be used to better understand value. The authors, accepting a founding premise of S-DL that value is phenomenologically determined by the recipient, adopt a qualitative methodology to penetrate the inherent complexity and commercial confidentiality of the buyer-seller relationship. In particular the authors make a comparative evaluation as to how the wider, psychological needs of the buyer interact with the effects of the organisational goals of their businesses. The study uses a longitudinal research design, involving web-based diaries and follow-up...

129. LA IDENTIDAD DEL TIEMPO EN EL MOVIMIENTO CINEMATOGRÁFICO - MARTÍNEZ SANTA, MARÍA TRINIDAD
[EN] L'IDENTITAT DEL TEMPS AL MOVIMENT CINEMATOGRÀFIC El cinema és la suma d'una successió temporal d'axiomes que escruten el fet estètic; no obstant això, aquests axiomes per assegurar la seva veritable existencia, primer han de ser percebuts a través de l'experiència suportant tot tipus de proves a què sotmetem la seva entelèquia, bé des del punt de vista teòric o mitjançant l'experimentació; i segon, i per tan, poder ordenar i classificar-se d'una manera lògica dins i fora de les estructures a les que pertanyen per poder ser entenses millor. El propòsit d'aquest treball és revisar algunes obres del panorama cinematogràfic actual...

130. Proyecto técnico de instalación de una central fotovoltáica de conexión a red en cubierta industrial de 25 kw bajo modelo de balance neto en Sedaví (Valencia) - VILA ALANGUA, FRANCESC
El presente proyecto tiene por objeto definir las condiciones técnicas y económicas para la realización de un sistema de generación y venta de energía eléctrica mediante Energía Solar Fotovoltaica conectada a la red de baja tensión. Todos, los datos registrados en dicho proyecto son reales, excepto el emplazamiento de la instalación, puesto que no es una instalación que este realizada, ni en previsión de serlo. Los datos económicos se basan en datos reales de mercado, tanto de paneles, cableado, inversores, y, en general, todos los componentes de la instalación; y, como tales, están sujetos a las fluctuaciones lógicas de precios de mercado Para...

131. Automatización de una cadena de galvanizado y pintura de piezas metálicas tubulares utilizando PLC Siemens Simatic S7-300, CPU 317-2 PN/DP - HIGUERA CASTELLANOS, ANDRES FELIPE
Este proyecto está basado en la automatización de un proceso industrial de galvanizado, pintura y etiquetado de piezas tubulares, que permite la incorporación de tecnología de punta para el control de todo el proceso; minimizando gastos de producción, en mano de obra, materiales, tiempos de ejecución, etc. y aumentando la calidad del proceso, entre otras ventajas. Para ello utilizamos la tecnología del control lógico programado de los PLCs, ya que actúan como cerebros que orquestan todo tipo de procesos industriales en la actualidad. Para ello hemos escogido el PLC S-300 de la marca SIEMENS con una CPU 317-2 PN/DP ,...

132. Rediseño de la identidad corporativa en el sector de la organización de eventos - MARTÍNEZ NOGUERA, SERGIO
Vamos a desarrollar a lo largo de estos capítulos el rediseño de una identidad visual corporativa: La Fiesta, y el diseño de dos sub-marcas: Parafernalia y Bambolletes. En primer lugar describiremos la relación del diseño con la identidad corporativa, de manera que se entienda el porqué de este proyecto. A lo que el marco teórico se refiere, se detallaran los diferentes conceptos e ideas que se tienen que valorar sobre el posterior estudio, desarrollo y creación de las marcas. Los principales conceptos explicados son: la lógica de la demanda, el mercado, la competencia, la marca, el manual de identidad corporativa,...

133. Análisis comparativo de las técnicas de espacialización en postproducción de la música rock - ORÓN CALVO, VICENTE
Recording, post-production process and the study of the differences in the perception of several types of sound editing of a single music piece in a human ear. In order to that, an original music piece, entirely recorded by tracks, has been used in a way that it has been allowed to edit it independently in both stereo and 2.1, 5.1 and binaural. All of this has been accomplished with the Logic Pro X software

134. Diseño de la interface y lógica de funcionamiento de una aplicación informática para la recogida de datos temporales y gestión de incidencias - RODRÍGUEZ ESTRADA, BEATRIZ
Proyecto confidencial (Riunet)

135. Planificación por Sistema de Gestión basado en la Localización (LBMS) del edificio de 91 viviendas "Torre del Alba" - GALLARDO GENS, PAULA
[ES] La planificación basada en la actividad tiene su fundamento en la construcción de una red lógica de actividades con dos arquetipos principales, determinista (CPM) y probabilístico (PERT). Estas técnicas tradicionales han sido práctica habitual de planificación en materia de gestión de proyectos en la construcción desde los años 50, pero cuentan con restricciones que limitan su puesta en obra (suponer la total disponibilidad de las entradas de materiales, mano de obra y maquinaria cuando se inicia la actividad, no asegurar el desplazamiento de los equipos por las distintas localizaciones sin conflictos, ignorar el tiempo perdido entre las trasformaciones, etc…)....

136. Diseño de un sistema domotizado - PONCE RUIZ, CHRISTIAN
[ES] En este proyecto el objetivo es crear y diseñar un sistema domótico para explicar el funcionamiento de una vivienda automatizada, utilizando las placas de bajo coste Arduino e Intel Galileo proporcionadas por la universidad; también se utilizarán dispositivos así como sensores, actuadores y comunicadores. Se creará una aquitectura de nodos para que estos puedan comunicarse entre ellos de una forma simple y segura, para la cual se programará la lógica necesaria para que puedan comunicarse entre si todos los dispositivos que estarán controlando la zona donde estén situados. Cabe destacar que se trabajará sobre un caso real, donde estarán presentes varios tipos de situaciones que se podrían encontrar...

137. Sistema de gestión automatizada de la calefacción de un hogar basada en Arduino y Java - GONZÁLEZ TORRIJOS, JUAN CARLOS
[ES] El objetivo de este proyecto es implementar un sistema de gestión automatizada de la calefacción por suelo radiante de un hogar, de forma que el usuario de dicho sistema solo se preocupe de indicar la temperatura deseada en cada habitación del hogar y el sistema se encargará de alcanzar y mantener dicha temperatura dentro de unos rangos de tolerancia adecuados. Para ésto, el sistema se encargará de monitorizar tanto las temperaturas del agua por todo el circuito de la casa, como de regular el circuito de producción de calor. Se diseñará y prototipará una infraestructura física basada en la plataforma...

138. Interacción entre giberelinas y auxinas en tomate Micro Tom - JIMÉNEZ HERNÁNDEZ, FELIPE
[ES] Existen diferentes hipótesis sobre cómo las hormonas vegetales influyen entre sí. En el presente trabajo se hace un estudio sobre cómo la presencia de giberelinas puede influir en la síntesis y acción de las auxina en líneas de tomate Micro-Tom. Para ello se han utilizado distintas líneas en las cuales la síntesis de giberelinas ha sido modificada, bien sobreexpresando la enzima 20-oxidasa en la línea 20ox provocando una presencia mayor de giberelinas, silenciando los genes que codifican el represor DELLA en la línea Pro, lo cual hará que la respuesta a giberelinas este activada constitutivamente, o silenciando los genes que codifican la enzima 2-oxidasa, encargada de la desactivación...

139. A function block based approach using assembly features for controlling virtual and real industrial robots - RIZO MARTÍNEZ, JUAN CARLOS
The aim of the project consists of designing, programming and implementing a control system for virtual manufacturing equipment. It is required to create an assembly feature using Function Blocks control system based in the IEC 61499 standard. According to the standard the nxtStudio software is going to be used to develop the control architecture, assembly features, programming the control logic, algorithms and the communication with function blocks required for the task. In this occasion, a virtual robot is being used to test the program. The virtual robot is developed with the ABB software ‘RobotStudio’. It is necessary to communicate nxtStudio...

140. Implementación de técnicas eficientes de sincronización en arquitectura multinúcleo en sistema Multi-FPGA - Rocher González, José Manuel
[ES] En este trabajo se implementarán técnicas de sincronización entre los núcleos de un procesador implementado en un sistema multi-FPGA. Se implementarán barreras y semáforos, validando el correcto funcionamiento del sistema al ejecutar micro benchmarks en el sistema real. Para una implementación eficiente, se hará uso de registros especializados y lógica adecuada que minimice tanto el retardo de ejecución de las primitivas de sincronización como el coste en su implementación. Adicionalmente se adaptarán los núcleos actualmente utilizados en el sistema multinúcleo para el soporte eficiente de un sistema de interrupciones y excepciones así como la implementación de un manejador de...

Página de resultados:
 

Busque un recurso