Explore projects

The evolving specification for Alethe, a flexible format for SMT proofs.

Finite Element Analysis of bones loaded by muscle forces

A three-way (Interoception, Proprioception, Control) repeated measures three factor design counter-balanced and randomized for order effects to assess the behavioral impact of isometric handgrip and diaphragmatic breathing on cognitive performance. n = 21

Converts profilometry data from a Veeco Wyko (saved in the ASC format) into something readable by another software. Also provides data pre-processing.

GBOML: Graph-Based Optimization Modeling Language

Public Code related to MOAMMM project This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 862015. Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union. Neither the European Union nor the granting authority can be held responsible for them.

Python training materials

Build VTK 7 on recent systems

scripts used to build libraries

Data related to MOAMMM project. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 862015. Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union. Neither the European Union nor the granting authority can be held responsible for them.