AffRegInc.i
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « AffRegInc.i » - entrée « Cedex »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Catanzaro < Cedex < Cedex 01  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 29.
[0-20] [0 - 20][0 - 29][20-28][20-40]
Ident.Authors (with country if any)Title
000A27 (2009) Frédéric Blanqui [République populaire de Chine, France] ; Cody Roux [France]On the Relation between Sized-Types Based Termination and Semantic Labelling
000D39 (2008) Laurent Provot [France] ; Isabelle Debled-Rennesson [France]Segmentation of Noisy Discrete Surfaces
000D51 (2008) Naouel Moha [Canada] ; Amine Mohamed Rouane Hacene [France] ; Petko Valtchev [Canada] ; Yann-Gaël Guéhéneuc [Canada]Refactorings of Design Defects Using Relational Concept Analysis
001299 (2006) Evelyne Contejean [France] ; Claude Marché [France] ; Ana Paula Tomás [Portugal] ; Xavier Urbain [France]Mechanically Proving Termination Using Polynomial Interpretations
001549 (2005) Remi Badonnel ; Radu State ; Olivier Festor [France]Management of mobile ad hoc networks: information model and probe‐based architecture
001796 (2004) Jean Renaud [France] ; Arnaud Lefebvre [France] ; Christian Fonteix [France]Improvement of the Design Process through Knowledge Capitalization: an Approach by Know-how Mapping
001849 (2004) Rafik Abdesselam [France] ; Jean Bonnet [France] ; Nicolas Le Pape [France]An Explanation of the Life Span of New French Firms
001F16 (2001) Alain Lecomte [France]Categorial Minimalism
001F41 (2001) Nicolas Peltier [France]A General Method for Using Schematizations in Automated Deduction
002381 (1999) E. Kerrien [France] ; M. O. Berger [France] ; E. Maurincomme [France] ; L. Launay [France] ; R. Vaillant [France] ; L. Picard [France]Fully Automatic 3D/2D Subtracted Angiography Registration
002383 (1999) Y. Belaïd [France] ; Abdel Belaïd [France]Form Analysis by Neural Classification of Cells
002409 (1999) Therese C. Biedl [Canada] ; Erik D. Demaine [Canada] ; Sylvain Lazard [France] ; Steven M. Robbins [Canada] ; Michael A. Soss [Canada]Convexifying Monotone Polygons
002460 (1998) N. Saint-Pierre [France] ; Y. Jayet [France] ; Ph. Guy [France] ; J. C. Baboux [France]Ultrasonic evaluation of dispersive polymers by the piezoelectric embedded element method: modeling and experimental validation
002470 (1998) E. A. Cichon [France] ; E. Tahhan Bittar [France]Ordinal recursive bounds for Higman's theorem
002543 (1998) Serge Garlatti [France] ; Mike Sharples [Royaume-Uni]The use of a computerized brain atlas to support knowledge-based training in radiology
002613 (1998) B. Gibaud [France] ; S. Garlatti [France] ; C. Barillot [France] ; E. Faure [France]Computerized brain atlases as decision support systems: a methodological approach
002761 (1997) Christopher Lynch [France]Oriented Equational Logic Programming is Complete
002953 (1996) D. Tondeur [France] ; H. Kabir [France] ; L. A. Luo [France] ; J. Granger [France]Multicomponent adsorption equilibria from impulse response chromatography
002990 (1996) Cristina Cornes [France] ; Delphine Terrasse [France]Automating inversion of inductive predicates in Coq
002A39 (1995) Abdelillah Mokkedem [France] ; Dominique Méry [France]On using temporal logic for refinement and compositional verification of concurrent systems
002A50 (1995) Dov Dori ; Karl Tombre [Israël, France]From engineering drawings to 3D cad models: are we ready now?

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffRegInc.i -k "Cedex" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffRegInc.i  \
                -Sk "Cedex" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffRegInc.i
   |clé=    Cedex
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022