Sciweavers

4101 search results - page 723 / 821
» Differential Power Analysis
Sort
View
ESWA
2008
172views more  ESWA 2008»
14 years 12 months ago
DADICC: Intelligent system for anomaly detection in a combined cycle gas turbine plant
DADICC is the abbreviated name for an intelligent system able to detect on-line and diagnose anomalies as soon as possible in the dynamic evolution of the behaviour of a power pla...
Antonio L. Arranz Matía, Alberto Cruz, Migu...
BMCBI
2006
97views more  BMCBI 2006»
14 years 12 months ago
PDA: Pooled DNA analyzer
Background: Association mapping using abundant single nucleotide polymorphisms is a powerful tool for identifying disease susceptibility genes for complex traits and exploring pos...
Hsin-Chou Yang, Chia-Ching Pan, Chin-Yu Lin, Cathy...
CORR
2006
Springer
135views Education» more  CORR 2006»
14 years 12 months ago
Constraint Functional Logic Programming over Finite Domains
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
Antonio J. Fernández, Maria Teresa Hortal&a...
CORR
2006
Springer
116views Education» more  CORR 2006»
14 years 12 months ago
Energy Efficiency and Delay Quality-of-Service in Wireless Networks
The energy-delay tradeoffs in wireless networks are studied using a game-theoretic framework. A multi-class multipleaccess network is considered in which users choose their transmi...
Farhad Meshkati, H. Vincent Poor, Stuart C. Schwar...
CORR
2006
Springer
95views Education» more  CORR 2006»
14 years 12 months ago
SAT Solving for Argument Filterings
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoo...