Sciweavers

2470 search results - page 204 / 494
» Liveness-Preserving Simulation Relations
Sort
View
CORR
2008
Springer
96views Education» more  CORR 2008»
15 years 4 months ago
High Efficiency 3-Phase Cmos Rectifier with Step Up and Regulated
: This paper presents several design issues related to the monolithic integration of a 3-phase AC to DC low voltage, low power rectifier for 3-phase micro source electrical conditi...
J.-C. Crebier, Y. Lembeye, H. Raisigel, O. Deleage...
160
Voted
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 4 months ago
Game Theory with Costly Computation
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
Joseph Y. Halpern, Rafael Pass
CPHYSICS
2008
80views more  CPHYSICS 2008»
15 years 4 months ago
Fast clear-sky solar irradiation computation for very large digital elevation models
This paper presents a fast algorithm to compute the global clear-sky irradiation, appropriate for extended high-resolution Digital Elevation Models (DEMs). The latest equations pu...
Luis F. Romero, Siham Tabik, Jesús M. V&iac...
CSDA
2008
65views more  CSDA 2008»
15 years 4 months ago
How to compare small multivariate samples using nonparametric tests
In plant pathology, in particular, and plant science, in general, experiments are often conducted to determine disease and related responses of plants to various treatments. Typic...
Arne C. Bathke, Solomon W. Harrar, Laurence V. Mad...
CSSC
2008
77views more  CSSC 2008»
15 years 4 months ago
Undercoverage of Wavelet-Based Resampling Confidence Intervals
The decorrelating property of the discrete wavelet transformation (DWT) appears valuable because one can avoid estimating the correlation structure in the original data space by b...
Liansheng Tang, Wayne A. Woodward, William R. Schu...