Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,743,323 papers from all fields of science
Search
Sign In
Create Free Account
Effective method
Known as:
Effectively calculable function
, Effectively calculable
, Effective calculability
Expand
In logic, mathematics and computer science, especially metalogic and computability theory, an effective method or effective procedure is a procedure…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
22 relations
Algorithm
Automata theory
Church–Turing thesis
Computable function
Expand
Broader (2)
Computability theory
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A Dynamic Timing Error Prevention Technique in Pipelines With Time Borrowing and Clock Stretching
Kwanyeob Chae
,
S. Mukhopadhyay
IEEE Transactions on Circuits and Systems Part 1…
2014
Corpus ID: 37979615
This paper presents a dynamic timing control technique to prevent timing errors in a pipeline under variations. Timing errors in…
Expand
2012
2012
Creep of thermoplastic polyurethane reinforced with ozone functionalized carbon nanotubes
Y. Jia
,
Z. Jiang
,
Xinglong Gong
,
Z. Zhang
2012
Corpus ID: 54851839
This work focused on the mechanical behavior, especially creep resistance, of thermoplastic polyurethane (TPU) filled with ozone…
Expand
2012
2012
A Novel Approach for Edge Detection in Images Based on Cellular Learning Automata
F. S. Gharehchopogh
,
S. Ebrahimi
International Journal of Computer Vision and…
2012
Corpus ID: 17451467
Cellular Learning Automata CLA has been used in many fields of image processing such as noise elimination, smoothing, retrieval…
Expand
2009
2009
A Measurement of Mixing Time in Social Networks
Matteo Dell'Amico
2009
Corpus ID: 44240877
Transitive trust propagation on webs of trust (social networks representing trust relationships between individuals) is a well…
Expand
2009
2009
High Performance Non-Binary Quasi-Cyclic LDPC Codes on Euclidean Geometries LDPC Codes on Euclidean Geometries
Bo Zhou
,
Jingyu Kang
,
Y. Tai
,
Shu Lin
,
Z. Ding
IEEE Transactions on Communications
2009
Corpus ID: 6617090
This paper presents algebraic methods for constructing high performance and efficiently encodable non-binary quasi-cyclic LDPC…
Expand
2008
2008
Improved Clonal Selection Algorithm Combined with Ant Colony Optimization
Shangce Gao
,
Wei Wang
,
Hongwei Dai
,
Fangjia Li
,
Zheng Tang
IEICE Trans. Inf. Syst.
2008
Corpus ID: 15671037
Both the clonal selection algorithm (CSA) and the ant colony optimization (ACO) are inspired by natural phenomena and are…
Expand
2007
2007
Integrating Kano's model into quality function deployment to facilitate decision analysis for service quality
Chih-Hung Hsu
,
Tsan-Ming Chang
,
S. Wang
,
Pei-Yi Lin
2007
Corpus ID: 42661622
The service quality is critical issue for production and operation organizations. Quality function development has been…
Expand
2001
2001
Simultaneous determination of cobalt, nickeland copper in seawater with a multi-element electrothermal atomic absorptionspectrometer and microcolumn preconcentration
Py Lin
,
K. Danadurai
,
Shang-da Huang
2001
Corpus ID: 32212840
A preconcentration system for multi-element electrothermal atomic absorption spectrometry was developed with a microcolumn…
Expand
Review
2000
Review
2000
Dynamic monitoring and yield estimation of crops by mainly using the remote sensing technique in China.
Jiulin Sun
2000
Corpus ID: 18229292
In recent decades, using remote sensing and other techniques to dynamically monitor crop growth and estimate crop yields has…
Expand
1980
1980
Effects of banded and residual fertilizer phosphorus on dryland spring wheat yield in the Northern Plains.
J. Alessi
,
J. Power
1980
Corpus ID: 13708656
Although phosphate fertilizers are commonly applied either by surface broadcasting or banding with the seed to dryland spring…
Expand