Explore projects

Script analysing results from Simian (http://www.harukizaemon.com/simian/) xml file output in order to detect plagiarism between two projects. It will filter Simian results and remove all duplicated blocks that concern only one project.

Guiding RML Authoring with an MPS based Projectional Editor.

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

Python Agrivoltaics Simulation Environment (PASE)

Thesis : https://hdl.handle.net/2268/326176

Paper: https://doi.org/10.1007/s10457-024-01090-8

Documentation in the wiki

An universal bidsificator of multi-modal datsets

Course Material for "Multiphysics integrated computational project" (math0471)

Finite Element tools for A&M

Finite Element Analysis of bones loaded by muscle forces

Synthetic data related to MOAMMM project: SVE viscoelastic-viscoplastic responses This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 862015.

Integration of Plug-Ins into SNAP

This Vue 3 application demonstrates the common principles about how a frontend application can log in, query and log out a backend, based on a web session.