Sciweavers

1729 search results - page 127 / 346
» Deterministic Expressions in C
Sort
View
ACL
1989
15 years 5 months ago
Unification-Based Semantic Interpretation
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...
Robert C. Moore
ACS
2010
15 years 4 months ago
Bisets as Categories and Tensor Product of Induced Bimodules
: 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. ...
Serge Bouc
AMC
2006
82views more  AMC 2006»
15 years 4 months ago
Some thoughts on hypercomputation
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...
Newton C. A. da Costa, Francisco A. Doria
APPML
2006
71views more  APPML 2006»
15 years 4 months ago
The polynomial solution to the Sylvester matrix equation
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...
Qingxi Hu, Daizhan Cheng
CSDA
2006
81views more  CSDA 2006»
15 years 4 months ago
A recursive approach to detect multivariable conditional variance components and conditional random effects
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...