Home My Page Projects

Project List

1011 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>
Calcul formel : mode d'emploi - Cet ouvrage, accessible des le premier cycle, ne necessite pas de culture informatique particuliere. Il s'applique a tous les systemes de calcul formel, mais les exemples sont traites ici sous Maple.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-04-10 08:19

CALICO - CALICO is a Component AssembLy Interaction Control framewOrk to support the design and interaction checking of component-based systems in an iterative software design process.

Register Date: 2008-07-15 09:32

CALVI - The purpose of the CALVI project is to design numerical method and develop simulation and visualization codes for the solving and the visualization of partial differential equations describing particles beams and plasmas.

Register Date: 2007-06-08 11:51

CAM - CAM (Context Aware Mobile) aims to provide a middleware embedded in the mobile phone that uses Context information to adapts its behaviour. Show applicability of PRIMA results for environment and movement data management, embedded on a mobile phone, in real time : - Machine learning - Situation modelling - Autonomic management of resources - Gesture based interaction NOT prototype or product development, CONTEXTUALIZED will use the learnings from CAM to develop product
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-10-12 08:46

Camelis - Camelis is an implementation of Logical Information Systems (LIS). LIS automatically organize data given an description of objects by logical properties, and combine boolean querying and non-hierarchical navigation when searching information.

Register Date: 2010-12-14 15:00

Caml-get - Caml-get is a tool to distribute and get Objective-Caml code, in a way similar to the apt-get utility.

Register Date: 2006-02-28 08:54

Camlp5 - Camlp5 is a preprocessor pretty-printer for OCaml.

Register Date: 2014-04-16 06:55

Capture Reconstruct Play - In CR-PLAY we propose a new set of Image – and Video-Based technologies, which will provide ways to reduce the time and expense involved in creating such assets, but also make high quality realistic content accessible even to small game developers.

Register Date: 2014-03-17 07:56

Cardiac Electrophysiology Simulator - CEPS is a numerical simulation tool focused on the modeling of cardiac electrophysiology.

Register Date: 2012-12-13 10:20

CardioViz3D - CardioViz3D is a software dedicated to cardiac data processing, assimilation and visualization. It is part of CardioSense3D, a Large Initiative Action (http://www-sop.inria.fr/CardioSense3D), and targets researchers as well as clinicians.

Register Date: 2007-03-21 14:03

CarGeo6 public release - an open source implementation of IPv6 GeoNetworking stack for vehicular communications, conforming with GeoNet specification D2.2

Register Date: 2011-04-14 22:35

CarottAge - Carottage is a toolbox based on stochastic modeling for data mining. See http://www.loria.fr/~jfmari/App/

Register Date: 2007-12-05 13:19

CArS - Convergence Area Scheduler - It is a branch for the oar-kao Project. Convergence Area Scheduler is a simulator for evaluating job scheduling on scenarios where jobs from Cloud are performed within HPC platform.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-09-09 15:19

cartolab - INRIA ADT Cartolabe

Register Date: 2016-03-02 13:12

Cassis - In construction
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-09-30 08:46

Cauchy Reals in HoTT paper - Latex files for upcoming paper on formalising Cauchy reals in Coq+HoTT.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-09-07 09:49

CaWoF - Calculates of Work Factor of an ISD algorithm in the code rate and error rate. Default algorithm is BJMM, default code rate is 0.5 and defaut error rate is s Gilbert-Varshamov's bound. Available algorithms are PRANGE, STERN, DUMER, MMT, BJMM and NN.

Register Date: 2017-02-07 15:44

CDBoost - This library provides model classes for multiple Discrete-Event Simulation formalisms and the tools to simulate those models. The initial submission includes the model classes for describing Discrete-Event System Specification (DEVS) models, Extended DEVS (EDEVS), Parallel DEVS (PDEVS). Simulation engines are provided for the different formalisms, that could be combined for coupling previously developed models. The library is headers only and most internal structures are defined as template to allow interchangeability for specific purpose simulations. The library was completely developed in C++11 and only has dependencies to some other Boost Libraries.

Register Date: 2015-01-23 08:03

CDuce - CDuce is a modern XML-oriented functional language with innovative features. A compiler is available under the terms of an open-source license. CDuce is type-safe, efficient, and offers powerful constructions to work with XML documents.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2005-06-28 14:17

ceProMi - CeProMi is an INRIA ARC (Action de Recherche Collaborative) about Program Verification involving pointers and modularity issues
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-01-24 08:35

1011 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>