No podrás conectarte si excedes diez intentos fallidos.
La Agencia SINC ofrece servicios diferentes dependiendo de tu perfil.
Selecciona el tuyo:
Cuando usamos un programa informático no nos cuestionamos si hará bien los cálculos o si sus respuestas serán correctas. Damos por hecho que funcionan, porque de otra forma sería imposible fiarse de resultados tan importantes como los de una tomografía (escáner médico) o tan cotidianos como la reserva de un viaje por Internet. El proyecto europeo ForMath estudia, precisamente, el correcto funcionamiento de los programas de ordenador.
ForMath es un proyecto de investigación dedicado a la seguridad certificada de los programas informáticos en campos como la medicina. Implica a 23 investigadores de la Gothenburg University (Suecia), la Radboud University (Holanda), y la Universidad de La Rioja (España). Cuenta con un presupuesto de 1,8 millones de euros y un plazo de ejecución de tres años.
El proyecto se centra en la precisión numérica de los cálculos y en el procesamiento digital de imágenes, con el fin de garantizar el correcto funcionamiento del software. Para ello se utilizan técnicas matemáticas que permiten asociar a cada programa un certificado de corrección, empleando herramientas de Inteligencia Artificial (concretamente, de Razonamiento Mecanizado).
El Grupo de Investigación de Programación y Cálculo Simbólico (Psycotrip) de la Universidad de La Rioja es uno de los pioneros, en el ámbito internacional, en la aplicación de métodos formales en sistemas software de cálculo topológico-geométrico. Entre sus principales resultados figura el desarrollo de un producto propio denominado “fKenzo”.
Este conocimiento práctico va a aplicarse, dentro del proyecto europeo ForMath, al análisis geométrico de imágenes digitales, con el objetivo de mejorar la calidad de los programas dedicados al procesamiento de imágenes médicas, como las obtenidas por escáneres, tacs, etc.
La Universidad de La Rioja aporta uno de los grupos más numerosos de investigadores. En total, siete científicos del Departamento de Matemáticas y Computación: el catedrático Julio Rubio, Laureano Lambán, César Domínguez, Jesús M.ª Aransay, Jónathan Heras, Vico Pascualy María Poza.
-----------------------
Más información:
Solo para medios:
Si eres periodista y quieres el contacto con los investigadores, regístrate en SINC como periodista.
La Academia Noruega de Ciencias y Letras ha concedido el considerado ‘Nobel de las matemáticas’ a este matemático francés “por sus contribuciones innovadoras a la teoría de la probabilidad y al análisis funcional, con aplicaciones excepcionales en física matemática y estadística”.
En el Día del número Pi (mes 3, día 14), la Agencia Estatal de Investigación recuerda su inversión de más de 30 millones de euros para 564 proyectos de ciencias matemáticas. Sus resultados tienen aplicaciones en física, medicina, ingeniería o inteligencia artificial, entre otras muchas áreas.
