Explore projects

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.

A CEGAR-based solver for maximum model counting

Fichiers sources pour les projets de robotique autour de RobAIR https://github.com/fabMSTICLig/RobAIR dans le cadre des cours d'Olivier Aycard https://lig-membres.imag.fr/aycard/index.php?&slt=enseignement

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.

Tutorial: Albert's example

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

Update Camitk Extension Project description .ced

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.

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