Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,386,573 papers from all fields of science
Search
Sign In
Create Free Account
WDR92 gene
Known as:
Monad
, FLJ31741
, LOC116143
Expand
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Lax Distributive Laws for Topology, I
W. Tholen
2016
Corpus ID: 32288595
For a small quantaloid $\mathcal{Q}$ we consider four fundamental 2-monads $\mathbb{T}$ on $\mathcal{Q}\text{-}{\bf Cat}$, given…
Expand
2015
2015
On the notion of spectral decomposition in local geometric Langlands
S. Raskin
2015
Corpus ID: 119318019
The geometric Langlands program is distinguished in assigning spectral decompositions to all representations, not only the…
Expand
2015
2015
Certification de programmes avec des effets calculatoires
Burak Ekici
2015
Corpus ID: 170403866
Dans cette these, nous visons a formaliser les effets calculatoires. En effet, les langages de programmation les plus utilises…
Expand
2014
2014
The Giry monad as a codensity monad
K. Sturtz
2014
Corpus ID: 120950131
2014
2014
Monads in Haskell
Nathan S. Schilling
2014
Corpus ID: 125475585
In Haskell, monads provide a mechanism for mapping functions of the type a -> m b to those of the type m a -> m b. This mapping…
Expand
2001
2001
Leibniz's theory of bodies: monadic aggregates, phenomena, or both?
C. Schneider
2001
Corpus ID: 33239724
Leibniz's conception of bodies seems to be a puzzling theory. Bodies are seen as aggregates of monads and as wellfounded…
Expand
Review
1998
Review
1998
A mobile information system for the management of networks
T. Kirste
,
A. Werner
IECON '98. Proceedings of the 24th Annual…
1998
Corpus ID: 62568065
The efficient management, maintenance and troubleshooting of complex local area network infrastructures requires correct and up…
Expand
1995
1995
An Algebra of Dataaow Networks
E. W. Stark
1995
Corpus ID: 13545786
y Abstract. This paper describes an algebraic framework for the study of dataaow networks, which form a paradigm for concurrent…
Expand
1994
1994
The Vectorisation Monad
Jonathan M. D. Hill
,
Keith M. Clarke
,
R. Bornat
International Workshop on Parallel Symbolic…
1994
Corpus ID: 18209590
Traditionally a vectorising compiler matches the iterative constructs of a program against a set of predeened templates. If a…
Expand
1985
1985
$T$-algebras of the monad $L$-Fuzz
Joachim Machner
1985
Corpus ID: 125711370
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