Skip to Main content Skip to Navigation

hal-01893012v1  Conference papers
Isabelle Gnaedig. Termination of Order-sorted Rewriting
ALP 1992 - 3rd International Conference on Algebraic and Logic Programming, Sep 1992, Volterra, Italy. pp.37 - 52, ⟨10.1007/bfb0013818⟩
hal-01112891v1  Conference papers
Kamel SmaïliFrançois CharpilletJean-Paul Haton. A new algorithm for Automatic Word Classification based on an Improved Simulated Annealing Technique
The 5th International Conference on the Cognitive Science of Natural Language Processing, 1996, Dublin, Ireland
hal-01098490v1  Conference papers
François CharpilletAnne Boyer. Composing and Monitoring Non Deterministic Design-to-time Methods
AAAI Fall Symposium on Flexible Computation in Intelligent Systems, Nov 1996, Boston, United States
hal-01112900v1  Conference papers
Dominique FohrJ.-P HatonJean-François MariKamel SmaïliImed Zitouni. Towards an oral interface for data entry: The MAUD System
European Research Consortium for Informatics and Mathematics User Interfaces for AII, 1997, Nancy, France
hal-03116903v1  Conference papers
Jean-Francois ScheidGiulio Schimperna. Regularity and uniqueness results for a phase change problem in binary alloys
4th European Conference Elliptic and Parabolic Problems, Sep 2001, Gaeta, Italy. pp.475-484, ⟨10.1142/9789812777201_0045⟩
inria-00107574v1  Conference papers
Imine AbdessamadPascal MolliGérald OsterMichaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
inria-00107572v1  Conference papers
Gilles SimonMarie-Odile Berger. Real time registration of known or recovered multi-planar structures: application to AR
13th British Machine Vision Conference 2002 - BMVC'2002, 2002, Cardiff, United Kingdom, France. pp.567-576
hal-00133420v1  Journal articles
Emmanuel FrénodFrédérique Watbled. The Vlasov equation with strong magnetic field and oscillating electric field as a model of isotope resonant separation
Electronic Journal of Differential Equations, Texas State University, Department of Mathematics, 2002, 2000, pp.1--20
hal-01563654v1  Conference papers
Brigitte BigiKamel Smaïli. Identification thématique hiérarchique : Application aux forums de discussions
9ème conférence annuelle sur le Traitement Automatique des Langues Naturelles - TALN'02, Jun 2002, Nancy, France. pp.24 - 27
hal-00115319v1  Journal articles
Antoine HenrotEdouard Oudet. Minimizing the second eigenvalue of the Laplace operator with Dirichlet boundary conditions
Archive for Rational Mechanics and Analysis, Springer Verlag, 2003, 169, pp.73-87. ⟨10.1007/s00205-003-0259-4⟩
inria-00107652v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Proving Correctness of Transformation Functions in Real-Time Groupware
8th European Conference of Computer-supported Cooperative Work - ECSCW'03, 2003, Helsinki, Finland, 18 p
inria-00107740v1  Reports
Pascal MolliGérald OsterHala Skaf-MolliAbdessamad Imine. Safe Generic Data Synchronizer
[Intern report] A03-R-062 || molli03a, 2003, 8 p
inria-00107738v1  Reports
Roman PutanowiczFrédéric Magoulès. Simple visualizations of unstructured grids with VTK
[Intern report] A03-R-039 || putanowicz03b, 2003, 27 p
hal-00115548v1  Journal articles
Antoine Henrot. Minimization problems for eigenvalues of the Laplacian
Journal of Evolution Equations, Springer Verlag, 2003, 3, pp.443-461. ⟨10.1007/978-3-0348-7924-8_24⟩
hal-00867272v1  Journal articles
Abderrahim OuahbiAbderrahman IggidrMohamed El Bagdouri. Stabilization of an Exploited Fish Population
Systems Analysis Modelling Simulation, Informa UK (Taylor & Francis), 2003, 43 (4), pp.513-524. ⟨10.1080/02329290290028543⟩
inria-00099496v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Filtrage Efficace Pour la Détection d'Intrusions
Conférence Francophone sur Sécurité et Architecture Réseaux (SAR'03), Jul 2003, Nancy, France, 10 p
tel-00004633v1  Theses
Romuald Ginhoux. Compensation des mouvements physiologiques en chirurgie robotisée par commande prédictive
Automatique / Robotique. Université Louis Pasteur - Strasbourg I, 2003. Français
hal-00141917v1  Journal articles
Antoine HenrotMichel PierreMounir Rihani. Positivity of the shape Hessian and instability of some equilibrium shapes
Mediterranean Journal of Mathematics, Springer Verlag, 2004, 1 (2), pp.195-214. ⟨10.1007/s00009-004-0011-9⟩
inria-00099882v1  Conference papers
Yannick ChevalierLuca CompagnaJorge CuellarPaul Hankes DrielsmaJacopo Mantovani et al.  A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
Workshop on Specification and Automated Processing of Security Requirements - SAPS'2004, 2004, Linz, Austria, 13 p
hal-00014216v2  Journal articles
Pedro FreitasAntoine Henrot. On the first twisted Dirichlet eigenvalue
Communications in Analysis and Geometry, 2004, 12, pp.1083-1103
hal-00794524v1  Journal articles
Christophe HazardKarim Ramdani. Selective Acoustic Focusing Using Time-Harmonic Reversal Mirrors
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2004, 64 (3), pp.1057-1076. ⟨10.1137/S0036139903428732⟩