Katsumi Sasaki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2018

RSSI-Based Living-Body Radar Using Single RF Front-End and Tunable Parasitic AntennasKatsumi Sasaki, Naoki Honma, Takeshi Nakayama, Shoichi Iizuka. ieicet, 101-B(2):392-399, 2018. [doi]

2016

Tourist Information System Based on Beacon and Augumented Reality TechnologiesYoshitaka Shibata, Katsumi Sasaki. nbis 2016: 410-413 [doi]

2013

Pneumatic Servo Bearing Actuator with Multiple Bearing Pads for Ultraprecise PositioningShuhei Tsujimura, Yusuke Hashimoto, Takashi Matsuoka, Tomoko Hirayama, Katsumi Sasaki. ijat, 7(5):498-505, 2013. [doi]

2010

Formulas in Modal Logic S4Katsumi Sasaki. rsl, 3(4):600-627, 2010. [doi]

2009

Development of Pneumatic Servo Bearing Actuator for Nanometer PositioningMasato Kadotani, Takakazu Kitagawa, Satoshi Katto, Tomoko Hirayama, Takashi Matsuoka, Hiroshi Yabe, Katsumi Sasaki. ijat, 3(3):249-256, 2009. [doi]

2003

A Cut-Free Gentzen Formulation of Basic Propositional CalculusKentaro Kikuchi, Katsumi Sasaki. jolli, 12(2):213-225, 2003.

2002

A Cut-Free Sequent System for the Smallest Interpretability LogicKatsumi Sasaki. sLogica, 70(3):353-372, 2002.

1999

Formalizations for the Consequence Relation of Visser s Propositional LogicKatsumi Sasaki. rml, 33:65-78, 1999. [doi]

1993

The simple substitution property of the intermediate propositional logics on finite slicesKatsumi Sasaki. sLogica, 52(1):41-62, 1993.

1990

The simple substitution property of Gödel's intermediate propositional logics Sn'sKatsumi Sasaki. sLogica, 49(4):471-481, 1990. [doi]

Sign in or sign up to see more results.

runs on WebDSL