Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,954,712 papers from all fields of science
Search
Sign In
Create Free Account
BIT predicate
Known as:
Ackermann coding
In mathematics and computer science, the BIT predicate or Ackermann coding, sometimes written BIT(i, j), is a predicate which tests whether the jth…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
AC0
Bit manipulation
Bitwise operation
C++
Expand
Broader (2)
Circuit complexity
Set theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Pedestrian safety at intersections in Dhaka metropolitan city
S. Pervaz
,
Shahnewaz Hazanat-E-Rabbi
,
K. Newaz
2016
Corpus ID: 130472402
Pedestrian accidents are a serious and growing problem in the cities of developing countries, especially in Dhaka, the capital of…
Expand
2015
2015
Chormusik zum Gottesdienst im Kirchenjahr. Heft 5: Lob und Dank. Chor und Orgel (Bläser)
M. Eham
,
F. Mayr
2015
Corpus ID: 194127840
Heft 5 der Reihe „Chormusik zum Gottesdienst im Kirchenjahr“ versammelt 32 Stucke von Max Eham zum Motivkreis "Lob und Dank…
Expand
2014
2014
ON THE SYNTAX, MORPHOLOGY, AND SEMANTICS OF RUSSIAN VERBAL ASPECT
F. Gladney
2014
Corpus ID: 61887654
0. Introduction. It is generally accepted that verb forms in Russian are inflected for features of the sentence in which they…
Expand
2014
2014
The Arab spring logic of the Ukrainian revolution
D. Dagaev
,
Natalia Lamberova
,
A. Sobolev
2014
Corpus ID: 14912526
Motivated by the unusual patterns and dyn amics of the Arab Spring, we construct a model explaining the vulnerability of the…
Expand
2011
2011
Chor-Respondent: A dynamic system in the musical domain
Oliver Hancock
International Conference on Mathematics and…
2011
Corpus ID: 28180724
This paper introduces an example of a live algorithm interacting with a human improviser. Improvisation is considered from the…
Expand
2008
2008
Ehrenfeucht-Fraïssé games in finite set theory
Xiaoping Zhou
Information Processing Letters
2008
Corpus ID: 22464824
Review
2005
Review
2005
Review of the Study of Nominal Predicate Sentence
Chen Yong
2005
Corpus ID: 124159994
The noun can be the predicate directly, this is one of the main differences between Chinese and Indo-european languages. The…
Expand
2002
2002
Actualism, singular propositions, and possible worlds : essays in metaphysics of modality
Aviv Hoffmann
2002
Corpus ID: 62785196
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2002.
1988
1988
Magány : vegyeskar (SABar) a cappella = Einsamkeit : gemischter Chor (SABar) a cappella = Solitude : mixed choir (SABar) a cappella
G. Ligeti
,
Sándor Weöres
,
Hilger Schallehn
,
Desmond Clayton
1988
Corpus ID: 190991484
1962
1962
The Leipzig Thomaner Chor
R. Petzoldt
,
Lena Jaeck
1962
Corpus ID: 193260047
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
or Only Accept Required