Search

نمایش تعداد 1-6 از 6

A novel abstraction-guided simulation approach using posterior probabilities for verification

نوع: Conference Paper

نویسنده : Jian Wang , Huawei Li , Xiaowei Li

ناشر: IEEE

سال: 2014

Characterization of a Wireless Potentiostat for Integration With a Novel Implantable Biotransducer

نوع: Journal Paper

نویسنده : Kotanen, Christian N.; Guiseppi-Elie, A.

ناشر: IEEE

سال: 2014

Enhanced combined eye gaze direction classification and head flexion detection system

نوع: Conference Paper

نویسنده : Al-Rahayfeh, A. , Faezipour, M.

ناشر: IEEE

سال: 2014

New design method of sliding mode controller for a class of nonlinear second-order systems

نوع: Conference Paper

نویسنده : Shihong Ding , Wei Xing Zheng

ناشر: IEEE

سال: 2014

Formal timing analysis of automatic repeat request for switched real-time networks

نوع: Conference Paper

نویسنده : Axer, P. , Thiele, D. , Ernst, R.

ناشر: IEEE

سال: 2014

A CMOS Analog Correlator-Based Painless Nonenzymatic Glucose Sensor Readout Circuit

نوع: Journal Paper

نویسنده : Shenoy, Varun; Sungyong Jung; Youngsam Yoon; Youngjin Park; Hyoungsoo Kim; Hoon-Ju Chung

ناشر: IEEE

سال: 2014

Search

A novel abstraction-guided simulation approach using posterior probabilities for verification

Characterization of a Wireless Potentiostat for Integration With a Novel Implantable Biotransducer

Enhanced combined eye gaze direction classification and head flexion detection system

New design method of sliding mode controller for a class of nonlinear second-order systems

Formal timing analysis of automatic repeat request for switched real-time networks

A CMOS Analog Correlator-Based Painless Nonenzymatic Glucose Sensor Readout Circuit

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

Search

Filters

A novel abstraction-guided simulation approach using posterior probabilities for verification

Characterization of a Wireless Potentiostat for Integration With a Novel Implantable Biotransducer

Enhanced combined eye gaze direction classification and head flexion detection system

New design method of sliding mode controller for a class of nonlinear second-order systems

Formal timing analysis of automatic repeat request for switched real-time networks

A CMOS Analog Correlator-Based Painless Nonenzymatic Glucose Sensor Readout Circuit