Search

نمایش تعداد 1-10 از 25

Property directed invariant refinement for program verification

نوع: Conference Paper

نویسنده : Welp, T. , Kuehlmann, A.

ناشر: IEEE

سال: 2014

The Design of the Platform for Aided Test of Oral English

نوع: Conference Paper

نویسنده : Zhu Xiaowei

ناشر: IEEE

سال: 2014

InP nanowire avalanche photodiode and bipolar junction phototransistor integrated on silicon substrate

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Full-duplex cognitive radio with packet fragmentation

نوع: Conference Paper

نویسنده : Askari, Elaheh; Aissa, Sonia

ناشر: IEEE

سال: 2014

Low RC-Constant Perforated-Channel HFET

نوع: Journal Paper

نویسنده : Simin, Grigory S.; Islam, Mohammad; Gaevski, M.; Deng, Jiansong; Gaska, R.; Shur, Michael S.

ناشر: IEEE

سال: 2014

Dear participants of the 2nd IEEE Symposium on Wireless Systems within the Conferences of Intelligent Data Acquisition and Advanced Computing Systems (IDAACS-SWS 2014)

نوع: Conference Paper

نویسنده : Nuss, U.

ناشر: IEEE

سال: 2014

Torque Ripple Minimization Using Online Estimation of the Stator Resistances With Consideration of Magnetic Saturation

نوع: Journal Paper

نویسنده : Yanhui Xu; Parspour, Nejila; Vollmer, Ulrich

ناشر: IEEE

سال: 2014

Velocity Tentative Particle Swarm Optimization to solve TSP

نوع: Conference Paper

نویسنده : Akhand, M.A.H. , Akter, S. , Rashid, M.A.

ناشر: IEEE

سال: 2014

An improved K-Means clustering algorithm: A step forward for removal of dependency on K

نوع: Conference Paper

نویسنده : Chadha, A. , Kumar, S.

ناشر: IEEE

سال: 2014

Research on Robust Control for Synchronous Control System of the Giant Forging Hydraulic Press Based on the Disturbance Decoupling Observer

نوع: Conference Paper

نویسنده : Tang Yinghong , Liu Zhongwei

ناشر: IEEE

سال: 2014

Search

Property directed invariant refinement for program verification

The Design of the Platform for Aided Test of Oral English

InP nanowire avalanche photodiode and bipolar junction phototransistor integrated on silicon substrate

Full-duplex cognitive radio with packet fragmentation

Low RC-Constant Perforated-Channel HFET

Dear participants of the 2nd IEEE Symposium on Wireless Systems within the Conferences of Intelligent Data Acquisition and Advanced Computing Systems (IDAACS-SWS 2014)

Torque Ripple Minimization Using Online Estimation of the Stator Resistances With Consideration of Magnetic Saturation

Velocity Tentative Particle Swarm Optimization to solve TSP

An improved K-Means clustering algorithm: A step forward for removal of dependency on K

Research on Robust Control for Synchronous Control System of the Giant Forging Hydraulic Press Based on the Disturbance Decoupling Observer

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

Search

Filters

Property directed invariant refinement for program verification

The Design of the Platform for Aided Test of Oral English

InP nanowire avalanche photodiode and bipolar junction phototransistor integrated on silicon substrate

Full-duplex cognitive radio with packet fragmentation

Low RC-Constant Perforated-Channel HFET

Dear participants of the 2nd IEEE Symposium on Wireless Systems within the Conferences of Intelligent Data Acquisition and Advanced Computing Systems (IDAACS-SWS 2014)

Torque Ripple Minimization Using Online Estimation of the Stator Resistances With Consideration of Magnetic Saturation

Velocity Tentative Particle Swarm Optimization to solve TSP

An improved K-Means clustering algorithm: A step forward for removal of dependency on K

Research on Robust Control for Synchronous Control System of the Giant Forging Hydraulic Press Based on the Disturbance Decoupling Observer