Code related to HMD-TMO publication (HMD-TMO: A Tone Mapping Operator for 360 HDR Images Visualization for Head Mounted Displays; I. Goudé, R. Cozot, F. Banterle; Computer Graphics International Conference, 216-227) Unity Project (2019.1.8f1)

Various usage examples

This repository contains the Python version of our explore-by-example data exploration system.

Provide access to linux GPIO, SPI using the same kind of API that can be found for micro-controller It is using linux ioctl for portability and performance (no devmem, no sysfs)

Coding materials for mesh and image processing in medical image analysis.

Read the momentum files from Deformetrica, and multiple the momenta by a constant (used in parallel transport).

From mesh to a binary image.

Computing mesh volume, projected volume, surface area.

Color surface area change of a series of triangle meshes.

Iterative closest point (ICP)

This repository contains the Coq/Iris proofs that accompany the paper Spy game---Verifying a local generic solver in Iris

The study of Probabilistic Ephemeral Threshold Automata