Contact the authors: <hbenameur at yahoo.ca>, <Francois.Clement at inria.fr>, <Pierre.Weis at inria.fr>.

Ref-indic: invert details only where they are worth it

Version 1.4+pl0

Description
Documentation
Installation
Download
License
Bug reports and mailing list
Authors
Acknowledgements

Description

Ref-indic, Refinement indicators, is an adaptive parameterization platform using refinement indicators.

Ref-indic implements a generic version of the refinement indicator algorithm that can dock specific programs provided they conform to the generic algorithm API.

The API of Ref-indic requires four main functionalities for the user specific program, it must be able:

Given any such user specific program, the inversion platform automatically provides a program that solves the corresponding user inverse problem using the refinement indicator algorithm.

Documentation

The Ref-indic user's manual is available on line.

You can also download the manual as DVI, PS, and PDF files.

The manual only exists in the English version, volunteers to translate it are warmly welcome...

Talks/papers

Installation

You will need OCaml to build Ref-indic.

See the INSTALL file provided in the distribution for installation tips.

Download

The latest version (1.4+pl0) of the sources of Ref-indic are available via HTTP.

See the CHANGES file provided in the distribution.

License

This program is free software distributed under the 3-clause BSD license. See the LICENSE file provided in the distribution.

Bug reports and mailing list

If you find a bug in Ref-indic, please write to <refinement-bugs at inria.fr>.

If you want to get in touch with the implementors of Ref-indic (to contribute some new ideas or lines of code), please write to <refinement-devel at inria.fr>.

If you want to get in touch with the users of Ref-indic, please write to <refinement-users at inria.fr>.

Authors

The version 1.4+pl0 of Ref-indic was developed from 2013 to 2014 by

Hend Ben Ameur <hbenameur at yahoo.ca>,
François Clément <Francois.Clement at inria.fr>, and
Pierre Weis <Pierre.Weis at inria.fr>.

Acknowledgments

The algorithm implemented in Ref-indic comes from papers co-written with Guy Chavent <Guy.Chavent at inria.fr>.

Ref-indic is entirely written in OCaml.


Page generated by fclement on lafleche at 2014-07-17T14:35:24Z.
Latest update of the content of this page: Tuesday, July 1st, 2014.
Copyright © 2013-2014 Institut National de Recherche en Informatique et en Automatique (INRIA), all rights reserved.