Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,774 papers from all fields of science
Search
Sign In
Create Free Account
Automatic sequence
Known as:
Cobham's theorem
, Cobham–Semenov theorem
, Cobham-Semenov theorem
Expand
In mathematics and theoretical computer science, an automatic sequence (called a k-automatic sequence when one wants to indicate that the base of the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Büchi arithmetic
Deterministic finite automaton
Fixed point (mathematics)
Free monoid
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Complexity and invariant measure of the period-doubling subshift
Miroslava Poláková
2019
Corpus ID: 119142000
Explicit formulas for complexity and unique invariant measure of the period-doubling subshift can be derived from those for the…
Expand
2011
2011
Automatically set method for destination of navigator and recording medium
Min-Zai Cui
,
Zai-Hui Jin
2011
Corpus ID: 67734511
The invention relates to an automatically set method for a destination of a navigator and a recording medium. The automatically…
Expand
2006
2006
MSP: A Novel Session Maintenance Protocol
A. Cavalli
,
T. Griffin
,
Dario Vieira
ICON
2006
Corpus ID: 17906942
In this paper, we propose a new session maintenance protocol called managed session protocol (MSP). It provides services such as…
Expand
2005
2005
Automatic determination of the parameters of the imaging geometry
ルドルフ スプリンゴルム
,
ダニエル ビストゥロフ
,
フレデリク フィッセル
,
キルステン メーツ
2005
Corpus ID: 60858606
Device 1 has an input 2 to receive the appropriate source image data of the object. Core of the device 1 loads the image data…
Expand
Review
2005
Review
2005
Multi-domain G/MPLS recovery paths using PCE
R. Romeral
,
M. Yannuzzi
,
D. Larrabeiti
,
X. Masip-Bruin
2005
Corpus ID: 16414736
The Path Computation Element WG was chartered at IETF in the beginning of 2005. The purpose of this working group is the…
Expand
2002
2002
Using Genetic Algorithm Based Variable Selection to Improve Neural Network Models for Real-World Systems
D. Sofge
International Conference on Machine Learning and…
2002
Corpus ID: 9306741
Real-world systems are often modeled by sampling sensor data taken during system operation. System states may not be all known or…
Expand
1996
1996
Biosystematics of Australian mygalomorph spiders: description of a new species of Missulena from southwestern Australia (Araneae: Mygalomorphae: Actinopodidae)
B. Y. Main
1996
Corpus ID: 55247165
A new species of Missulena from west of Albany, southwestern Australia is described and notes on its biology presented. Missulena…
Expand
1995
1995
An algorithmic approach to the improvement of efficiency for surface mounting machines
Joe-Min Hong
,
Sung-Han Lee
,
Dae-Won Kim
,
B. Lee
,
Jung-Duk Kim
,
Jae-Ok Kim
Proceedings of IEEE International Conference on…
1995
Corpus ID: 25525218
With rapid development of the surface mounting technology (SMT), continual efforts have been made to make the surface mounting…
Expand
Review
1984
Review
1984
Review of: Interpolation of linear operators by S.G. Kreĭn, Ju.I. Petunin, E.M. Semenov
L. Maligranda
1984
Corpus ID: 126198513
1958
1958
A Prediction of the Future Machinery of Automation
R. Daniels
1958
Corpus ID: 108818098
Based on the past experience of a company engaged in this field, their own results and the results of others are assessed…
Expand