6978 search results - page 1195 / 1396 » On Proofs in System P |
TDSC
2011
13 years 5 months ago
2011
—Anonymizing networks such as Tor allow users to access Internet services privately by using a series of routers to hide the client’s IP address from the server. The success of...
IHI
2010
13 years 5 months ago
2010
The rising cost of healthcare is one of the major concerns faced by the nation. One way to lower healthcare costs and provide better quality care to patients is through the effect...
JMLR
2010
13 years 5 months ago
2010
A complex modern manufacturing process is normally under consistent surveillance via the monitoring of signals/variables collected from sensors. However, not all of these signals ...
TROB
2010
13 years 5 months ago
2010
The manipulation of fast moving, delicate tissues in beating heart procedures presents a considerable challenge to the surgeon. A robotic force tracking system can assist the surge...
VCBM
2010
13 years 5 months ago
2010
The human eye is a biomechanical system. Orbital fat plays an important role in the working of this system, but its behaviour during eye movement is not well understood. To give i...