Search

Now showing items 1-10 of 11

Catamorphism Generation and Fusion Using Coq

Type: Conference Paper

Author : Robillard, Simon

Publisher: IEEE

Year: 2014

[Title page iii]

Type: Conference Paper

Publisher: IEEE

Year: 2014

Topological and textural features for off-line signature verification based on artificial immune algorithm

Type: Conference Paper

Author : Serdouk, Yasmine; Nemmour, Hassiba; Chibani, Youcef

Publisher: IEEE

Year: 2014

A reproducible application to B-MODE transcranial ultrasound images based on echogenicity evaluation analysis in selectable area of interest

Type: Conference Paper

Author : Blahuta, Jiri; Cermak, Petr; Vecerek, Michal

Publisher: IEEE

Year: 2014

DiAMOND:Distributed alteration of messages for on-chip network debug

Type: Conference Paper

Author : Abdel-Khalek, Rawan; Bertacco, Valeria

Publisher: IEEE

Year: 2014

Robust resource allocation in wireless localization networks

Type: Conference Paper

Author : Li, Wen; Zhang, Tingting; Shen, Yuan; Molisch, Andreas F.; Zhang, Qinyu

Publisher: IEEE

Year: 2014

Author index

Type: Conference Paper

Publisher: IEEE

Year: 2014

Arithmetic computation using self-assembly of DNA tiles: Integer power over finite field GF(2<sup>n</sup>)

Type: Conference Paper

Author : Li, Yongnan; Xiao, Limin

Publisher: IEEE

Year: 2014

Exponential stability of interval Cohen-Grossberg neural networks with inverse Lipschitz activation and mixed delays

Type: Conference Paper

Author : Qin, Sitian; Shi, Xin; Chen, Guofang; Xu, Jingxue

Publisher: IEEE

Year: 2014

Smart Grid security: Deriving informed decisions from cyber attack game analysis

Type: Conference Paper

Author : Hewett, Rattikorn; Rudrapattana, Sudeeptha; Kijsanayothin, Phongphun

Publisher: IEEE

Year: 2014

Search

Catamorphism Generation and Fusion Using Coq

[Title page iii]

Topological and textural features for off-line signature verification based on artificial immune algorithm

A reproducible application to B-MODE transcranial ultrasound images based on echogenicity evaluation analysis in selectable area of interest

DiAMOND:Distributed alteration of messages for on-chip network debug

Robust resource allocation in wireless localization networks

Author index

Arithmetic computation using self-assembly of DNA tiles: Integer power over finite field GF(2<sup>n</sup>)

Exponential stability of interval Cohen-Grossberg neural networks with inverse Lipschitz activation and mixed delays

Smart Grid security: Deriving informed decisions from cyber attack game analysis

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

Catamorphism Generation and Fusion Using Coq

[Title page iii]

Topological and textural features for off-line signature verification based on artificial immune algorithm

A reproducible application to B-MODE transcranial ultrasound images based on echogenicity evaluation analysis in selectable area of interest

DiAMOND:Distributed alteration of messages for on-chip network debug

Robust resource allocation in wireless localization networks

Author index

Arithmetic computation using self-assembly of DNA tiles: Integer power over finite field GF(2<sup>n</sup>)

Exponential stability of interval Cohen-Grossberg neural networks with inverse Lipschitz activation and mixed delays

Smart Grid security: Deriving informed decisions from cyber attack game analysis