Sciweavers

686 search results - page 32 / 138
» Observations and models for needle-tissue interactions
Sort
View
CAV
2007
Springer
114views Hardware» more  CAV 2007»
14 years 2 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
IJWIN
2010
117views more  IJWIN 2010»
13 years 5 months ago
Channel Models for Medical Implant Communication
Information regarding the propagation media is typically gathered by conducting physical experiments, measuring and processing the corresponding data to obtain channel characterist...
Kamran Sayrafian-Pour, Wen-Bin Yang, John G. Haged...
JSAC
2008
95views more  JSAC 2008»
13 years 8 months ago
Cognitive Medium Access: Constraining Interference Based on Experimental Models
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...
Stefan Geirhofer, Lang Tong, Brian M. Sadler
TVCG
2011
196views more  TVCG 2011»
13 years 5 months ago
Measurement-Based Modeling of Contact Forces and Textures for Haptic Rendering
—Haptic texture represents the fine-grained attributes of an object’s surface and is related to physical characteristics such as roughness and stiffness. We introduce an inter...
Jochen Lang, Sheldon Andrews
RECOMB
2005
Springer
14 years 10 months ago
An Interaction-Dependent Model for Transcription Factor Binding
Transcriptional regulation is accomplished by several transcription factor proteins that bind to specific DNA elements in the relative vicinity of the gene, and interact with each ...
Li-San Wang, Shane T. Jensen, Sridhar Hannenhalli