Centre de recherche en informatique

Mathématiques et systèmes




2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000
1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1986   1985   1983   1979  

2007

Articles publies - Articles soumis - Autres articles et rapports techniques - Rapports internes


Articles publiés :

A/391/CRI :

XML pour les documents juridiques. Un état des lieux.
IN: 8ème Conférence Internationale "Internet pour le droit", Montréal, Canada, 25-26 octobre 2007
26 octobre 2007
Georges-André Silber

A/390/CRI :

An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol based on Merkle trees
HAL = hal-00752925
22 novembre 2007
Fabien Coelho

A/389/CRI :

Graph based System Purpose - Built for Automatic Retrieval and Extraction of the Electronics Data.
IN: Prodeeding of IASTED International Conference on Internet and Multimedia Systems and Applications (EuroIMSA 2007), Chamonix, France, March 14-16, 2007, ACTA Press Anaheim, CA, USA ©2007, Pages 135 - 140
HAL = hal-00861387
march 2007
Grzegorz Dziczkowski (ENSMP-CRI, ESIGETEL) ; Katarzyna Wegrzyn-Wolska (ESIGETEL)

A/388/CRI :

RRSS - Rating Reviews Support System Purpose Built for Movies Recommendation.
IN: Proceedings of the 5th Atlantic Web Intelligence Conference AWIC 2007, Fontainebleau, France, June 25-27, 2007, Springer 2007 Advances in Soft Computing ISBN 978-3-540-72574-9, Pages 87-93.
HAL = hal-00861400
June 2007
Grzegorz Dziczkowski (ENSMP-CRI, ESIGETEL) ; Katarzyna Wegrezyn-Wolska (ESIGETEL)

A/387/CRI :

Test of several approaches for the composition of web services in meteorology.
IN: Proceedings EnvioInfo 2007, Shaker Verlag, Vol.1, pp.127-134
juillet 2007
Benoît Gschwind, Lucien Wald, Lionel Menard (ENSMP, Sophia) ; Robert Mahl, François Irigoin (ENSMP, CRI) ;

A/386/CRI/2006 :

Corrector, a web interface for practice sessions
IN: Actes de la conférence "Technologies de l'Information et de la Communication dans l'Enseignement Supérieur et l'Entreprise", TICE'2006, Toulouse, France, 25-27 octobre 2006, CD-ROM.
octobre 2006
Fabien Coelho

A/385/CRI :

Time-Indexed Formulations and a Large Neighborhood Search for the Resource-Constrained Modulo Scheduling Problem.
IN: 3rd Multidisciplinary International Scheduling Conference: Theory and Applications (MISTA'2007), Paris, France, August 28-31, 2007
mai 2007
Benoît Dupont de Dinechin

A/384/CRI :

GeLaBa, a Framework to Define Classes of XML Documents and to Automatically Derive Specialized Infrastructures.
IN: Proceedings of the 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X) 2007, Nice, France, 20 janvier 2007 pp.97-98
IN : an ACM SIGPLAN Worksop colocated with POPL'2007
20 janvier 2007
Benoit Pin, Georges-André Silber

Articles soumis :

Autres articles et rapports techniques :

Rapports internes :

E/295/CRI :

SVN for the System Administrator: Sharing and Deploying Configurations.

Décembre 2007
Fabien Coelho

E/294/CRI :

About N-Lex Connectors.
EU Council Working Party on Legal Data Processing, N-Lex Group. Secrétariat Général du Gouvernement Français, Paris, France, 23 octobre 2007
23 octobre 2007
Georges-André Silber

E/293/CRI :

L'écriture des données juridiques. Quelques pistes vers l'interopérabilité.
Journée annuelle juriconnexion, Paris, France, 22 novembre 2007.
22 novembre 2007
Georges-André Silber

E/292/CRI :

Cours d'introduction à l'architecture des ordinateurs
Cours du cycle ingénieur civil 1ère année de l'Ecole Nationale Supérieure des Mines de Paris
septembre 2007
Georges-André Silber

E/291/CRI :

Cours "Autour de XML"
Cours du Mastère MINES/HEC MSIT
novembre 2007
Georges-André Silber

E/290/CRI/2006 :

Robust and Generic Abstract Domain for Static Program Analyses : The Polyhedral Case.
July 13, 2006
Duong Nguyen Que

E/289/CRI/2006 :

Correction automatique des TP avec Corrector
Poster présenté à TICE'2006, Toulouse, France, 25-27 octobre 2006
octobre 2006
Fabien Coelho

E/285/CRI :

In and Out of SSA : a Denotational Specification.
IN : Workshop Static Single-Assignment Form Seminar, Autrans, France, 27-30 avril 2009.
HAL = hal-00915979
13 juillet 2007
Sebastian Pop, Pierre Jouvelot, Georges-André Silber (ENSMP-CRI)