Normalization - PDFSEARCH.IO - Document Search Engine

Normalization
Results: 542

#	Item
181	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
182	APB-1 OLAP Benchmark Release II Add to Reading List Source URL: www.symcorp.com Language: English - Date: 2010-01-20 18:09:30 Information technology management Data Database management systems Extract transform load Dimension Aggregate Database normalization Hierarchy Database Data management Online analytical processing Data warehousing
183	CCCG 2006, Kingston, Ontario, August 14–16, 2006 Bounded-Curvature Path Normalization Jonathan Backer∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2006-06-29 12:06:02 Network theory Shortest path problem Curvature Motion planning Mathematics Applied mathematics Theoretical computer science
184	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-02-16 03:48:02 Normalisation by evaluation Monad Computer programming Curry–Howard correspondence Mathematical logic Software engineering Lambda calculus
185	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-03-26 05:31:12 Monad Computer programming Computing Lambda calculus Software engineering Normalisation by evaluation
186	Courses: Certified Business Data Modeller (CBDM) Add to Reading List Source URL: www.ies.aust.com Language: English - Date: 2014-03-26 21:26:28 Data Data modeling Database theory Information engineering Software development process Database normalization Database Data warehouse Data model Database management systems Data management Information
187	MAXIMUM ENTROPY BASED NORMALIZATION OF WORD POSTERIORS FOR PHONETIC AND LVCSR LATTICE SEARCH Peng Yu, Duo Zhang , Frank Seide Microsoft Research Asia, 5F Beijing Sigma Center, 49 Zhichun Rd., Beijing, P.R.C. roge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-08-10 10:41:29 Mathematics Statistical theory Computer accessibility Speech recognition Principle of maximum entropy Lattice Abstract algebra Statistics Bayesian statistics
188	A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Sweden andreas. 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
189	Additive global cerebral blood flow normalization in arterial spin labeling perfusion imaging Stephanie B. Stewart1,2 , Jonathan M. Koller2 , Meghan C. Campbell1,3 , Joel S. Perlmutter1,3,4,5,6 and Kevin J. Black1,2,3,4, Add to Reading List Source URL: peerj.com Language: English - Date: 2015-03-13 06:11:03 Statistics Magnetic resonance imaging Cognitive science Functional magnetic resonance imaging 3D computer graphics 3D imaging Voxel Cerebral blood flow Histogram Medicine Imaging Neuroimaging
190	On Retrieving Legal Files: Shortening Documents and Weeding Out Garbage Scott Kulp and April Kontostathis Department of Mathematics and Computer Science Ursinus College Collegeville PA 19426 ;akontostathi Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2008-02-05 08:44:56 Text Retrieval Conference Relevance feedback Document retrieval Query expansion Database normalization Search engine indexing Normalization Information science Information retrieval Science

UPDATE