Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,303,090 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.
2018
2018
A Coalgebraic Take on Regular and ω-Regular Behaviour for Systems with Internal Moves
Tomasz Brengos
2018
Corpus ID: 52229948
We present a general coalgebraic setting in which we define finite and infinite behaviour with Büchi acceptance condition for…
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
2015
2015
Monadology and Music 2: Leibniz's Demon
Soshichi Uchii
2015
Corpus ID: 59322490
Drawing on my previous paper “Monadology and Music”(Uchii 2015), I will further pursue the analogy between Monadology and music…
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
2009
2009
Aphrodite in Proclus' Theology
Tuomo Lankila
2009
Corpus ID: 39782676
The outlines of Proclus’ metaphysical system are fairly well known. However, the role of the particular deities in this structure…
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
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