Sciweavers

3053 search results - page 571 / 611
» Hybrid Systems Diagnosis
Sort
View
JCC
2008
132views more  JCC 2008»
15 years 16 days 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»
15 years 16 days 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
123
Voted
JOLLI
2008
145views more  JOLLI 2008»
15 years 16 days 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»
15 years 16 days 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»
15 years 15 days 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...