English
Related papers

Related papers: PHYFU: Fuzzing Modern Physics Simulation Engines

200 papers

Video stabilization is an in-camera processing commonly applied by modern acquisition devices. While significantly improving the visual quality of the resulting videos, it has been shown that such operation typically hinders the forensic…

Computer Vision and Pattern Recognition · Computer Science 2022-08-01 Andrea Montibeller , Cecilia Pasquini , Giulia Boato , Stefano Dell'Anna , Fernando Pérez-González

Tightly coupled SLAM formulations under mixed-rate sensing often bind temporal processing, local geometric association, estimator formulation, and map-update policy into method-specific designs. Such binding makes it difficult to vary one…

Robotics · Computer Science 2026-05-22 Wei Wu , Honglin Chen , Wenhan Cao , Yao Lyu , Shaobing Xu , Kun Jiang , Jiangtao Li , Tao Zhang , Lei Guo , Shengbo Eben Li

While current methods have shown promising progress on estimating 3D human motion from monocular videos, their motion estimates are often physically unrealistic because they mainly consider kinematics. In this paper, we introduce…

Computer Vision and Pattern Recognition · Computer Science 2024-04-09 Yufei Zhang , Jeffrey O. Kephart , Zijun Cui , Qiang Ji

Probabilistic Virtual Fixtures (VFs) enable the adaptive selection of the most suitable haptic feedback for each phase of a task, based on learned or perceived uncertainty. While keeping the human in the loop remains essential, for…

For several decades, the CPU has been the standard model to use in the majority of computing. While the CPU does excel in some areas, heterogeneous computing, such as reconfigurable hardware, is showing increasing potential in areas like…

Hardware Architecture · Computer Science 2021-04-21 Carl-Johannes Johnsen , Alberte Thegler , Kenneth Skovhede , Brian Vinter

Cyber-physical systems (CPSs) in critical infrastructure face a pervasive threat from attackers, motivating research into a variety of countermeasures for securing them. Assessing the effectiveness of these countermeasures is challenging,…

Software Engineering · Computer Science 2020-07-17 Yuqi Chen , Bohan Xuan , Christopher M. Poskitt , Jun Sun , Fan Zhang

Robotic systems are typically composed of various subsystems, such as localization and navigation, each encompassing numerous configurable components (e.g., selecting different planning algorithms). Once an algorithm has been selected for a…

Robotics · Computer Science 2025-02-26 Md Abir Hossen , Sonam Kharade , Jason M. O'Kane , Bradley Schmerl , David Garlan , Pooyan Jamshidi

As hardware design complexity increases, hardware fuzzing emerges as a promising tool for automating the verification process. However, a significant gap still exists before it can be applied in industry. This paper aims to summarize the…

Cryptography and Security · Computer Science 2025-06-03 Ruiyang Ma , Tianhao Wei , Jiaxi Zhang , Chun Yang , Jiangfang Yi , Guojie Luo

Buildings rarely perform as designed/simulated and and there are numerous tangible benefits if this gap is reconciled. A new scientific yet pragmatic methodology - called Enhanced Parameter Estimation (EPE) - is proposed that allows…

Systems and Control · Electrical Eng. & Systems 2021-03-15 Kris Subbarao , Srijan Didwania , T. Agami Reddy , Marlin Addison

Accurate and robust object pose estimation for robotics applications requires verification and refinement steps. In this work, we propose to integrate hypotheses verification with object pose refinement guided by physics simulation. This…

Computer Vision and Pattern Recognition · Computer Science 2020-05-19 Dominik Bauer , Timothy Patten , Markus Vincze

Autonomous robots have the potential to serve as versatile caregivers that improve quality of life for millions of people worldwide. Yet, conducting research in this area presents numerous challenges, including the risks of physical…

Robotics · Computer Science 2019-10-11 Zackory Erickson , Vamsee Gangaram , Ariel Kapusta , C. Karen Liu , Charles C. Kemp

We propose a new benchmark environment for evaluating Reinforcement Learning (RL) algorithms: the PlayStation Learning Environment (PSXLE), a PlayStation emulator modified to expose a simple control API that enables rich game-state…

Machine Learning · Computer Science 2019-12-13 Carlos Purves , Cătălina Cangea , Petar Veličković

Partial differential equations (PDEs) on surfaces are fundamental to scientific computing and geometry processing. A popular approach to solving PDEs on surfaces is the finite element method (FEM), where the surface is divided into discrete…

Graphics · Computer Science 2026-05-27 Pranav Jain , Navami Kairanda , Peter Yichen Chen , Oded Stein

Simulating complex physical systems is crucial for understanding and predicting phenomena across diverse fields, such as fluid dynamics and heat transfer, as well as plasma physics and structural mechanics. Traditional approaches rely on…

We are delighted to see the recent development of physics-informed extreme learning machine (PIELM) for its higher computational efficiency and accuracy compared to other physics-informed machine learning (PIML) paradigms. Since a…

Machine Learning · Computer Science 2025-11-04 He Yang , Fei Ren , Francesco Calabro , Hai-Sui Yu , Xiaohui Chen , Pei-Zhi Zhuang

For decades, much software engineering research has been dedicated to devising automated solutions aimed at enhancing developer productivity and elevating software quality. The past two decades have witnessed an unparalleled surge in the…

Software Engineering · Computer Science 2023-10-05 David Lo

Solving partial differential equations (PDEs) with machine learning has recently attracted great attention, as PDEs are fundamental tools for modeling real-world systems that range from fundamental physical science to advanced engineering…

Machine Learning · Computer Science 2025-05-26 Changfan Yang , Lichen Bai , Yinpeng Wang , Shufei Zhang , Zeke Xie

Many animals, and an increasing number of artificial agents, display sophisticated capabilities to perceive and manipulate objects. But human beings remain distinctive in their capacity for flexible, creative tool use -- using objects in…

Artificial Intelligence · Computer Science 2022-10-12 Kelsey R. Allen , Kevin A. Smith , Joshua B. Tenenbaum

Testing with randomly generated inputs (fuzzing) has gained significant traction due to its capacity to expose program vulnerabilities automatically. Fuzz testing campaigns generate large amounts of data, making them ideal for the…

Software Engineering · Computer Science 2023-09-29 Maria-Irina Nicolae , Max Eisele , Andreas Zeller

Simulation frameworks such as Isaac Sim have enabled scalable robot learning for locomotion and rigid-body manipulation; however, contact-rich simulation remains a major bottleneck for deformable object manipulation. The continuously…

‹ Prev 1 3 4 5 6 7 10 Next ›