Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,441,141 papers from all fields of science
Search
Sign In
Create Free Account
Model M keyboard
Known as:
Enhanced Keyboard
, IBM Model M Keyboard
, Clickety-clack keyboard
Expand
Model M is a designation for a group of computer keyboards manufactured by IBM starting in 1984, and later by Lexmark, Unicomp and MaxiSwitch. The…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
19 relations
AMBRA Computer Corporation
Computer keyboard
Computer mouse
DIN connector
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Assessing the Capacity of Air Traffic Control Secondary Surveillance Radar System
Guofeng Jiang
,
Yangyu Fan
,
Hongbo Yuan
Cross Strait Quad-Regional Radio Science and…
2019
Corpus ID: 201065885
to assess the capacity of air traffic control (ATC) secondary surveillance radar (SSR) system in the first principle, using…
Expand
2015
2015
Effective abstractions for verification under relaxed memory models
A. Dan
,
Yuri Meshman
,
Martin T. Vechev
,
Eran Yahav
Computer languages, systems & structures
2015
Corpus ID: 2242018
2014
2014
On relations between BLUEs under two transformed linear models
Baomin Dong
,
Wenxing Guo
,
Yongge Tian
Journal of Multivariate Analysis
2014
Corpus ID: 42102361
2008
2008
Classifying model-theoretic properties
Chris J. Conidis
Journal of Symbolic Logic (JSL)
2008
Corpus ID: 13061159
Abstract In 2004 Csima, Hirschfeldt, Knight, and Soare [1] showed that a set A ≤T 0′ is nonlow2 if and only if A is prime…
Expand
2006
2006
ON MODAL LOGICS BETWEEN K×K×K AND S5× S5× S5
R. Hirsch
2006
Corpus ID: 675609
We prove that every n-modal logic between K and S5 is undecidable, whenever n ≥ 3. We also show that each of these logics is non…
Expand
2004
2004
Towards a Framework for Model Migration
W. Esswein
,
Andreas Gehlert
,
Grit Seiffert
International Conference on Advanced Information…
2004
Corpus ID: 11368346
Model migration is needed to transform a model from one modelling language to another to reuse these models and thus, to reduce…
Expand
2002
2002
Generating Model Checkers from Algebraic Specifications
T. Rus
,
E. V. Wyk
,
Tom Halverson
Formal Methods Syst. Des.
2002
Corpus ID: 23025139
AbstractThere is a great deal of research aimed toward the development of temporal logics and model checking algorithms which can…
Expand
1999
1999
Vaught’s conjecture for some meager groups
L. Newelski
1999
Corpus ID: 55728964
AssumeG is a superstable group ofM-rank 1 and the division ring of pseudo-endomorphisms ofG is a prime field. We prove a relative…
Expand
1994
1994
Analysis of the correlation structure for a neural predictive model with application to speech recognition
L. Deng
,
K. Hassanein
,
M. Elmasry
Neural Networks
1994
Corpus ID: 29319616
1979
1979
Cotenability and counterfactual logics
B. Loewer
Journal of Philosophical Logic
1979
Corpus ID: 37702399
There are two accounts of the truth conditions of counterfactual statements which have been developed. According to David Lewis’s…
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