Search

Now showing items 1-10 of 10

A model-based approach for the specification and verification of clinical guidelines

Type: Conference Paper

Author : Bernardi, Simona; Colom, Jose-Manuel; Albareda, Jorge; Mahulea, Cristian

Publisher: IEEE

Year: 2014

A novel approach to delivering an SMP device using a Joule-heating catheter for the treatment of fusiform aneurysms

Type: Conference Paper

Author : Kadkoy, Yazan; Lucanie, Lauren; Mathew, Jency; Readdy, Emily; Hall, Connie L.

Publisher: IEEE

Year: 2014

A framework for specifying, modeling, implementation and verification of SOC protocols

Type: Conference Paper

Author : Ikram, S.; Akkawi, I.; Perveiler, J.; Asher, D.; Ellis, J.

Publisher: IEEE

Year: 2014

Magnetic susceptibility tensor of the composite material consisting of single-domain magnetic particles with uniaxial magnetic anisotropy

Type: Conference Paper

Author : Zhuravlev, V.A.; Meshcheryakov, V.A.

Publisher: IEEE

Year: 2014

Evaluation of ballast fouling using GPR

Type: Conference Paper

Author : Fontul, S.; Fortunato, E.; De Chiara, F.

Publisher: IEEE

Year: 2014

Integrating Data Mining and Data Management Technologies for Scholarly Inquiry

Type: Conference Paper

Author : Larson, Ray R.; Marciano, Richard; Hou, Chien-Yi; Shreyas; Watry, Paul; Harrison, John; Aguilar, Luis; Fuselier, Jerome

Publisher: IEEE

Year: 2014

[Front cover]

Type: Conference Paper

Publisher: IEEE

Year: 2014

3D Polarization Projection for WINNER Channel Simulations

Type: Conference Paper

Author : Pang, Lihua; Zhang, Yang; Ma, Yanjun; Lan, Bing; Li, Jiandong

Publisher: IEEE

Year: 2014

Integration of distributed hybrid multi-agent systems into an industrial IT environment: Improving interconnectivity of industrial IT systems to the shop floor

Type: Conference Paper

Author : Ulewicz, S.; Schutz, D.; Vogel-Heuser, B.

Publisher: IEEE

Year: 2014

Runtime evaluation of ontology-based reconfiguration of distributed embedded real-time systems

Type: Conference Paper

Author : Hoftberger, O.; Obermaisser, R.

Publisher: IEEE

Year: 2014

Search

A model-based approach for the specification and verification of clinical guidelines

A novel approach to delivering an SMP device using a Joule-heating catheter for the treatment of fusiform aneurysms

A framework for specifying, modeling, implementation and verification of SOC protocols

Magnetic susceptibility tensor of the composite material consisting of single-domain magnetic particles with uniaxial magnetic anisotropy

Evaluation of ballast fouling using GPR

Integrating Data Mining and Data Management Technologies for Scholarly Inquiry

[Front cover]

3D Polarization Projection for WINNER Channel Simulations

Integration of distributed hybrid multi-agent systems into an industrial IT environment: Improving interconnectivity of industrial IT systems to the shop floor

Runtime evaluation of ontology-based reconfiguration of distributed embedded real-time systems

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

A model-based approach for the specification and verification of clinical guidelines

A novel approach to delivering an SMP device using a Joule-heating catheter for the treatment of fusiform aneurysms

A framework for specifying, modeling, implementation and verification of SOC protocols

Magnetic susceptibility tensor of the composite material consisting of single-domain magnetic particles with uniaxial magnetic anisotropy

Evaluation of ballast fouling using GPR

Integrating Data Mining and Data Management Technologies for Scholarly Inquiry

[Front cover]

3D Polarization Projection for WINNER Channel Simulations

Integration of distributed hybrid multi-agent systems into an industrial IT environment: Improving interconnectivity of industrial IT systems to the shop floor

Runtime evaluation of ontology-based reconfiguration of distributed embedded real-time systems