Search results: Sage Journals

Restricted accessResearch articleFirst published November, 2008

Automatic software verification for robotics

Jacopo Mantovani

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published November, 1994

David W. Gledhill

SIMULATION

Restricted accessResearch articleFirst published February, 2011

Jiacun Wang, Xianzhong Zhou, Junhua Ding

Transactions of the Institute of Measurement and Control

Open accessResearch articleFirst published February, 2009

Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak

Journal on Satisfiability,Boolean Modelling and Computation

Restricted accessResearch articleFirst published December 16, 2014

Joseph A. Akinyele, Matthew Green, Susan Hohenberger [...]

Journal of Computer Security

Free accessResearch articleFirst published March, 2024

Monica N.M. Cudjoe

Mining Technology: Transactions of the Institutions of Mining and Metallurgy

Restricted accessResearch articleFirst published January, 1995

Mary Lou Cardie, Nancy G. Tucker

Therapeutic Innovation & Regulatory Science

Restricted accessResearch articleFirst published October, 2023

Yixuan Wang, Xinjian Yang, Wei Zhu [...]

Interventional Neuroradiology

Restricted accessResearch articleFirst published June, 1994

L. Bellia, A. Cesarano, S. Sibilio

Lighting Research & Technology

Restricted accessResearch articleFirst published March, 2018

Nika Guberina, Saravanabavaan Suntharalingam, Kai Naßenstein [...]

Acta Radiologica