Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AffVille.i » - entrée « Orsay »
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.
Orléans < Orsay < Orsay Cédex  Facettes :

List of bibliographic references indexed by Orsay

Number of relevant bibliographic references: 80.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
009325 (2001) J.-P. Allouche [France] ; M. Cosnard [France]Non-Integer Bases, Iteration of Continuous Real Maps, and an Arithmetic Self-Similar set
009327 (2001) Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Abderrahmane Aggoun [France]Network Flow Problems in Constraint Programming
009378 (2001) Alain Franc [France]Bimodality for Plant Sizes and Spatial Pattern in Cohorts: The Role of Competition and Site Conditions
009386 (2001) Frédéric Bimbot [France] ; Marc El-Bèze [France] ; Stéphane Igounet [France] ; Michèle Jardino [France] ; Kamel Smaili [France] ; Imed Zitouni [France]An alternative scheme for perplexity estimation and its assessment for the evaluation of language models
009412 (2001) Olivier Ferret [France] ; Brigitte Grau [France]Utiliser des corpus pour amorcer une analyse thématique
009431 (2001) Gabriel Illouz [France] ; Michèle Jardino [France]Analyse statistique et géométrique de corpus textuels
009450 (2001) Nuria Gala Pavia [France]A two-tier corpus-based approach to robust syntactic annotation of unrestricted corpora
009D11 (2000) Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]Specification and proof in membership equational logic
009D57 (2000) Delia Kesner [France]Confluence of extensional and non-extensional λ-calculi with explicit substitutions
009F36 (2000) Marie-Claude Gaudel [France] ; Alexandre ZamulinAlgebraic Imperative Specifications
00A824 (1999) Alain Denise [France] ; Paul Zimmermann [France]Uniform random generation of decomposable structures using floating-point arithmetic
00A928 (1999) Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon]The Calculus of Algebraic Constructions
00AA07 (1999) Marie-Claude Gaudel [France] ; Carole Khoury [France] ; Alexandre ZamulinDynamic Systems with Implicit State
00AA59 (1999) Hubert Comon [France] ; Mehmet Dincbas [France] ; Jean-Pierre Jouannaud [France] ; Claude Kirchner [France]A Methodological View of Constraint Solving
00AA82 (1999) C. Limousin [France] ; A. Vartanian [France]PopSPY : un instrumenteur de code PowerPC pour la simulation de multiprocesseurs
00AA83 (1999) A. Vartanian [France]Performances des caches de textures multiprocesseurs
00B340 (1998) Claude Marché [France]Normalized Rewriting: A Unified View of Knuth-Bendix Completion and Gröbner Bases Computation
00B361 (1998) Rolf Backofen [Allemagne] ; Ralf Treinen [France]How to Win a Game with Features
00B394 (1998) Nachum Dershowitz [États-Unis] ; Ralf Treinen [France]An on-line problem database
00BB52 (1997) Farid Ajili [France] ; Evelyne Contejean [France]Avoiding slack variables in the solving of linear diophantine equations and inequations
00BB56 (1997) C. Slama [France] ; C. Servant [France] ; G. Cizeron [France]Aging of the Inconel 718 alloy between 500 and 750 °C

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i -k "Orsay" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i  \
                -Sk "Orsay" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Orsay
}}

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