condition < conditional < conditioning

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by conditional

Number of relevant bibliographic references: 53.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000970 (2014-09-01)	Nabil Ghanmi [France] ; Belaïd Abdel [France]	Table detection in handwritten chemistry documents using conditional random fields
001532 (2013)	Haruna Takeda [Singapour, Japon] ; Hideto Koso [Singapour, Japon] ; Lino Tessarollo [États-Unis] ; Neal G. Copeland [Singapour, États-Unis] ; Nancy A. Jenkins [Singapour, États-Unis]	Musashi1‐CreERT2: A new cre line for conditional mutagenesis in neural stem cells
002091 (2011-09-27)	Irina Illina [France] ; Dominique Fohr [France] ; Denis Jouvet [France]	Multiple Pronunciation Generation using Grapheme-to-Phoneme Conversion based on Conditional Random Fields
002181 (2011-08-27)	Irina Illina [France] ; Dominique Fohr [France] ; Denis Jouvet [France]	Grapheme-to-Phoneme Conversion using Conditional Random Fields
004815 (2007-07-07)	Harry Hu ; Amine Bermak [Hong Kong] ; Dominique Martinez [France]	A new video Compression Scheme combining conditional replenishment and address event representation
005425 (2006)	Frédéric Blanqui ; Claude Kirchner ; Colin Riba	On the Confluence of λ -Calculus with Conditional Rewriting
005521 (2006)	Frédéric Blanqui Inria [France] ; Colin Riba Inpl [France]	Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems
005843 (2005-11-30)	Anna Kupsc [Pologne] ; Jesse Tseng [France]	A cross-linguistic approach to Slavic past tense and conditional constructions
005D96 (2005)	Frédéric Blanqui ; Colin Riba ; Claude Kirchner	On the confluence of lambda-calculus with conditional rewriting
006260 (2005)	Grigore Ro U [États-Unis]	From Conditional to Unconditional Rewriting
00C076 (1996)	Bernhard Gramlich [France] ; Claus-Peter Wirth [Allemagne]	Confluence of terminating conditional rewrite systems revisited
00C161 (1996)	Iliès Alouini [France] ; Claude Kirchner [France]	Conditional Concurrent Rewriting
00C372 (1995)	A. Bouhoula ; M. Rusinowitch	Implicit Induction in Conditional Theories
00C380 (1995)	E. Kounalis ; M. Rusinowitch	Reasoning with Conditional Axioms
00C714 (1995)	Emmanuel Kounalis [France] ; Michaël Rusinowitch [France]	Reasoning with conditional axioms
00C747 (1995)	Adel Bouhoula [France] ; Michaël Rusinowitch [France]	Implicit induction in conditional theories
00C785 (1995)	Philippe Balbiani [France] ; Luis Fari As Del Cerro [France]	Affine geometry of collinearity and conditional term rewriting
00CB59 (1994)	J.-L. Rémy ; M. Rusinowitch	Special Issue on Conditional Term Rewriting Systems
00CF25 (1993)	M. Navarro ; F. Orejas ; J.-L. Rémy	Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications
00D176 (1993)	Eddy Bevers [Belgique] ; Johan Lewi [Belgique]	Proving termination of (conditional) rewrite systems
00D208 (1993)	Marisa Navarro [Espagne] ; Fernando Orejas [Espagne] ; Jean-Luc Remy [France]	Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

---

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/Title.i -k "conditional" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "conditional" \
         | 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=    Title.i
   |clé=    conditional
}}

---

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