Inria

organization · 15 menciones

El Institut National de Recherche en Informatique et en Automatique o INRIA es un centro de investigación francés especializado en Ciencias de la Computación, teoría de control y matemáticas aplicadas. Creado en 1967 en Rocquencourt cerca de Versalles, el INRIA es un establecimiento público de investigación en ciencia y tecnología bajo la supervisión de los ministerios franceses de Investigación y de Economía, Finanzas e Industria.

Ver en Wikipedia

Noticias que mencionan Inria

Eurydice compila Rust a C legible para verificación formal

Eurydice es una herramienta de compilación que convierte código Rust en C legible, diseñada para facilitar la integración de software de alta garantía con herramientas de verificación y cumplimiento existentes. A diferencia de otros compiladores Rust, Eurydice preserva la estructura lógica del códig

Guix integra HIP y ROCm como paquetes principales en su versión 7.1.1

Los desarrolladores de Guix han migrado el conjunto de paquetes HIP/ROCm al sistema operativo, incorporándolo como ciudadanos de primera clase a partir de la versión 7.1.1. Esta actualización, realizada dos años después de que los ingenieros de AMD contribuyeran el código a los canales de Guix-HPC,

Una nueva demostración asistida por ordenador del teorema de los cuatro colores

Un equipo internacional de matemáticos e informáticos ha presentado una nueva demostración por ordenador del teorema de los cuatro colores, uno de los resultados más célebres y polémicos de las matemáticas modernas. El trabajo, liderado por Mikkel Thorup (Universidad de Copenhague) y Carsten Thomass

Guix-Science publica su primera versión con 2.354 paquetes científicos

El proyecto Guix-Science ha publicado su primera versión oficial, la v20260907, un canal de Guix dedicado al empaquetado de software científico con una política más permisiva que la del canal principal de Guix. La versión incluye 2.354 paquetes de distintas disciplinas científicas, alojados en Codeb

F*: un lenguaje de programación orientado a la demostración formal

F* (pronunciado «F star») es un lenguaje de programación de propósito general orientado a la demostración formal, que combina programación puramente funcional y con efectos. Reúne el poder expresivo de los tipos dependientes con automatización de pruebas basada en resolutores SMT y demostración inte

Cómo codificar métodos guarded en OCaml con testigos de igualdad de tipos

Los métodos guarded permiten asociar restricciones al receptor (self) únicamente a métodos concretos, de modo que solo puedan invocarse cuando el receptor cumpla dichas restricciones. OCaml no admite esta construcción de forma nativa en su sintaxis, pero el artículo muestra cómo codificarla mediante

G'MIC 4.0: nueva versión mayor del framework libre de procesamiento de imagen

G'MIC, el framework libre y de código abierto para procesamiento digital de imágenes desarrollado desde 2008 por el equipo IMAGE del laboratorio GREYC (CNRS, ENSICAEN y Universidad de Caen, Francia), alcanza su versión 4.0, descrita por sus autores como la "versión de madurez". El proyecto se articu

Tsplat lleva el Gaussian Splatting a entornos solo con CPU

**Terminal meets 3D: tsplat lleva el Gaussian Splatting a entornos solo CPU** **1. Introducción** El Gaussian Splatting (GS) es una técnica de representación volumétrica que modela escenas tridimensionales mediante cientos de miles de elipsoides semitransparentes (splats). Hasta ahora su visualizac

La IA descifra manuscritos medievales para revelar secretos ocultos

Investigadores están utilizando inteligencia artificial para descifrar manuscritos históricos que han permanecido ilegibles durante siglos. Esta tecnología está ayudando a historiadores a revelar secretos ocultos en códigos encontrados en archivos de todo el mundo. Muchos documentos históricos están

Coccinelle: Automatiza cambios en código C

Coccinelle es una herramienta poderosa para programadores C que permite realizar transformaciones complejas en el código fuente de manera automática y preservando su estilo. Imagina que necesitas refactorizar una gran base de código C para adoptar una nueva práctica o corregir un patrón de error com