Search

Now showing items 1-9 of 9

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study

Type: Conference Paper

Author : Ishigooka, Tasuku; Saissi, Habib; Piper, Thorsten; Winter, Stefan; Suri, Neeraj

Publisher: IEEE

Year: 2014

Joint design of density of access points and partially overlapped channel assignment for capacity optimization in wireless networks

Type: Conference Paper

Author : Zhao, Wei; Fadlullah, Zubair; Nishiyama, Hiroki; Kato, Nei; Hamaguchi, Kiyoshi

Publisher: IEEE

Year: 2014

Pattern reconfigurable antenna for mobile handsets

Type: Conference Paper

Author : Shoaib, Sultan; Shoaib, Imran; Shoaib, Nosherwan; Xiaodong Chen; Parini, C.G.

Publisher: IEEE

Year: 2014

Learning Local Semantic Distances with Limited Supervision

Type: Conference Paper

Author : Chang, Shiyu; Aggarwal, Charu C.; Huang, Thomas S.

Publisher: IEEE

Year: 2014

Session 3: Internet application and technology

Type: Conference Paper

Publisher: IEEE

Year: 2014

MATLAB-based module for encryption and decryption using bifid ciphers applied in cryptosystems

Type: Conference Paper

Author : Borodzhieva, A.N.; Manoilov, P.K.

Publisher: IEEE

Year: 2014

Versatility of power gyrator structures for energy processing in photovoltaic solar systems

Type: Conference Paper

Author : Martinez-Garcia, Herminio; Grau-Saldes, Antoni

Publisher: IEEE

Year: 2014

Organizing Committee

Type: Conference Paper

Publisher: IEEE

Year: 2014

Characterization of ink-jet printed CPW on Kapton substrates at 60 GHz

Type: Conference Paper

Author : Swaisaenyakorn, S.; Young, P.R.; Shkunov, M.

Publisher: IEEE

Year: 2014

Search

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study

Joint design of density of access points and partially overlapped channel assignment for capacity optimization in wireless networks

Pattern reconfigurable antenna for mobile handsets

Learning Local Semantic Distances with Limited Supervision

Session 3: Internet application and technology

MATLAB-based module for encryption and decryption using bifid ciphers applied in cryptosystems

Versatility of power gyrator structures for energy processing in photovoltaic solar systems

Organizing Committee

Characterization of ink-jet printed CPW on Kapton substrates at 60 GHz

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study

Joint design of density of access points and partially overlapped channel assignment for capacity optimization in wireless networks

Pattern reconfigurable antenna for mobile handsets

Learning Local Semantic Distances with Limited Supervision

Session 3: Internet application and technology

MATLAB-based module for encryption and decryption using bifid ciphers applied in cryptosystems

Versatility of power gyrator structures for energy processing in photovoltaic solar systems

Organizing Committee

Characterization of ink-jet printed CPW on Kapton substrates at 60 GHz