Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,279,233 papers from all fields of science
Search
Sign In
Create Free Account
KEIS
KEIS is a stateful EBCDIC charset used in Hitachi mainframe systems. KEIS is an acronym for "Kanji processing Extended Information System".
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
EBCDIC
Hexadecimal
IBM Kanji System
Mainframe computer
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Towards Human Readability of Automated Unknottedness Proofs
A. Fish
,
A. Lisitsa
,
A. Vernitski
Bridging@IJCAI/ECAI
2018
Corpus ID: 58013899
© 2018 CEUR-WS. All rights reserved. When is a knot actually unknotted? How does one convince a human reader of the correctness…
Expand
2017
2017
Automated Reasoning for Knot Semigroups and \pi π -orbifold Groups of Knots
A. Lisitsa
,
A. Vernitski
International Conference on Mathematical Aspects…
2017
Corpus ID: 33112395
The paper continues the first author’s research which shows that automatic reasoning is an effective tool for establishing…
Expand
2013
2013
The paradigm framework of cloud migration based on BPR and gBPR
Hsing-I Wang
,
Chouyin Hsu
International Joint Conference on Awareness…
2013
Corpus ID: 943628
The rise of cloud services also raises numerous myths and problems. On one hand, the definitions of cloud services are…
Expand
2013
2013
Suggestion of experimental model on the innate kidney essence insufficiency syndrome for the development of humanitas traditional medicine
B. Lee
,
Ji-Hyun Go
,
D. Lee
2013
Corpus ID: 72585064
According to the traditional Korean medicine (TKM), kidney has been recognized as the roof of innate endowment because it plays…
Expand
2011
2011
Identification and visualization of key ecological indicators
Martin Knura
2011
Corpus ID: 109609739
Green IT is becoming an important issue in today’s organizations. Customers and Government force them more and more to exposure…
Expand
2008
2008
Promising Practice Profiles: final report
G. Soriano
,
Haley Clark
,
S. Wise
2008
Corpus ID: 154830699
Contents Acknowledgements 1 Executive summary 2 Glossary of practice terms 4 1. Background and process 6 Background 6 The…
Expand
2008
2008
Promising Practice Pro!les Final report
G. Soriano
,
Haley Clark
,
S. Wise
2008
Corpus ID: 156598810
2007
2007
Head-On Impact Deflection of NEAs: A Case Study for 99942 Apophis
B. Dachwald
,
R. Kahle
,
B. Wie
2007
Corpus ID: 49557213
Near-Earth asteroid (NEA) 99942 Apophis provides a typical example for the evolution of asteroid orbits that lead to Earth…
Expand
2006
2006
Solar Sailing Kinetic Energy Impactor (KEI) Mission Design Tradeos for Impacting and Deflecting Asteroid 99942 Apophis
B. Dachwald
,
R. Kahle
,
B. Wie
2006
Corpus ID: 44146127
Near-Earth asteroid 99942 Apophis provides a typical example for the evolution of asteroid orbits that lead to Earth-impacts…
Expand
1982
1982
Ideale Punkte, Monaden und Nichtstandard-Methoden
M. M. Richter
1982
Corpus ID: 6126735
Als eigenstandige Disziplin gibt es die Nichtstandard-Analysis etwa seit dem Jahre 1960. Inzwischen hat sie eine sturmische…
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