• Logo Biblioteca de la Universidad de Sevilla
  • Páginas

  • Categorías

  • RSS GME RSS

    • Se ha producido un error; es probable que la fuente esté fuera de servicio. Vuelve a intentarlo más tarde.
  • Archivo de MATBUS

  • Comentarios recientes

    Danza y matemáticas… en Danza y matemáticas
    eformacionic en “LaLiga Santander Explic…
    Universidad Nacional… en Universidad Nacional de Costa…
  • Escribe tu dirección de correo electrónico para suscribirte a este blog, y recibir notificaciones de nuevos mensajes por correo.

    Únete a 127 seguidores más

Matemáticas para igualar la oferta y la demanda en agricultura

La Organización de las Naciones Unidas para la Alimentación y la Agricultura (FAO) ha elegido 2020 como el Año Internacional de la Salud Vegetal, con el objetivo de concienciar sobre la importancia de la protección de la salud de las plantas para erradicar el hambre, reducir la pobreza y proteger el medio ambiente.

Una de las claves es casar la producción y demanda de productos frescos a nivel mundial, para no desperdiciar alimentos, y evitar crisis de precios. Es una tarea compleja, pero posible hoy en día gracias a la existencia de gran cantidad de datos y la inteligencia artificial.

Se modeliza matemáticamente el mercado de alimentos de forma global como un sistema complejo, identificando las características de producción y consumo de la agricultura en cada país y también las relaciones comerciales entre los países.

El resultado, tras procesar esta enorme cantidad de datos, es un grafo, donde cada vértice es un país, y las aristas representan las exportaciones e importaciones de productos frescos entre países.

A partir de las propiedades de los vértices y aristas de este grafo se generan variables derivadas, que resumen el estado de la red, es decir, del mercado, en cada instante de tiempo.

Para lograr una predicción fiable, es fundamental disponer de un conjunto de datos que describan el sistema de forma completa.

Uno de los datos que se precisa conocer son las superficies cultivadas y el estado vegetativo de los cultivos, lo que es posible gracias a la teledetección, que consigue reconocer de forma remota cada cultivo y estimar su producción a partir de satélites y drones, y algoritmos de machine learning.

Con estas técnicas se ha podido diferenciar entre distintas variedades y analizar la evolución de su estado vegetativo, pero aún es preciso mejorar las estimaciones de la producción de un cultivo generadas a partir de la teledetección, para que se ajusten más a la realidad.

Fuente:

https://elpais.com/elpais/2020/01/30/ciencia/1580408177_237070.html

Microsoft Math: la aplicación que resuelve problemas matemáticos a través de la cámara del móvil

Microsoft ha puesto en marcha Microsoft Math, una aplicación gratuita que ayuda a solucionar problemas matemáticos directamente desde el móvil gracias a la inteligencia artificial.

Ofrece soporte para resolver problemas de Primaria y Secundaria, en diferentes áreas como aritmética, álgebra, cálculo y estadística.

Se puede tomar una foto de la ecuación o dibujarla directamente en la pantalla del smartphone o tablet. La aplicación reconocerá el problema y ofrecerá explicaciones sobre cómo resolverlo.

Actualmente, Microsoft Math está disponible para iPhone, iPad, iPod Touch y para instalarla se requiere la versión de iOS 11.0 o posterior.

Fuente:

https://larepublica.pe/tecnologia/2019/11/27/microsoft-math-solver-la-aplicacion-que-resuelve-problemas-de-matematica-a-traves-de-la-camara-del-smartphone-ios-iphone-ipad-ipod-touch-inteligencia-artificial/

Fujitsu utiliza un modelo matemático para predecir las inundaciones de los ríos

Una nueva tecnología basada en inteligencia artificial (IA) permite predecir las inundaciones de los ríos con precisión, a través de datos sobre el nivel de agua y de lluvia.

El sistema incorpora Fujitsu Human Centric AI Zinrai, un portfolio que abarca las tecnologías de inteligencia artificial de la marca japonesa y que incluye conocimientos de hidrología para producir una inteligencia artificial que logre predicciones con mayor exactitud.

Se basa en un modelo matemático que puede encontrar parámetros óptimos en datos de lluvia y del nivel del agua pasados a través del aprendizaje automático para crear funciones basadas en el concepto de modelo de tanque, donde se ve la descarga de agua de una cuenca fluvial dentro de la hidrología.

Mediante este modelo, la IA predice los niveles de agua futuros en función de la información recopilada para presentar los datos sobre las precipitaciones y el nivel de agua, junto con los pronósticos para las próximas horas de las organizaciones meteorológicas.

Este modelo de predicción se puede optimizar rápidamente, incluso después de los cambios en el entorno del río o la introducción de nueva infraestructura.

Leer más:

https://tecno.americaeconomia.com/articulos/desarrollo-de-fujitsu-en-ia-predice-las-inundaciones-de-los-rios

Inteligencia Artificial y modelos matemáticos pueden predecir cuándo caerá un rayo

Un equipo de investigadores de la École Polytechnique Fédérale de Lausana (Suiza) ha ideado una fórmula para predecir cuándo caerá un rayo, con la ayuda de la inteligencia artificial.

Mediante datos meteorológicos estándar y aprendizaje automático, los científicos crearon un sistema relativamente simple que puede predecir la caída de un rayo de gran tamaño entre 10 y 30 minutos, antes del evento, dentro de un radio de 30 kilómetros.

La predicción usa valores de observación y modelos matemáticos. Los investigadores también colocaron los datos sobre rayos que habían caído en el pasado para construir un algoritmo y así facilitar las predicciones con mayor precisión.

Leer más:

https://www.elimparcial.com/tecnologia/Inteligencia-Artificial-puede-predecir-cuando-caera-un-rayo-20191124-0057.html

Google revoluciona su algoritmo de búsqueda con inteligencia artificial

Google garantiza que en una de cada diez consultas los usuarios verán mejores resultados con el cambio de algoritmo.

La compañía está en uno de los mayores cambios efectuados en su complejo algoritmo de clasificación en el último lustro. El buscador ha introducido el aprendizaje automático y el modelado matemático en el centro de este proceso con el objetivo de producir mejores respuesta a las consultas de los usuarios.

El cambio implica una nueva técnica de análisis del lenguaje (conocida como BERT) para tratar de comprender mejor las consultas de los usuarios.

Google empezó a actualizar el software en sus centros de datos en los últimos días para realizar el cambio en las búsquedas en inglés, y eventualmente lo aplicará también a otros idiomas.

Hasta ahora, el algoritmo de Google ha tratado de seleccionar las palabras más importantes en cualquier consulta de búsqueda, ignorando las más pequeñas o comunes que parecen menos significativas. Esto hace que el sistema pueda focalizarse en el tema principal de la consulta, pero en el proceso se pierden los matices. Con BERT, el programa es capaz de analizar todas las palabras al mismo tiempo, incluidas las más pequeñas.

Leer más:

https://www.expansion.com/economia-digital/companias/2019/10/25/5db2d29c468aebc01b8b4595.html

Google ha creado una Inteligencia Artificial matemática que ya ha logrado demostrar más de 1200 teoremas

Un grupo de investigación amparado por Google ha sido capaz de crear un programa de Inteligencia Artificial capaz de demostrar más de 1200 teoremas matemáticos.

El equipo de Google la entrenó recurriendo a un dataset que contenía más de 10.000 pruebas matemáticas redactadas por humanos, junto al razonamiento que respaldaba cada uno de los pasos.

La aplicación probó con éxito 1253 teoremas, descomponiendo cada uno en varios elementos más pequeños y basándose en los pasos ya aprendidos para razonarlos.

Christian Szegedy, uno de los investigadores de Google asignados a este proyecto, explica que el siguiente pasoconsistirá en mejorar la traducción automática para que a los matemáticos les resulte más fácil interactuar con este sistema.

Fuente:

https://www.xataka.com/inteligencia-artificial/google-ha-creado-ia-matematica-que-ha-logrado-demostrar-1200-teoremas

Smartick, elegida como una de las 15 mejores startups de 2016

Smartick, el método de aprendizaje online de matemáticas para niños, ha sido elegida como una de las 15 mejores startups mundiales de 2016 por el jurado de The Next Web, un evento que reúne en Nueva York a las empresas tecnológicas más innovadoras.

Emplea la tecnología más avanzada en el campo de la inteligencia artificial con algoritmos de machine learning (aprendizaje automático). Esto permite estudiar el comportamiento de los alumnos, crear un plan de estudios personalizado para cada uno y ajustar en tiempo real el contenido de los ejercicios.

Tiene muchos juegos de matemáticas y ha servido para demostrar que su método es distinto y original, desarrollado para poner a cada niño en el nivel exacto que necesita y adaptarse a ellos de forma individual. Gracias a él, casi todos los niños han mejorado su capacidad de cálculo, lógica y resolución de problemas.

Leer más:

http://www.elmundofinanciero.com/noticia/63211/empresas/smartick-elegida-como-una-de-las-15-mejores-startups-de-2016.html

A %d blogueros les gusta esto: