Sciweavers

4591 search results - page 213 / 919
» The Global Computer
Sort
View
KR
2010
Springer
15 years 9 months ago
One Hundred Prisoners and a Lightbulb - Logic and Computation
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
Hans P. van Ditmarsch, Jan van Eijck, William Wu
BMCBI
2007
107views more  BMCBI 2007»
15 years 4 months ago
A computational approach for detecting peptidases and their specific inhibitors at the genome level
Background: Peptidases are proteolytic enzymes responsible for fundamental cellular activities in all organisms. Apparently about 2–5% of the genes encode for peptidases, irresp...
Lisa Bartoli, Remo Calabrese, Piero Fariselli, Dam...
TMC
2010
143views more  TMC 2010»
15 years 2 months ago
Decentralized QoS-Aware Checkpointing Arrangement in Mobile Grid Computing
—This paper deals with decentralized, QoS-aware middleware for checkpointing arrangement in Mobile Grid (MoG) computing systems. Checkpointing is more crucial in MoG systems than...
Paul J. Darby III, Nian-Feng Tzeng
MICCAI
2008
Springer
16 years 5 months ago
LV Motion and Strain Computation from tMRI Based on Meshless Deformable Models
Tagged Magnetic Resonance Imaging (tMRI) is a non-invasive way of tracking the in-vivo myocardial motion during cardiac cycles. Tags are material points which deform along the myo...
Xiaoxu Wang, Ting Chen, Shaoting Zhang, Dimitri...
BMCBI
2008
104views more  BMCBI 2008»
15 years 4 months ago
ReRep: Computational detection of repetitive sequences in genome survey sequences (GSS)
Background: Genome survey sequences (GSS) offer a preliminary global view of a genome since, unlike ESTs, they cover coding as well as non-coding DNA and include repetitive region...
Thomas D. Otto, Leonardo H. F. Gomes, Marcelo Alve...