Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
It is well known that Petri nets constitute the algebraic structure of quantales, which can be models of linear logic. As a timed extension to quantales, timed R-monoids are defined, which are… Expand
Abstract In this paper, an efficient numerical model for the dynamic interaction analysis of a Shinkansen train (bullet train) and railway structure is given. The motion of a Shinkansen train is… Expand
Lipid chemical mediator resolvins with highly potent anti-inflammatory activity can be leads to develop novel anti-inflammatory drugs; however, they are unstable in oxygen due to their characteristic… Expand
Carbohydrate antigen 19-9 (CA19-9) is a well-known tumor marker for pancreatic cancer. Although the CA19-9 level is measured using anti-sialyl Lewis A antibodies, it remains unknown which molecules… Expand
Abstract A finite element procedure is presented to solve the problem of dynamic interaction between a train and a bridge. The equations of the motion are derived. A modal method is proposed for the… Expand
DIASTARS is a computer simulation program designed to analyze the dynamic interaction between a vehicle and a structure. This paper describes how the running safety of high speed railway vehicles on… Expand
An efficient computational method to solve combined motion of a Shinkansen train (bullet train in Japan) and the railway structure during an earthquake is given. The motion of the train is expressed… Expand
Much thinking about digital cities is in terms of community groups. Yet, the world is composed of social networks and not of groups. This paper traces how communities have changed from densely-knit… Expand
A preparative method for an optically active bromomethylenecyclopropane unit and its practical conversion to (Z)-cyclopropane-containing chiral compounds via Suzuki-Miyaura coupling were established.
Introduction: Digital Cities Research and Open Issues.- Introduction: Digital Cities Research and Open Issues.- Concepts and Theory.- Little Boxes, Glocalization, and Networked Individualism.-… Expand