1699 search results - page 53 / 340 » On the Expressive Power of QLTL |
92
Voted
PODS
1999
ACM
15 years 5 months ago
1999
ACM
We give a polymorphic account of the relational algebra. We introduce a formalism of \type formulas" speci cally tuned for relational algebra expressions, and present an algo...
66
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
A simple multivariate version of Costa's entropy power inequality is proved. In particular, it is shown that if independent white Gaussian noise is added to an arbitrary multi...
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Ambipolar devices have been reported in many technologies, including carbon nanotube field effect transistors (CNTFETs). The ambipolarity can be in-field controlled with a secon...
110
Voted
TSP
2008
15 years 17 days ago
2008
Abstract--This paper addresses the problem of adaptively allocating the bits and the power among a set of parallel subchannels. A frame-oriented transmission with convolutional cod...
97
Voted
SBCCI
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents a transistor optimization methodology for low-power analog integrated CMOS circuits, relying on the physics-based gm/ID characteristics as a design optimizatio...