Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,292,337 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.
2013
2013
List of Marine Fishes of the Arctic Region Annotated with Common Names and Zoogeographic Characterizations
C. W. Mecklenburg
,
I. Byrkjedal
,
J. S. Christiansen
,
O. Karamushko
,
A. Lynghammar
,
P. Møller
2013
Corpus ID: 87906690
2012
2012
A Reconsideration of English Relative Constructions
P. Culicover
2012
Corpus ID: 56121023
A main goal of this article is to lend support to the view that the construction is the proper level of description for…
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
2006
2006
Nanomechanical characterizations of InGaN thin films
S. Jian
,
T. Fang
,
D. Chuu
2006
Corpus ID: 56467166
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
2003
2003
Decoding Will and Grace: Mass Audience Reception of a Popular Network Situation Comedy
Evan Cooper
2003
Corpus ID: 7838353
The television situation comedy Will and Grace is notable as the first successful network prime-time series to feature gay…
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
,
Teri W. Odom
,
Jinlin Huang
,
Charles M. Lieber
2000
Corpus ID: 6110992
1998
1998
Bipartite Designs
G. Gasparyan
Conference on Integer Programming and…
1998
Corpus ID: 18534759
We investigate the solution set of the following matrix equation: A T B = J + diag(d); where A and B are n n f0; 1g matrices, J…
Expand
1970
1970
A single-tuned oscillator for IMPATT characterizations
F. Magalhaes
,
K. Kurokawa
1970
Corpus ID: 62575802
Construction of a single-tuned oscillator has made it possible to measure the maximum power generated in the active region of an…
Expand
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