Normalization - PDFSEARCH.IO - Document Search Engine

Normalization
Results: 542

#	Item
171	Experiment with adaptation and vocal tract length normalization at automatic speech recognition of children’s speech ¨ Sara Ohgren Add to Reading List Source URL: www.speech.kth.se Language: English Speech recognition Humanâ€“computer interaction Computing Computational linguistics Automatic identification and data capture Computer accessibility
172	Correction Curve Normalization for Microarray Data Tadashi Kadowaki PharmaDesign, Inc, Suehiro-cho, Tsurumi-ku YokohamaJapan Add to Reading List Source URL: icsb-2001.org Language: English - Date: 2001-12-04 14:14:38 Biochemistry Chemistry Bioinformatics DNA Molecular biology DNA microarray Normalization Normal distribution Gene chip analysis Biology Microarrays Gene expression
173	Weak βη-Normalization and Normalization by Evaluation for System F Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-09-11 16:49:25 Lambda calculus Logic in computer science Combinatory logic Valuation Normalisation by evaluation Sheaf Natural deduction Limit set Abstract algebra Mathematics Theoretical computer science
174	FDUQA on TREC2005 QA Track Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2008-02-06 08:15:32 Computational linguistics Linguistics Information retrieval Question answering Text Retrieval Conference Question Yes and no Sentence Database normalization Natural language processing Science Information science
175	Normalization of reader impact for Mendeley reader statistics Robin Haunschild* and Lutz Bornmann** * Add to Reading List Source URL: files.figshare.com Language: English - Date: 2015-03-13 09:51:33 Library science Bibliometrics Reference Citation indices Bibliography Mendeley Citation impact Impact factor Citation Academia Academic publishing Knowledge
176	A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
177	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-25 13:11:48 Software Database management systems Microsoft Access Microsoft Excel SQL Database normalization Database Microsoft Office UtterAccess Forums Data management Relational database management systems Computing
178	Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University y () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computer science Logic in computer science Type theory Data types Subroutines Simply typed lambda calculus Normalization property Combinatory logic Type system Lambda calculus Theoretical computer science Software engineering
179	Normalization by realizability also evaluates Pierre-Évariste Dagand1 & Gabriel Scherer2 1: Gallium, INRIA Paris-Rocquencourt 2: Gallium, INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-12-03 02:55:37 Logic Symbol Curry–Howard correspondence Valuation Forcing Natural deduction Physical quantity Mathematical logic Mathematics Proof theory
180	UNIVERSITY OF MINNESOTA This is to certify that I have examined this copy of a masters thesis by Andrew Jude Gacek Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2006-12-20 15:47:42 Applied mathematics Explicit substitution Calculus Free variables and bound variables Normalization property Unification Substitution Function Typed lambda calculus Lambda calculus Theoretical computer science Mathematics

UPDATE