In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
—Key factors of indoor NLoS radio channels are examined, namely the number of channel taps, the mean delay, the RMS delay spread and the channel gain. We analyze wideband (2-11 G...
— Block diagonalization is one approach for linear precoding in the multiple-input multiple-output broadcast channel that sends multiple interference free data streams to differe...
Seijoon Shim, Jin Sam Kwak, Robert W. Heath Jr., J...
This paper presents a method for building analytical contact models for soft fingers. Friction constraints are derived based on general expressions for non-planar contacts of ela...
Matei T. Ciocarlie, Claire Lackner, Peter K. Allen
Sensor networks have increased the amount and variety of temporal data available, requiring the definition of new techniques for data mining. Related research typically addresses...
Leonardo E. Mariote, Claudia Bauzer Medeiros, Rica...