Ejemplo Tic-Toc

Cali de Lat: 03 24 00 N degrees minutes Lat: 3.4000 decimal degrees Long: 076 30 00 W degrees minutes Long: -76.5000 decimal degrees.

Simulación de esquemas de encolamiento

En este capítulo se presenta el proceso realizado para simular diferentes esquemas de encolamiento (FIFO, PQ y LLQ) de manera básica con el fin de ofrecer QoS en una red. También se presentan gráficas que permiten realizar el análisis posterior de los datos obtenidos en la simulación.

Convenio Especifico de Colaboración entre la Universidad Internacional de Andalucía y la Universidad de Cuenca para la Realización del curso "Gestión Turística Sostenible de Sitios y Destinos Culturales" dentro de la programación de la Universidad Internacional de Andalucía

Español

Descubrimiento de fármacos basado en cribado virtual refinado con enfoques neuronales paralelos

En el campo de la medicina clínica es crucial poder determinar la seguridad y la eficacia de los fármacos actuales y además acelerar el descubrimiento de nuevos compuestos activos. Para ello se llevan a cabo ensayos de laboratorio, que son métodos muy costosos y que requieren mucho tiempo. Sin embargo, la bioinformática puede facilitar enormemente la investigación clínica para los fines mencionados, ya que proporciona la predicción de la toxicidad de los fármacos y su actividad en enfermedades nuevas, así como la evolución de los compuestos activos descubiertos en ensayos clínicos. Esto se puede lograr gracias a la disponibilidad de herramientas de bioinformática y métodos de cribado virtual por ordenador (CV) que permitan probar todas las hipótesis necesarias antes de realizar los ensayos clínicos, tales como el docking estructural, mediante el programa BINDSURF. Sin embargo, la precisión de la mayoría de los métodos de CV se ve muy restringida a causa de las limitaciones presentes en las funciones de afinidad o scoring que describen las interacciones biomoleculares, e incluso hoy en día estas incertidumbres no se conocen completamente. En este trabajo abordamos este problema, proponiendo un nuevo enfoque en el que las redes neuronales se entrenan con información relativa a bases de datos de compuestos conocidos (proteínas diana y fármacos), y se aprovecha después el método para incrementar la precisión de las predicciones de afinidad del método de CV BINDSURF.

Aplicando programación lineal entera a la búsqueda de conjuntos de productos de prueba priorizados para líneas de productos software

Las líneas de productos software son familias de productos que están íntimamente relacionados entre sí, normalmente formados por combinaciones de un conjunto de características software. Generalmente no es factible testar todos los productos de la familia, ya que el número de productos es muy elevado debido a la explosión combinatoria de características. Por este motivo, se han propuesto criterios de cobertura que pretenden probar al menos todas las interacciones entre características sin necesidad de probar todos los productos, por ejemplo todos los pares de características (emph{pairwise coverage}). Además, es deseable testar primero los productos compuestos por un conjunto de características prioritarias. Este problema es conocido como emph{Prioritized Pairwise Test Data Generation}. En este trabajo proponemos una técnica basada en programación lineal entera para generar este conjunto de pruebas priorizado. Nuestro estudio revela que la propuesta basada en programación lineal entera consigue mejores resultados estadísticamente tanto en calidad como en tiempo de computación con respecto a las técnicas existentes para este problema.

Dos estrategias de búsqueda anytime basadas en programación lineal entera para resolver el problema de selección de requisitos

El problema de selección de requisitos (o Next Release Problem, NRP) consiste en seleccionar el subconjunto de requisitos que se va a desarrollar en la siguiente versión de una aplicación software. Esta selección se debe hacer de tal forma que maximice la satisfacción de las partes interesadas a la vez que se minimiza el esfuerzo empleado en el desarrollo y se cumplen un conjunto de restricciones. Trabajos recientes han abordado la formulación bi-objetivo de este problema usando técnicas exactas basadas en resolutores SAT y resolutores de programación lineal entera. Ambos se enfrentan a dificultades cuando las instancias tienen un gran tamaño, sin embargo la programación lineal entera (ILP) parece ser más efectiva que los resolutores SAT. En la práctica, no es necesario calcular todas las soluciones del frente de Pareto (que pueden llegar a ser muchas) y basta con obtener un buen número de soluciones eficientes bien distribuidas en el espacio objetivo. Las estrategias de búsqueda basadas en ILP que se han utilizado en el pasado para encontrar un frente bien distribuido en cualquier instante de tiempo solo buscan soluciones soportadas. En este trabajo proponemos dos estrategias basadas en ILP que son capaces de encontrar el frente completo con suficiente tiempo y que, además, tienen la propiedad de aportar un conjunto de soluciones bien distribuido en el frente objetivo en cualquier momento de la búsqueda.

Irrevocabilidad Relajada para Memoria Transaccional Hardware

Los sistemas comerciales que ofrecen memoria transaccional (TM) implementan un sistema hardware best-effort (BE-HTM) con limitaciones. Es necesario programar un fallback software basado en cerrojos para asegurar el progreso de la aplicación. En este artículo se propone un nuevo tipo de irrevocabilidad hardware (un modo transaccional que marca las transacciones como no abortables) para hacer frente a las limitaciones de los sistemas BE-HTM de una manera mas eficiente, y para liberar a al usuario de tener que programar un fallback. Se basa en el concepto de suscripción relajada utilizada o en el contexto de la programación de fallbacks basada o en cerrojos, donde la transacción se suscribe al cerrojo al final de la misma en lugar de al principio. El mecanismo de irrevocabilidad relajada hardware no involucra cambios en el protocolo de coherencia y se compara con su homólogo software, que proponemos como un fallback con suscripción relajada de espera escapada. También proponemos la irrevocabilidad relajada con anticipación, un mecanismo que no se puede implementar en software, y que mejora el rendimiento de las aplicaciones con múltiples reemplazos de bloques transaccionales de caché. La evaluación de las propuestas se lleva a cabo con el simulador Simics/GEMS junto con la suite de benchmarks STAMP, y se obtiene una mejora de rendimiento sobre el fallback del 14% al 28% para algunos benchmarks.

Estado Islámico: erosión de la estatalidad en Iraq y Siria y la aparición de una estatalidad paralela desde la proclamación del Califato hasta la caída de Kobane

El interés de este estudio de caso es analizar la naturaleza del Estado Islámico y su impacto en la estatalidad y soberanía de Iraq y Siria. Se estudia y explica cómo ha sido la evolución y expansión del Estado Islámico y el impacto que este proceso ha tenido sobre Iraq y Siria generando de esta manera la aparición de una estatalidad paralela a través de la construcción de un aparato institucional por parte del Estado Islámico, lo que contribuye al desarrollo de un “para-estado”. Siguiendo la línea argumentativa, finalmente se demuestra que en la evolución del Estado Islámico se logra crear una forma primitiva de Estado, adquiriendo poco a poco niveles de estatalidad, lo que lleva a que los Estados de Iraq y Siria pierdan atributos de estatalidad y de un Estado soberano.

AS RELAÇÕES DE PODER NO PROCESSO (DES) OCUPAÇÃO DA MATA ATLÂNTICA NA AV. PARALELA, SALVADOR, BAHIA – BRASIL

Este trabalho apresenta uma realidade comum nos grandes centros urbanos no mundo, e que acontece hoje de forma intensa e acelerada na cidade de Salvador, Bahia – Brasil: ocupações regularizadas das áreas de Florestas Tropicais (Mata Atlântica), neste caso, na Avenida Paralela, um dos lugares que vem passando por transformações na sua paisagem natural, com construções de condomínios residenciais para as classes média e alta, shoppings centers, lojas, abertura de ruas e avenidas e, principalmente, a expulsão dos moradores de áreas de “invasão” (favelas) que existem há décadas, como o Bairro da Paz, com a intensificação da especulação imobiliária e, como mecanismo de redução da violência urbana nesta localidade. Para o poder público, o desmatamento e a ocupação informal dessa mesma área há anos atrás era inaceitável, hoje, com a implementação de políticas “publicas”, como o gestado no Plano Diretor de Desenvolvimento Urbano – PDDU, acontece não somente a devastação da Mata Atlântica, bem como o incentivo à ocupação formal e à segregação social dos grupos menos favorecidos.

LA PROGRAMACIÓN PEDAGÓGICA COMO INSTRUMENTACIÓN DIDÁCTICA PARA EL DESARROLLO DEL PROCESO ENSEÑANZA APRENDIZAJE. FACULTAD DE GEOGRAFÍA, UAEM

A partir de la implementación de nuevas orientaciones curriculares en los diferentes programas de estudio como la licenciatura en geografía y geoinformática que oferta la Facultad de Geografía de la UAEM, la institución asumió un nuevo paradigma educativo con relación a los principios de flexibilidad, innovación y competencias, establecidos en el Modelo de Innovación Curricular de la Universidad Autónoma del Estado de México (UAEM). De esta forma y atendiendo las recomendaciones sobre programación pedagógica establecidas en el Reglamento de estudios superiores de la UAEM en el 2008 se plantea la necesidad de organizar y ofrecer alternativas de instrumentación para la práctica docente a través de cuatro documentos a saber: el programa de estudios por competencias, la guía pedagógica, la guía de evaluación del aprendizaje y la guía de organización pedagógica, lo que permita contar con las herramientas necesarias para un desempeño docente congruente con los requerimientos del nuevo paradigma educativo. La elaboración de estos documentos responde a un trabajo colegiado y sistemático; la estructura y presentación de sus contenidos favorece la coherencia entre la estructura y organización del plan de estudios, y el planteamiento didáctico de las unidades de aprendizaje[1]. En ese sentido, el objetivo de la presente comunicación, es dar a conocer las experiencias docentes en cuanto a la planeación didáctica a través de la programación pedagógica en el desarrollo de las actividades de enseñanza aprendizaje bajo un enfoque por competencias.   [1] Antes del modelo de Innovación curricular eran conocidas como materias o asignaturas. Presentado en el XIII Encuentro de Geógrafos de América Latina, 25 al 29 de Julio del 2011 Universidad de Costa Rica - Universidad Nacional, Costa Rica  

Efeito da adição de cinza da casca de arroz em misturas cimento-casca de arroz

The rice husk and its ash are abundant and renewable and can be used to obtain alternative building materials. An increase in the consumption of such waste could help minimize the environmental problems from their improper disposal. This study aimed to evaluate the use of ashes as a cargo mineral (filler). However, the rice husk chemically interferes in the conduct of the based cement mixtures. Thus, different mixes cement-rice husk with and without the addition of ash were evaluated in order to highlight the influence of its components (husk; ash), which could otherwise be excluded or be underestimated. Cylindrical samples (test of simple compression and traction by diametrical compression) and samples extracted from manufactured pressed board (test of bending and parallel compression to the surface), were used to evaluate the behavior of different mixtures of components (rice hush; RHA - rice husk ahs). The results of the mechanical tests showed, in general, there is not a statistical difference between the mixtures, which are associated with the chemical suppressive effect of the rice husk ash. The mixture of rice husk of 10 mm, with an addition of 35% of the rice husk ash, is notable for allowing the highest consumption of rice husk and rice husk ash, to reduce 25% the consumption of cement and to allow the storage (without emissions to the atmosphere), around 1.9 ton of CO2 per ton of cement consumed, thus contributing to the reduction of CO2 emissions, which can stimulate rural constructions under an ecological point of view.

Caminhada de pessoas com deficiencia visual em areas naturais : um estudo com auxilio do GPS (Sistema de Posicionamento Global)

Universidade Estadual de Campinas . Faculdade de Educação Física

Analise das capacidades de resistencia, força e velocidade na periodização de modalidades intermitentes

Universidade Estadual de Campinas . Faculdade de Educação Física

Calibração de câmeras para análises subaquáticas de movimentos = : Cameras calibration for underwater motion analysis

Universidade Estadual de Campinas . Faculdade de Educação Física