Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,215,514 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.
2020
2020
Selective Segmentation Networks Using Top-Down Attention
Mahdi Biparva
,
John K. Tsotsos
arXiv.org
2020
Corpus ID: 211020884
Convolutional neural networks model the transformation of the input sensory data at the bottom of a network hierarchy to the…
Expand
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
2015
2015
Comparison of Work Between Bottom Up Method and Top Down Method: Execution and Timing
R. Noegroho
2015
Corpus ID: 113451249
The purpose of this paper is to find the best method by comparing the implementation (phase of work) and the time of execution of…
Expand
2010
2010
Interfacial engineering and mechanism of metal oxide memristive switching
Hong-Wu Zhao
,
Z. Liao
,
Zi-Yu Liu
,
Yang Meng
,
Dong-Min 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