1750 search results - page 198 / 350 » E-Commerce Development Procedure |
122
click to vote
HAPTICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Within the HapCath - haptic catheter - project an assistive system for interventional catheterizations has been developed. Conventional navigation during catheterization is done b...
148
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
147
click to vote
DGO
2007
15 years 6 months ago
2007
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...
120
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Protein sorting is the process that newly synthesized proteins are transported to their target locations within or outside of the cell. This process is precisely regul...
136
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: High-throughput methods that allow for measuring the expression of thousands of genes or proteins simultaneously have opened new avenues for studying biochemical proce...