Search

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

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

نوع: Conference Paper

نویسنده : Bernardi, Simona; Colom, Jose-Manuel; Albareda, Jorge; Mahulea, Cristian

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Kadkoy, Yazan; Lucanie, Lauren; Mathew, Jency; Readdy, Emily; Hall, Connie L.

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Ikram, S.; Akkawi, I.; Perveiler, J.; Asher, D.; Ellis, J.

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Zhuravlev, V.A.; Meshcheryakov, V.A.

ناشر: IEEE

سال: 2014

Evaluation of ballast fouling using GPR

نوع: Conference Paper

نویسنده : Fontul, S.; Fortunato, E.; De Chiara, F.

ناشر: IEEE

سال: 2014

Integrating Data Mining and Data Management Technologies for Scholarly Inquiry

نوع: Conference Paper

نویسنده : Larson, Ray R.; Marciano, Richard; Hou, Chien-Yi; Shreyas; Watry, Paul; Harrison, John; Aguilar, Luis; Fuselier, Jerome

ناشر: IEEE

سال: 2014

[Front cover]

نوع: Conference Paper

ناشر: IEEE

سال: 2014

3D Polarization Projection for WINNER Channel Simulations

نوع: Conference Paper

نویسنده : Pang, Lihua; Zhang, Yang; Ma, Yanjun; Lan, Bing; Li, Jiandong

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Ulewicz, S.; Schutz, D.; Vogel-Heuser, B.

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Hoftberger, O.; Obermaisser, R.

ناشر: IEEE

سال: 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

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

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