Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 219,937,502 papers from all fields of science
Search
Sign In
Create Free Account
Μ operator
Known as:
Unbounded search operator
, Unbounded search
, M operator
Expand
In computability theory, the μ operator, minimization operator, or unbounded search operator searches for the least natural number with a given…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Broader (1)
Computability theory
Computable function
Counter machine
Lambda-mu calculus
Loop variant
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Search space boundaries in neural network error landscape analysis
Anna Sergeevna Bosman
,
A. Engelbrecht
,
Mardé Helbig
IEEE Symposium Series on Computational…
2016
Corpus ID: 161343
Fitness landscape analysis encompasses a selection of techniques designed to estimate the properties of a search landscape…
Expand
2012
2012
WSN sensor node for protected area monitoring
J. Micek
,
J. Kapitulík
Conference on Computer Science and Information…
2012
Corpus ID: 2173344
The article is dedicated to sensor node design focused on minimalization of energy consumption. The mote is proposed for low rate…
Expand
2008
2008
Cooperative Search with Concurrent Interactions
Efrat Manisterski
,
David Sarne
,
Sarit Kraus
Journal of Artificial Intelligence Research
2008
Corpus ID: 43571971
In this paper we show how taking advantage of autonomous agents' capability to maintain parallel interactions with others, and…
Expand
2007
2007
Directional Certainty in Sustainability-Oriented Innovation Management
Niko Paech
2007
Corpus ID: 55804278
What makes innovation representing a particular type of change, behaviour, or problem-solving, so ambivalent? An innovation’s…
Expand
2007
2007
Supporting MAS complex service modelling through agents substitutability
G. Pedone
,
László Zsolt Varga László
2007
Corpus ID: 56003856
In knowledge intensive domains the underlying information system is asked to provide a behaviour that match with highly-changea…
Expand
2003
2003
Analysis of Surface Wave Attenuation in Mangrove Forests
S. Hadi
,
H. Latief
,
M. Muliddin
2003
Corpus ID: 55028603
This paper presents an analytical study on surface wave attenuation in mangrove forest using analytical model developed by Massel…
Expand
Highly Cited
2001
Highly Cited
2001
A practical algorithm for making filled graphs minimal
J. Blair
,
P. Heggernes
,
J. A. Telle
Theoretical Computer Science
2001
Corpus ID: 6463801
2000
2000
On 2 D Euler equations . I . On the energy – Casimir stabilities and the spectra for linearized 2 D Euler equations
Y. Lia
2000
Corpus ID: 41694684
In this paper, we study a linearized two-dimensional Euler equation. This equation decouples into infinitely many invariant…
Expand
1990
1990
Unbounded Searching Slgorithms
R. Beigel
SIAM journal on computing (Print)
1990
Corpus ID: 33504914
The unbounded search problem was posed by Bentley and Yao. It is the problem of finding a key in a linearly ordered unbounded…
Expand
Highly Cited
1978
Highly Cited
1978
Inverting and Minimalizing Path Sets and Cut Sets
M. O. Locks
IEEE Transactions on Reliability
1978
Corpus ID: 24114062
This paper describes a technique for generating the minimal cuts from the minimal paths, or vice versa, for s-coherent systems…
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