Search

Now showing items 1-10 of 25

Property directed invariant refinement for program verification

Type: Conference Paper

Author : Welp, T. , Kuehlmann, A.

Publisher: IEEE

Year: 2014

The Design of the Platform for Aided Test of Oral English

Type: Conference Paper

Author : Zhu Xiaowei

Publisher: IEEE

Year: 2014

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

Type: Conference Paper

Publisher: IEEE

Year: 2014

Full-duplex cognitive radio with packet fragmentation

Type: Conference Paper

Author : Askari, Elaheh; Aissa, Sonia

Publisher: IEEE

Year: 2014

Low RC-Constant Perforated-Channel HFET

Type: Journal Paper

Author : Simin, Grigory S.; Islam, Mohammad; Gaevski, M.; Deng, Jiansong; Gaska, R.; Shur, Michael S.

Publisher: IEEE

Year: 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)

Type: Conference Paper

Author : Nuss, U.

Publisher: IEEE

Year: 2014

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

Type: Journal Paper

Author : Yanhui Xu; Parspour, Nejila; Vollmer, Ulrich

Publisher: IEEE

Year: 2014

Velocity Tentative Particle Swarm Optimization to solve TSP

Type: Conference Paper

Author : Akhand, M.A.H. , Akter, S. , Rashid, M.A.

Publisher: IEEE

Year: 2014

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

Type: Conference Paper

Author : Chadha, A. , Kumar, S.

Publisher: IEEE

Year: 2014

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

Type: Conference Paper

Author : Tang Yinghong , Liu Zhongwei

Publisher: IEEE

Year: 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

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

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