Sciweavers

42738 search results - page 132 / 8548
» Search Computing Systems
Sort
View
OPODIS
2003
15 years 4 months ago
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
Alper Sen, Vijay K. Garg
BIOSYSTEMS
2008
85views more  BIOSYSTEMS 2008»
15 years 3 months ago
From a homeostatic to a homeodynamic self
Life as an autonomous homeostatic system is discussed. A mechanism that drives a homeostatic state to an autonomous selfmoving state is examined with two computational cell models...
Takashi Ikegami, Keisuke Suzuki
BIBE
2003
IEEE
133views Bioinformatics» more  BIBE 2003»
15 years 8 months ago
A Computational Pipeline for Protein Structure Prediction and Analysis at Genome Scale
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...
Manesh J. Shah, Sergei Passovets, Dongsup Kim, Kyl...
EDBT
2010
ACM
206views Database» more  EDBT 2010»
15 years 9 months ago
Efficient computation of trade-off skylines
When selecting alternatives from large amounts of data, trade-offs play a vital role in everyday decision making. In databases this is primarily reflected by the top-k retrieval p...
Christoph Lofi, Ulrich Güntzer, Wolf-Tilo Bal...
BMCBI
2005
94views more  BMCBI 2005»
15 years 2 months ago
Computational identification of strain-, species- and genus-specific proteins
Background: The identification of unique proteins at different taxonomic levels has both scientific and practical value. Strain-, species- and genus-specific proteins can provide ...
Raja Mazumder, Darren A. Natale, Sudhir Murthy, Ra...