9067 search results - page 1791 / 1814 » Adaptive Model Checking |
124
Voted
ARTMED
2008
15 years 2 months ago
2008
Objective: Cardiovascular disease, obesity, and lack of physical fitness are increasingly common and negatively affect people's health, requiring medical assistance and decre...
153
Voted
AROBOTS
2007
15 years 2 months ago
2007
— A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. To operate in the real world, autonomo...
166
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Minimotifs are short peptide sequences within one protein, which are recognized by other proteins or molecules. While there are now several minimotif databases, they a...
133
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Solving bioinformatics tasks often requires extensive computational power. Recent trends in processor architecture combine multiple cores into a single chip to improve...
129
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Network co-regulated modules are believed to have the functionality of packaging multiple biological entities, and can thus be assumed to coordinate many biological fu...