Normalization

Results: 542



#Item
161Lambda calculus / Normalisation by evaluation / Proof theory

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: www.cs.bham.ac.uk

Language: English - Date: 2014-04-10 20:31:05
162Computability theory / Formal languages / Logic in computer science / Lambda calculus / Models of computation / Reduction strategy / Standard ML / Function / Normal form / Theoretical computer science / Mathematics / Programming language theory

BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2005-01-20 05:23:35
163Preservation / Computer file formats / Archival science / Computing / Image processing / Normalization / Digital preservation / File format / File archiver / Museology / Library science / Digital libraries

Tackling File Characterization & Analysis with Archivematica Courtney C. Mumma CurateGear 2013

Add to Reading List

Source URL: ils.unc.edu

Language: English - Date: 2013-01-08 22:09:02
164Received Pronunciation / Formant / Linguistics / Phonetics / Vowels

A comparison of three speaker-intrinsic vowel formant frequency normalization algorithms for sociophonetics

Add to Reading List

Source URL: www.danielezrajohnson.com

Language: English - Date: 2013-01-20 19:46:42
165Sociology / Psychiatry / Special education / Educational psychology / Social role valorization / Wolf Wolfensberger / Developmental disability / Normalization / Role / Disability / Education / Health

SSR: Supporting Social Roles A Second Bottom Line for Services to People with Developmental Disabilities Home & Neighborhood Re lig

Add to Reading List

Source URL: cincibility.files.wordpress.com

Language: English - Date: 2013-03-08 11:06:36
166Nervous system / Cerebrum / Limbic system / Central nervous system / Brain / Olfaction / Olfactory receptor neuron / Glomerulus / Olfactory bulb / Anatomy / Biology / Olfactory system

Divisive Normalization in Olfactory Population Codes

Add to Reading List

Source URL: wilson.med.harvard.edu

Language: English - Date: 2010-04-29 09:38:06
167Olfactory system / Limbic system / Neurons / Cerebrum / Neurophysiology / Olfactory bulb / Olfaction / Antennal lobe / Glomerulus / Biology / Anatomy / Nervous system

Olfactory Neuroscience: Normalization Is the Norm

Add to Reading List

Source URL: wilson.med.harvard.edu

Language: English - Date: 2014-12-13 11:31:23
168Special education / Educational psychology / Developmental disability / Inclusion / Normalization / Education / Disability / Health

EMPLOYMENT FIRST POLICY POLICY Inland Regional Center states that integrated employment will be the first option for every working age adult IRC supports, regardless of the severity of their disability. PURPOSE It is the

Add to Reading List

Source URL: inlandrc.org

Language: English - Date: 2015-04-28 10:22:26
169Data modeling / Database theory / Business intelligence / Information technology management / Database normalization / Information engineering / Data warehouse / Database / Business rule / Data management / Information / Data

Courses: DM2 - Business Normalisation Concepts Course Methodology and Technology Services Search Web

Add to Reading List

Source URL: www.ies.aust.com

Language: English - Date: 2014-03-26 21:26:20
170Mathematical logic / Normalisation by evaluation / Database normalization / Ordered pair / Data management / Mathematics / Lambda calculus / Type theory

On η-Expansion in NbE and Type Casts Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich 13 October 2011

Add to Reading List

Source URL: www2.tcs.ifi.lmu.de

Language: English - Date: 2011-10-13 14:43:05
UPDATE