1 citations · 2 across the 6 of their papers we have counts for
6 papers
An Experiment of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic
Ruo Ando, Yoshiyasu Takefuji
In this paper, we present an experiment of our randomized hints strategy of automated reasoning for yielding Axiom(5) from Axiom(1)(2)(3)(4) of Infinite-Valued Lukasiewicz Logic. I…
An experiment of the complexity of sliding block puzzles by 2D heat flow in paramodulation
Ruo Ando, Yoshiyasu Takefuji
In this paper, we present a curious experiment with the hot list strategy in solving sliding block puzzles by paramodulation. The hot list strategy is one of the look-ahead strateg…
Choice of Parallelism: Multi-GPU Driven Pipeline for Huge Academic Backbone Network
Ruo Ando, Youki Kadobayashi, Hiroki Takakura
Science Information Network (SINET) is a Japanese academic backbone network for more than 800 research institutions and universities. In this paper, we present a multi-GPU-driven p…
A new perspective of paramodulation complexity by solving massive 8 puzzles
Ruo Ando, Yoshiyasu Takefuji
A sliding puzzle is a combination puzzle where a player slide pieces along certain routes on a board to reach a certain end-configuration. In this paper, we propose a novel measure…
A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem
Ruo Ando, Yoshiyasu Takefuji
Generally, negation-limited inverters problem is known as a puzzle of constructing an inverter with AND gates and OR gates and a few inverters. In this paper, we introduce a curiou…
A constrained recursion algorithm for batch normalization of tree-sturctured LSTM
Ruo Ando, Yoshiyasu Takefuji
Tree-structured LSTM is promising way to consider long-distance interaction over hierarchies. However, there have been few research efforts on the hyperparameter tuning of the cons…