martes, 18 de junio de 2013 0 comentarios

Las herramientas de un mecánico cuántico


 
Antonio Alejandro Valido

Aula 8 (Facultad de Matemáticas), 13.00 h.
 
 
 
La mecánica cuántica es la rama de la física que estudia la naturaleza desde su nivel más fundamental. Históricamente supuso una revolución en la visión científica del universo que ha permitido una mejor comprensión de los fenómenos físicos, desde la escala subatómica hasta, gracias a los desarrollos tanto teóricos como experimentales más recientes, el nivel mesoscópico o macroscópico en algunos casos. Desde el punto de vista matemático, es considerado un cuerpo estructurado de ideas físicas (postulados) formulado en términos de resultados procedentes del análisis funcional, el álgebra lineal o la teoría de probabilidad.
 
La charla consisitirá en una breve introducción a la mecánica cuántica, haciendo especial énfasis en las matemáticas que constituyen el marco teórico de trabajo y, por tanto, las herramientas básicas para una gran parte de la investigación en el campo de la física actual.
 
 
 
 
Antonio Alejandro Valido, estudiante de física en fase doctoral en el Departamento de Física Fundamental II. Ha dedicado la mayor parte de su tesis a estudiar como son afectadas las correlaciones cuánticas por el proceso de relajación térmica en sistemas nanoscópicos. Además, realizó la Licenciatura en Física y el máster de "Estructura de la Materia" en la Universidad de La Laguna.
 
 
 
 

miércoles, 29 de mayo de 2013 0 comentarios

Geometría tropical

Ana Belén de Felipe Paramio

Aula 8 (Facultad de Matemáticas), 13.00 h.







 



En esta charla haremos una introducción a la geometría tropical, área de las matemáticas relativamente joven y que ha experimentado un gran desarrollo en los últimos años. La idea principal es la transformación de las variedades algebraicas en complejos poliedrales (que retienen información sobre las variedades originales), con el objetivo de utilizar herramientas de combinatoria y geometría discreta para abordar problemas algebro-geométricos. Como primer acercamiento consideraremos las curvas tropicales y veremos algunas aplicaciones en geometría real y geometría enumerativa.
 
 
 
 
Ana Belén de Felipe Paramio,becaria de la Agencia Canaria de Investigación, Innovación y Sociedad de la Información en el Departamento de Matémática Fundamental de la ULL, realiza su tesis doctoral en cotutela entre la Universidad de La Laguna y la Universidad Paris Diderot - Paris 7. 
 







viernes, 12 de abril de 2013 0 comentarios

Modelización matemática para el diseño de nuevas dianas terapéuticas contra la malaria


Guido Santos

Aula 8 (Facultad de Matemáticas), 12.30 h.









La malaria es una de las enfermedades parasitarias que más muertes causa. Actualmente no existen vacunas contra esa enfermedad y el parásito que la causa está empezando a desarrollar resistencia a los fármacos disponibles. Ante ese panorama se hace urgente diseñar nuevos fármacos efectivos contra la malaria. El desarrollo de nuevos fármacos pasa por encontrar dianas sobre las que centrar la búsqueda de nuevos fármacos.
Las herramientas que nos proporcionan las matemáticas nos permiten lidiar con problemas en el campo de la biomedicina. En concreto, el uso de modelos matemáticos definidos en ecuaciones diferenciales ordinarias se usan para simular procesos biológicos dinámicos. En este trabajo se han usado este tipo de modelos para dirigir la búsqueda de dianas sobre las que centrar el diseño de nuevos fármacos contra la malaria.






Guido Santos,
- Licenciado en biología por la universidad de La Laguna. 2005-2011. 
- Perteneciente al Grupo de Tecnología Bioquímica del departamento de Bioquímica y Biología Molecular de la universidad de La Laguna. 2009-actualidad
Máster en Biomedicina por la universidad de La Laguna. 2011-2012
- Estancia en el grupo Systems Biology Bioinformatics de la universidad de Rostock, Alemania, por dos     meses. 2012
- Contratado como personal investigador por la universidad de La Laguna. 2010-2011 y 2012-2013
- Actualmente desarrollando el doctorado en Ciencias Biomédicas de la universidad de La Laguna. 2013-actualidad


Artículos peer-review
Modelling and Analysis of Central Metabolism Operating Regulatory Interactions in Salt Stress Conditions in a L-Carnitine Overproducing E. coli Strain. 2012
New Targets for Drug Discovery against Malaria. 2013

viernes, 15 de marzo de 2013 0 comentarios

Sobre Teoría de Grafos, rentabilidades y costes.

Ginés León Rodríguez

Aula 8 (Facultad de Matemáticas), 13.00 h.


En la empresa, dónde el tiempo apremia y los proyectos se acumulan, se ha de ponderar y equilibrar la balanza entre el esfuerzo realizado y el retorno de ese esfuerzo y ese tiempo. Pero hay proyectos, en los que si no se utilizan metodologías o técnicas científicas para su estudio y la toma de decisiones final, difícilmente pudiesen tener resultados exitosos.


Aquí se expone un caso de éxito, en el que si no se hubiese utilizado el cálculo de rutas de vehículos con ventana temporal (VRPTW), las opciones de presentar una oferta competitiva se hubiesen reducido considerablemente, con la consecuente pérdida de beneficio para la empresa.





El caso expuesto presenta el problema de optimización del número de vehículos para la recogida de muestras de hematológicas y biológicas en los Centros de Salud de la isla de Tenerife para su entrega en los laboratorios en un plazo no superior a 90 minutos.




Ginés León,licenciado en Ciencias y Técnicas estadísticas por la ULL, desempeña actualmente la labor de Director de Logística Del Grupo Valora y Subdirector de Seur en Canarias, siendo el responsable de los Almacenes del Grupo Valora en Canarias y de las Operativas Especiales.

En la actualidad gestiona parte de los Almacenes de Gestión y Custodia de Documentación para clientes como La Caixa, Mapfre, Pwh, etc., habiendo un total de 4 almacenes en Canarias de esta tipología, y los almacenes de preparación de pedidos para clientes como Nespresso, BBVA, Grupo Planeta, etc., con un total de 3 almacenes en la actualidad.

Es uno de los analistas y desarrolladores de las operativas logísticas del Grupo Valora, en aras de la mejora de los procesos del grupo, así como operativas ad hoc a clientes cómo los Servicios Logísticos a Hospitales, los Servicios a Centros de Salud, Servicios de traslado de documentación, traslado de almacenes, otros.

Es uno de los responsables en el estudio, desarrollo e implantación de operativas, KPI e Informes de Seguimiento y Mejora. Además está implicado directamente en tareas dentro del área de Operaciones con Seur S.A., así como el control y mejora continua en los indicadores de calidad, organización interna y mejora en las rutas de reparto, coordinación de zonas y tránsitos entre Islas.
jueves, 14 de febrero de 2013 0 comentarios

Nuevo algoritmo de descodificación completa para códigos lineales

Irene Márquez Corbella

Aula 8 (Facultad de Matemáticas), 13.00 h.





 
En esta charla exploraremos el nexo de unión que existe entre la estructura algebraica de un código lineal y el proceso de descodificación completa. El método de descodificación completa es un problema NP-completo, incluso si consentimos el pre-procesamiento de los datos. Abordaremos este problema con distintas técnicas algebraicas.

 

La Teoría de Códigos correctores busca la forma de transmitir información de manera fiable y eficiente a través de canales afectados de ruido y que, por lo tanto, pueden distorsionar la información. En la vida cotidiana utilizamos los códigos correctores de forma frecuente. Los ejemplos más comunes son el código de barras, el ISBN que nos facilitan la identificación de libros y revistas, los códigos ASCII utilizado en ordenadores; o los códigos correctores que se emplean en cualquier dispositivo que nos permita almacenar o transmitir información, como los CD, los DVD, los chips que aparecen en nuestras tarjetas de crédito, en el carnet de conducir, en el DNI, etc.

 

El proceso de descodificación (en el que se intenta recuperar el mensaje original) es la parte más importante y delicada del proceso de comunicación con códigos. La descodificación completa consiste en crear un sistema que asigne, para cualquier palabra recibida en la que se han cometido errores, la palabra del código más cercana.

Una de las principales aplicaciones de nuestro problema es definir el conjunto de palabras de soporte minimal de un código lineal, lo que está relacionado con la descripción de algoritmos de descodificación por gradiente (de gran relevancia en la esteganografía, disciplina que estudia los métodos de encubrir mensajes) y con esquemas o protocolos para compartir secretos en criptografía.

 

El fundamento matemático se basa en introducir un ideal binomial asociado a cualquier código lineal de forma que los binomios de la base de Gröbner de dicho ideal respecto de un orden graduado inducen un conjunto de prueba o test-set que nos proporciona un método de descodificación completo.

 

Para el caso binario muchos de estos resultados ya se conocían. Sin embargo, presentaremos extensiones de los algoritmos conocidos con los que podemos calcular, sin aumento del coste computacional, parámetros adicionales del código como el conjunto de palabras líderes, su distribución de pesos o el radio de recubrimiento y de Newton. La complejidad, próxima a la óptima, puede ser mejorada con diversas técnicas. Por ejemplo, podemos hacer uso de la teoría de descomposición de matroides representables para dividir nuestros algoritmos en sub-algoritmos independientes autorizando la paralelización de los mismos. Para el caso de códigos lineales arbitrarios los algoritmos que presentaremos son novedosos.
 
 



Irene Márque Corbella nacida en Tenerife, se licenció en Matemáticas por la Universidad de La Laguna en 2008. En el curso 2008-2009, gracias a una beca internacional de la Fundación la Caixa para estudios de post-grado, realizó un máster profesional en la especialidad de criptografía, protocolos y redes en la Universidad Diderot - París VII. Tras obtener una Beca Nacional FPI y la realización del Programa de doctorado en la Universidad de Valladolid, en el Departamento de Álgebra, Geometría y Topología, actualmente está trabajando en su tesis doctoral bajo la dirección de los profesores Antonio Campillo López y Edgar Martínez-Moro. Forma parte del grupo SINGACOM y del Instituto Universitario de Matemáticas de la Universidad de Valladolid (ImUVa).

martes, 8 de enero de 2013 0 comentarios

Un paseo semi-divulgativo por la teoría de homotopía racional