- Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
:
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. FLOPS 2022: 57-74 - Tetsuya Tanaka, Madoka Chosokabe
, Keishi Tanimoto, Satoshi Tsuchiya:
Visualization of the Social Atmosphere Using Comments on News Sites. GDN 2022: 105-114 - Matthew Pacailler, Sarah Yahoodik, Tetsuya Sato, Jeremiah G. Ammons, Jeremiah D. Still:
Human-Centered Artificial Intelligence: Beyond a Two-Dimensional Framework. HCI (43) 2022: 471-482 - Yang Chen, Tetsuya Sato, Takayuki Shiina:
A cutting-plane solution for chance-constrained unit commitment problems. IIAI-AAI 2022: 641-646 - Yusuke Ishitani, Tetsuya Sato, Takayuki Shiina, Ryunosuke Hamada:
Solving stochastic integer-programming problems in electric bus introduction planning. IIAI-AAI 2022: 615-620 - Taichi Kawamura, Tetsuya Sato, Takayuki Shiina:
Multi-product Inventory Routing Problem Considering Demand Uncertainty. IIAI-AAI 2022: 621-626 - Takuma Ohzeki, Tetsuya Sato, Takayuki Shiina, Ryunosuke Hamada:
Operational Planning of Fixed-Route Buses Considering the Charging of Electric Cars. IIAI-AAI 2022: 597-602 - Tetsuya Sato, Takayuki Shiina, Ryunosuke Hamada:
Optimization of EV bus charging schedule by stochastic programming. IIAI-AAI 2022: 627-632 - Kayoko Narazaki, Tomiya Kimura, Mizuho Sato, Midori Sugihara, Tetsuya Toma:
A Food Supply Chain Model Directing Food Loss and Waste to Kodomo-Shokudos. TE 2022: 164-172 - Hiroki Yasuda, Toshinori Suzuki, Satoshi Tanaka, Takamitsu Aiba, Tomohiro Wakabayashi, Tetsuya Kawanishi:
Coverage Extension of 28 GHz Band Uplink Signals Inside Vehicle Using Analog Radio over Multi-Mode Fiber. OECC/PSC 2022: 1-3 - Toshinori Kuwahara
, Alperen Pala, Adrien Potier, Yoshihiko Shibuya, Yuji Sato, Shinya Fujita, Daisuke Suzuki, Tetsuya Kaneko:
Orbital Demonstration of Gossamer Structure Shape Estimation using Time-of-Flight Camera System. SII 2022: 882-886 - Alperen Pala, Toshinori Kuwahara
, Kohei Takeda, Yoshihiko Shibuya, Yuji Sato, Shinya Fujita, Daisuke Suzuki, Tetsuya Kaneko:
Orbital Maneuver Evaluation of Micro-satellite ALE-1 with a Separable Drag Sail. SII 2022: 877-881 - Pin-Chu Yang, Satoshi Funabashi, Mohammed Al-Sada, Tetsuya Ogata:
Generating Humanoid Robot Motions based on a Procedural Animation IK Rig Method. SII 2022: 491-498 - Masahiro Watanabe, Yu Ozawa, Kenichi Takahashi, Tetsuya Kimura, Kenjiro Tadakuma, Giancarlo Marafioti, Satoshi Tadokoro:
Hardware Design and Tests of Two-Wheeled Robot Platform for Searching Survivors in Debris Cones. SSRR 2022: 277-284 - Satoshi Funabashi, Tomoki Isobe, Fei Hongyi, Atsumu Hiramoto, Alexander Schmitz, Shigeki Sugano, Tetsuya Ogata:
Multi-Fingered In-Hand Manipulation with Various Object Properties Using Graph Convolutional Networks and Distributed Tactile Sensors. CoRR abs/2205.04169 (2022) - Tetsuya Sato, Shin-ya Katsumata:
Divergences on Monads for Relational Program Logics. CoRR abs/2206.05716 (2022) - Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs. CoRR abs/2208.07074 (2022) - Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Formalizing Statistical Causality via Modal Logic. CoRR abs/2210.16751 (2022) - Hiroki Naganuma
, Kartik Ahuja, Shiro Takagi, Tetsuya Motokawa, Rio Yokota, Kohta Ishikawa, Ikuro Sato, Ioannis Mitliagkas:
Empirical Study on Optimizer Selection for Out-of-Distribution Generalization. CoRR abs/2211.08583 (2022) - 2021
- Masahiro Nishihori
, Takashi Izumi, Yoshitaka Nagano, Masaki Sato, Tetsuya Tsukada
, Asuka Elisabeth Kropp, Toshihiko Wakabayashi:
Development and clinical evaluation of a contactless operating interface for three-dimensional image-guided navigation for endovascular neurosurgery. Int. J. Comput. Assist. Radiol. Surg. 16(4): 663-671 (2021) - Alejandro Aguirre
, Gilles Barthe
, Marco Gaboardi, Deepak Garg
, Shin-ya Katsumata
, Tetsuya Sato
:
Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - Namiko Saito
, Tetsuya Ogata
, Satoshi Funabashi
, Hiroki Mori, Shigeki Sugano
:
How to Select and Use Tools? : Active Perception of Target Objects Using Multimodal Deep Learning. IEEE Robotics Autom. Lett. 6(2): 2517-2524 (2021) - Tetsuya Odajima, Yuetsu Kodama, Mitsuhisa Sato:
Performance and power consumption analysis of Arm Scalable Vector Extension. J. Supercomput. 77(6): 5757-5778 (2021) - Chunghan Lee
, Naoyuki Mori, Yasuhiro Ohara, Tetsuya Murakami, Shogo Asaba, Satoru Matsushima:
The Latency Characteristics of GTP-U and SRv6 Stateless Translation on VPP Software Router. COMPSAC 2021: 1429-1436 - Eishi Arima, Yuetsu Kodama, Tetsuya Odajima, Miwako Tsuji
, Mitsuhisa Sato:
Power/Performance/Area Evaluations for Next-Generation HPC Processors using the A64FX Chip. COOL CHIPS 2021: 1-6 - Yuta Goto, Ruben S. Luis, Yusuke Hirota, Satoshi Shinada, Sayaka Nagayama, Asa Higashitani, Tetsuya Kobayashi, Ryohei Fukumoto, Hideaki Furukawa:
MEMS mirror-based 1×4 Core Selective Switch for 12-core fiber with low insertion-loss. ECOC 2021: 1-4 - Marco Gaboardi, Shin-ya Katsumata
, Dominic Orchard
, Tetsuya Sato
:
Graded Hoare Logic and its Categorical Semantics. ESOP 2021: 234-263 - Kaede Nohara, Seiya Sekiwa, Makoto Sato, Takehiko Yamaguchi, Tetsuya Harada:
Development of a Pen-Type Device for SPIDAR-Tablet that Presents Force and Thermal Sensations. HCI (41) 2021: 96-105 - Takahiro Ooshima, Ryuichi Osaki, Shimpei Matsukiyo, Makoto Sato, Takehiko Yamaguchi, Tetsuya Harada:
An HMD-Integrated Haptic Device for Force, Friction, and Thermal Sensations of Fingertip. HCI (41) 2021: 106-114 - Yoshiki Takahashi, Ryosuke Futatsumori, Makoto Sato, Takehiko Yamaguchi, Tetsuya Harada:
Development of SPIDAR-HMD for a Standalone HMD. HCI (41) 2021: 144-156