Katsumi Sasaki

Publication Activity (10 Years)

Years Active: 1990-2018
Publications (10 Years): 2

Top Topics

Web Technologies

Signal Strength

Top Venues

IEICE Trans. Commun.

Int. J. Autom. Technol.

Publications

Katsumi Sasaki, Naoki Honma, Takeshi Nakayama, Shoichi Iizuka
RSSI-Based Living-Body Radar Using Single RF Front-End and Tunable Parasitic Antennas. IEICE Trans. Commun. (2) (2018)
Yoshitaka Shibata, Katsumi Sasaki
Tourist Information System Based on Beacon and Augumented Reality Technologies. NBiS (2016)
Shuhei Tsujimura, Yusuke Hashimoto, Takashi Matsuoka, Tomoko Hirayama, Katsumi Sasaki
Pneumatic Servo Bearing Actuator with Multiple Bearing Pads for Ultraprecise Positioning. Int. J. Autom. Technol. 7 (5) (2013)
Katsumi Sasaki
Formulas in Modal Logic S4. Rev. Symb. Log. 3 (4) (2010)
Masato Kadotani, Takakazu Kitagawa, Satoshi Katto, Tomoko Hirayama, Takashi Matsuoka, Hiroshi Yabe, Katsumi Sasaki
Development of Pneumatic Servo Bearing Actuator for Nanometer Positioning. Int. J. Autom. Technol. 3 (3) (2009)
Kentaro Kikuchi, Katsumi Sasaki
A Cut-Free Gentzen Formulation of Basic Propositional Calculus. J. Log. Lang. Inf. 12 (2) (2003)
Katsumi Sasaki
A Cut-Free Sequent System for the Smallest Interpretability Logic. Stud Logica 70 (3) (2002)
Katsumi Sasaki
Formalizations for the Consequence Relation of Visser's Propositional Logic. Reports Math. Log. 33 (1999)
Katsumi Sasaki
The simple substitution property of the intermediate propositional logics on finite slices. Stud Logica 52 (1) (1993)
Katsumi Sasaki
The simple substitution property of Gödel's intermediate propositional logics Sn's. Stud Logica 49 (4) (1990)