English
Related papers

Related papers: An abstract lagrangian framework for computing sha…

200 papers

A general procedure for constructing conservative numerical integrators for time dependent partial differential equations is presented. In particular, linearly implicit methods preserving a time discretised version of the invariant is…

Numerical Analysis · Mathematics 2011-05-05 Morten Dahlby , Brynjulf Owren

Gradient-based techniques are becoming increasingly critical in quantitative fields, notably in statistics and computer science. The utility of these techniques, however, ultimately depends on how efficiently we can evaluate the derivatives…

Computation · Statistics 2020-02-04 Michael Betancourt , Charles C. Margossian , Vianey Leos-Barajas

We consider the problem of computing dense correspondences between non-rigid shapes with potentially significant partiality. Existing formulations tackle this problem through heavy manifold optimization in the spectral domain, given…

Computer Vision and Pattern Recognition · Computer Science 2023-03-28 Souhaib Attaiki , Gautam Pai , Maks Ovsjanikov

The traditional abstract domain framework for imperative programs suffers from several shortcomings; in particular it does not allow precise symbolic abstractions. To solve these problems, we propose a new abstract interpretation framework,…

Software Engineering · Computer Science 2018-01-01 Matthieu Lemerre , Sébastien Bardin

Learning and predicting the dynamics of physical systems requires a profound understanding of the underlying physical laws. Recent works on learning physical laws involve generalizing the equation discovery frameworks to the discovery of…

Machine Learning · Statistics 2023-10-11 Tapas Tripura , Souvik Chakraborty

Neural implicit shape representations are an emerging paradigm that offers many potential benefits over conventional discrete representations, including memory efficiency at a high spatial resolution. Generalizing across shapes with such…

Computer Vision and Pattern Recognition · Computer Science 2020-06-18 Vincent Sitzmann , Eric R. Chan , Richard Tucker , Noah Snavely , Gordon Wetzstein

This paper considers a generic convex minimization template with affine constraints over a compact domain, which covers key semidefinite programming applications. The existing conditional gradient methods either do not apply to our template…

Optimization and Control · Mathematics 2019-01-16 Alp Yurtsever , Olivier Fercoq , Volkan Cevher

We propose a variational functional and fast algorithms to reconstruct implicit surface from point cloud data with a curvature constraint. The minimizing functional balances the distance function from the point cloud and the mean curvature…

Computer Vision and Pattern Recognition · Computer Science 2020-09-11 Yuchen He , Sung Ha Kang , Hao Liu

In this paper we study the representation of partial differential equations (PDEs) as abstract differential-algebraic equations (DAEs) with dissipative Hamiltonian structure (adHDAEs). We show that these systems not only arise when there…

Functional Analysis · Mathematics 2024-05-20 Volker Mehrmann , Hans Zwart

We have recently presented an extension of the standard variational calculus to include the presence of deformed derivatives in the Lagrangian of a system of particles and in the Lagrangian density of field-theoretic models. Classical…

Mathematical Physics · Physics 2017-06-30 J. Weberszpil , J. A. Helayël-Neto

A set of linear second-order differential equations is converted into a semigroup, whose algebraic structure is used to generate many novel equations. Two independent methods that can be used to derive the equations of the semigroup are…

Mathematical Physics · Physics 2020-07-22 Zdzislaw Musielak , Niyousha Davachi , Marialis Rosario-Franco

Stratified fluids composed of a sequence of alternate layers show interesting macroscopic properties, which may be quite different from those of the individual constituent fluids. On a macroscopic scale, such systems can be considered a…

Numerical Analysis · Mathematics 2026-01-30 Simone Chiocchetti , Giovanni Russo

A notion of implicit difference equation on a Lie groupoid is introduced and an algorithm for extracting the integrable part (backward or/and forward) is formulated. As an application, we prove that discrete Lagrangian dynamics on a Lie…

Differential Geometry · Mathematics 2011-04-04 D. Iglesias , J. C. Marrero , D. Martin de Diego , E. Padron

A new method is presented for obtaining indefinite integrals of common special functions. The approach is based on a Lagrangian formulation of the general homogeneous linear ordinary differential equation of second order. A general integral…

Classical Analysis and ODEs · Mathematics 2015-04-24 John T. Conway

Smooth parametrization consists in a subdivision of the mathematical objects under consideration into simple pieces, and then parametric representation of each piece, while keeping control of high order derivatives. The main goal of the…

Computational Geometry · Computer Science 2014-07-14 Y. Yomdin

A rigid framework for the Cartan calculus of Lie derivatives, inner derivations, functions, and forms is proposed. The construction employs a semi-direct product of two graded Hopf algebras, the respective super-extensions of the deformed…

High Energy Physics - Theory · Physics 2008-02-03 Peter Schupp

A class of non-smooth and non-convex optimization problems with penalty constraints linked to variational inequalities (VI) is studied with respect to its shape differentiability. The specific problem stemming from quasi-brittle fracture…

Optimization and Control · Mathematics 2022-05-09 Victor A. Kovtunenko , Karl Kunisch

This article deals with a particular class of shape and topology optimization problems: the optimized design is a region $G$ of the boundary $\partial \Omega$ of a given domain $\Omega$, which supports a particular type of boundary…

Optimization and Control · Mathematics 2025-02-28 Eric Bonnetier , Carlos Brito-Pacheco , Charles Dapogny , Rafael Estevez

In this paper, we describe the structure of shape derivatives around sets which are only assumed to be of finite perimeter in $\R^N$. This structure allows us to define a useful notion of positivity of the shape derivative and we show it…

Optimization and Control · Mathematics 2007-05-23 Jimmy Lamboley , Michel Pierre

Deep implicit surfaces excel at modeling generic shapes but do not always capture the regularities present in manufactured objects, which is something simple geometric primitives are particularly good at. In this paper, we propose a…

Computer Vision and Pattern Recognition · Computer Science 2022-09-09 Subeesh Vasu , Nicolas Talabot , Artem Lukoianov , Pierre Baqué , Jonathan Donier , Pascal Fua