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>
ProverEditor - A lightweight multi-prover interface in Eclipse.

Register Date: 2006-04-04 10:14

Pruning RPNI - Implementation of tree-RPNI with path-only and path-extended pruning
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-08-02 12:42

Ptolemy II Java2Matlab - Ptolemy II Java to Matlab interface
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-07-22 09:22

Publication RFID 2012 - Latex source of a publication for RFID 2012
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-11-30 14:07

Puiseux's theorem - - Formal proof in Coq of Puiseux's theorem. - Program computing roots of a Puiseux series polynomial.

Register Date: 2014-09-14 10:01

PuppetMaster - PuppetMaster provides facilities to deal with computations on a Linux network.

Register Date: 2009-06-17 15:29

PVSide - Translation of proofs from PVS to Dedukti
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-03-16 10:53

pvs-with-proofs - The purpose of this work is to allow the proof system PVS to export proof certificates that can be checked externally. This is done through the instrumentation of PVS to record detailed proofs step by step during the proof search process. At the current stage of this work, proofs can be built for any PVS theory. However, some reasoning steps rely on unverified assumptions. For a restricted fragment of PVS, the proofs are exported to the universal proof checker Dedukti, and the unverified assumptions are proved externally using the automated theorem prover MetiTarski.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2017-04-20 09:58

PYGO - The pygo project is a software framework based on Python to create peer-to-peer applications. In particular, Pygo directly addresses the construction of systems so-called "Gossip-based".
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-12-03 08:56

py.ml - OCaml bindings for Python.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-05-30 03:05

Pypingen - Sequence miner based on AddIntent
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-01-14 09:50

PyQGLViewer - PyQGLViewer provides Python wrappers for the LibQGLViewer library. It provides Qt tools that ease the creation of OpenGL 3D viewers.

Register Date: 2007-05-03 11:57

QBIOS - An automatic test platform dedicated to bioinformatics services

Register Date: 2008-04-18 09:35

Qgar Software - The Qgar Software system is aimed at the design of document analysis applications and is currently developed by the QGAR project-team at LORIA-INRIA Lorraine (Nancy, France)
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-06-04 14:03

Qos des projets publics avec subversion - Ce projet existe pour pouvoir tester la qualité de service de l'accès au dépôt subversion pour les projets publics

Register Date: 2005-04-26 08:05

QtDcm - This library can query a PACS or load a Dicom CD. It is also capable to convert selected images series to the nifti format (or other ITK supported images format). See http://qtdcm.gforge.inria.fr.

Register Date: 2011-09-05 10:07

QtShanoir - QtShanoir is a Qt widget with an example application to query data from the Shanoir web application.

Register Date: 2011-10-17 15:52

Quadrics Intersection - QI stands for "Quadrics Intersection". It is the first exact, robust, efficient and usable implementation of an algorithm for parameterizing the intersection of two arbitrary quadrics given in implicit form, with integer coefficients.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-09-27 11:45

Qualipso - QualiP­So : A next generation forge.

Register Date: 2009-03-20 13:52

QualipsoExtension - extension of qualipso factory
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-09-16 15:24

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>