Centre de recherche en informatique
Mathématiques et systèmes
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
- An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol based on Merkle trees
- HAL = hal-00752925
- 22 novembre 2007
- Fabien Coelho
- 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)
- 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)
- 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) ;
- 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
- 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
Articles soumis :
- 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
Autres articles et rapports techniques :
Rapports internes :
- SVN for the System Administrator: Sharing and Deploying Configurations.
- Décembre 2007
- Fabien Coelho
- 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
- 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
- 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
- Cours "Autour de XML"
- Cours du Mastère MINES/HEC MSIT
- novembre 2007
- Georges-André Silber
- Robust and Generic Abstract Domain for Static Program Analyses : The Polyhedral Case.
- July 13, 2006
- Duong Nguyen Que
- Correction automatique des TP avec Corrector
- Poster présenté à TICE'2006, Toulouse, France, 25-27 octobre 2006
- octobre 2006
- Fabien Coelho
- 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)