Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,118,070 papers from all fields of science
Search
Sign In
Create Free Account
Ada
Known as:
Limited type
, Ada programming language
, Ada 2005
Expand
Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
ALGOL 58
ALGOL 60
B-Method
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Inelastic x-ray study of phonon broadening and charge-density wave formation in ortho-II-ordered YBa2Cu3O6.54
E. Blackburn
,
J. Chang
,
+6 authors
S. Hayden
2013
Corpus ID: 118609081
Inelastic x-ray scattering is used to investigate charge-density wave (CDW) formation and the low-energy lattice dynamics of the…
Expand
Review
2008
Review
2008
System-Level Virtualization for High Performance Computing
Geoffroy R. Vallée
,
T. Naughton
,
C. Engelmann
,
H. Ong
,
S. Scott
International Euromicro Conference on Parallel…
2008
Corpus ID: 2172877
System-level virtualization has been a research topic since the 70's but regained popularity during the past few years because of…
Expand
Highly Cited
2008
Highly Cited
2008
A STELLAR DYNAMICAL MEASUREMENT OF THE BLACK HOLE MASS IN THE MASER GALAXY NGC 4258
Christos Siopis
,
K. Gebhardt
,
+13 authors
J. Magorrian
2008
Corpus ID: 14723297
We determine the mass of the black hole at the center of the spiral galaxy NGC 4258 by constructing axisymmetric dynamical models…
Expand
2007
2007
Efficiently Answering Top-k Typicality Queries on Large Databases
Ming Hua
,
J. Pei
,
A. Fu
,
Xuemin Lin
,
Ho-fung Leung
Very Large Data Bases Conference
2007
Corpus ID: 15909510
Finding typical instances is an effective approach to understand and analyze large data sets. In this paper, we apply the idea of…
Expand
Highly Cited
1999
Highly Cited
1999
Thiophene-Linked Polyphenylquinoxaline: A New Electron Transport Conjugated Polymer for Electroluminescent Devices
Yuan Cui
,
Xuejun Zhang
,
S. Jenekhe
1999
Corpus ID: 46564861
Abstract : A new n-type conjugated polymer, poly2,2'-(THIOPHENE-2,5-DIYL)-6,6'-BIS(3-PHENYLQUINOXALINE) (PTQx), was synthesized…
Expand
1992
1992
An object-oriented refinement calculus with modular reasoning
Barry Mark Utting
1992
Corpus ID: 61202181
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…
Expand
Highly Cited
1991
Highly Cited
1991
“=” considered harmful
D. Gonzalez
ALET
1991
Corpus ID: 32562623
Highly Cited
1991
Highly Cited
1991
Protob: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems
M. Baldassari
,
G. Bruno
Computer languages
1991
Corpus ID: 37952978
1978
1978
A Formal, Decision-Theoretic Approach to Flexibility and Robustness
R. Pye
1978
Corpus ID: 62708882
Traditional decision-making techniques only deal with a limited type of uncertainty: that which can be foreseen sufficiently to…
Expand
Highly Cited
1951
Highly Cited
1951
Experiments on the Neural Crest of the Lamprey Embryo
D. Newth
1951
Corpus ID: 7434028
1. The fate of the neural crest of the head in Lampetra planeri has been studied by experiments involving the removal or the…
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