Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-2

Uniform verification of workflow soundness

Kamel Barkaoui, Rahma Ben Ayed

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published

Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach

Davide Ancona, Daniela Briola, Angelo Ferrando [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2023-7

Practical robust control design and experimental validation of modular jointed cooperative robots with inequality constraints

XiuYu Li, ShengChao Zhen, XiaoLi Liu [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2011-10

Robust design of NMR magnet through worst case analysis

Angelo Ambrisi, Alessandro Formisano, Raffaele Martone

International Journal of Applied Electromagnetics and Mechanics

Retricted access

Research article

First published 2015-11

A modified mesh refinement procedure for 2D magnetic field analysis using surface current method (SCM)

Mehdi Arehpanahi, Reza Namdar

International Journal of Applied Electromagnetics and Mechanics

Retricted access

Research article

First published 1987-10

Development of Problem-Solving Strategies in Repeated Sentence-Verification Tasks

John G. E. Harpur, Heather M. A. Macleod, Joy V. Decker

Perceptual and Motor Skills

Retricted access

Research article

First published 2025-12

Constraint-following control design for nonlinear underactuated belt conveyors with uncertainty

Chenming Li, Qiying Li, Yanbo Yue [...]

Journal of Vibration and Control

Free access

Research article

First published 2014-3

Development of a novel adaptive nonuniform rational basis spline interpolator with limited kinematic error for hexapod machine tools

Davoud Karimi, Mohammad J Nategh

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 2005-10

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 2022-5

Discrete singular convolution–polynomial chaos expansion method for free vibration analysis of non-uniform uncertain beams

Abdullah Seçgin, Murat Kara, Neil Ferguson

Journal of Vibration and Control

Search results