This paper shows that a first-order unificationbased semantic interpretation for various coordinate constructs is possible without an explicit use of lambda expressions if we slig...
: Bisets can be considered as categories. This note uses this point of view to give a simple proof of a Mackey-like formula expressing the tensor product of two induced bimodules. ...
We first show that the Halting Function (the noncomputable function that solves the Halting Problem) has explicit expressions in the language of calculus. Out of that fact we elab...
For when the Sylvester matrix equation has a unique solution, this work provides a closed form solution, which is expressed as a polynomial of known matrices. In the case of non-u...
A complex trait like crop yield is determined by its component traits. Multivariable conditional analysis in a general mixed linear model is helpful in dissecting the gene express...
Jixiang Wu, Dongfeng Wu, Johnie N. Jenkins Jr., Ja...