normalising < normalization < normalized

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 normalization

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

Ident.	Authors (with country if any)	Title
000949 (2014-09-14)	Emmanuel Vincent [France] ; Aggelos Gkiokas [Grèce] ; Dominik Schnitzer [Autriche] ; Arthur Flexer [Autriche]	An investigation of likelihood normalization for robust ASR
003412 (2009-09-07)	Sébastien Demange [France] ; Dirk Van Compernolle	Speaker normalization for template based speech recognition
004120 (2008-01-22)	Lisa Allali [France] ; Paul Brauner [France]	A semantic normalization proof for a system with recursors
004146 (2008)	Benjamin Wack [France] ; Clement Houtmann [France]	Strong Normalization in two Pure Pattern Type Systems
004280 (2008)	Andreas Abel	Weak βη -Normalization and Normalization by Evaluation for System F
004617 (2008)	Lisa Allali [France] ; Paul Brauner [France]	A Semantic Normalization Proof for Inductive Types
004739 (2007-09-17)	Maxime Amblard [France] ; Christian Retoré [France]	Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic
004809 (2007-07-10)	Colin Riba [France]	Strong Normalization as Safe Interaction
004B82 (2007)	Kentaro Kikuchi [Japon]	Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
004C29 (2007)	Andreas Abel [Allemagne]	Mixed Inductive/Coinductive Types and Strong Normalization
004E56 (2007)	Paul Brauner [France] ; Gilles Dowek [France] ; Benjamin Wack [France]	Normalization in Supernatural deduction and in Deduction modulo
006311 (2005)	Li-Yu D. Liu [Taïwan] ; Naisyin Wang [Taïwan, États-Unis] ; Joanne R. Lupton [États-Unis] ; Nancy D. Turner [États-Unis] ; Robert S. Chapkin [États-Unis] ; Laurie A. Davidson [États-Unis]	A two-stage normalization method for partially degraded mRNA microarray data
006B25 (2004)	Emmanuel Polonovski [France]	Strong Normalization of $\overline{\lambda}\mu\widetilde{\mu}$-Calculus with Explicit Substitutions
006E68 (2004)	Benjamin Wack [France]	The Simply-typed Pure Pattern Type System Ensures Strong Normalization
007189 (2003-08-25)	René David [France] ; Bruno Guillaume [France]	Strong Normalization of the Typed lambda_ws-calculus
007194 (2003-08)	René David [France] ; Bruno Guillaume [France]	Strong Normalization of the Typed lambda ws-calculus
007647 (2003)	Salvatore Tabbone ; Laurent Wendling	Binary shape normalization using the Radon transform
007725 (2003)	René David ; Bruno Guillaume	Strong Normalization of the Typed lambda ws-calculus
007986 (2003)	René David [France] ; Bruno Guillaume [France]	Strong Normalization of the Typed λ ws -Calculus
007A55 (2003)	Fairouz Kamareddine [Royaume-Uni] ; Haiyan Qiao [Suède]	Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF
007A92 (2003)	Salvatore Tabbone [France] ; Laurent Wendling [France]	Binary Shape Normalization Using the Radon Transform

---

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 "normalization" 

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

---

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