Yoshinori Shigeta

发表

PROVING TERMINATION OF ω REWRITING SYSTEMS

Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa, 2001 .

Semantic Interpretation by Rule-based Equivalent Transformation

Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike, 2000, Artificial Intelligence and Soft Computing.

Sensitivity of electricity consumption to air temperature, air humidity and solar radiation at the city-block scale in Osaka, Japan

Tomohiko Ihara, Yuki Hashimoto, Yoshinori Shigeta, 2019 .

Converting Constraint Handling Rules to Equivalent Transformation Rules

Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike, 2006, J. Adv. Comput. Intell. Intell. Informatics.

Lever lock plug connection

Tetsuya Yamashita, Yoshinori Shigeta, 2004 .

Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems

Kiyoshi Akama, Yoshinori Shigeta, Hidemi Ogasawara, 2004, IC-AI.

Synthesis of Conversion Rules by Expanding Knowledge Representation

Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike, 2000, Artificial Intelligence and Soft Computing.

Unreachability Proofs for ß Rewriting Systems by Homomorphisms

Kiyoshi Akama, Eiichi Miyamoto, Yoshinori Shigeta, 1999 .

ANALYSIS AND DISCUSSION OF SENSITIVITIES OF ELECTRICITY CONSUMPTION TO OUTDOOR AIR TEMPERATURE AND OUTDOOR AIR HUMIDITY IN BUSINESS AND RESIDENTIAL DISTRICTS IN CITY-BLOCK-SCALE: －Over observation in Osaka city, 2013－@@@－2013年・大阪市内の観測を通して－

Tomohiko Ihara, Yuki Hashimoto, Yoshinori Shigeta, 2016 .

Unreachability for a Class of Rewriting Systems using Two Homomorphisms

Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike, 2000, Artificial Intelligence and Soft Computing.

A Comparison of Constraint Handling Rules with Equivalent Transformation Rules

Kiyoshi Akama, Takahiko Ishikawa, Yoshinori Shigeta, 2004, MSV/AMCS.

Common Structure of Semi-Thue Systems, Petri Nets, and Other Rewriting Systems

Kiyoshi Akama, Eiichi Miyamoto, Yoshinori Shigeta, 1997 .

Equivalent Transformation of Member Constraints on Interval-Variable Domain

Hidekatsu Koike, Kiyoshi Akama, Yoshinori Shigeta, 1998 .

On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model

Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani, 2004, MSV/AMCS.

Observed and simulated sensitivities of summertime urban surface air temperatures to anthropogenic heat in downtown areas of two Japanese Major Cities, Tokyo and Osaka

Tomohiko Ihara, Yoshinori Shigeta, Yukitaka Ohashi, 2014, Theoretical and Applied Climatology.