24 search results - page 4 / 5 » On sets of integers whose shifted products are powers |
IFIPTCS
2010
13 years 5 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
SRAM cell design is driven by the need to satisfy static noise margin, write margin and read current margin (RCM) over all cells in the array in an energy-efficient manner. These ...
BMCBI
2005
13 years 7 months ago
2005
Background: Structural and functional research often requires the computation of sets of protein structures based on certain properties of the proteins, such as sequence features,...
FLOPS
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
IJCNN
2008
IEEE
14 years 1 months ago
2008
IEEE
— The operation of V1 simple cells in primates has been traditionally modelled with linear models resembling Gabor filters, whereas the functionality of subsequent visual cortic...