Friday, May 22, 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 101 - 120 de 143,568

101. La representación de recursos usando la metodología del Desarrollo Dirigido por Modelos en un repositorio institucional - Texier, José
En el 2003, nace el Servicio de Difusión de la Creación Intelectual (SEDICI) como el Repositorio Institucional (RI) de la Universidad Nacional de La Plata (UNLP), soportado por un desarrollo de software propio llamado CelsiusDL. A finales del 2011 se realizó un estudio para migrar a otro software más actualizado y seleccionaron DSpace, plataforma de software de RI más usada en el mundo. El proceso de migración de CelsiusDL a DSpace finalizó en el 2012. DSpace permitió contar con nuevas funcionalidades, logró una flexibilidad en los cambios estratégicos por parte de la gerencia del repositorio, permitió modificaciones en la imagen...

102. La función del síntoma en la demanda escolar - Fazio, Gastón; Gómez, María Florencia; Sosa, Martín
En esta presentación se intentará situar a partir de una viñera clínica, el estatuto particular del síntoma en los desfiladeros de la demanda escolar, privilegiando para ello las nociones de síntoma y transferencia para el psicoanálisis y su consistencia al interior del vínculo educativo. Para el análisis del presente material clínico, resultado de los encuentros con un niño de 8 años, nos orienta la idea de tiempo lógico en la cura. Tal como plantea J. Lacan (1996) en sus Escritos, en el texto “Acerca del sofisma lógico y la certidumbre anticipada”, en el cual nos advierte de la importancia de...

103. O futebol “de várzea” é “uma várzea”!? etnografia da organização no circuito municipal de Porto Alegre - Myskiw, Mauro; Stigger, Marco Paulo
Vencer e perder faz parte do drama esportivo. Resumo: Este estudo retrata a análise da relação entre a noção de organização quando aproximada “da várzea”. Fizemos isso tendo como base um estudo etnográfico multilocalizado realizado entre fevereiro de 2009 e dezembro de 2011, num circuito de futebol da cidade de Porto Alegre, reconhecido como “Municipal da Várzea”. Nesse circuito foram produzidas diferentes trajetórias de imersão, com o intuito de seguir pessoas, práticas e artefatos relacionados aos processos de organização das competições e dos times. Procuramos mostrar como a “organização varzeana” resulta da tensão entre dois modelos, aqui compreendidos a partir...

104. Do Programa Agita São Paulo ao Programa Academia da Saúde : programas públicos envolvedo práticas corporais/atividade física para a promoção da saúde - Skowronski, Marcelo
A utilização das práticas corporais/atividade física para a promoção da saúde podem ser tratadas como ferramentas em diversos programas e iniciativas desenvolvidas em âmbito federal, através do Ministério da Saúde e também pelos municípios. Este estudo compreende uma revisão de literatura sobre alguns destes programas, com destaque para os de maior relevância nacional como o Programa Agita São Paulo, os Programas Academia da Cidade, as Academias da Terceira Idade e o Programa Academia da Saúde. Aborda as principais características e direcionamentos adotados por tais propostas em diferentes momentos históricos, desde 1996 com o lançamento do Agita São Paulo até o...

105. QF-Limits of Structures and the Example of Tree-Semilattices - Charbit, Pierre; Hosseini, Lucas; Ossona De Mendez, Patrice
The notion of left convergence for graphs (in relation with homomorphism densities for fixed patterns and Szemer\'edi’s regularity lemma) introduced by Lov\' asz et al. got increasingly studied over the past $10$ years. Recently, Ne\v set\v ril and Ossona de Mendez introduced a general framework to study the limits of structures based on the converging probability for the structures of the sequence to verify any formula of a given fragment of first order logic for a random assignment of free variables. In this context, a sequence is {\em quantifier-free convergent} (or QF-convergent) if the probability of any equation being satisfied...

106. [en] CREATIVITY, DESIGN THINKING AND VISUAL THINKING AND ITS RELATION WITH THE UNIVERSE OF INFOGRAPHICS AND DATA VISUALIZATION - CARLA CRISTINA DA COSTA TEIXEIRA
[pt] A tese discute a relação existente entre a criatividade e o design thinking e o universo da infografia e da visualização de dados, com destaque para a criação de um método de construção de infográficos a partir dos estudos empreendidos nas referidas áreas, baseados em bibliografia compatível e atual. Através principalmente da lógica do visual thinking, é elaborado um método de construção de infográficos. Além disso, o próprio infográfico aparece como possível ferramenta de pensamento visual dentro do design thinking, otimizando as possibilidades desse processo. A infografia e a visualização de dados disponibilizam um novo e vasto campo de...

107. Determinación del comportamiento de una válvula de aireación para sistemas de distribución de agua mediante técnicas CFD - GONZÁLEZ PÉREZ, IGNACIO
[ES] La expulsión o admisión de aire en sistemas de distribución de agua debe ser realizada de una forma correcta y efectiva para evitar posibles consecuencias y efectos que pudieran dañar de forma catastrófica a la instalación. Actualmente, los dispositivos más empleados para permitir o restringir el flujo de aire en la instalación son las llamadas ventosas hidráulicas o válvulas de aireación, de las cuales existen diversos tipos según el tipo de problema a resolver pero su modo de funcionamiento es común para prácticamente todos los modelos. Desafortunadamente, la información relativa al comportamiento de las válvulas de aireación es escasa e incluso en ocasiones errónea. Esta es la...

108. Propuesta de rehabilitación y nuevo uso para la antigua Iglesia de la Trinidad de Moya - VALENCIA ROMERO, JAVIER
[es] El presente TFG se centra en el planteamiento de una propuesta de rehabilitación y nuevo uso para la antigua Iglesia de la Trinidad de Moya en la provincia de Cuenca, catalogada en su día como conjunto histórico artístico y actualmente en total abandono. Para ello se analizan y estudian los datos de emplazamiento de la Iglesia, su encuadre histórico y se lleva a cabo un análisis fotográfico y planimétrico del estado actual. Una vez reunida toda la información necesaria se aplica la herramienta de gestión de proyectos "Enfoque del Marco Lógico" para averiguar cúal sería el uso mas beneficioso....

109. Estudio de la compañía y soledad a través de la lógica - Coca Barbado, Amalia; Gómez González, Jorge Luis
People we are immersed in a multitude of relationships with others. Our whole life is a life in the company, so their relevance both survival and human development. The absence of company is known as the phenomenon of loneliness. Loneliness has been studied from different conceptual perspectives such as philosophical, social or psychological. The latter being the most about literature generated. The meaning associated with the state of loneliness differs in function from that perspective is evaluated. Philosophical understood as a positive state that it is necessary for personal development. In contrast, focuses on the psychological negative impact it has on...

110. Ausência de correlação positiva entre retorno da ação e desempenho econômico EVA® das empresas do IBrX-50 da BOVESPA. - Chaves, Eduardo de Paula e Silva; Vellani, Cassio Luiz; Pimenta Júnior, Tabajara
Este trabalho analisa a relação ente desempenho econômico EVA® (Economic Valued Added) e retorno da ação. Segundo a lógica das finanças, espera-se uma correlação positiva entre as variáveis. Surge então, a seguinte de pesquisa: com base em dados trimestrais entre 31-03-1998 e 30-09-2006, há correlação entre retorno da ação e EVA® das empresas não financeiras listadas no índice do IBrX-50 da BOVESPA? Calculam-se as variáveis por meio de dados coletados na Economatica®. Retorno da ação representa a divisão entre valor da ação em t1/ valor da ação em t0 menos 1 e multiplicado por 100. Como proxy para desempenho econômico,...

111. Correlações entre Retorno da Ação e o Lucro Operacional - NOPLAT das empresas da Bovespa. - Chaves, Eduardo de Paula e Silva; Pimenta Júnior, Tabajara
Este trabalho analisa a correlação entre NOPLAT (Net Operating Pro ts Less Adjusted Taxes) e retorno da ação de empresas não nanceiras pertencentes ao IBrX-50 em 30-09-2006. Analisa o retorno da ação com o NOPLAT nominal e percentual entre 31-03-1998 a 30-09-2006. Espera-se que desempenho operacional (NOPLAT) acompanhe as expectativas dos investidores (retorno da ação). Então, por meio de testes estatísticos, analisa a correlação entre retorno da ação em valores percentuais e o NOPLAT em valores percentuais e nominais também. Se a correlação é positiva signi ca que as expectativas dos investidores acompanham o desempenho operacional da empresa. No caso...

112. O Processo de Cocriação de Valor entre Empresas e Consumidores: uma análise comparativa de dois casos da indústria de bens de consumo - Dietrich, Jorge Fernando; Brasil, Vinícius Sittoni; Frio, Ricardo Saraiva
O envolvimento do consumidor nos processos de criação de valor tornou-se um tema de destaque na última década na esfera acadêmica do Marketing (Grönroos, 2006). Apresentada por Vargo e Lusch (2004a), a Lógica do Serviço Dominante (Lógica S-D) enfatiza que os consumidores estruturam sua avaliação crítica de valor quando bens e serviços estão em uso. Este conceito, denominado valor em uso, é um dos elementos fundamentais relacionados aos processos de cocriação de valor entre empresas e consumidores (Prahalad & Ramaswamy, 2004). O presente trabalho baseia-se em dois estudos de casos realizados junto a grandes empresas do segmento de bens de...

113. Zur Lehre von der Definition. - Rickert, Heinrich, 1863-1936.
Bibliographical footnotes.

114. An adaptive handover prediction scheme for seamless mobility based wireless networks - Sadiq, Ali Safa; Fisal, Norsheila Binti; Ghafoor, Kayhan Zrar; Lloret, Jaime
We propose an adaptive handover prediction (AHP) scheme for seamless mobility based wireless networks. That is, the AHP scheme incorporates fuzzy logic with AP prediction process in order to lend cognitive capability to handover decision making. Selection metrics, including received signal strength, mobile node relative direction towards the access points in the vicinity, and access point load, are collected and considered inputs of the fuzzy decision making system in order to select the best preferable AP around WLANs. The obtained handover decision which is based on the calculated quality cost using fuzzy inference system is also based on adaptable coefficients...

115. Cards Engine - LOPEZ SANTIAGO, EMILIO
El proyecto trata de abordar una de las temáticas más populares actualmente en los dispositivos móviles, los juegos de cartas. Por ello, este proyecto trata sobre un motor de juegos de cartas genérico para dar facilidades a la hora de crear juegos de cartasmultijugador, ofreciendo capa de servidor y cliente. La idea principal es crear una API que permita la gestión de la lógica básica para juegos de cartas y la gestión de la lógica de conexión a un servidor basado en tiempo real. Al existir la necesidad de interactuar con las cartas y enviar eventos al resto de jugadores...

116. HUERTOS URBANOS MUNICIPALES. EXPERIENCIAS DE PROYECTO URBANO Y PAISAJE - Blasco Sánchez, María Del Carmen; Martínez Pérez, Francisco Juan
Los huertos urbanos municipales, denominados también huertos de ocio con mucha frecuencia, cumplen una labor pública importante en la medida que ofrecen a los ciudadanos de un municipio la posibilidad de desarrollar determinadas actividades junto a sus conciudadanos. La titularidad pública, la presencia del verde, su incorporación en una estructura de verde urbano que puede ir desde una componente mixta en la que jardín y huerto -verde contemplativo y verde productivo- se dan la mano, o la capacidad de albergar encuentros cívicos abiertos a cualquier ciudadano, independientemente de la edad o condición social, hacen necesario revisar su planteamiento como piezas...

117. CodeCloud: A platform to enable execution of programming models on the Clouds - Caballer Fernández, Miguel; Alfonso Laguna, Carlos De; Moltó, Germán; Romero Alcalde, Eloy; Blanquer Espert, Ignacio; García García, Andrés
This paper presents a platform that supports the execution of scientific applications covering different programming models (such as Master/Slave, Parallel/MPI, MapReduce and Workflows) on Cloud infrastructures. The platform includes (i) a high-level declarative language to express the requirements of the applications featuring software customization at runtime, (ii) an approach based on virtual containers to encapsulate the logic of the different programming models, (iii) an infrastructure manager to interact with different IaaS backends, (iv) a configuration software to dynamically configure the provisioned resources and (v) a catalog and repository of virtual machine images. By using this platform, an application developer can...

118. Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA - Santiago Pinazo, Sonia
The area of formal analysis of cryptographic protocols has been an active one since the mid 80’s. The idea is to verify communication protocols that use encryption to guarantee secrecy and that use authentication of data to ensure security. Formal methods are used in protocol analysis to provide formal proofs of security, and to uncover bugs and security flaws that in some cases had remained unknown long after the original protocol publication, such as the case of the well known Needham-Schroeder Public Key (NSPK) protocol. In this thesis we tackle problems regarding the three main pillars of protocol verification: modelling capabilities, verifiable properties, and efficiency. This thesis is devoted to...

119. Automatización de un sistema de llenado de barriles - MARTÍNEZ CRESPÍN, JACOBO
[ES] El proyecto nace de la idea de integrar el conocimiento adquirido como ingeniero informático, en el sector de la industria, concretamente en el campo de la automática. El proyecto consiste en automatizar una pequeña planta industrial de embotellado, mediante PLC (Programmable Logic Controller). Para llevarlo a cabo, hemos utilizado una herramienta software, llamada PL7 Micro, centrada en el diseño lógico de autómatas, en nuestro caso el diseño se ha realizado mediante un GRAFCET (GRAphe Functionel de Commande Etape Transition). El documento no solo abarca la programación en todo detalle sino también como la planta está estructurada y sus características. Además se ha realizado un análisis de sus componentes...

120. Diseño e implementación de las instrucciones multimedia en un procesador para un sistema multicore en FPGA - Cariñana Abasolo, Mario David
[ES] El presente trabajo tiene como objetivo simular el comportamiento de un procesador MIPS vectorial en una FPGA (Field Programmable Gate Array) multinúcleo. Para ello se implementa un juego de instrucciones multimedia o vectoriales junto con la lógica necesaria (registros vectoriales, unidad aritmé- tico lógica vectorial, etc.) para que dichas instrucciones se puedan ejecutar en un procesador con arquitectura MIPS. De igual modo, algunos de los elementos de la ruta de datos del procesador inicial también han tenido que ser modificados (unidad de control, etapas intermedias, memorias cache, etc.) Posteriormente se prueba y analiza la mejora del rendimiento del procesador vectorial con respecto a un procesador escalar.

Página de resultados:
 

Busque un recurso