Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,510,159 papers from all fields of science
Search
Sign In
Create Free Account
Algorithm characterizations
Algorithm characterizations are attempts to formalize the word algorithm. Algorithm does not have a generally accepted formal definition. Researchers…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
38 relations
Abstract machine
Ackermann function
Algorithm
C preprocessor
Expand
Broader (2)
Computability theory
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Characterizations And Analysis Of Block Designs
D. Herrmann
2016
Corpus ID: 63576164
Thank you for downloading characterizations and analysis of block designs. Maybe you have knowledge that, people have search…
Expand
2014
2014
In Situ Formation of Carbon Nanomaterials on Bulk Metallic Materials
J. Y. Xu
,
X. Lei
,
R. Yang
,
Z. Fan
2014
Corpus ID: 56052077
Carbon nanomaterials were synthesized in situ on bulk 316L stainless steel, pure cobalt, and pure nickel by hybrid surface…
Expand
2013
2013
Low-Temperature Quantum Transport Characteristics in Single n-Channel Junctionless Nanowire Transistors
Xiaoming Li
,
Weihua Han
,
Liuhong Ma
,
Hao Wang
,
Yanbo Zhang
,
Fuhua Yang
IEEE Electron Device Letters
2013
Corpus ID: 1578716
A single n-channel junctionless nanowire transistor is fabricated and characterized for low-temperature quantum transport…
Expand
2007
2007
L Evy Processes on Commutative Hypergroups
C. Rentzsch
2007
Corpus ID: 14577865
In this paper we study L evy processes on commutative hyper-groups. We show that L evy processes always admit cc adll ag versions…
Expand
2006
2006
Power Analysis of One-Ports Under Periodic Multi-Sinusoidal Linear Operation
A. Sommariva
IEEE Transactions on Circuits and Systems Part 1…
2006
Corpus ID: 26573810
In this paper, a complete theory of the power behavior of one-ports under periodic multi-sinusoidal linear operation is presented…
Expand
2005
2005
Bandwidth and group-velocity effects in nanosecond optical parametric amplifiers and oscillators
Arlee V. Smith
2005
Corpus ID: 19233559
I numerically model broad-bandwidth optical parametric oscillation and amplification to explore the influence of pump bandwidth…
Expand
Review
2004
Review
2004
Role of Preclinical Metabolism and Pharmacokinetics in The Development of Celecoxib
S. Paulson
,
T. Maziasz
2004
Corpus ID: 10033007
Nonsteroidal anti-inflammatory drugs (NSAIDs) are the principle therapy for the treatment of pain, fever, and inflammation (e.g…
Expand
2003
2003
On the Use of Fuzzy Regression in Parametric Software Estimation Models: Integrating Imprecision in COCOMO Cost Drivers
F. J. Crespo
,
M. Sicilia
,
J. Cuadrado
2003
Corpus ID: 8073291
: - Parametric software estimation techniques make use of mathematical models elaborated from regression techniques to obtain…
Expand
2000
2000
Logics capturing local properties
L. Libkin
TOCL
2000
Corpus ID: 1583591
Well-known theorems of Hanf and Gaifman establishing locality of first-order definable properties have been used in many…
Expand
2000
2000
STM study of single-walled carbon nanotubes
P. Kim
,
T. Odom
,
Jinlin Huang
,
Charles M. Lieber
2000
Corpus ID: 6110992
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)
ACCEPT & CONTINUE