Explore projects

Tutorial: Albert's example

A CEGAR-based solver for maximum model counting

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

Provides the user with the state machine to execute CamiTK-Action, CamiTK-Component, visualization.

The cell model is constructed to account for the overall cell dynamics based on the interactions between cytoskeletal fibres and focal adhesions. It is composed of branches and nodes that form a hierarchical tree like structure meant to represent the mechanical structure of the cell by emulating its centre (nucleus), membrane protrusions, adhesions and mechanosensors.

This cell model is ultimately intended to be used to address tissue morphogenesis. Hence it has been designed to comply to four constraints: (1) capture the dynamical aspects of the mechanical interaction of the cell with its environment; (2) easily parameterized to adapt to different cell types; (3) generalizable in 3D; (4) fast enough to integrate many interacting cells.

This CEP contains libraries to convert CamiTK objects in CepCoreSchema objects.

Decision Making Repo

Official git repository of Elmer FEM software

ABB IRB 14000 YuMi Motion Module

Tuto CI avancé - CI/CD pour un code de calcul

Tuto CI avancé - CI/CD pour un code de calcul