Sciweavers

24 search results - page 2 / 5
» Chi Calculus with Mismatch
Sort
View
JEI
2010
127views more  JEI 2010»
13 years 5 months ago
Modified edge-directed interpolation for images
A modification of the new edge-directed interpolation method is presented. The modification eliminates the prediction error accumulation problem with adopting a modified traini...
Wing-Shan Tam, Chi-Wah Kok, Wan-Chi Siu
CORR
2010
Springer
132views Education» more  CORR 2010»
13 years 7 months ago
Acyclic Solos and Differential Interaction Nets
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that ...
Thomas Ehrhard, Olivier Laurent
CSL
2010
Springer
13 years 8 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
CSL
2007
Springer
14 years 1 months ago
Not Enough Points Is Enough
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzon...
ISCAS
2008
IEEE
88views Hardware» more  ISCAS 2008»
14 years 1 months ago
An improved method of power control with CMOS class-E power amplifiers
—In this paper, an improved method of power control is introduced to widen the range of output power with high efficiency. Two CMOS class-E power amplifiers (PA) with different o...
Tongqiang Gao, Chun Zhang, Baoyong Chi, Zhihua Wan...