1541 search results - page 123 / 309 » Interaction Analysis in Aspect-Oriented Models |
BMCBI
2007
13 years 8 months ago
2007
Background: RNA metabolism, through 'combinatorial splicing', can generate enormous structural diversity in the proteome. Alternative domains may interact, however, with...
HAPTICS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a new soft-finger haptic rendering algorithm based on the concept of limit curve which was previously used by the robotic manipulation community to study slid...
LICS
1999
IEEE
14 years 3 days ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
JUCS
2000
13 years 7 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
BMCBI
2010
13 years 5 months ago
2010
Background: Colon cancer is driven by mutations in a number of genes, the most notorious of which is Apc. Though much of Apc's signaling has been mechanistically identified o...