SII 2025

260 papers · 0 AI summaries · 2025

AI summary only

255 result(s) for “Formal Methods in System Integration” Page 4 of 6

	Title & Authors	Actions
	Development of an Image Recognition Model Using an Image Search Function Based on Multiple Pre-Trained Models Hirotada Kuragane, Takeshi Sasaki	View PDF
Loading…
	Silence Is Golden - Making Pauses in Human Utterances Comprehensible for Social Robots in Human-Robot Interaction Thomas Sievers	View PDF
Loading…
	Guided Swarm Self-Clustering in Safe Area Sweksha Jain, Leena Vachhani	View PDF
Loading…
	Soil Sample Search in Partially Observable Environments Han Yang, Andrew Dudash	View PDF
Loading…
	Exploring Robot Trajectories in Panoramic Vision-Based Control Using Deep Reinforcement Learning Takieddine Soualhi, Nathan Crombez, Yassine Ruichek, Alexandre Lombard, Stephane Galland	View PDF
Loading…
	Look Ahead Optimization for Managing Nullspace in Cartesian Impedance Control of Dual-Arm Robots Vamsi Krishna Origanti, Adrian Danzglock, Frank Kirchner	View PDF
Loading…
	Conditional NewtonianVAE to Generate Pre-Grasping Actions in Physical Latent Spaces Masaki Ito, Gustavo Alfonso Garcia Ricardez, Ryo Okumura, Tadahiro Taniguchi	View PDF
Loading…
	Real-Time 3D Map Update at Point-Level for LiDAR-Based Localization in Changing Environments Yuhei Oshikubo, Sarthak Pathak, Yonghoon Ji, Kazunori Umeda	View PDF
Loading…
	Tight Clearance Peg-In-Hole Motion Planner Using Gripper with Flexible Joint and Differential Infinity Rotatable Function of Palm Masanori Ueda, Tokuo Tsuji, Tatsuhiro Hiramitsu, Hiroaki Seki, Toshihiro Nishimura, Yosuke Suzuki, Tetsuyou Watanabe	View PDF
Loading…
	6-DoF SLAM in Extremely Dark Environments Considering the Luminescent Properties of Phosphorescent Materials Shunsei Takarabe, Yonghoon Ji	View PDF
Loading…
	Development of a Dropping Motion Presentation Device with Bellows Actuator to Improve the Sensation of Falling in a VR Yuki Ishida, Ryunosuke Sawahashi, Rie Nishihama, Taro Nakamura	View PDF
Loading…
	Worker Tracking Using Skeletal Graphs for Agricultural Support Robot in Narrow Furrows Kosuke Murakami, Akihisa Ohya, Ayanori Yorozu	View PDF
Loading…
	Online Object Localization in a Robotic Hand by Tactile Sensing Ali Hammoud, Mahdi Khoramshahi, Quentin HUET, Véronique Perdereau	View PDF
Loading…
	Effect of Contralateral Cane Use on Whole-Body Angular Momentum in the Frontal Plane During Walking Kodai Kawase, Takahiko Sato, Shoma Kudo, Gen HORIUCHI, Akinori Nagano	View PDF
Loading…
	Implementing Stretch Reflex in Musculoskeletal Robots Driven by Pneumatic Artificial Muscles Using Nonlinear Spring Model Mizuki Yoshida, Junqi Wang, Takumi Kawasetsu, Koh Hosoda	View PDF
Loading…
	Comparison of Nine Deep Regressors in Continuous Blood Pressure Estimation Using Single-Channel Photoplethysmograms under the PulseDB Takumi Yamamoto, Suguru Kanoga, Yuta Sugiura	View PDF
Loading…
	Stepping Ahead with Electrified, Connected and Automated Shuttles in the Test Area Autonomous Driving BW Sven Ochs, Daniel Grimm, Jens Doll, Marc Heinrich, Stefan Orf, Tobias Fleck, Dennis Nienhüser, Miriam Nienhüser, Artur Koch, Thomas Schamm, Ralf Kohlhaas, Steffen Knoop, Peter Biber, Dirk Fratzke, Jakob Kammerer, Ravi Shekhar Jethani, Christian Dewein, Florian Kuhnt, Philip Schörner, Marc René Zofka, Alexander Viehl, Johann Marius Zöllner	View PDF
Loading…
	Manipulability Optimization and Thermal Control of Industrial Robots in Real-Time Using Digital Twins, Augmented Reality, and OPC UA Peter Abt, René Harmann, Eric Guiffo Kaigom	View PDF
Loading…
	Real-Time Calculation of Strain Energy Density in a Fingertip for Haptic Distribution Rendering Kazuya Sase, Haruki Kato, Hikaru Nagano, Masashi Konyo	View PDF
Loading…
	PeCAR: Integrating Penalized Conditional Absolute Regularization Loss Function in ANN for Enhanced Food Spoilage Prediction Accuracy Pandey Shourya Prasad, Barath S Narayan, Madhav Rao	View PDF
Loading…
	Cooperative Wind Disturbance Estimation by Multiple Drones in the Presence of Torque Disturbances Ryotaro Aoyama, Daisuke Tsubakino	View PDF
Loading…
	Estimation of Body Sway Dynamics in a Soft Actuators-based Exercise Game with Squat Motions Priyanka Ramasamy, Koji Shimatani, Yuichi Kurita	View PDF
Loading…
	Estimation of Radiation Source Distribution in RPV Based on Prior Knowledge of Fuel Debris Spreading Hiroki Matsuno, Hanwool Woo	View PDF
Loading…
	Adaptive Absolute-Relative Rating for Noise Rejection in Behavioral Cloning Based on Tsallis Statistics Taisuke Kobayashi, Tadayoshi Aoyama	View PDF
Loading…
	Extraction of Latent Variables for Modeling Subjective Quality in Time-Series Human-Robot Interaction Yoshiaki Mizuchi, Taisuke Kobayashi, Tetsunari Inamura	View PDF
Loading…
	3D Reconstruction Based on Grouping Similar Structures for Images Acquired in the Fukushima Daiichi Nuclear Power Station Takashi Imabuchi, Toshihide Hanari, Kuniaki Kawabata	View PDF
Loading…
	Multi-Fingered Robotic Hand with Shape Flexibility for Expanding the Feasible Range of In-Hand Manipulation Masato Morita, Hikaru Arita, Ayato Kanada, Kenji Tahara	View PDF
Loading…
	Design and Verification of Force Launch Patterns for Reducing Mental Load in Artificial Muscle Assist Devices Hidenori Iwamoto, Yuichi Kurita	View PDF
Loading…
	Discriminative Analysis of Autistic Tendencies at 18 Months of Age Using Eye Gaze Characteristics in 4-, 10-, and 18-Month-Old Infants Rena Ueda, Hirokazu Doi, Akira Furui, Koji Shimatani, Hideaki Hayashi, Toshio Tsuji	View PDF
Loading…
	Fundamental Study on the Influence of Muscle Fatigue on Tonic Vibration Reflex Wenbin LIU, YouWei Chen, Kazuo Kiguchi, Mikhail Svinin	View PDF
Loading…
	Gaussian Gridmaps from Gaussian Processes for WiFi-Based Robot Self-Localization in Outdoor Environments Renato Miyagusuku, Kenta Tabata, Koichi Ozaki	View PDF
Loading…
	Developing a Framework for Natural Human Movement Mimicry of Low-Dynamic Motions in Mobile-Based Humanoids Simon Gormuzov, Yushi Wang, PIN-CHU YANG, Tamon Miyake, Tetsuya Ogata, Shigeki Sugano	View PDF
Loading…
	Identification of Shape Characteristics of the Field of View in Patients with Unilateral Spatial Neglect Using Virtual Reality Environments Akira Koshino, Rikushi Sabu, Kazuhiro Yasuda, Shuntaro Kawaguchi, Hiroyasu Iwata	View PDF
Loading…
	Towards the Automation in the Space Station: Feasibility Study and Ground Tests of a Multi-Limbed Intra Vehicular Robot Seiko Piotr Yamaguchi, Kentaro Uno, Yasumaru Fujii, Masazumi Imai, Kazuki Takada, Kazuya Yoshida	View PDF
Loading…
	Development of a Computational Thinking Learning Tool Using a Railway Toy and Music Tsubasa Ozawa, Mitsuharu Matsumoto	View PDF
Loading…
	Gait sequence upsampling using diffusion models for single LiDAR sensors Jeongho Ahn, Kazuto Nakashima, Koki Yoshino, Yumi Iwashita, Ryo Kurazume	View PDF
Loading…
	Surface Following Using Direct Adaptive Admittance Control Iñigo Iturrate, Emil Lykke Diget, Christoffer Sloth	View PDF
Loading…
	Offline and Online Energy Simulation Using Virtual Commissioning Models with Extended Dynamical Behavior Darius Deubert, Denis Pfeifer, Christian Scheifele, Jörg Fehr, Alexander Verl	View PDF
Loading…
	Investigation on the Use of Polarized Images for Frozen Road Surface Recognition Yuta Ishii, Masataka Fuchida, Keisuke Ozeki, Akio Nakamura	View PDF
Loading…
	Analysis of Brushing Techniques for Quantitative Evaluation of Hairdressers' Skills Katsuya Mori, Atsutoshi Ikeda	View PDF
Loading…
	Development of Pouring Work Training Simulator with Indicating Operation Score for Efficient Skill Acquisition Takumi Miura, Yoshiyuki Noda	View PDF
Loading…
	CNN-Based Motion Planning for Object Storage by Dual-Arm Robot Satoshi Hoshino, Yuusuke Yamada	View PDF
Loading…
	Comparison of Characteristics of Cycloidal Gear Reducer of 20 Different Combinations of Metal and Plastic Parts Hironori Satake, Naoyuki Takesue	View PDF
Loading…
	Stumbling Prediction Method Using an Inertial Sensor to Prevent Falls During Walking Koki Miyata, Ryuichi Hirota, Taku Itami	View PDF
Loading…
	Vision-Based Robotic Assembly from Novel Graphical Instructions Chenxi Wang, Zhenting Wang, Takuya Kiyokawa, Weiwei Wan, Natsuki Yamanobe, Kensuke Harada	View PDF
Loading…
	Verification of the Effect of Design Parameters on the Radius of Curvature of Vine-Like, Power Soft Gripper Hiroto Kodama, Hiroyuki Nabae, Gen Endo, Koichi Suzumori	View PDF
Loading…
	Software-Defined Robotics: Architecture, Information Model, and Implementation Hong Seong Park	View PDF
Loading…
	Analysis, Modeling, and Control of Merging Behavior at Low Speeds Tatsuya Ishiguro, Hiroyuki Okuda, Kenta Tominaga, Tatsuya Suzuki	View PDF
Loading…
	Development of Unmanned Surface Vehicle "i-Boat2" for Inspection of Underside of Pier and Its Autonomous Navigation Experiments Sunao Nakamaru, Yuma Yabuki, Aki Yokoyama, Naoyuki Takesue, Kenichi Mizuno, Takahiro Sakai, Osamu Taniguchi	View PDF
Loading…
	Cooperative Grasping and Transportation Using Multi-Agent Reinforcement Learning with Ternary Force Representation Ing-Sheng Bernard-Tiong, Yoshihisa Tsurumine, Ryosuke Sota, Kazuki Shibata, Takamitsu Matsubara	View PDF
Loading…