Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,281,815 papers from all fields of science
Search
Sign In
Create Free Account
Top type
Known as:
Top (disambiguation)
The top type in the type theory of mathematics, logic, and computer science, commonly abbreviated as top or by the down tack symbol (⊤), is the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
41 relations
.NET Framework
Bottom type
C++
Common Lisp
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Site classification vs. wood production: a case study based on Silver fir growth dynamics in the Western Carpathians
M. Bošeľa
,
R. Petráš
,
Š. Šmelko
2018
Corpus ID: 131554198
We analysed wood production on an example of Silver fir growth ability within site units defined in the site classification that…
Expand
2017
2017
Bottom Up or Top Down? Dynamics of Deep Representations via Canonical Correlation Analysis
M. Raghu
,
J. Yosinski
,
Jascha Narain Sohl-Dickstein
2017
Corpus ID: 125904782
2017
2017
Top-Down / Bottom-Up Splay Duality and Generalized Top-Down Splay
Alex Ozdemir
2017
Corpus ID: 85561402
2016
2016
Topological Orbit Dimension of MF $C^*$-algebras
Qihui Li
,
D. Hadwin
,
Weihua Li
,
Junhao Shen
2016
Corpus ID: 119164938
This paper is a continuation of our work on D. Voiculescu's topological free entropy dimension in unital C*-algebras. In this…
Expand
2013
2013
Soil Moisture Analysis of Bamboo-Style Water Harvesting Ditches in the Hilly Loess Region of Northern Shaanxi Province, China
W. Xindong
,
Wang You-ke
,
Lin Jun
2013
Corpus ID: 61685757
In this study, we constructed ditches across the slope of the land between two rows of jujube trees, which were filled with…
Expand
2012
2012
Design method for interface of IEC 61850 universal database information model
陈爱林
,
耿明志
,
张海东
,
任浩
,
徐歆
2012
Corpus ID: 64582974
IEC 61850 The present invention provides a general method for the design model and database information interface, information…
Expand
2010
2010
Interfacial engineering and mechanism of metal oxide memristive switching
Hongwu Zhao
,
Z. Liao
,
Ziyu Liu
,
Yang Meng
,
Dongmin Chen
2010
Corpus ID: 137025973
Submitted for the MAR10 Meeting of The American Physical Society Interfacial engineering and mechanism of metal oxide memristive…
Expand
2004
2004
RF Soft Magnetic Applications as Integrated Passives
M. Yamaguchi
2004
Corpus ID: 108002473
There is a growing interest on the soft magnetic thin-film applications in the GHz frequency range based on the development of…
Expand
2003
2003
MODELLING AND CONTROL STRATEGY OF ROBOTIC YO-YO
L. Žlajpah
2003
Corpus ID: 9097414
In the paper we address a problem of controlling an oscillating motion with a robot. As the object we have selected a yo-yo. Yo…
Expand
2002
2002
JP 1 . 7 RETRIEVAL OF CLOUD GEOMETRICAL PARAMETERS USING REMOTE SENSING DATA
M. Kuji
2002
Corpus ID: 55247077
It is of great interest to investigate the properties on the cloud optical, microphysical, and geometrical parameters, in…
Expand