Skip to search formSkip to main contentSkip to account menu

Smn theorem

Known as: Parameterization theorem, Parameter theorem, Kleene's s-m-n Theorem 
In computability theory the smn theorem, (also called the translation lemma, parameter theorem, or parameterization theorem) is a basic result about… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
AlgorithmComputable functionCurryingGödel numbering

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
in an model. SAM68 is a physiological regulator of SMN2 splicing in spinal muscular atrophy
Spinal muscular atrophy (SMA) is the leading genetic cause of infant mortality, with an incidence of approximately one in 6,000… 
2014
2014
Improving detection and genetic counseling in carriers of spinal muscular atrophy with two copies of the SMN 1 gene
Spinal muscular atrophy (SMA) is an autosomal recessive disease caused by mutations in the survival motor neuron1 gene (SMN1… 
2013
2013
Evaluation of Post-Harvest Organic Carbon Amendments as a Strategy to Minimize Nitrogen Losses in Cole Crop Production
Cole crops (Brassica vegetables) can pose a significant risk for N losses during the post-harvest period due to substantial… 
2012
2012
On estimation of a heteroscedastic measurement error model under heavy-tailed distributions
2008
2008
Ters Sarkaç Modeli ve Salınan Bacak Telafisi ile Olusturulan Yürüyen Robot Referans Yörüngeleri
Đki bacakli yuruyen robotlarda referans yorungesi olusturulmasi cok onemli bir problemdir. Referans yorungesi olusturulmasini… 
2007
2007
Tailored Dielectric Properties of High-k Polymer Composites via Nanoparticle Surface Modification for Embedded Passives Applications
Novel materials for embedded passive applications are in great and urgent demands, for which high dielectric constant (k), low… 
2004
2004
Changes in soil mineral nitrogen during and after 3-year and 5-year set-aside and nitrate leaching losses after ploughing out the 5-year plant covers in the UK
The management and effects of 3-year and 5-year set-aside covers on soil mineral nitrogen (SMN, 0.0–0.9 m) were studied at six… 
2004
2004
Effects of nitrification inhibitors and time and rate of slurry and fertilizer N application on silage maize yield and losses to the environment
Field experiments with silage maize during eight years on a sandy soil in The Netherlands, showed that dicyandiamide (DCD… 
2004
2004
A self-organizing, location-aware media access control protocol for DS-CDMA sensor networks
This paper proposes CSMAC (CDMA Sensor MAC), a novel self-organizing, location-aware media-access control (MAC) protocol for DS… 
1998
1998
The use of measurements of soil mineral N in understanding the response of crops to fertilizer nitrogen in intensive cropping rotations
The effects on succeeding crops of nitrogen in residues returned to the soil of brassica vegetable crops (Brassica oleracea) were… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)