Inria

organization · 10 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

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