Laboratories

Interdisciplinary Institute of Innovation i3

AdaSockets

Library to use Ada's BSD sockets (TCP, UDP and multicast), even in a proprietary application.

Autonomous Critical Embedded Systems [ACES]

Information Processing and Communication Laboratory (LTCI)

aforth

Interpreter of Forth written in Ada.

Cybersecurity for Communication and Networking [CCN]

Circuits & Communications Systems [C2S]

AMIE

AMIE is a system for identifying Horn's associative rules in knowledge bases.

Data, Intelligence and Graphs [DIG]

areadline

Allows to use the readline library of the Ada language, in projects like aforth, with a nice interactive interface.

Design, Interaction, Visualization & Applications team [DIVA]

Bayesian Collaborative Denoising

Collaborative Bayesian image denoising for Monte Carlo rendering algorithms.

Digital Communications [ComNum]

Combinatorial Creativity Tool

Combinatorial creativity combines existing concepts in a new way to produce new concepts.

Image, Modeling, Analysis, GEometry, Synthesis [IMAGES]

Mathematics for Information, Communication and Computing [MC²]

DHS

Light field representation method for improving the importance sampling of 3D Monte Carlo renderings.

dialign

Automatic and generic measures of verbal alignment in a dialogue, based on sequential pattern mining.

Multimedia [MM]

Networks, Mobility and Services [RMS]

Evolife

Evolife is a genetic algorithm in which individuals represent variants of solutions to a problem.

Optical Telecommunications [GTO]

GPAC

Platform covering various aspects of multimedia, from formats such as MP4 or MPEG-2 TS to presentation technologies: graphics, animation and interactivity.

Quantum Information and Applications [IQA]

Inkscape

Vector graphics editor for GNU/Linux, Windows and MacOS X that allows creating artistic and technical illustrations such as cartoons, clip art, logos...

Radio Frequency, Microwaves & Millimeter waves [RFM²]

moa

Platform for data stream extraction with a collection of statistical learning algorithms and evaluation tools.

Secure and Safe Hardware team [SSH]

OPC-ROSA

This overlay network brings flexibility to the OPC-UA business middleware, the main communication protocol for Industry 4.0.

Open LISP

OpenLISP is an open source implementation of the LISP protocol running in the kernel of the FreeBSD operating system.

Signal, Statistics and Learning [S2A]

pathfinding

Path search library for the Rust programming language.

PicForth

Forth compiler on Unix or Linux using gforth 0.6.x which generates code for the Microchip PIC 16F87x and 16F88 family of microcontrollers.

QMVC

Coordinate system with quadruple and triple cages, intermediate between high quality coarse meshing and volume diffusion by spatial coordinates.

RAMSES

Support platform for the design of critical embedded real-time systems.

rforth1

Forth compiler for PIC 18Fxxx microcontrollers, with native compilation, 16-bit cells and optimized generated code.

System on Chip team [LabSoC]

SAMOA

Statistical learning platform for distributed flows that allows the development of algorithms without the complexity of processing engines.

scikit-learn

Python library for statistical learning: random forests, logistic regressions, classification algorithms and support vector machines.

scikit-multiflow

Python library for multi-output/multi-label data and data streams that complements scikit-learn.

scikit-network

Python library for the analysis of large graphs such as social networks, web graphs and relational data.

SimSelect

High-precision interactive selection system for similar 3D surface regions.

Sphere-Meshes

Extreme approximation of the representation of 3D shapes according to a spherical interpolation.

StreamDM

StreamDM allows data mining within data streams with Spark Streaming.

UniQuant

Method of compressing 3D image vectors for a distributed Monte Carlo rendering engine.

YAGO

One of the first major public knowledge bases, Yago integrates information from Wikidata and schema.org to give them intelligence and context.