Software Map
Project Tree
Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
|
Browse By: |
24 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>
CoqFiniteGroups
- Formal proof of the Feit-Thompson theorem
Ssreflect plugin for the Coq proof assistant | |
|
Activity Percentile: 77.84 Registered: 2006-06-21 14:09 |
Entropy
- A consolidation manager for clusters based on global optimization | |
|
Activity Percentile: 75.15 Registered: 2008-11-20 12:37 |
Java's Cool
- Java's Cool est un environnement de programmation java pour débutant disposant d'un système d'acquisition physique compatible ORPHY GTS 2. | |
|
Activity Percentile: 55.09 Registered: 2008-06-11 14:50 |
Datalift
- The Datalift platform aims at easing and automating publication of raw structured datasets on the Web of data. // La plateforme Datalift est un toolkit pour facilement et automatiquement publier des jeux de données structurés sur le Web des données. | |
|
Registered: 2010-09-30 13:05 |
Porgy
- PORGY is an interactive visual environment for modelling complex systems through graphs and graph rewriting rules. See http://porgy.labri.fr for more details and up to date information. | |
|
Activity Percentile: 40.12 Registered: 2009-03-04 15:39 |
DataCorroboration
- This project is about data corroboration, which is a method to decide the truth of facts given the opinion of sources about these facts. This method use the notion of trust in sources. | |
Registered: 2009-03-30 16:23 |
sequel general purpose svn
- This project contains the productions of the SequeL team, such as softwares. | |
Activity Percentile: 23.35 Registered: 2007-10-11 12:03 |
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. | |
|
Activity Percentile: 20.96 Registered: 2007-06-08 11:51 |
Active Data
- A programming model and framework for managing Big Data in hybrid distributed computing infrastructures. | |
|
Activity Percentile: 17.37 Registered: 2012-06-25 21:04 |
ANR-NOSSI
- New simulation tools for large scale modelling of hybrid materials | |
|
Activity Percentile: 8.98 Registered: 2008-02-18 14:04 |
Grid4all Scheduling Service
- The GRID Scheduling Service | |
|
Activity Percentile: 5.39 Registered: 2007-12-28 08:17 |
Eucalypt
- Eucalypt: Efficient tree reconciliation enumerator | |
|
Activity Percentile: 4.79 Registered: 2013-10-28 10:33 |
Predicting patents from Pubmed
- Predict patents by text mining PubMed. | |
|
Activity Percentile: 4.49 Registered: 2011-10-17 15:57 |
WAVE : a topological parallel language
- WAVE is an experimental parallel programming language. It forces a programmer to think differently. One could say that it is "topological" because a WAVE program makes explicit how data are organized. The Fibonacci series writes 0;1{;+} in WAVE. | |
|
Activity Percentile: 0.00 Registered: 2013-10-16 07:15 |
Snooze
- Snooze is a scalable, autonomic, and energy-aware virtual machine (VM) management framework based on a self-organizing hierarchical architecture. | |
|
Activity Percentile: 0.00 Registered: 2012-01-13 12:55 |
Flamenco
- Development and distribution platform for the Flamenco project (ANR MDCA 2007-2010) | |
|
Activity Percentile: 0.00 Registered: 2007-04-27 09:14 |
FaceAnimation
- FaceAnimation is a software to animate human avatars based of the MPEG4 face animation standard (.fap) for any WRML face mesh using the Candide3 face model to (semi-automatically) project. | |
|
Activity Percentile: 0.00 Registered: 2010-07-20 07:24 |
ISICIL
- Le projet ISICIL vise à prouver l'efficacité de l'intégration des technologies du web sémantique et des réseaux sociaux au sein d'outils collaboratifs, notamment dans le cadre de la veille en entreprise. | |
|
Activity Percentile: 0.00 Registered: 2009-03-05 15:16 |
Coala
- Coala : "CO-evolution Assessment by a Likelihood-free Approach"
Coala is a method for estimating the frequency of the events for co-evolutionary studies via an approximative Bayesian computation. | |
|
Activity Percentile: 0.00 Registered: 2013-10-10 12:10 |
HMULE
- HMULE is an Amule-based compliant P2P client offering an integrated support of the KAD DHT in the BitTorrent protocol. | |
|
Activity Percentile: 0.00 Registered: 2011-08-30 09:51 |
24 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>