Results 71 to 80 of about 29,436 (282)
The Anatomical Record, EarlyView.Abstract The oval window (OW) is an opening connecting the inner and middle ear. Its area has been shown to consistently scale with body mass (BM) in primates, and has been used alongside semi‐circular canal (SCC) size to differentiate Homo sapiens and fossil hominins, including Paranthropus robustus.
Ruy Fernandez, José Braga
wiley +1 more source
Pythagorasçı Felsefede Tekliğin İlkesi Olarak Külli Ruh: Monad
Cumhuriyet İlahiyat Dergisi, 2021 Pythagoras ve Pythagorasçılık, antik felsefe geleneğinde farklı bir yere sahiptir. Bunun sebebi Pythagorasçılığın Orfizm, Hint ve Mısır dinlerinin felsefe ile harmanlanmasından oluşan eklektik yapısıdır.
Aynur Çınar
doaj +1 more source
Monads, zippers and views [PDF]
ACM SIGPLAN Notices, 2011 We make monadic components more reusable and robust to changes by employing two new techniques for virtualizing the monad stack: the monad zipper and monad views .
Schrijvers, Tom, Oliveira, Bruno C.DS.
openaire +3 more sources
Axioms, 2015 The definition of Azumaya algebras over commutative rings \(R\) requires the tensor product of modules over \(R\) and the twist map for the tensor product of any two \(R\)-modules.
Bachuki Mesablishvili, Robert Wisbauer
doaj +1 more source
European Journal of Organic Chemistry, EarlyView.A range of synthetic methods for photophysically attractive stable luminescent diradicals have been developed, enabling the preparation of diverse derivatives. Direct substitution of the tris(2,4,6‐trichlorophenyl)methyl radical introduces donor groups to afford acceptor–donor–acceptor luminescent diradicals, while halogenated triarylmethanes are ...
Yohei Hattori, Gwénaël Rapenne
wiley +1 more source
A Generalized Curvature of a Generalized Envelope [PDF]
Al-Rafidain Journal of Computer Sciences and Mathematics, 2009 In this paper we study one of the applications of a generalized curvature [3] on the generalized envelope of a family of lines given in [7], [8], using some concepts of nonstandard analysis given by Robinson, A. [5] and axiomatized by Nelson, E..
Tahir Ismail, Ibrahim Hamad
doaj +1 more source
Proceedings of the American Mathematical Society, 1959 A monadic (Boolean) algebra is a Boolean algebra A together with an operator 3 on A (called an existential quantifier, or, simply, a quantifier) such that 30=0, pfk 3p, and 3(^A 3q) = 3p* 3g whenever p and q are in A. Most of this note uses nothing more profound about monadic algebras than the definition. The reader interested in the motivation for and
openaire +2 more sources
Relative Monads Formalised [PDF]
Journal of Formalized Reasoning, 2014 Journal of Formalized Reasoning, Vol 7, No 1 (2014)
Altenkirch, Thorsten +2 more
openaire +3 more sources
Food Safety and Health, EarlyView.Community kitchen managers in Lebanon demonstrated positive attitudes but insufficient knowledge and perceptions regarding food safety. Targeted training programs are urgently needed to improve critical control practices and reduce foodborne illness risks across the country.
Samer A. Kharroubi +2 more
wiley +1 more source
Coalgebraic Weak Bisimulation from Recursive Equations over Monads [PDF]
, 2014 Strong bisimulation for labelled transition systems is one of the most fundamental equivalences in process algebra, and has been generalised to numerous classes of systems that exhibit richer transition behaviour.
Goncharov, Sergey, Pattinson, Dirk
core +1 more source