Ingeniería de glicanos: diseño de inmunógenos y ligandos de lectinas. Glycan engineering: design of immunogens and ligand of lectins.

La ingeniería de glicanos es un área de investigación emergente, la que posee múltiples aplicaciones en medicina. Mediante esta herramienta se intentará reducir la flexibilidad de las uniones glicosídicas de antígenos tumorales, como la del antígeno T (Galbeta3GalNAcalfa-Ser/Thr). Aquí se realizarán las menores alteraciones posibles en la topología de glicanos que generen la mejor respuesta inmune hacia el antígeno de interés. Por otra parte, se buscará ligandos de alta afinidad que interaccionen con lectinas involucradas en diseminación de metástasis. Mediante ensayos teóricos de Docking se tratará de hallar modificaciones topológicas de glicanos que potencialmente tengan propiedades anti-adhesivas para células tumorales. Este proyecto constará de tres etapas: una teórica, utilizando programas de cálculos para ensayos de Docking y mínimos energéticos de glicanos. Otra de síntesis, generando los glicoconjugados sugeridos en la etapa anterior. En la última, se verificará si estos glicanos rediseñados adquirieron las propiedades biológicas deseadas. Así se determinará si generan una respuesta inmune que reconozca antígenos y células tumorales. También, se analizarán las propiedades anti-adhesivas de los glicanos utilizando diferentes modelos experimentales. Finalmente, se determinará si los inmunógenos producidos y/o glicoconjugados rediseñados poseen efecto en el desarrollo tumoral y sobrevida animal.

Los entornos virtuales como herramienta sustituta del laboratorio "real" y como complemento de la enseñanza de Química a alumnos de Ingeniería. Virtual environments as substitute tools for the "conventional" laboratories and as a complement for Chemistry teaching to Engineering students.

El presente proyecto se plantea el siguiente problema de investigación:¿Cuál es la eficacia de los entornos virtuales de enseñanza para optimizar los aprendizajes de Química? Se sostiene la hipótesis de que los entornos virtuales de enseñanza, empleados como mediación instrumental, son eficaces para optimizar los aprendizajes de química, particularmente facilitando la vinculación y reversibilidad entre "mundo micro y macroscópico"; capacidad que usualmente sólo se atribuye al trabajo experimental de laboratorio. Los objetivos propuestos son: Determinar la eficacia de entornos virtuales de enseñanza, como mediaciones instrumentales, para optimizar los aprendizajes de química en estudiantes de ingeniería. Implementar un entrono virtual de enseñanza de química, diseñado como mediación instrumental y destinado a estudiantes de dos carreras de ingeniería del IUA. Evaluar el desarrollo y los resultados de la innovación introducida. Comparar los resultados de la innovación con los resultados de la enseñanza usual. Derivar conclusiones acerca de la eficacia de la innovación propuesta. Socializar el conocimiento producido en ámbitos científico-tecnológicos reconocidos. Se generará un aula virtual en plataforma Educativa y utilidzando el laboratorio de computación de la institución se buscará desarrollar laboratorios virtuales donde se propondrán actividades de simulación de trabajo experimental. Los resultados esperados son: - Un Aula Virtual que cumpla funciones análogas a las de un laboratorio experimental. - Información válida y confiable acerca de la eficacia de la misma como medio para optimizar los aprendizajes de química. - Publicaciones en ámbitos científico-tecnológicos reconocidos que sometan a juicio público la innovación y la investigación efectuadas. La importancia del proyecto radica principalmente en poner a prueba la eficacia de los entornos virtuales para optimizar los aprendizajes de química, analogando tareas usualmente limitadas al trabajo experimental de laboratorio. Su pertinencia apunta a un replanteo del curriculo de los cursos de Química para estudiantes de Ingeniería.

Desarrollo de un método científico aplicable al análisis y prevención de fallas en ingeniería.

El proyecto busca profundizar lo incorporado como método de análisis, a partir de lo realizado en el proyecto anterior, relativo a la Fragilidad por Hidrógeno en Metales Ferrosos. Sobre la base de lo actuado, se pretende aplicar el método científico de análisis a las fallas en casos que ocurren en la práctica y que tienen como origen errores en el diseño, construcción o mantenimiento de componentes o sistemas. Procesos industriales que aplican técnicas de fabricación o construcción de componentes, frecuentemente fallan por un uso erróneo de los mismos, ya sea por mala práctica o bien por desconocimiento de las variables que los gobiernan. Mediante la aplicación del método científico se busca llegar a las primeras causas de las fallas y a partir del entendimiento de las mismas generar prevención para futuros casos.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Estandarización y confiabilidad del test de velocidad de denominación para la detección temprana de dislexia.

La evaluación de la velocidad de denominación permite la identificación temprana de niños en riesgo de desarrollar dislexia. Por lo tanto es importante contar con un test de velocidad 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 construyó el Test de Velocidad de Denominación. Éste es un test neuropsicológico para evaluar la velocidad de denominación (implica cronometrar el tiempo necesario para la producción de los nombres correctos de figuras que se le presentan al individuo). El test consta con satisfactorios estudios de validez. Para la presente etapa se propone administrar el test a doscientos niños de 4 a 8 años para la construcción del baremo. A una submuestra de sesenta niños del grupo de baremación se les readministrará el test a los fines de evaluar la confiabilidad (estabilidad) de la prueba.

El Real Conservatorio de Artes (1824-1850): Orígenes y gestación de la ingeniería industrial moderna

El "Conservatorio de Artes" tuvo un origen Ilustrado, emulando a su homónimo parisino, pero nació durante el absolutismo (1824), tras un frustrado intento afrancesado (1810). Absorbió al "Gabinete de Máquinas" y tuvo como primer director a López de Peñalver. Supuso un puente entre la Ilustración y la Ingeniería Industrial decimonónica, sobre todo, a partir de la institucionalización del envío de pensionados a la "École Centrale des Arts et Manufactures" parisina, con cuyo retorno consigue transformarse en "Real Instituto Industrial" (1850). Aparte destaca su proyección social, tanto en su papel de oficina de patentes como en la promoción de exposiciones industriales.

La utilización de los recursos actualmente existentes en Internet para la enseñanza de Ingeniería de Materiales

El presente trabajo describe la planificación y posterior puesta en marcha de distintos mecanismos para la realización de prácticas de simulación con ordenador a modo de asignatura virtual. Los contenidos pertenecen a distintas áreas de conocimiento del plan de estudios relativo a la Ingeniería de Materiales. Primeramente se hace un análisis de las causas que motivaron la realización del mismo, así como de las posibilidades y necesidad de utilización de los Laboratorios Virtuales en la enseñanza contemporánea. Posteriormente se presenta el sistema desarrollado, sus características y posibilidades de utilización. El objetivo del trabajo es doble: por un lado, crear una base de datos interactiva de consulta con la finalidad de que el alumno pueda asentar conceptos clave necesarios para cursar la titulación con éxito; por otro, crear un servidor de prácticas de simulación por computador haciendo uso de la World Wide Web y que permita a los alumnos acceder a las prácticas de forma remota, con las múltiples ventajas, tanto educativas como económicas, que ello supondría.

Aplicación de la ingeniería del software sobre la herramienta MATE: Common y DMLib

Aquest projecte intenta implantar una metodologia de treball sobre MATE. MATE es una eina de sintonització d'aplicacions paral·leles sorgida de la tesis doctoral d'Anna Sikora a 2003. Vistos els resultats obtinguts, es va decidir donar un pas endavant i convertir-la en un producte software Open Source. Per fer-ho ha sigut necessari aplicar una serie d'estàndards i fer un proces de tests. En aquest treball s'ha creat part de la metodologia i s'han modificat dos dels mòduls principals.

Aplicación de la ingeniería software sobre la herramienta MATE Analyzer

MATE (Monitoring, Analysis and Tuning Environment) es un proyecto que surge en 2004 como tesis doctoral de Anna Sikora con el propósito de investigar la mejora de rendimiento de aplicaciones paralelas a través de la modificación dinámica. Nuestro proyecto supone un paso adelante en cuestiones de calidad de software y pretende dotar al proyecto MATE de una base de desarrollo sólida de cara a futuras lineas de trabajo. Para ello se hace frente a la problemática desde tres perspectivas: la creación de una metodología de desarrollo (y su aplicación sobre el proyecto existente), la implantación de un entorno de desarrollo de soporte y el desarrollo de nuevas características para favorecer la portabilidad y la usabilidad, entre otros aspectos.

Aspectos metabólicos y multivitamínicos del maíz

La deficiencia de vitamina A causa 2.2 millones de muertes al año. Por tanto, investigadores intentan elevar el contenido de β-caroteno y otros carotenoides en cereales mediante la ingeniería genética. Mi trabajo consistió en analizar carotenoides en maíz y callos de arroz transgénico con el fin de indentificar y cuantificar estos pigmentos y además analizar la ruta metabólica de los mismos. Por tal motivo, desarrollaré una técnica analítica por HPLC y UHPLC que me permitió separar la mezcla de carotenoides. Estas moléculas se detectaton utilizando un detector de arreglo de diodos y masas. Con éste último se probaron distintas técnicas de ionización (ESI, APCI y APPI) para encontrar la mejor técnica que ionizara carotenos y xantófilas. Además se hallaron transiciones para identificar a cada uno de los carotenoides. Para mostrar la confiabilidad del método analítico, realicé la validación del mismo y determiné factores importantes que influyen en el análisis de carotenoides, como por ejemplo, su estabilidad química. Para analizar la ruta metabólica de los carotenoides, se realizaron distintos experimentos, entre ellos, introducir distintas combinaciones de genes en el maíz y arroz que permitieran entender cuáles eran las enzimas importantes que permitían la acumulación de carotenoides. También se analizó la biosíntesis de carotenoides a distintas etapas del desarrollo de la semilla de maíz, desde los 15 días después de la polinización (DAP) hasta los 60 DAP y su estabilidad química a lo largo de todo este período. Finalmente, se profundizó en la identificación de nuevos carotenoides encontrados en las muestras, como los oxo-carotenoides (utilizados en la industria como colorantes). Para llevar acabo su identificación, se realizaron pruebas químicas, se determinaron sus espectros visibles y sus fragmentos por masas.   

Aplicación de la ingeniería del software sobre la herramienta MATE : application controller

Este proyecto tiene como objetivo crear y aplicar una metodología a una aplicación llamada MATE que fue creada en en el año 2003 por Anna Sikora para su tesis doctoral. Se trata de dotar el proyecto MATE de las herramientas necesarias para garantizar su evolución. La metodología creada consta de la especificación de un entorno de trabajo y una serie de documentos que detallan los procesos relativos al desarrollo de MATE. Además se han creado algunas nuevas características que hacen de MATE una herramienta más completa y cómoda.

TFC - Ingeniería del Software : memoria

Documentación (requisitos, diagramas UML, etc.) para la elaboración de una aplicación para la gestión de una autoescuela.

Proyecto final de carrera .NET : Ingeniería técnica de sistema

Programa en plataforma .NET para la gestión de un servicio técnico. Basado en una estructura cliente servidor. El motor de base de datos es SQL server.

Análisis de la proyección profesional del Grado de Ingeniería Informática y Telecomunicación : Viabilidad profesional en tiempos de crisis y benchmarking

El objetivo específico del TFG es el de realizar un análisis riguroso en base a fuentes externas y referencias de probada veracidad en relación a la oferta universitaria actual de estudios de Grado de Informática y Telecomunicación en España en la modalidad de e-learning o educación a distancia.

UOCbuntu : Distribución Ubuntu orientada a estudiantes de Ingeniería Informática

UOCbuntu es una distribución basada en Ubuntu y creada con el objetivo de satisfacer las necesidades de los estudiantes de las ingenierías en Informática de la Universitat Oberta de Catalunya. De esta forma, se pretenden aglutinar en un único producto todas las herramientas necesarias y otras que pueden ser de utilidad para los alumnos, con la ventaja de poder ejecutarse en modo live-usb persistente.