Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
Eric Wang, Yong Se Kim, Hak Soo Kim, Jin Hyun Son,...
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
Motivated by the need for methods to aid the deformable registration of brain tumor images, we present a three-dimensional (3D) mechanical model for simulating large non-linear def...
— The purpose of this study was to develop a product design model for impact toughness estimation of low-alloy steel plates. Based on these estimates, the rejection probability o...
This paper studies mathematical models of biopolymer supramolecular aggregates that are formed by the self-assembly of single monomers. We develop a new multiscale numerical appro...
Lei Zhang, Leonid Berlyand, Maxim V. Fedorov, Houm...