999 resultados para Interconexión semántica
Resumo:
Texto da Lição de Síntese apresentada como requisito das Provas de Agregação no ramo de Ciências da Comunicação, área de conhecimento de Sociologia da Informação, na Universidade do Minho (Braga – Portugal), em 4 e 5 de Dezembro de 2008.
Resumo:
RESUMO Objetivo Este trabalho investigou as evidências de validade da Escala de Solidão UCLA para aplicação na população brasileira. Métodos Foram seguidas as fases: (1) autorização do autor e do Comitê de Ética; (2) tradução e retrotradução; (3) adaptação semântica; (4) validação. Utilizou-se para análise dos dados análise descritiva, fatorial exploratória, alpha de Cronbach, Kappa, teste de esfericidade de Barlett, teste Kaiser-Meyer-Olkin e correlação de Pearson. Para a adaptação, a escala foi submetida a especialistas e a um grupo focal com 8 participantes para adaptação semântica e a um estudo piloto com 126 participantes para adaptação transcultural. Da validação, participaram 818 pessoas, entre 20 e 87 anos, que responderam a duas versões da UCLA, ao Questionário de Saúde do Paciente, à Escala de Percepção de Suporte Social e a um questionário elaborado pelos autores. Resultados A escala mostrou dois fatores, que explicaram 56% da variância e alpha de 0,94. Conclusões A Escala de Solidão UCLA-BR indicou evidências de validade de construto e discriminante, além de boa fidedignidade, podendo ser utilizada para avaliação da solidão na população brasileira.
Resumo:
La evaluación de la capacidad de denominar (encontrar las palabras adecuadas para nombrar objetos) tiene una importancia decisiva en el diagnóstico temprano de la enfermedad de Alzheimer ya que la anomia (pérdida de esta capacidad) es uno de los signos más tempranos de la enfermedad. Dicha evaluación también adquiere importancia en el diagnóstico de otras patologías tales como la demencia semántica o la afasia. Por lo tanto es importante contar con un test de denominación que sea adecuadamente diseñado para nuestro contexto cultural. Debido a que las pruebas de denominación creadas en otros contextos culturales no funcionan adecuadamente al aplicarse transculturalmente es que se comenzó, hace algunos años, a construir el Test de Denominación Córdoba. Éste es un test neuropsicológico para evaluar la capacidad de denominación confrontacional (implica la producción de los nombres correctos de figuras que se le presentan al individuo). Se diseñaron las láminas, y se realizó un estudio piloto para determinar el orden correcto de las mismas y eliminar láminas técnicamente inadecuadas. Luego se comenzaron los estudios de validez y la estandarización del test. En este proyecto se propone finalizar con los estudios de validez, confiabilidad y los baremos. Para ello se propone administrar alrededor de 200 tests a personas cognitivamente sanas para completar el baremo y alrededor de 20 a 25 personas con Enfermedad de Alzheimer para el estudio de validez
Resumo:
Objetivos generales (...) El objetivo global es la elaboración de una historia en forma orgánica de la evolución económica y social de la provincia de Córdoba entre 1880 y 1950. Los distintos aspectos abordados intentan conectar la experiencia cotidiana con las grandes estructuras económicas y sociales y los cambios operados en el período. (...) Un problema expositivo sobre el que continuamos trabajando con especial énfasis es el inherente a la construcción de una síntesis explicativa que no sea la mera adición de los trabajos específicos. Este problema de la síntesis es una preocupación de la historiografía contemporánea. En efecto, la expansión en los últimos decenios del campo temático de la historia -tan beneficiosa desde muchos puntos de vista- ha entrañado, sin embargo, un peligro consistente en la fragmentación de su objeto en micro-historias sectoriales con la consiguiente pérdida de su misión integradora. (...) Sostenemos que la única vía de lograr esa unidad es adoptar un principio de causalidad interconectada según la cual la explicación de un evento, proceso o desarrollo histórico se obtiene a través de un análisis que vaya del todo a las partes y de las partes al todo. En la sistematización de los informes de los subsidios anteriores, se precisaron las articulaciones horizontales (sincrónicas) y verticales (diacrónicas) en dos etapas consecutivas: primero, entre los diferentes aspectos económicos por un lado y las diversas facetas sociales por el otro y segundo la interconexión entre los factores económicos, sociales y políticos entre sí en sus diversas manifestaciones. (...) Objetivos específicos: - Explicitar la transformación demográfica que experimenta la provincia con especial énfasis en la temática migratoria. - Investigar y explicar el desarrollo industrial de la provincia. - Revelar la magnitud de la penetración de los capitales extranjeros y analizar su influencia en la vida de la provincia. - Analizar la participación, experiencia y goce de los bienes materiales y culturales. - Abordar el estudio de la clase trabajadora en la provincia como sujeto histórico.
Resumo:
En años recientes se han producido en todo el mundo importantes reformas institucionales y organizativas de los grandes sistemas de interconexión eléctrica, introduciendo elementos económicos de mercado para la formación de precios de la energía eléctrica y para la remuneración de su transporte. Estas reformas hicieron que las empresas de energía eléctrica produjeran energía de mayor calidad y a menor precio, minimizando costos de operación y retrasando inversiones para la expansión las redes. El despacho de las plantas generadoras en la forma más económica es el modo más importante de reducir los costos; los estudios de estabilidad de tensión de sistemas que operan cercanos a los límites técnicos es el modo de optimizar la utilización de las redes y minimizar las inversiones. La planificación de la operación del Sistema Argentino de Interconexión (SADI), tiene como objetivo minimizar el valor esperado sobre las hidrologías del costo de operación más falla del parque generador. (...) El SADI posee un inusual despliegue geográfico de su trazado, con grandes centrales eléctricas muy alejadas de los principales centros de consumo. Esta característica, sumada al hecho del constante incremento de la potencia transmitida, hace que sea susceptible a sufrir fallas tales como el colapso de las áreas más comprometidas o del sistema completo (black-out). El estudio de las posibles condiciones de colapso de tensión es la forma más adecuada de prevenir este tipo de evento que originarían cuantiosas pérdidas para las empresas de energía y para la industria nacional. El objetivo del presente proyecto es indagar en la aplicación de técnicas: a) De optimización evolutiva para resolver el problema del DE del SADI, comparándolas con los desarrollos actualmente utilizados. b) Para el diagnóstico de un posible colapso de tensión en el sistema y las medidas a aplicar para que tal evento no se produzca.
Resumo:
FUNDAMENTO: Estilos de vida inadequados têm sido as principais causas de morte no mundo. O questionário "Estilo de vida fantástico" tem por finalidade auxiliar médicos que trabalham com prevenção, a fim de estes possam melhor conhecer e medir o estilo de vida dos seus pacientes. OBJETIVO: Traduzir e validar o questionário "Estilo de vida fantástico" para adultos jovens. MÉTODOS: O processo de tradução e adaptação envolveu quatro etapas: 1) tradução, 2) correção e adaptação semântica por especialistas da área (juízes), 3) avaliação da clareza do conteúdo e 4) avaliação por amostra da população-alvo. Análise estatística: para a consistência interna, utilizou-se o alfa de Cronbach; a consistência externa foi verificada pela correlação intraclasse (R); para a validade de construto, usou-se o índice Kappa. RESULTADOS: O alfa de Cronbach que avalia as correlações entre os itens e o total foi de 0,69, o que é considerado razoável para um instrumento desenhado para medir uma variável latente que somente pode ser estimada e não medida. Quando agrupados os itens em domínios, verificou-se que todos contribuem de maneira semelhante para a estabilidade do instrumento (α = 0,60). A reprodutibilidade avaliada pela correlação intraclasse foi alta (R = 0,92; p = 0,2). A validade de construto testada pela capacidade classificatória do instrumento em quatro e três categorias foi de 75% e 80,7%, com um índice Kappa de 0,58 e 0,7, respectivamente, o que evidencia uma ótima capacidade discriminatória. CONCLUSÃO: O questionário "Estilo de vida fantástico" possui uma consistência interna e externa adequada para a avaliação do estilo de vida de adultos jovens. Recomenda-se a utilização do questionário na atenção primária e em estudos epidemiológicos.
Resumo:
Estudios previos del laboratorio han demostrado que la depleción de sodio inducida por diálisis peritoneal (DP) produce una rápida caída en la concentración de sodio del suero y del fluido cerebrospinal entre las 1-4hs después de la DP; sin embargo el apetito específico por el sodio (AS) aparece recién 20 hs después cuando se han recuperado los niveles normales de sodio extracelular quizás por medio de fuentes reservorias del cuerpo como hueso e higado. En nuestros trabajos además hemos identificado las distintas áreas y sistemas neuroquímicos involucrados tanto en la fase apetitiva (24hs después de la DP) como en la fase de saciedad del AS (luego del consumo de NaCl hipertónico inducido por DP). En estos estudios la depleción de sodio incrementó la actividad neuronal, evidenciada mediante la inmunoreactividad a Fos (ir-Fos), a lo largo de los órganos circunventriculares (OCVs) de la lamina terminalis (LT): órgano subfornical (SFO) y órgano vasculoso de la lamina terminalis, y diminuyó ir-Fos de las neuronas serotoninérgicas del núcleo del rafe dorsal (DRN), sugiriendo su participación en la génesis del AS. Por otro lado, durante la fase de saciedad la ir-Fos se incrementó dentro de áreas del tronco encefálico como el núcleo del tracto solitario, área postrema, núcleo parabraquial lateral (LPBN), neuronas serotoninérgicas del DRN y a lo largo de las células oxitocinérgicas hipotalámicas indicando su participación en la inhibición del AS. A pesar del conocimiento acumulado acerca de la regulación central del AS, hasta el momento, no se conocen cuales son los mecanismos, áreas y sistemas neuroquímicos involucrados en la disociación temporal existente entre la depleción de sodio y la aparición del AS. Numerosas líneas de evidencia sugieren que el AS es estimulado por la misma señal molecular que la sed hipovolemica, principalmente angiontensina II (ANGII), pero no se manifiesta porque es bloqueada por una señal inhibitoria dominante. Se sugiere que los efectos estimulatorios de ANGII sobre la ingesta de agua y sodio involucran la interacción con el circuito serotoninérgico (5HT) inhibitorio central. El circuito 5HT central que subyace a esta interacción incluye principalmente conexiones bidireccionales entre los OCVs de la LT donde se estimula la sed y AS y los somas 5HT del DRN y los terminales 5HT presentes en el LPBN donde se inhibiría el AS. Consistente con estos datos, la lesión del DRN y la inyección de antagonistas serotoninérgicos en el LPBN provocan un aumento significativo en el consumo de sodio inducido por distintos modelos experimentales.Nuestros resultados recientes indican que ya a las 2hs luego de la DP se incrementa la actividad de renina plasmática y a nivel central se observa una actividad tónica de las neuronas serotoninérgicas del DRN y la activación simultánea de los OCVs de la LT y de los núcleos de tronco encefálicos, estructuras previamente involucradas tanto en la fase apetitiva como de saciedad respectivamente. Con lo cual, es posible hipotetizar que el sistema 5HT a nivel del tronco (DRN, LPBN) estaría impidiendo el consumo de sodio estimulado por ANGII a las 2hs de la depleción de sodio corporal cuando se produce la caída en la natremia y en la volemia pero el AS no se manifiesta. De acuerdo con esto nos proponemos evaluar el efecto de una lesión transitoria y reversible del DRN, y el antagonismo del sistema 5HT a nivel del LPBN a las 2hs de realizada la DP sobre la ingesta de sodio. Además, se utilizará la técnica de registro electrofisiológico in vivo que nos permitirá estudiar la interconexión sináptica funcional entre el DRN y el SFO ante la infusión icv de ANGII. Esperamos observar un incremento en el consumo de sodio 2hs después de la DP, producido por el bloqueo transitorio o antagonismo del sistema serotoninérgico en el DRN o LPBN respectivamente. Además creemos posible que disminuya la actividad eléctrica de las neuronas 5HT del DRN que son moduladas por el SFO ante la inyección icv de AII.
Resumo:
Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.
Resumo:
Aquest projecte es basa en l'estudi de l'oferiment de qualitat de servei en xarxes wireless i satel·litals. Per això l'estudi de les tècniques de cross-layer i del IEEE 802.11e ha sigut el punt clau per al desenvolupament teòric d’aquest estudi. Usant el simulador de xarxes network simulator, a la part de simulacions es plantegen tres situacions: l'estudi de la xarxa satel·lital, l'estudi del mètode d'accés HCCA i la interconnexió de la xarxa satel·lital amb la wireless. Encara que aquest últim punt, incomplet en aquest projecte, ha de ser la continuació per a futures investigacions.
Resumo:
Les factoritzacions de la FFT (Fast Fourier Transform) que presenten un patró d’interconnexió regular entre factors o etapes son conegudes com algorismes paral·lels, o algorismes de Pease, ja que foren originalment proposats per Pease. En aquesta contribució s’han desenvolupat noves factoritzacions amb blocs que presenten el patró d’interconnexió regular de Pease. S’ha mostrat com aquests blocs poden ser obtinguts a una escala prèviament seleccionada. Les noves factoritzacions per ambdues FFT i IFFT (Inverse FFT) tenen dues classes de factors: uns pocs factors del tipus Cooley-Tukey i els nous factors que proporcionen la mateix patró d’interconnexió de Pease en blocs. Per a una factorització donada, els blocs comparteixen dimensions, el patró d’interconnexió etapa a etapa i a més cada un d’ells pot ser calculat independentment dels altres.
Resumo:
El uso intensivo y prolongado de computadores de altas prestaciones para ejecutar aplicaciones computacionalmente intensivas, sumado al elevado número de elementos que los componen, incrementan drásticamente la probabilidad de ocurrencia de fallos durante su funcionamiento. El objetivo del trabajo es resolver el problema de tolerancia a fallos para redes de interconexión de altas prestaciones, partiendo del diseño de políticas de encaminamiento tolerantes a fallos. Buscamos resolver una determinada cantidad de fallos de enlaces y nodos, considerando sus factores de impacto y probabilidad de aparición. Para ello aprovechamos la redundancia de caminos de comunicación existentes, partiendo desde enfoques de encaminamiento adaptativos capaces de cumplir con las cuatro fases de la tolerancia a fallos: detección del error, contención del daño, recuperación del error, y tratamiento del fallo y continuidad del servicio. La experimentación muestra una degradación de prestaciones menor al 5%. En el futuro, se tratará la pérdida de información en tránsito.
Resumo:
Las redes de interconexión juegan un papel importante en el rendimiento de los sistemas de altas prestaciones. Actualmente la gestión del encaminamiento de los mensajes es un factor determinante para mantener las prestaciones de la red. Nuestra propuesta es trabajar sobre un algoritmo de encaminamiento adaptativo, que distribuye el encaminamiento de los mensajes para evitar los problemas de congestión en las redes de interconexión, que aparecen por el gran volumen de comunicaciones de aplicaciones científicas ó comerciales. El objetivo es ajustar el algoritmo a una topología muy utilizada en los sistemas actuales como lo es el fat‐tree, e implementarlo en una tecnología Infiniband. En la experimentación realizada comparamos el método de control de congestión de la arquitectura Infiniband, con nuestro algoritmo. Los resultados obtenidos muestran que mejoramos los niveles de latencia por encima de un 50% y de throughput entre un 38% y un 81%.
Resumo:
El uso de recursos compartidos en las redes de interconexión de alta performance puede provocar situaciones de congestión de mensajes que degradan notablemente las prestaciones, aumentando la latencia de trasporte y disminuyendo la utilización de la red. Hasta el momento las técnicas que intentan solucionar este problema utilizan la regulación de la inyección de mensajes. Esta limitación de la inyección traslada la contención de mensajes desde los conmutadores hacia los nodos fuente, incrementando el valor de la latencia promedio global, pudiendo alcanzar valores muy elevados. En este trabajo, proponemos una técnica de control de congestión para redes InfiniBand basada en un mecanismo de encaminamiento adaptativo que distribuye el volumen de comunicaciones entre diversas trayectorias alternativas quitando carga de la zona de congestión, lo que permite eliminarla. La experimentación realizada muestra la mejora obtenida en latencia y throughput, respecto al mecanismo de control de congestión original de InfiniBand basado en la regulación de la inyección. El mecanismo propuesto es totalmente compatible y no requiere que se modifique ningún aspecto de la especificación, debido a que se utilizan componentes de gestión definidos en el estándar InfiniBand.
Resumo:
Aquest estudi consisteix en l’augment de la resolució en la reconstrucció de la temperatura de l’aigua i l’aire del llac Baikal durant els últims 60.000 anys mitjançant l’ús de les proxies de reconstrucció de la temperatura TEX86 i MAAT, i la d’aportació de matèria orgànica d’origen terrestre, el BIT. L’objectiu general d’aquesta investigació és incrementar la resolució temporal en el mostreig del testimoni CON-01-603-02 per tal de millorar el registre de dades obtingudes i d’aquesta manera poder contrastar la hipòtesi de la interconnexió climàtica global, així com identificar esdeveniments climàtics sobtats, tals com els Heinrich events i els esdeveniments D-O. Un cop obtinguts els resultats s’ha realitzat l’anàlisi de la qualitat i fiabilitat de les dades a les resolucions de 5, 10 i 20 Kanys, i es conclou que existeixen diferències globals estadísticament significatives amb els resultats realitzats per Escala et al., (r.n.p [resultats no publicats]), la resolució dels quals es volia augmentar. S’han tractat d’anular aquestes diferències restant o bé sumant la diferència mitjana obtinguda entre les dues mostres en cada un dels intervals de 5 Kanys en què s’han donat aquestes. Els resultats integrats d’Escala et al.,(r.n.p) i els d’aquest estudi, aporten dades que recolzen l’hipòtesi de la interconnexió climàtica global, ja que al comparar-los amb els registres climàtics de Grenlàndia (GRIP2) i l’Antàrtica (Vostok) mostren respostes similars tant per les forces de Milankovitch com per les de subMilankovitch.
Resumo:
Memòria elaborada a partir d’una estada al projecte Proteus de la New York University entre abril i juny del 2007. Les tècniques de clustering poden ajudar a reduir la supervisió en processos d’obtenció de patrons per a Extracció d’Informació. Tanmateix, és necessari disposar d’algorismes adequats a documents, i aquests algorismes requereixen mesures adequades de similitud entre patrons. Els kernels poden oferir una solució a aquests problemes, però l’aprenentatge no supervisat requereix d’estrat`egies m´es astutes que l’aprenentatge supervisat per a incorporar major quantitat d’informació. En aquesta memòria, fruit de la meva estada de mes d’Abril al de Juny de 2007 al projecte. Proteus de la New York University, es proposen i avaluen diversos kernels sobre patrons. Ini- cialment s’estudien kernels amb una família de patrons restringits, i a continuació s’apliquen kernels ja usats en tasques supervisades d’Extracció d’Informació. Degut a la degradació del rendiment que experimenta el clustering a l’afegir informació irrellevant, els kernels se simpli- fiquen i es busquen estratègies per a incorporar-hi semàntica de forma selectiva. Finalment, s’estudia quin efecte té aplicar clustering sobre el coneixement semàntic com a pas previ al clustering de patrons. Les diverses estratègies s’avaluen en tasques de clustering de documents i patrons usant dades reals.