Sciweavers

3053 search results - page 571 / 611
» Hybrid Systems Diagnosis
Sort
View
JCC
2008
132views more  JCC 2008»
13 years 8 months ago
The implementation of a fast and accurate QM/MM potential method in Amber
Abstract: Version 9 of the Amber simulation programs includes a new semi-empirical hybrid QM/MM functionality. This includes support for implicit solvent (generalized Born) and for...
Ross C. Walker, Michael F. Crowley, David A. Case
CORR
2007
Springer
141views Education» more  CORR 2007»
13 years 8 months ago
Joint Source-Channel Codes for MIMO Block Fading Channels
—We consider transmission of a continuous amplitude source over an L-block Rayleigh-fading Mt 2 Mr multiple-input multiple-output (MIMO) channel when the channel state informatio...
Deniz Gündüz, Elza Erkip
JOLLI
2008
145views more  JOLLI 2008»
13 years 8 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack
JCP
2006
93views more  JCP 2006»
13 years 8 months ago
Reliable Partial Replication of Contents in Web Clusters: Getting Storage without losing Reliability
Traditionally, distributed Web servers have used two strategies for allocating files on server nodes: full replication and full distribution. While full replication provides a high...
José Daniel García, Jesús Car...
JSW
2006
98views more  JSW 2006»
13 years 8 months ago
A Jxta Based Asynchronous Peer-to-Peer Implementation of Genetic Programming
Abstract-- Solving complex real-world problems using evolutionary computation is a CPU time-consuming task that requires a large amount of computational resources. Peerto-Peer (P2P...
Gianluigi Folino, Agostino Forestiero, Giandomenic...