Sage Journals: Discover world-class research

Retricted access

Research article

First published 2013-9

Effects of the design parameters on the synthesis of Geneva mechanisms

Giorgio Figliolini, Pierluigi Rea

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

Retricted access

Research article

First published 2024-09-20

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets

Jaime Arias, Kyungmin Bae, Carlos Olarte [...]

Fundamenta Informaticae

Open access

Research article

First published 2017-1

Network synthesis and parameter optimization for vehicle suspension with inerter

Long Chen, Changning Liu, Wei Liu [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2026

A novel approach to reduced-dimensional trajectory optimization synthesis of four-bar linkages based on Fourier harmonic characteristic parameters

Chennan Yu, Yonghong Wu, Kun Yao [...]

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

Retricted access

Research article

First published 2014-9

Parameter Synthesis for Timed Kripke Structures

Michał Knapik, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2021-7

Determination of optimal positive position feedback parameters by using nonsmooth H∞ synthesis

Bin E, Jinjun Shan, Muhammad Atif Khushnood [...]

Journal of Vibration and Control

Retricted access

Research article

First published 2021

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction *

Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen

Fundamenta Informaticae

Free access

Research article

First published 2014-11

Statistical parametric speech synthesis with a novel codebook-based excitation model

Tamás Gábor Csapó, Géza Németh

Intelligent Decision Technologies

Retricted access

Research article

First published 2010-03

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology

Alexandre Donzé, Gilles Clermont, Christopher J. Langmead

Journal of Computational Biology

Retricted access

Review article

First published 1993-9

Kinematic Synthesis of RRSS Spatial Motion Generators using Euler Parameters and Quaternion Algebra

K-W Lee, Y-S Yoon

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

Search results