English
Related papers

Related papers: Automatic Geometric Decomposition for Analytical I…

200 papers

Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, best known as a procedure to enable Quantifier Elimination over real-closed fields. However, it has a worst case complexity doubly exponential in…

Symbolic Computation · Computer Science 2019-11-25 Zongyan Huang , Matthew England , David Wilson , James H. Davenport , Lawrence C. Paulson

We introduce an Invertible Symbolic Regression (ISR) method. It is a machine learning technique that generates analytical relationships between inputs and outputs of a given dataset via invertible maps (or architectures). The proposed ISR…

Machine Learning · Computer Science 2024-05-14 Tony Tohme , Mohammad Javad Khojasteh , Mohsen Sadr , Florian Meyer , Kamal Youcef-Toumi

Robot localization is an inverse problem of finding a robot's pose using a map and sensor measurements. In recent years, Invertible Neural Networks (INNs) have successfully solved ambiguous inverse problems in various fields. This paper…

Robotics · Computer Science 2022-09-27 Zirui Zang , Hongrui Zheng , Johannes Betz , Rahul Mangharam

Current laparoscopic camera motion automation relies on rule-based approaches or only focuses on surgical tools. Imitation Learning (IL) methods could alleviate these shortcomings, but have so far been applied to oversimplified setups.…

Image and Video Processing · Electrical Eng. & Systems 2022-02-25 Martin Huber , Sébastien Ourselin , Christos Bergeles , Tom Vercauteren

Ising machines (IM) are physics-inspired alternatives to von Neumann architectures for solving hard optimization tasks. By mapping binary variables to coupled Ising spins, IMs can naturally solve unconstrained combinatorial optimization…

Emerging Technologies · Computer Science 2025-08-01 Corentin Delacour

Continuum robots with floating bases demonstrate exceptional operational capabilities in confined spaces, such as those encountered in medical surgeries and equipment maintenance. However, developing low-cost solutions for their motion and…

Robotics · Computer Science 2025-03-20 Congjun Ma , Quan Xiao , Liangcheng Liu , Xingxing You , Songyi Dian

We propose an algorithm to compute the dynamics of articulated rigid-bodies with different sensor distributions. Prior to the on-line computations, the proposed algorithm performs an off-line optimisation step to simplify the computational…

Robotics · Computer Science 2017-05-15 Francesco Nori

Current state-of-the-art motion-based dynamic computed tomography reconstruction techniques estimate the deformation by considering motion models in the entire object volume although occasionally the proper change is local. In this article,…

Optimization and Control · Mathematics 2023-09-06 Anh-Tuan Nguyen , Jens Renders , Jan Sijbers , Jan De Beenhouwer

This work aims to discuss the current landscape of kinematic analysis tools, ranging from the state-of-the-art in sports biomechanics such as inertial measurement units (IMUs) and retroreflective marker-based optical motion capture (MoCap)…

Computer Vision and Pattern Recognition · Computer Science 2025-03-20 Kai Armstrong , Alexander Rodrigues , Alexander P. Willmott , Lei Zhang , Xujiong Ye

This paper presents a motion data augmentation scheme incorporating motion synthesis encouraging diversity and motion correction imposing physical plausibility. This motion synthesis consists of our modified Variational AutoEncoder (VAE)…

Computer Vision and Pattern Recognition · Computer Science 2023-08-21 Takahiro Maeda , Norimichi Ukita

A discrete rotation algorithm can be apprehended as a parametric application $f\_\alpha$ from $\ZZ[i]$ to $\ZZ[i]$, whose resulting permutation ``looks like'' the map induced by an Euclidean rotation. For this kind of algorithm, to be…

Discrete Mathematics · Computer Science 2007-05-23 Bertrand Nouvel , Eric Remila

The Kinematic Theory of rapid movements and its associated Sigma-Lognormal model have been extensively used in a large variety of applications. While the physical and biological meaning of the model have been widely tested and validated for…

Computer Vision and Pattern Recognition · Computer Science 2024-02-08 Miguel A. Ferrer , Moises Diaz , Cristina Carmona-Duarte , Rejean Plamondon

Recently Implicit Neural Representations (INRs) gained attention as a novel and effective representation for various data types. Thus far, prior work mostly focused on optimizing their reconstruction performance. This work investigates INRs…

Image and Video Processing · Electrical Eng. & Systems 2022-08-05 Yannick Strümpler , Janis Postels , Ren Yang , Luc van Gool , Federico Tombari

The Asymptotic Iteration Method (AIM) is a technique for solving analytically and approximately the linear second-order differential equation, especially the eigenvalue problems that frequently appear in theoretical and mathematical…

Mathematical Physics · Physics 2020-03-17 Mourad E. H. Ismail , Nasser Saad

One of the key challenges in high speed off road navigation on ground vehicles is that the kinodynamics of the vehicle terrain interaction can differ dramatically depending on the terrain. Previous approaches to addressing this challenge…

Coefficient inverse problems related to identifying the right-hand side of an equation with use of additional information is of interest among inverse problems for partial differential equations. When considering non-stationary problems,…

Numerical Analysis · Computer Science 2016-04-18 Petr N. Vabishchevich

Teleoperation of low-cost robotic manipulators remains challenging due to the difficulty of retargeting human hand motion to robot joint commands. We present an offline hand-shadowing inverse-kinematics (IK) retargeting pipeline driven by a…

Robotics · Computer Science 2026-05-13 Hendrik Chiche , Antoine Jamme , Trevor Rigoberto Martinez , Gabriel Gomes

Decoding remote sensing images to achieve high perceptual quality, particularly at low bitrates, remains a significant challenge. To address this problem, we propose the invertible neural network-based remote sensing image compression…

Computer Vision and Pattern Recognition · Computer Science 2024-08-27 Junhui Li , Xingsong Hou

Ill-posed linear inverse problems (ILIP), such as restoration and reconstruction, are a core topic of signal/image processing. A standard approach to deal with ILIP uses a constrained optimization problem, where a regularization function is…

Optimization and Control · Mathematics 2016-11-15 Manya V. Afonso , Jose M. Bioucas-Dias , Mario A. T. Figueiredo

In this paper, we propose a novel deep convolutional neural network (CNN)-based algorithm for solving ill-posed inverse problems. Regularized iterative algorithms have emerged as the standard approach to ill-posed inverse problems in the…

Computer Vision and Pattern Recognition · Computer Science 2018-09-11 Kyong Hwan Jin , Michael T. McCann , Emmanuel Froustey , Michael Unser