Yuki Nishimura

27 papers A 1B 1C 2Misc 1Journal 15Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Collision Avoidance Control for a Two-wheeled Vehicle under Stochastic Vibration using an Almost Sure Control Barrier Function. CoRR Taichi Arimura, Yuki Nishimura, Taichi Ikezaki, Daisuke Tabuchi
2026	B	`conf`	Enumeration of Bases in Matroid with Exponentially Large Ground Set. WALCOM Yuki Nishimura, Kazuya Haraguchi
2025	J	`jnl`	Completeness of tableau calculi for two-dimensional hybrid logics. J. Log. Comput. Yuki Nishimura
2025	J	`jnl`	Enumeration of Bases in Matroid with Exponentially Large Ground Set. CoRR Yuki Nishimura, Kazuya Haraguchi
2025	J	`jnl`	NAO, I Can Read Your Mind: Preschool-Aged Children Construct Theory of Artificial Mind (ToAM). Int. J. Hum. Comput. Interact. Keyu Mao, Zisong Li, Zhongjie Lu, Yuki Nishimura, Tingyu Li
2025	J	`jnl`	Terminating Hybrid Tableaus for Ordered Models. CoRR Yuki Nishimura
2024	—	`conf`	Agent-Knowledge Logic for Alternative Epistemic Logic. NCL Yuki Nishimura
2024	J	`jnl`	Completeness and Termination of Tableau Calculus for Undirected Graphs. CoRR Yuki Nishimura, Tsubasa Takagi
2024	—	`conf`	Metal Thickness Measurement Module with Scotch Yoke Mechanism for Tank Inspections. AIM Yuki Nishimura, Tao Zheng, Wei Song
2024	J	`jnl`	Propeller-Type Wall-Climbing Robot for Visual and Hammering Inspection of Concrete Surfaces. IEEE Access Yuki Nishimura, Hiromi Mochiyama, Tomoyuki Yamaguchi
2024	—	`conf`	Racial and Neighborhood Disparities in Legal Financial Obligations in Jefferson County, Alabama. AIES (1) Óscar Lara Yejas, Aakanksha Joshi, Andrew Martinez, Leah Nelson, Skyler Speakman, Krysten Thompson, Yuki Nishimura, Jordan Bond, Kush R. Varshney
2024	J	`jnl`	Special issue on recent advances in nonlinear robot control technology (Part II). Adv. Robotics Takeshi Hatanaka, Yuki Nishimura, Masaaki Nagahara, Satoshi Satoh, Kazuma Sekiguchi, Hyo-Sung Ahn, José M. Maestre, Srikant Sukumar, Gennaro Notomista
2024	J	`jnl`	Special issue on recent advances in nonlinear robot control technology (part I). Adv. Robotics Takeshi Hatanaka, Yuki Nishimura, Masaaki Nagahara, Satoshi Satoh, Kazuma Sekiguchi, Hyo-Sung Ahn, José María Maestre, Srikant Sukumar, Gennaro Notomista
2024	J	`jnl`	Telepresence Observation for Kindergarten Classroom Rating: A Pilot Study. IEEE Access Zhongjie Lu, Yuki Nishimura
2023	J	`jnl`	Grass Cutting Robot for Inclined Surfaces in Hilly and Mountainous Areas. Sensors Yuki Nishimura, Tomoyuki Yamaguchi
2023	J	`jnl`	WeMo: A Prototype of a Wearable Mobility Device Adapting to User's Natural Posture Changes. Sensors Yang Chen, Takashi Kuwahara, Yuki Nishimura, Kenji Suzuki
2022	J	`jnl`	Automated Hammering Inspection System With Multi-Copter Type Mobile Robot for Concrete Structures. IEEE Robotics Autom. Lett. Yuki Nishimura, Shuki Takahashi, Hiromi Mochiyama, Tomoyuki Yamaguchi
2022	J	`jnl`	Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics. CoRR Yuki Nishimura
2021	—	`conf`	A 10-bit Current-Steering DAC for Urinary Bladder Volume Measurement. APCCAS Yuki Nishimura, Akio Shimizu, Takuro Noguchi, Yohei Ishikawa, Sumio Fukai
2020	—	`conf`	Development of Multi-copter System on Concrete Surfaces with Outer Frame and Wind Speed Sensors SII Yuki Nishimura, Makoto Sakamoto, Tomoyuki Yamaguchi
2020	A	`conf`	Development of a Steep Slope Mobile Robot with Propulsion Adhesion IROS Yuki Nishimura, Tomoyuki Yamaguchi
2020	—	`conf`	Extremum Seeking Control for Wastewater Treatment Plant with Prioritized Output Constraints. SICE Yuta Onishi, Osamu Yamanaka, Yuki Nishimura, Keitaro Kato, Koichi Hidaka, Naoki Fukuda, Hiromitsu Ohmori
2016	Misc	`conf`	A System for Phylogenetic Analyses over Alignments of Next Generation Sequence Data. CISIS Yuki Nishimura, Toshiyuki Amagasa, Yuji Inagaki, Tetsuo Hashimoto, Hiroyuki Kitagawa
2016	—	`conf`	Learning Adaptive Escape Behavior for Wheel-Legged Robot by Inner Torque Information. SCIS&ISIS Yuki Nishimura, Sadayoshi Mikami
2015	J	`jnl`	Stabilization by Unbounded-Variation Noises. CoRR Yuki Nishimura
2014	C	`conf`	Control design of active dynamic vibration absorber based on homogeneous control Lyapunov functions. CCA Yuji Ishimaru, Yuki Nishimura, Eiji Kondo, Mitsuhiro Nakao
2004	C	`conf`	A Dynamic Checkpointing Scheme Based on Reinforcement Learning. PRDC Hiroyuki Okamura, Yuki Nishimura, Tadashi Dohi