864 resultados para Ingeniería basada en modelos
Resumo:
Los métodos de máxima verosimilitud (MMV) ofrecen un marco alternativo a la estadística frecuentista convencional, alejándose del uso del p-valor para el rechazo de una única hipótesis nula y optando por el uso de las verosimilitudes para evaluar el grado de apoyo en los datos a un conjunto de hipótesis alternativas (o modelos) de interés para el investigador. Estos métodos han sido ampliamente aplicados en ecología en el marco de los modelos de vecindad. Dichos modelos usan una aproximación espacialmente explícita para describir procesos demográficos de plantas o procesos ecosistémicos en función de los atributos de los individuos vecinos. Se trata por tanto de modelos fenomenológicos cuya principal utilidad radica en funcionar como herramientas de síntesis de los múltiples mecanismos por los que las especies pueden interactuar e influenciar su entorno, proporcionando una medida del efecto per cápita de individuos de distintas características (ej. tamaño, especie, rasgos fisiológicos) sobre los procesos de interés. La gran ventaja de aplicar los MMV en el marco de los modelos de vecindad es que permite ajustar y comparar múltiples modelos que usen distintos atributos de los vecinos y/o formas funcionales para seleccionar aquel con mayor soporte empírico. De esta manera, cada modelo funcionará como un “experimento virtual” para responder preguntas relacionadas con la magnitud y extensión espacial de los efectos de distintas especies coexistentes, y extraer conclusiones sobre posibles implicaciones para el funcionamiento de comunidades y ecosistemas. Este trabajo sintetiza las técnicas de implementación de los MMV y los modelos de vecindad en ecología terrestre, resumiendo su uso hasta la fecha y destacando nuevas líneas de aplicación.
Resumo:
El intérprete de conferencias debe llevar a cabo un trabajo documental antes, durante y después de los eventos en los que presta sus servicios, independientemente de su subcompetencia extralingüística. Desafortunadamente, pocas son las propuestas metodológicas que se hayan planteado para que este profesional pueda realizar esta tarea de manera sistemática. En el presente artículo, repasamos algunos de los trabajos que se han referido a las posibilidades que tiene el intérprete de satisfacer sus necesidades informativas. Una vez reseñada la mencionada escasez de propuestas, presentamos, en un estudio de caso, una aproximación metodológica a este trabajo de documentación, fundamentada en la compilación de corpus paralelos ad hoc y la extracción terminológica en forma de glosarios.
Resumo:
Este trabajo presenta la metodología empleada para compilar un corpus económico e identificar su terminología con el fin de crear un glosario de utilidad en la formación de traductores. Por una parte, se repasa brevemente la bibliografía sobre compilación de corpus y explotación con fines terminológicos. Por otra parte, se presenta la metodología en cuestión, así como una serie de actividades enfocadas a la adquisición de conocimiento especializado en economía. Los resultados muestran que las técnicas usadas para detectar términos y extraer automáticamente candidatos a término, si bien no terminan de adecuarse a las necesidades concretas del presente trabajo, son de utilidad e incluso pueden complementarse. Por su parte, las actividades propuestas pueden sumarse igualmente a otro tipo de actividades y modificarse según el contexto docente.
Resumo:
La Criptografía Basada en la Identidad hace uso de curvas elípticas que satisfacen ciertas condiciones (pairingfriendly curves), en particular, el grado de inmersión de dichas curvas debe ser pequeño. En este trabajo se obtienen familias explicitas de curvas elípticas idóneas para este escenario. Dicha criptografía está basada en el cálculo de emparejamientos sobre curvas, cálculo factible gracias al algoritmo de Miller. Proponemos una versión más eficiente que la clásica de este algoritmo usando la representación de un número en forma no adyacente (NAF).
Resumo:
Introducción: La Práctica Basada en la Evidencia se considera actualmente un eje fundamental a la hora de actuar en el entorno clínico. Además, se ha de tener en cuenta que la integración de la PBE en la forma habitual de trabajo requiere un esfuerzo, es decir, un aprendizaje previo para poder, en primer lugar, saber acceder a las pruebas; en segundo lugar, saber interpretar dichas pruebas; y a groso modo, en último lugar, si consideramos necesario, integrar dicha evidencia en nuestro entorno. Objetivo: Describir la progresión de la integración de la PBE de forma transversal en el Programa Formativo del Grado de Enfermería de la Universitat Jaume I de Castellón de la Plana. Metodología: Para poder realizar dicha integración transversal, se cuenta con el desarrollo previo de unas competencias que vienen dadas de forma general en la Orden CIN 2134/2008 y el Libro Blanco de Enfermería y que son adaptadas y recreadas para la idoneidad del entorno académico en la universidad anteriormente citada. De esta forma, el plan de integración que se propone, es un plan secuencial escalonado, el cual, se añade dificultad a medida que van avanzando los cursos del Grado en Enfermería; finalizando el mismo con el Trabajo de Final de Grado. Además, se realiza una revisión integradora de la literatura científica. Los artículos fueron seleccionados en Medline/pubmed, Cochrane y EEP Datebase. El límite temporal fue de 10 años. Los idiomas empleados, inglés y español; Los descriptores de búsqueda empleados fueron: Nursing, evidence-based practice, evidence-based nursing, Research competencies y education. Resultados: Tras el muestreo inicial y la realización de las búsquedas, se obtuvieron un total de 329 artículos, de los cuales pertenecían 97 de Pubmed/medline, 6 de Cochrane plus y 226 de EEP Dapbase, siendo presentados al comité de expertos y procesado su interés científico. Conclusiones: El departamento de enfermería crea el programa de Integración de la PBE en el Programa Formativo del Grado en Enfermería de la Universidad Jaume I, el cual, trabaja de forma transversal durante los cuatro años académicos, que permiten adquirir la capacitación de enfermero generalista, los conocimientos, habilidades y actitudes que permitirá mediante el ejercicio académico, los estudiantes de enfermería, sean competentes en el uso de la PBE pudiendo integrarla de forma progresiva en sus trabajos académicos, dando lugar finalmente a llevarla a cabo en su trabajo final de grado y convirtiéndose así en una realidad futura dentro de su desarrollo como profesionales de la enfermería tras su graduación, integrándose en cualquiera de sus vertientes.
Resumo:
Este trabajo tiene que ver con uno de los objetivos perseguidos, en el marco del Proyecto Redes de Investigación en Docencia Universitaria del Instituto de Ciencias de la Educación de la Universidad de Alicante, por la red 3152 “Formación de traductores basada en corpus y desarrollo de COMENEGO (Corpus Multilingüe de Economía y Negocios)”, relacionado, en concreto, con el uso de corpus en la formación de traductores. Se presenta una síntesis de una serie de comunicaciones que se pronunciaron en el IV Congreso Internacional CULT (Corpus Use and Learning to Translate), celebrado en la Facultad de Filosofía y Letras de la Universidad de Alicante a finales de mayo de 2015.
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.
Resumo:
EL PROBLEMA A raíz del reconocimiento de la violencia contra la mujer como un problema de salud pública, en las últimas dos décadas ha ocurrido una notable transformación de la respuesta a esta problemática en todos los sectores de la sociedad, incluyendo el sistema de justicia penal, los servicios sociales, el sistema sanitario y la opinión pública. La aproximación sanitaria y epidemiológica a la violencia contra la mujer, y específicamente la que ocurre en el seno de las relaciones de pareja (violencia contra la pareja o VCP), resalta el papel de la prevención y la importancia de valorar el riesgo de violencia para orientar las estrategias de intervención que los profesionales y técnicos administrarán a fin de evitar daños y peligros, a veces letales, sobre la víctima. Aunque la VCP es un tema prioritario en las políticas públicas de Córdoba, aun permanece el interrogante de cómo funcionan en la población local las técnicas estructuradas de evaluación del riesgo que han demostrado eficacia en la predicción del fenómeno a partir de la identificación y la intervención sobre los factores de riesgo que incrementan la probabilidad de su aparición. El RVD-Bcn es una de estas técnicas y fue desarrollada a fin de incrementar la precisión de los pronósticos y de orientar las decisiones profesionales relativas a la intervención con la víctima. HIPÓTESIS El RVD-Bcn administrado en mujeres de Córdoba será una herramienta útil para evaluar de forma objetiva, replicable y válida el riesgo de violencia que una mujer pueda tener, en un momento dado, por parte de su pareja actual o anterior y favorecerá la toma de decisiones de los profesionales para la gestión de cada caso en función de los niveles de riesgo y las necesidades identificadas. OBJETIVOS General: Poner a disposición de la comunidad profesional que trabaja en contextos sociosanitarios de Córdoba un instrumento validado empíricamente en población local para asistir a los profesionales en su toma de decisiones relativas al riesgo de VCP y a la gestión de los casos. Específicos: Identificar niveles de riesgo de violencia en las mujeres participantes, evaluar la fiabilidad y validez predictiva del RVD_Bcn sobre la VCP, establecer puntos de corte que equilibren los niveles de sensibilidad y especificidad diagnósticos y establecer recomendaciones para su uso en la gestión de los casos de VCP. METODOLOGÍA Estudio longitudinal y multicéntrico. Mediante una entrevista estructurada se administrará un cuestionario de datos sociodemográficos y de la situación de pareja y familiar y el RVD-Bcn a una muestra de 500 mujeres mayores de 18 años consultantes en servicios sociosanitarios de Córdoba. Se realizarán dos entrevistas de seguimiento al cabo de los 3 y 6 meses para recoger información sobre los sucesos violentos que la mujer haya podido sufrir durante ese período. Se realizarán análisis psicométricos de fiabilidad y validez predictiva de la herramienta mediante técnicas de regresión logística y el trazado de curvas ROC. RESULTADOS ESPERADOS Las herramientas de evaluación del riesgo de VCP han demostrado eficacia predictiva similar (en promedio d= .40) en diferentes poblaciones y contextos (Hanson, Helmus & Bourgon, 2007). Es esperable que el RVD-Bcn demuestre una capacidad predictiva similar a la obtenida en la muestra original. IMPORTANCIA DEL PROYECTO El uso de protocolos estructurados para la valoración profesional del riesgo de violencia incrementa la capacidad predictiva en los pronósticos profesionales, reduce la tasa de falsos positivos y falsos negativos, mejora la eficacia de las medidas preventivas al adecuarlas a los niveles de riesgo estimados y a las necesidades detectadas en cada caso individualizado, y mejora la comunicación entre profesionales. Este estudio representa un primer esfuerzo en Córdoba de aproximación empírica a la evaluación estructurada del riesgo en casos de VCP y sus resultados serán útiles para indicar los lineamientos de investigación futura.
Resumo:
El Trypanosoma cruzi, agente causal del Chagas, atraviesa la placenta, pudiendo infectar el feto y causando la enfermedad de Chagas congénita. Hay evidencias de que la competencia inmunológica de la placenta juega un rol en la transmisión congénita. El proceso de infección placentario puede verse modificado por el juego entre factores deletéreos para T. cruzi, como el óxido nítrico (NO), estrés nitrosativo-oxidativo (EO) y la cantidad de parásitos y capacidad de la célula parasitaria de resistir, invadir y proliferar dentro del tejido placentario. El factor inhibitorio de la migración de macrófagos (MIF) es una citoquina proinflamatoria que juega un importante rol inmuno-regulatorio que estimula la producción de NO. Por ello postulamos como hipótesis que T. cruzi incrementa la producción de MIF en placenta, con aumento de citoquinas proinflamatorias, óxido nítrico e incremento del estrés nitrosativo, participando en la infección de la placenta y el mecanismo de transmisión congénita de la enfermedad. Los objetivos específicos son: a)Analizar el sistema MIF - ICAM1 - NO en la infección de explantos de vellosidades placentarias por formas trypomastigotes del T. cruzi en diseños experimentales in vitro. b)Verificar estado de estrés oxidativo-nitrosativo y alteraciones de la barrera placentaria inducido por óxido nítrico en explantos placentarios en presencia de T. cruzi in vitro. c)Analizar la expresión de MIF e ICAM-1 en placentas en un modelo de Chagas congénito en ratones infectados con T. cruzi de la cepa Tulahuen con dieta normoproteica y normocalorica. d)Verificar nivel de transmisión congénita en las crías de ratones infectados por T. cruzi según expresión de MIF e ICAM1 con dietas normales para estos animales. Los diseños experimentales serán in Vitro mediante empleo de explantos de placentas en cultivo en interacción con formas infectivas de T. cruzi y diseños en ratones en un modelo de transmisión congénita. Las técnicas a emplear serán cultivos de tejidos, técnicas inmunohistoquímicas, western blot, PCR y qPCR, RT-qPCR, mediciones analíticas en medios de cultivos y plasma y suero de ratones. Esperamos encontrar una respuesta inflamatoria exacerbada, como ya ha sido descripta en embarazadas que produjeron transmisión congénita de la enfermedad de Chagas a sus hijos, el incremento de citoquinas pro-inflamatorias y del estrés nitrosativo como el observado in vitro inducido por T. cruzi, (resultados preliminares) que podrían dañar la barrera placentaria y favorecer la transmisión congénita de la enfermedad de Chagas mediada por MIF. Como MIF se puede detectar en circulación sanguínea de la embarazada que en parte es aportado por la placenta (Cardalopolis y col., 2012), podría emplearse como un indicador de la probabilidad de transmisión congénita de la enfermedad.
Resumo:
La hipótesis de la reconsolidación propone que una memoria consolidada entra nuevamente en un estado lábil seguido por un nuevo proceso de estabilización dependiente de síntesis de proteínas, definido como reconsolidación. Durante el proceso de desestabilización, la traza puede actualizarse incorporando nueva información ajustándose a nuevas exigencias ambientales. Esta visión le otorga a la memoria una propiedad flexible y dinámica, contrariamente a lo sugerido por la clásica teoría de la consolidación que definía el trazo de memoria como algo inflexible e inmutable. La reconsolidación de la memoria consta de dos fases: un proceso de labilización o desestabilización, seguido de una fase de re-estabilización. Evidencias recientes de nuestro laboratorio sugieren que la ocurrencia de un estado emocional negativo, como el generado por un evento traumático (estrés) reduce la vulnerabilidad de la traza durante la evocación, es decir la memoria bajo estas condiciones se vuelve resistente a la interferencia y disminuye las probabilidades de la ocurrencia de la reconsolidación. La abstinencia al etanol genera un estado emocional negativo de características similares al generado por estrés en el complejo basolateral de la Amígdala (BLA). El presente proyecto está dirigido a estudiar los mecanismos neurobiológicos implicados en la memoria resistente, en dos áreas cerebrales críticamente involucradas en la memoria de miedo contextual: BLA y el hipocampo dorsal (HD). Se verificará la reactividad a los agentes interferentes (Midazolam y Propranolol) sobre la reconsolidación tanto en animales estresados como en abstinentes. Además, estudiaremos la expresión de las subunidades de receptores NMDA y GABA-A en las áreas mencionadas. Además nos proponemos re-establecer la capacidad dinámica de la traza con herramientas farmacológicas como la infusión local de un agonista parcial de receptores NMDA. Bajo este esquema hipotético, este tratamiento permitirá re-establecer las propiedades biológicas que definen el proceso de labilización/reconsolidación, con la recuperación de la vulnerabilidad a los agentes interferentes de esta fase ante la presentación del recordatorio. En síntesis, proponemos que los cambios originados por la instauración de un estado emocional negativo modelan la dinámica de la memoria resultante al momento de la evocación. Listado de abreviaturas usadas: BLA: Complejo basolateral de la amígdala HD: hipocampo dorsal R-NMDA: receptores NMDA R-GABAA: receptores GABAA MDZ: Midazolam PROP: propranolol DCS: d-cycloserina
Resumo:
Includes indexes.
Resumo:
"Esta obra se ha traducido de la segunda edicioÌn inglesa de la publicacioÌn nuÌmero 17 de la DivisioÌn de intercambio y educacioÌn de la DotacioÌn de Carnegie para la paz internacional, titulada American foreign policy, agregaÌndole los capiÌtulos III, XVIII y XXII, y la parte del capiÌtulo XXI titulada 'Indicaciones para un mundo gobernado'."
Resumo:
Mode of access: Internet.
Resumo:
Las h. de grab., litografías de paisajes y retratos.
Resumo:
Tesis doctoral Univ. Central, 1854.