Sciweavers

5624 search results - page 255 / 1125
» On Conditional Covering Problem
Sort
View
ICCS
2003
Springer
15 years 12 months ago
Monte Carlo Method for Calculating the Electrostatic Energy of a Molecule
The problem of computing the electrostatic energy of a large molecule is considered. It is reduced to solving the Poisson equation inside and the linear Poisson-Boltzmann equation ...
Michael Mascagni, Nikolai A. Simonov
CAV
2008
Springer
80views Hardware» more  CAV 2008»
15 years 8 months ago
Ranking Automata and Games for Prioritized Requirements
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
Rajeev Alur, Aditya Kanade, Gera Weiss
CHINAF
2008
82views more  CHINAF 2008»
15 years 6 months ago
Input-to-state stability of switched nonlinear systems
: The input-to-state stability (ISS) problem is studied for switched systems with infinite subsystems. By the method of multiple Lyapunov function, a sufficient ISS condition is gi...
Wei Feng, Jifeng Zhang
CORR
2007
Springer
109views Education» more  CORR 2007»
15 years 6 months ago
The MIMOME Channel
— The MIMOME channel is a Gaussian wiretap channel in which the sender, receiver, and eavesdropper all have multiple antennas. We characterize the secrecy capacity as the saddle-...
Ashish Khisti, Gregory W. Wornell
ADCM
2005
79views more  ADCM 2005»
15 years 6 months ago
Flexible piecewise approximations based on partition of unity
In this paper, we study a flexible piecewise approximation technique based on the use of the idea of the partition of unity. The approximations are piecewisely defined, globally sm...
Weimin Han, Wing Kam Liu