Home My Page Projects

Project List

1031 projects in result set.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39> <40> <41> <42> <43> <44> <45> <46> <47> <48> <49> <50> <51> <52>
Mr. Waffles - Mr. Waffles is an open source CTL model checker written entirely in Python. As such, it allows for quick prototyping of systems and specifications. It is particularly suited for program analysis based on control-flow graphs.

Register Date: 2009-07-09 12:43

mSofa - mini sofa source code for students
This project has not yet categorized itself in the Trove Software Map
Register Date: 2017-01-03 14:21

MTL - MTL is a Model Transformation Language using an objet oriented paradigm. MOF based,it uses a consistent way to access the model elements and the transformation objects.

Register Date: 2005-09-08 11:31

MTM - Modeling and Tracing Memory Library and tools to investigate memory consumption and memory scalability on parallel machines: on the road to Exascale machines.

Register Date: 2014-02-07 15:36

multiapp-dataflow-runtimes - Dataflow runtimes are traditionnally focusing on optimizing computation/communication placement for one application. Here, we will endeavor multi-applications runtimes.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-06-15 09:53

Multifarious Hierarchies - SOFA Plugin - SOFA plugin implementation of the paper: "Multifarious Hierarchies of Mechanical Models for Artist Assigned Levels-of-Detail" Richard Malgat, Benjamin Gilles, David Levin, Matthieu Nesme, François Faure ACM SIGGRAPH / Eurographics Symposium on Computer Animation (SCA), 2015 The source-code is accessible w/o registering the project, but you need to login to Inria Forge.

Register Date: 2015-06-09 08:27

Multilinear Autoencoder for 3D Faces - Multilinear Autoencoder implementation in Torch for learning 3D face models
This project has not yet categorized itself in the Trove Software Map
Register Date: 2018-02-01 12:39

Multilinear MDL for 3D Faces - Multilinear face models are widely used to model the space of human faces with expressions. For databases of 3D human faces of different identities performing multiple expressions, these statistical shape models decouple identity and expression variations. To compute a high-quality multilinear face model, the quality of the registration of the database of 3D face scans used for training is essential. Meanwhile, a multilinear face model can be used as an effective prior to register 3D face scans, which are typically noisy and incomplete. The code hosted here jointly optimizes a multilinear model and the registration of the 3D scans used for training using a minimum description length (MDL) approach.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-09-07 07:47

multipus - Multipus Software
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-02-22 12:32

multiscalenav - Platform for evaluating multiscale navigation techniques
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-03-19 21:15

Multi-View Stereo - Tools to construct a 3D structure of a scene from a set of photographs.

Register Date: 2013-07-11 12:04

munin - Various munin plugins
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-11-05 09:54

MURGE - MURGE is a common interface to several sparse linear solvers. This projet aims at providing a interface that can be use in numerical simulation to call different solvers without rewriting some code. "MURGE is close to MERGE".

Register Date: 2009-02-04 15:35

Music annotations - This project aims to distribute annotations of music data (structure, chords, other symbolic and numerical features) under version control, so that they may be shared and amended by the community.

Register Date: 2010-05-21 08:41

mvaspike - Mvaspike is a general purpose tool aimed at modeling and simulating large, complex networks of biological neural networks. It is based on an event-based modeling and simulation strategy, targetting mainly pulse-coupled, spiking neural networks.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-11-29 13:31

MVStudio - MVStudio is an autonomous software set which thoroughly manage the acquisition of calibrated video sequences in a multi-camera studio. MVStudio is not an open source project.

Register Date: 2005-10-06 15:28

MyCGR - MyCGR is an Objective-Caml library and a collection of tools to make experiments using the Chaos Game Representation on DNA sequences (test of structure of sequences, taxonomy, ...).

Register Date: 2006-03-13 08:48

MyCorporisFabrica-tools - myCorporisFabrica (myCF) is an anatomical ontology designed for medical simulations. Fabrica-tools is a set of tools to interface myCF.

Register Date: 2008-09-05 13:55

MyIntrinsics++ (MIPP) - MIPP is a portable wrapper for the CPU vector intrinsic functions. It is written in C++ and it works for SSE-128, AVX-256 and ARM NEON-128 instructions. The MIPP wrapper supports simple/double precision floating-point numbers and also partial integer arithmetic. ARM NEON-128 wrapper supports only simple precision floating-point numbers. With the MIPP wrapper there is no need to write a specific intrinsic code anymore. By using the provided functions, the wrapper automatically generates the right intrisic calls for the specific architecture.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-03-22 10:27

myMed - Un réseau informatique transfrontalier pour l'échange de contenus dans un environnement fixe et mobile

Register Date: 2010-06-01 14:03

1031 projects in result set.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39> <40> <41> <42> <43> <44> <45> <46> <47> <48> <49> <50> <51> <52>