Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-3-4

Branching-Time Model Checking Gap-Order Constraint Systems

Richard Mayr, Patrick Totzke

Fundamenta Informaticae

Retricted access

Research article

First published 2024-06

A Branch-and-Bound Algorithm for the Molecular Ordered Covering Problem

Michael Souza, Nilton Maia, Rômulo S. Marques [...]

Journal of Computational Biology

Retricted access

Note

First published 2020-3

Discussion of Hwang and Chen's constraint equations to eliminate order,circuit and branch defects for the paper: Defect-free synthesis of Stephenson-III motion generators,published in Journal of Mechanical Engineering Science,2008;222: 2485–2494

Wen-Yi Lin

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

Retricted access

Research article

First published 2000-8

Improving Partial Order Reductions for Universal Branching Time Properties

Wojciech Penczek, Maciej Szreter, Rob Gerth [...]

Fundamenta Informaticae

Retricted access

Other

First published 2008-9

Ultrasound-Guided Ganglion Cyst Aspiration

Gregory R. Saboeiro, Carolyn M. Sofka

HSS Journal®: The Musculoskeletal Journal of Hospital for Special Surgery

Retricted access

Research article

First published 2008-12

Defect-free synthesis of Stephenson-III motion generators

W-M Hwang, Y-J Chen

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

Retricted access

Research article

First published 1980-10

The Abdominohypogastric Flap — an Axial Pattern Flap for Forearm Coverage

James D. Schlenker, Erdogan Atasoy, Janice W. Lyon

Journal of Hand Surgery (European Volume)

Retricted access

Research article

First published 2010-6

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

Vince Bárány, Łukasz Kaiser, Alex Rabinovich

Fundamenta Informaticae

Retricted access

Research article

First published 2024-10

Experimental study on leakage location of branched pipelines based on acoustic propagation characteristics

Si-Liang Zhao, Shao-Gang Liu, Dan Zhao [...]

Proceedings of the Institution of Mechanical Engineers,Part E: Journal of Process Mechanical Engineering

Open access

Research article

First published 2017-5

Branch localization method based on the skeleton feature extraction and stereo matching for apple harvesting robot

Wei Ji, Xiangli Meng, Zhijie Qian [...]

International Journal of Advanced Robotic Systems

Search results