Diseño, Implementación y Verificación de un Sensor de Temperatura CMOS de Bajo Coste y Alta Funcionalidad

En este proyecto, se presenta un sensor de temperatura integrado CMOS basado en la medida de una variable secundaria, cuyo valor es dependiente de la temperatura, como es el tiempo de subida que presenta una señal eléctrica en sus flancos de subida. Con el objetivo de reducir coste y potencia consumida, el sensor integrado de temperatura propuesto genera un pulso con un ancho proporcional a la temperatura medida. Este sensor para realizar la medida elimina la necesidad de tener una señal que sirva de referencia. El área ocupada por este modelo de sensor es de 1.8967mm2, siendo éste fabricado en tecnología CMOS de 0.35µm de 4 capas de metal. Gracias a la excelente linealidad que presenta la salida digital del sensor, el error de medida alcanzado es como máximo de ±0.520ºC. La resolución efectiva mostrada en el caso peor es de 0.7ºC, y el consumo de potencia se encuentra por debajo de los 263µW, con una velocidad de realización de medidas que puede llegar a alcanzar las 1.5x10^6 medidas por segundo.

Pasos hacia la regeneración urbana ecológica: Más allá de la eficiencia energética

El artículo repasa sintéticamente las fases que han caracterizado la paulatina convergencia entre las propuestas sucesivas de renovación urbana y los enfoques derivados del paradigma ecológico hasta el momento actual, en que la crisis económica global ha contribuido a situar en primer plano el concepto de regeneración urbana integral y la necesidad de un cambio en el modelo urbano-territorial. Apunta algunas de las dificultades a las que se enfrenta la puesta en práctica del enfoque ecológico en la regeneración urbana, debidas principalmente a que pone en cuestión las premisas de un modelo inmobiliario basado en el consumo de suelo y recursos y opera en un entorno disciplinar y político lastrado aún por las visiones sectoriales y por una concepción reduccionista de lo ambiental. Finalmente, propone algunas directrices generales para el cambio basadas en la aplicación decidida del nuevo paradigma.

Historia de los huertos urbanos. De los huertos para pobres a los programas de agricultura urbana ecológica

Para entender el papel actual de la agricultura urbana (AU) es necesaria una revisión histórica de sus funciones y características en la ciudad occidental, estudiando los motivos de su implantación, su sentido, evolución y potencialidades. Los momentos de mayor auge de la AU están ligados a crisis económicas y energéticas, que obligan a recurrir a ella para asegurar el autoabastecimiento. En los inicios de la ciudad industrial del XIX la AU cumple funciones de subsistencia, higiene y control social. En países como Gran Bretaña, Alemania o Francia las autoridades locales y las grandes fábricas se ven obligadas a ofrecer terrenos a los trabajadores para completar sus recursos y mejorar las condiciones de vida en los barrios obreros. En la primera mitad del siglo XX la AU aparece ligada a las guerras mundiales, su función es de subsistencia y patriótica, de apoyo a la economía de guerra y a los procesos de posguerra. Se desarrollan programas gubernamentales y campañas de fomento de la AU, como Dig for Victory en Gran Bretaña, o Victory Gardens en Estados Unidos. A partir de los años 70 los proyectos de AU cumplen funciones de desarrollo local, integración social y educación ambiental, y son lideradas por organizaciones comunitarias y ecologistas. En el momento actual la AU tiene la potencialidad de ser un instrumento de mejora ambiental y social, colaborando en la sostenibilidad urbana, la lucha contra el cambio climático, la calidad de vida y la creación de ciudades a escala humana. Palabras clave: rehabilitación urbana, autonomía alimentaria, metabolismo urbano, calidad de vida.

Alcances y limitaciones del concepto de huella ecológica

Alcances y limitaciones del concepto de huella ecologica .- Antecedentes, Objetivo y definición de huella ecológica .- Cálculo de la huella ecológica .- Factores no recogidos por el indicador .- Reflexiones finales

La Rehabilitación ecológica y bioclimatica de la ciudad consolidada

La Rehabilitación ecológica y bioclimatica de la ciudad consolidada .- Los condicionantes urbanos frente a la rehabilitación .- Alcance de la rehabilitación ecológica y bioclimática de un barrio .- Condiciones intrínsecas derivadas de la morfología urbana .- Condiciones extrínsecos: derivados del microclima exterior y de la isla térmica urbana .- La rehabilitación del espacio público de la ciudad consolidada .- El Plan Especial de recuperación del espacio público de Moratalaz .- La problemática del espacio público en la ciudad de bloque abierto. .- Diagnosis DAFO de la problemática .- La metodología del plan especial .- Enumeración de las propuestas más sobresalientes .- la innovación en la gestión del suelo de espacios públicos

Relación entre las pruebas de funcionalidad de la marcha en personas con daño cerebral adquirido en fase subaguda

Objetivo: Analizar el grado de relación entre cuatro pruebas que valoran la funcionalidad de la marcha en sujetos jóvenes con daño cerebral adquirido (DCA) en fase subaguda y conocer el grado de relación entre estas pruebas y la percepción subjetiva de seguridad en actividades de la vida diaria. Metodología: 67 participantes jóvenes con DCA en fase subaguda (43 hombres y 24 mujeres) con una edad media 35,09 años. Se realizó estadística descriptiva de todas las variables demográficas: género, edad, IMC, meses desde que se produjo la lesión y etiología lesional. Para analizar si existe correlación entre las variables se utilizó el coeficiente de Pearson. Resultados: El Timed 10-Meter Walk presenta una correlación muy alta con Timed Up and Go (TUG) (r=093), alta con el 6-Minute Walk Test (r=0,77) y moderada con el Step Test (r=0,56). El 6-Minute Walk Test presenta una correlación alta con el TUG (r=0,82) y una correlación moderada con el Step Test (r=0,69). El Step Test presenta una correlación moderada con el TUG (r= -0,68). The Activities-specific Balance Confidence Scale (ABC) presenta una correlación moderada con el Timed 10-Meter Walk (r=0,42), TUG (R=0,40), 6-Minute Walk Test (r=0,40) y Step Test (r=0,44). Conclusiones: Las pruebas de funcionalidad de la marcha presentan una correlación significativa entre moderada y muy alta en personas jóvenes con DCA. El ABC presenta una correlación significativa moderada con las cuatro variables de funcionalidad de la marcha analizadas en esta población

Aproximación metodológica al cálculo de huella de carbono y huella ecológica en centros universitarios: el caso de la Escuela Técnica Superior de Ingenieros de Montes de Madrid

El modelo económico imperante en nuestro mundo a lo largo del siglo XX ha conducido a un alto desequilibrio social y económico. Las consecuencias medioambientales de estos desequilibrios comienzan a aflorar, teniendo como principales protagonistas la crisis de recursos naturales básicos que experimentan muchos países, especialmente los que presentan menor grado de desarrollo, así como el conocido fenómeno del cambio climático. Con este telón de fondo, aparecen dos indicadores de sostenibilidad denominados “Huella Ecológica” y “Huella de Carbono” capaces, en el caso de la Huella Ecológica de cuantificar la demanda de recursos naturales de cualquier objeto en estudio en comparación con el potencial productivo del planeta, y en el caso de la Huella de Carbono de cuantificar las emisiones de gases de efecto invernadero asociadas al patrón de consumo establecido por dicho objeto en estudio. Sin embargo, la proliferación actual de metodologías y criterios para la estimación de estos indicadores pone de manifiesto la necesidad de establecer criterios únicos y convergentes en la aplicación práctica de los cálculos de Huella Ecológica y Huella de Carbono que permitan desarrollar todo el potencial de ambos indicadores. En este Proyecto Fin de Carrera se ha aplicado un método para el cálculo de la Huella Ecológica y la Huella de Carbono aplicable en centros universitarios, que a través de un análisis de su actividad económica y de la elaboración de un inventario de uso de suelo y de generación de residuos, permite evaluar la posición medioambiental de dicho centro respecto a su nivel de consumo de recursos y generación de emisiones. La aplicación de este modelo a la Escuela Técnica Superior de Ingenieros de Montes de Madrid ha arrojado interesantes resultados, que cifran en 2.724 toneladas de CO2 su Huella de Carbono y en 948 hectáreas globales su Huella Ecológica, referidas ambas al año 2010. Estas cifras revelan que la posición medioambiental de la Escuela de Ingenieros de Montes de Madrid está en línea con la de otros centros universitarios españoles a la vez que sirven para poner a la citada Escuela en la órbita de otros centros nacionales e internacionales que ya han calculado sus respectivas huellas en un ejercicio de búsqueda de sostenibilidad en el entorno universitario.

Evolución de la Huella de Carbono y de la Huella Ecológica en la obra de conservación y mantenimiento del río Manzanares a su paso por el T.M. de Madrid

Los problemas ambientales derivados de la actividad del hombre están siendo cada vez más alarmantes. Su aumento, junto con las desigualdades sociales, pone de manifiesto la necesidad de cambiar el rumbo del planeta hacia el desarrollo sostenible. En este contexto aparecen los indicadores de sostenibilidad ambiental, entre los cuales destacan la Huella de Carbono (HC) y la Huella Ecológica (HE). El primero, para cuantificar las emisiones de Gases de Efecto Invernadero emitidos y absorbidos. El segundo, para cuantificar la demanda y puesta en valor de superficie biológicamente productiva. La demanda creciente de servicios ambientales por parte de la sociedad, en general, y las administraciones, en particular, ha conducido a que se empiecen a valorar criterios ambientales en la compra y contratación pública. Los servicios de conservación y mantenimiento ven aquí una oportunidad para diferenciarse y ofrecer una imagen más responsable con el medio ambiente. En el Proyecto Fin de Carrera, se ha decidido utilizar el Método Compuesto de Cuentas Contables (MC3) para el cálculo de HC y HE en los años 2011 y 2012. Dicho método trabaja con enfoque integrado; gracias a su alto nivel de detalle trabaja sobre la organización y el producto garantizando resultados accesibles, transparentes y comparables. La HC y HE del año 2011 es de 150 tCO2e y 35 haG respectivamente. Para el año 2012 los indicadores aumentan (205 tCO2e y 47 haG). Estos aumentos son debido al incremento del consumo pero también al cambio del patrón hacia el consumo de materiales de alta intensidad energética. La consideración de las remociones de emisiones por uso de suelo permite valorar la sostenibilidad del servicio. La HC y HE pueden ser reducidas, compensadas y comunicadas por medio de acciones que se proponen. La inclusión de criterios ambientales y de sostenibilidad en la toma de decisiones está al alcance de cualquier servicio de conservación y mantenimiento.

Modelo de inclusión de la funcionalidad UNDO/REDO

Se propone la utilización de un servicio de software (SaaS) junto a una metodología para realizar en forma ordenada la inclusión de la funcionalidad de Undo/Redo dentro de una aplicación nueva o existente.

Huella de carbono y huella ecológica de la empresa Hispánica de Aviación, S.A. aplicación para la toma de decisiones en la intervención contra incendios forestales.

La preocupación sobre el cambio climático continúa en aumento. Las crecientes evidencias de sus implicaciones ambientales, sociales y económicas plantean escenarios de regulaciones y concesiones públicas a empresas verdes. Las organizaciones privadas trabajan para incorporar nuevos indicadores de sostenibilidad ambiental que les permitan adelantarse a la casi segura futura legislación. Con este telón de fondo, aparecen dos indicadores de sostenibilidad denominados “Huella Ecológica” y “Huella de Carbono”. La Huella Ecológica mide la superficie biológicamente productiva (incluyendo agua y tierra), necesaria para producir todos los recursos que consume y absorber los desechos que genera una actividad. La Huella de Carbono cuantifica la totalidad de gases de efecto invernadero emitidos por efecto directo e indirecto como consecuencia de una actividad. En este contexto, la industria del transporte en general, y en particular el sector de la aviación, están en el punto de mira, por ser los sectores que más emisiones generan. Otro gran foco de emisiones es la ocurrencia de los incendios forestales que, además, se ha convertido en uno de los mayores problemas ecológicos que sufren nuestros montes debido a su frecuencia y gravedad en las últimas décadas. El presente Proyecto Final de Carrera tiene dos objetivos. En primer lugar la cuantificación e interpretación de la Huella de Carbono y Huella Ecológica de la empresa Hispánica de Aviación S.A. (HASA), empresa que presta servicios con helicópteros, sector para el que no se han encontrado estudios de Huella de Carbono hasta la fecha. En segundo lugar, determinar el radio de acción de los helicópteros en su actuación contra incendios forestales para que las emisiones de Gases de Efecto Invernadero compensen su intervención. Para ello se ha utilizado el Método Compuesto de las Cuentas Contables v.12.4 determinando como unidad funcional de producto el kilómetro recorrido por un helicóptero. Por último se ha empleado la metodología utilizada por el Ministerio de Agricultura, Alimentación y Medio Ambiente para el cálculo de emisiones por los Incendios Forestales a fin de realizar una estimación de lo que supone en este sentido la intervención de los helicópteros de HASA en las labores de extinción. La Huella de Carbono y Huella Ecológica para el año 2012 de HASA es 5.515 t CO2e y 1.344 haG. Destaca el peso del consumo de queroseno, que contribuye con 3.103 t CO2e y 786 haG. De acuerdo a las unidades funcionales consideradas, el helicóptero con matrícula SP-SUT/EC-LUQ es el que más Huella de Carbono presenta (12 Kg CO2e/Km) a diferencia del helicóptero con matrícula SP-SUC que es el que menos Huella de Carbono manifiesta (6 Kg CO2e/Km). Entre las diferentes conclusiones se destaca que la salida de un helicóptero a un incendio en España, siempre va a valorarse como compensada en términos de Huella de Carbono. Es decir, las emisiones que va a evitar su salida (disminución de la superficie quemada), son considerablemente mayores que las que se pueden producir por su puesta en funcionamiento. El presente proyecto se acompaña de una propuesta de acciones que se consideran de gran utilidad tanto para posteriores evaluaciones como para la mejora del posicionamiento ambiental de HASA.

Análisis de Ciclo de Vida para el ecodiseño del sistema Intemper TF de cubierta ecológica aljibe

Artículo que refleja los resultados obtenidos en la evaluación ambiental de la cubierta F ecolójica aljibe, planteando a partir de la identificación de los puntos críticos las estrategias de ecodiseño pertinentes.

Conectividad ecológica y vías de transporte

Jornadas sobre conectividad ecológica y vías de transporte

Estudio Multimodal de la Funcionalidad Cortical en ratones Transgénicos con Síndrome X Frágil y la modulación del dolor

El dolor es un síntoma frecuente en la práctica médica. En España, un estudio realizado en el año 2000 demostró que cada médico atiende un promedio de 181 pacientes con dolor por mes, la mayoría de ellos con dolor crónico moderado1. Del 7%-8% de la población europea está afectada y hasta el 5% puede ser grave2-3, se estima, que afecta a más de dos millones de españoles4. En la consulta de Atención Primaria, los pacientes con dolor neuropático tienen tasas de depresión mucho mayores 5-6-7. El dolor neuropático8 es el dolor causado por daño o enfermedad que afecta al sistema somato-sensorial, es un problema de salud pública con un alto coste laboral, debido a que existe cierto desconocimiento de sus singularidades, tanto de su diagnóstico como de su tratamiento, que al fallar, el dolor se perpetúa y se hace más rebelde a la hora de tratarlo, en la mayoría de las ocasiones pasa a ser crónico. Los mecanismos fisiopatológicos son evolutivos, se trata de un proceso progresivo e integrado que avanza si no recibe tratamiento, ocasionando graves repercusiones en la calidad de vida de los pacientes afectados9. De acuerdo a Prusiner (premio nobel de medicina 1997), en todas las enfermedades neurodegenerativas hay algún tipo de proceso anormal de la función neuronal. Las enfermedades neurodegenerativas son la consecuencia de anormalidades en el proceso de ciertas proteínas que intervienen en el ciclo celular, por lo tanto da lugar al cúmulo de las mismas en las neuronas o en sus proximidades, disminuyendo o anulando sus funciones, como la enfermedad de Alzheimer y el mismo SXF. La proteína FMRP (Fragile Mental Retardation Protein), esencial para el desarrollo cognitivo normal, ha sido relacionada con la vía piramidal del dolor10-11-12. El Síndrome de X Frágil13-14 (SXF), se debe a la mutación del Gen (FMR-1). Como consecuencia de la mutación, el gen se inactiva y no puede realizar la función de sintetizar la proteína FMRP. Por su incidencia se le considera la primera causa de Deficiencia Mental Hereditaria sólo superada por el Síndrome de Down. La electroencefalografía (EEG) es el registro de la actividad bioeléctrica cerebral que ha traído el desarrollo diario de los estudios clínicos y experimentales para el descubrimiento, diagnóstico y tratamiento de un gran número de anormalidades neurológicas y fisiológicas del cerebro y el resto del sistema nervioso central (SNC) incluyendo el dolor. El objetivo de la presente investigación es por medio de un estudio multimodal, desarrollar nuevas formas de presentación diagnóstica mediante técnicas avanzadas de procesado de señal y de imagen, determinando así los vínculos entre las evaluaciones cognitivas y su correlación anatómica con la modulación al dolor presente en patologías relacionadas con proteína FMRP. Utilizando técnicas biomédicas (funcionalestructural) para su caracterización. Para llevar a cabo esta tarea hemos utilizado el modelo animal de ratón. Nuestros resultados en este estudio multimodal demuestran que hay alteraciones en las vías de dolor en el modelo animal FMR1-KO, en concreto en la modulación encefálica (dolor neuropático), los datos se basan en los resultados del estudio estructural (imagen histología), funcional (EEG) y en pruebas de comportamiento (Laberinto de Barnes). En la Histología se muestra una clara asimetría estructural en el modelo FMR1 KO con respecto al control WT, donde el hemisferio Izquierdo tiene mayor densidad de masa neuronal en KO hembras 56.7%-60.8%, machos 58.3%-61%, en WT hembras 62.7%-62.4%, machos 55%-56.2%, hemisferio derecho-izquierdo respectivamente, esto refleja una correlación entre hemisferios muy baja en los sujetos KO (~50%) con respecto a los control WT (~90%). Se encontró correlación significativa entre las pruebas de memoria a largo plazo con respecto a la asimetría hemisférica (r = -0.48, corregido <0,05). En el estudio de comportamiento también hay diferencias, los sujetos WT tuvieron 22% un de rendimiento en la memoria a largo plazo, mientras que en los machos hay deterioro de memoria de un 28% que se corresponden con la patología en humanos. En los resultados de EEG estudiados en el hemisferio izquierdo, en el área de la corteza insular, encuentran que la latencia de la respuesta al potencial evocado es menor (22vs32 15vs96seg), la intensidad de la señal es mayor para los sujetos experimentales FMR1 KO frente a los sujetos control, esto es muy significativo dados los resultados en la histología (140vs129 145vs142 mv). Este estudio multimodal corrobora que las manifestaciones clínicas del SXF son variables dependientes de la edad y el sexo. Hemos podido corroborar en el modelo animal que en la etapa de adulto, los varones con SXF comienzan a desarrollar problemas en el desempeño de tareas que requieren la puesta en marcha de la función ejecutiva central de la memoria de trabajo (almacenamiento temporal). En el análisis del comportamiento es difícil llegar a una conclusión objetiva, se necesitan más estudios en diferentes etapas de la vida corroborados con resultados histológicos. Los avances logrados en los últimos años en su estudio han sido muy positivos, de tal modo que se están abriendo nuevas vías de investigación en un conjunto de procesos que representan un gran desafío a problemas médicos, asistenciales, sociales y económicos a los que se enfrentan los principales países desarrollados, con un aumento masivo de las expectativas de vida y de calidad. Las herramientas utilizadas en el campo de las neurociencias nos ofrecen grandes posibilidades para el desarrollo de estrategias que permitan ser utilizadas en el área de la educación, investigación y desarrollo. La genética determina la estructura del cerebro y nuestra investigación comprueba que la ausencia de FMRP también podría estar implicada en la modulación del dolor como parte de su expresión patológica siendo el modelo animal un punto importante en la investigación científica fundamental para entender el desarrollo de anormalidades en el cerebro. ABSTRACT Pain is a common symptom in medical practice. In Spain, a study conducted in 2000 each medical professional treats an average of 181 patients with pain per month, most of them with chronic moderate pain. 7% -8% of the European population is affected and up to 5% can be serious, it is estimated to affect more than two million people in Spain. In Primary Care, patients with neuropathic pain have much higher rates of depression. Neuropathic pain is caused by damage or disease affecting the somatosensory system, is a public health problem with high labor costs, there are relatively unfamiliar with the peculiarities in diagnosis and treatment, failing that, the pain is perpetuated and becomes rebellious to treat, in most cases becomes chronic. The pathophysiological mechanisms are evolutionary, its a progressive, if untreated, causing severe impact on the quality of life of affected patients. According to Prusiner (Nobel Prize for Medicine 1997), all neurodegenerative diseases there is some abnormal process of neuronal function. Neurodegenerative diseases are the result of abnormalities in the process of certain proteins involved in the cell cycle, reducing or canceling its features such as Alzheimer's disease and FXS. FMRP (Fragile Mental Retardation Protein), is essential for normal cognitive development, and has been linked to the pyramidal tract pain. Fragile X Syndrome (FXS), is due to mutation of the gene (FMR-1). As a consequence of the mutation, the gene is inactivated and can not perform the function of FMRP synthesize. For its incidence is considered the leading cause of Mental Deficiency Hereditary second only to Down Syndrome. Electroencephalography (EEG) is the recording of bioelectrical brain activity, is a advancement of clinical and experimental studies for the detection, diagnosis and treatment of many neurological and physiological abnormalities of the brain and the central nervous system, including pain. The objective of this research is a multimodal study, is the development of new forms of presentation using advanced diagnostic techniques of signal processing and image, to determine the links between cognitive evaluations and anatomic correlation with pain modulation to this protein FMRP-related pathologies. To accomplish this task have used the mouse model. Our results in this study show alterations in multimodal pain pathways in FMR1-KO in brain modulation (neuropathic pain), the data are based on the results of the structural study (histology image), functional (EEG) testing and behavior (Barnes maze). Histology In structural asymmetry shown in FMR1 KO model versus WT control, the left hemisphere is greater density of neuronal mass (KO females 56.7% -60.8%, 58.3% -61% males, females 62.7% -62.4 WT %, males 55% -56.2%), respectively right-left hemisphere, this reflects a very low correlation between hemispheres in KO (~ 50%) subjects compared to WT (~ 90%) control. Significant correlation was found between tests of long-term memory with respect to hemispheric asymmetry (r = -0.48, corrected <0.05). In the memory test there are differences too, the WT subjects had 22% yield in long-term memory, in males there memory impairment 28% corresponding to the condition in humans. The results of EEG studied in the left hemisphere, in insular cortex area, we found that the latency of the response evoked potential is lower (22vs32 15vs96seg), the signal strength is higher for the experimental subjects versus FMR1 KO control subjects, this is very significant given the results on histology (140vs129 145vs142 mv). This multimodal study confirms that the clinical manifestations of FXS are dependent variables of age and sex. We have been able to corroborate in the animal model in the adult stage, males with FXS begin developing problems in the performance of tasks that require the implementation of the central executive function of working memory (temporary storage). In behavior analysis is difficult to reach an objective conclusion, more studies are needed in different life stages corroborated with histologic findings. Advances in recent years were very positive, being opened new lines of research that represent a great challenge to physicians, health care, social and economic problems facing the major developed countries, with a massive increase in life expectancy and quality. The tools used in the field of neuroscience offer us great opportunities for the development of strategies to be used in the area of education, research and development. Genetics determines the structure of the brain and our research found that the absence of FMRP might also be involved in the modulation of pain as part of their pathological expression being an important animal model in basic scientific research to understand the development of abnormalities in brain.

Desarrollo de nueva funcionalidad e interfaz web y móvil para la API MappingAPI2

Vivimos en la era de la información y del internet, tenemos la necesidad cada vez mayor de conseguir y compartir la información que existe. Esta necesidad se da en todos los ámbitos existentes pero con más ahínco probablemente sea en el área de la medicina, razón por la cual se llevan a cabo muchas investigaciones de distinta índole, lo cual ha llevado a generar un cantidad inimaginable de información y esta su vez muy heterogénea, haciendo cada vez más difícil unificarla y sacar conocimiento o valor agregado. Por lo cual se han llevado a cabo distintas investigaciones para dar solución a este problema, quizás la más importante y con más crecimiento es la búsqueda a partir de modelos de ontologías mediante el uso de sistemas que puedan consultarla. Este trabajo de Fin de Master hace hincapié es la generación de las consultas para poder acceder a la información que se encuentra de manera distribuida en distintos sitios y de manera heterogénea, mediante el uso de una API que genera el código SPARQL necesario. La API que se uso fue creada por el grupo de informática biomédica. También se buscó una manera eficiente de publicar esta API para su futuro uso en el proyecto p-medicine, por lo cual se creó un servicio RESTful para permitir generar las consultas deseadas desde cualquier plataforma, haciendo en esto caso más accesible y universal. Se le dio también una interfaz WEB a la API que permitiera hacer uso de la misma de una manera más amigable para el usuario. ---ABSTRACT---We live in the age of information and Internet so we have the need to consult and share the info that exists. This need comes is in every scope of our lives, probably one of the more important is the medicine, because it is the knowledge area that treats diseases and it tries to extents the live of the human beings. For that reason there have been many different researches generating huge amounts of heterogeneous and distributed information around the globe and making the data more difficult to consult. Consequently there have been many researches to look for an answer about to solve the problem of searching heterogeneous and distributed data, perhaps the more important if the one that use ontological models. This work is about the generation of the query statement based on the mapping API created by the biomedical informatics group. At the same time the project looks for the best way to publish and make available the API for its use in the p-medicine project, for that reason a RESTful API was made to allow the generation of consults from within the platform, becoming much more accessible and universal available. A Web interface was also made to the API, to let access to the final user in a friendly

Desarrollo de funcionalidad para un marco orientado al razonamiento sobre algoritmos criptográficos

La sociedad depende hoy más que nunca de la tecnología, pero la inversión en seguridad es escasa y los riesgos de usar sistemas informáticos son cada día mayores. La criptografía es una de las piedras angulares de la seguridad en este ámbito, por lo que recientemente se ha dedicado una cantidad considerable de recursos al desarrollo de herramientas que ayuden en la evaluación y mejora de los algoritmos criptográficos. EasyCrypt es uno de estos sistemas, desarrollado recientemente en el Instituto IMDEA Software en respuesta a la creciente necesidad de disponer de herramientas fiables de verificación de criptografía. A lo largo de este trabajo se abordará el diseño e implementación de funcionalidad adicional para EasyCrypt. En la primera parte de documento se discutirá la importancia de disponer de una forma de especificar el coste de algoritmos a la hora de desarrollar pruebas que dependan del mismo, y se modificará el lenguaje de EasyCrypt para permitir al usuario abordar un mayor espectro de problemas. En la segunda parte se tratará el problema de la usabilidad de EasyCrypt y se intentará mejorar dentro de lo posible desarrollando una interfaz web que permita usar el sistema fáacilmente y sin necesidad de tener instaladas todas las herramientas que necesita EasyCrypt. ---ABSTRACT---Today, society depends more than ever on technology, but the investment in security is still scarce and the risk of using computer systems is constantly increasing. Cryptography is one of the cornerstones of security, so there has been a considerable amount of efort devoted recently to the development of tools oriented to the evaluation and improvement of cryptographic algorithms. One of these tools is EasyCrypt, developed recently at IMDEA Software Institute in response to the increasing need of reliable cryptography verification tools. Throughout this document we will design and implement two diferent EasyCrypt features. In the first part of the document we will consider the importance of having a way to specify the cost of algorithms in order to develop proofs that depend on it, and then we will modify the EasyCrypt's language so that the user can tackle a wider range of problems. In the second part we will assess EasyCrypt's poor usability and try to improve it by developing a web interface which enables the user to use it easily and without having to install the whole EasyCrypt toolchain.