Sage Journals: Discover world-class research

Open access

Research article

First published 2019-1

Fast terminal sliding mode tracking control of nonlinear uncertain mass–spring system with experimental verifications

Saeed Amirkhani, Saleh Mobayen, Nahal Iliaee [...]

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2023-1

Verification of administrative data to measure palliative care at terminal hospital stays

Joanne M Stubbs, Hassan Assareh, Helen M Achat [...]

Health Information Management Journal

Retricted access

Research article

First published 2024-1

Tansig type NLESO-based integral terminal sliding mode control for modular robot manipulators with uncertain disturbance: Theory and experimental verification

Bo Dong, Yuxin Cao, Yiming Cui [...]

Transactions of the Institute of Measurement and Control

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-8

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Marco Montali, Paolo Torroni, Federico Chesani [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2008-8

Speed estimation with saliency of synchronous reluctance motor

Joonseon Ahn, Jae-Hak Choi, Sung Chul Go [...]

International Journal of Applied Electromagnetics and Mechanics

Retricted access

Research article

First published 2006-11

Formal description and verification of MAS interaction protocols

Hongbing Chen, Qun Yang, Qianmu Li [...]

Multiagent and Grid Systems

Retricted access

Research article

First published 2023-3

Assuring Quality of Pedestrian Behavior Results Derived From Simulation Models Applied to Airport Terminals

Diogo José Vieira, Evandro José da Silva, Claudio Jorge Pinto Alves [...]

Transportation Research Record: Journal of the Transportation Research Board

Open access

Research article

First published 2022-6

Joint timeliness and security provisioning for enhancement of dependability in Internet of Vehicle system

Tao Jing, Hengyu Yu, Xiaoxuan Wang [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2021

Stubborn Sets,Frozen Actions,and Fair Testing

Antti Valmari, Walter Vogler

Fundamenta Informaticae

Search results