Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-11

Biometric verification by palmprint using contourlet transform

Hedieh Sajedi

Intelligent Decision Technologies

Retricted access

Research article

First published 2012-1

A model of the kinetics of the temperature-induced phase transformation in NiTi alloys and its experimental verification

Kostyantyn Malukhin, Kornel Ehmann

Journal of Intelligent Material Systems and Structures

Retricted access

Research article

First published 2011-2

Program transformation for development,verification,and synthesis of programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2011-2

A valuable experience in logic programming

Annalisa Bossi, Nicoletta Cocco

Intelligenza Artificiale

Retricted access

Research article

First published 2010-07

Towards Formal Analysis of Multi-paradigm Model Transformations

Márk Asztalos, István Madari, László Lengyel

SIMULATION

Retricted access

Research article

First published 2012-10

Improving Reachability Analysis of Infinite State Systems by Specialization

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2020-12

A DEVS-based pivotal modeling formalism and its verification and validation framework

Kehinde G Samuel, Nourou-Dine M Bouare, Oumar Maïga [...]

SIMULATION

Retricted access

Research article

First published 2013-8

Controlling Polyvariance for Specialization-based Verification

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2022-2

Magneto-thermal coupling simulation and experimental verification for a three-winding high-frequency transformer

Yadi Xu, Lin Li, Xuan Yuan

International Journal of Applied Electromagnetics and Mechanics

Free access

Brief report

First published 2007-5

Color Transformation and Fluorescence of Prussian Blue–Positive Cells: Implications for Histologic Verification of Cells Labeled with Superparamagnetic Iron Oxide Nanoparticles

Joseph A. Frank, Heather Kalish, E. Kay Jordan [...]

Molecular Imaging

Search results