Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021

Coverability,Termination,and Finiteness in Recursive Petri Nets

Alain Finkel, Serge Haddad, Igor Khmelnitsky

Fundamenta Informaticae

Retricted access

Research article

First published 2011-11

Finitely recursive programs: Decidability and bottom–up computation

Francesco Calimeri, Susanna Cozza, Giovambattista Ianni [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2023-2

Adaptive finite-time disturbance observer-based recursive fractional-order sliding mode control of redundantly actuated cable driving parallel robots under disturbances and input saturation

Zhengsheng Chen, Xuesong Wang, Yuhu Cheng

Journal of Vibration and Control

Retricted access

Research article

First published 2011-2

On the decidability of FDNC programs

Piero A. Bonatti

Intelligenza Artificiale

Retricted access

Research article

First published 2014-10

P Colonies Processing Strings

Luděk Cienciala, Lucie Ciencialová, Erzsébet Csuhaj-Varjú

Fundamenta Informaticae

Retricted access

Research article

First published 2019-6

Receding horizon observer for linear time-varying systems

Atif Qayyum, Muhammad Salman, Mohammad Bilal Malik

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2008-3

Parallel numerical simulation with domain decomposition for the fluid-filled drum crash

Z Li, X-L Jin, X-D Chen

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

Retricted access

Research article

First published 2006-9

Analysis of vibration levels of large structural system with recursive component mode synthesis method: Theory and convergence

C W Kim

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

Retricted access

Research article

First published 2013-9

Statistical Analysis of Basic Dynamic Characteristics of Large Span Cable-Stayed Bridge Based on High Order Perturbation Stochastic FEM

Bin Huang, Roohollah Fallahi Seresh, Liping Zhu

Advances in Structural Engineering

Free access

Research article

First published 1998-3

Finite element analysis for precision cold forging of helical gear using recurrent boundary conditions

Y B Park, D Y Yang

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

Search results