C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...

Artificial intelligence is turning a familiar medical workhorse into a window on one of the most pervasive health threats of ...

Abstract: Time-frequency (TF) analysis is a useful tool for seismic signal processing, where reliably representing the signal's TF distribution is essential for geological interpretation. However, the ...

Abstract: This letter presents a state estimation algorithm for linear discrete-time systems with state-delay. In order to overcome the difficulty that the traditional Kalman filter cannot estimate ...