Search results: Sage Journals

Open accessResearch articleFirst published June, 2014

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

Ruben Martins, Saurabh Joshi, Vasco Manquinho [...]

Journal on Satisfiability,Boolean Modelling and Computation

Restricted accessResearch articleFirst published April, 2016

Vu Anh Huynh, Sertac Karaman, Emilio Frazzoli

The International Journal of Robotics Research

Restricted accessResearch articleFirst published December, 2010

Byung Hun Kim, Young Mook Yun

Advances in Structural Engineering

Restricted accessResearch articleFirst published December, 1989

C. Borri, S. Chiostrini

International Journal of Space Structures

Free accessResearch articleFirst published July, 2003

L-M Zhu, H Ding, Y-L Xiong

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

Restricted accessResearch articleFirst published August, 2005

R. Madhavan, E. Messina

Integrated Computer-Aided Engineering

Restricted accessResearch articleFirst published September, 2020

Ovidiu Mihalache, Toshihiko Yamaguchi

International Journal of Applied Electromagnetics and Mechanics

Open accessResearch articleFirst published September, 2013

Zhang Junchao, Chen Junjie, Jiancheng Song [...]

International Journal of Distributed Sensor Networks

Restricted accessResearch articleFirst published November, 2014

João M.M. Duarte, Ana L.N. Fred and, F. Jorge F. Duarte

Intelligent Data Analysis: An International Journal

Open accessResearch articleFirst published March, 2019

Jintu Zhong, Quansheng Yan, Jie Wu [...]

Advances in Mechanical Engineering