10819 search results - page 77 / 2164 » Addition and multiplication of sets |
APAL
2008
13 years 8 months ago
2008
Abstract. We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of s...
DM
2007
13 years 7 months ago
2007
We construct families of three-dimensional linear codes that attain the Griesmer bound and give a probablistic construction of linear codes that are close to the Griesmer bound. Al...
ISBI
2002
IEEE
14 years 22 days ago
2002
IEEE
The imaging process in a transmission electron microscope (TEM) produces a number of artifacts including the contrast transfer function (CTF) and envelope functions. In addition, ...
ARC
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we present a framework for the automatic identification and selection of convex MIMO instruction-set extensions for reconfigurable architecture. The framewo...
BMCBI
2006
13 years 7 months ago
2006
Background: Molecular maps have been developed for many species, and are of particular importance for varietal development and comparative genomics. However, despite the existence...