• 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

    Melanicastillo en Sofía XT, una web para mejorar…
    Nahomi Lucero Azuara… en Nahomi Lucero Azuara, de Tamau…
    La Guía de Matemátic… en La Guía de Matemáticas cumple…
  • Escribe tu dirección de correo electrónico para suscribirte a este blog, y recibir notificaciones de nuevos mensajes por correo.

    Únete a otros 122 seguidores

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

Investigadores crean un sistema de inteligencia artificial que resuelve problemas de geometría

Investigadores del Instituto Allen para la Inteligencia Artificial y la Universidad de Washington (Seattle), han creado un sistema de inteligencia artificial llamado GeoS, que utiliza visión por computador, procesamiento del lenguaje natural y un programa de geometría para resolver preguntas de geometría del SAT, el equivalente de la selectividad en Estados Unidos.

Sus resultados han sido presentados en la Conferencia 2015 sobre métodos empíricos en Procesamiento del Lenguaje Natural, celebrada en Lisboa. El sistema transforma la pregunta y el diagrama en expresiones lógicas, que envía al programa de geometría y compara la respuesta de éste con las opciones de respuesta del test SAT.

GeoS puede ya solucionar las preguntas de geometría plana del SAT, y se pretende que resuelva el conjunto completo de preguntas de matemáticas en los próximos tres años.

Fuente:

http://www.larazon.es/sociedad/tecnologia/un-programa-resuelve-problemas-de-geometria-FP10864098#.Ttt1WUhj5N53fI0

A %d blogueros les gusta esto: