Related papers: A $C^1$-continuous Trace-Finite-Cell-Method for li…
Accurate characterization of carbon nanotube morphologies in electron microscopy images is vital for exposure assessment and toxicological studies, yet current workflows rely on slow, subjective manual segmentation. This work presents a…
The interaction of quantum fields with fractal and self-similar geometries encompasses multiple distinct physical regimes, including spectral geometry on intrinsic fractals, macroscopic self-similar Casimir configurations, and bounded…
Approximate convex decomposition aims to decompose a 3D shape into a set of almost convex components, whose convex hulls can then be used to represent the input shape. It thus enables efficient geometry processing algorithms specifically…
We investigate image segmentation of cells under the lens of scalar fields. Our goal is to learn a continuous scalar field on image domains such that its segmentation produces robust instances for cells present in images. This field is a…
We develop a stabilized cut finite element method for the convection problem on a surface based on continuous piecewise linear approximation and gradient jump stabilization terms. The discrete piecewise linear surface cuts through a…
This paper demonstrates the impact of a phase field method on shape registration to align shapes of possibly different topology. It yields new insights into the building of discrepancy measures between shapes regardless of topology, which…
The inverse conductivity problem aims at determining the unknown conductivity inside a bounded domain from boundary measurements. In practical applications, algorithms based on minimizing a regularized residual functional subject to PDE…
A Finite Element procedure based on a full implicit backward Euler predictor/corrector scheme for the Cosserat continuum is here presented. Since this is based on invariants of the stress and couple stress tensors and on the spectral…
This paper presents a novel sharp front-tracking method designed to address limitations in classical front-tracking approaches, specifically their reliance on smooth interpolation kernels and extended stencils for coupling the front and…
Quantifier elimination (qelim) is used in many automated reasoning tasks including program synthesis, exist-forall solving, quantified SMT, Model Checking, and solving Constrained Horn Clauses (CHCs). Exact qelim is computationally…
We present a cut finite element method for shape optimization in the case of linear elasticity. The elastic domain is defined by a level-set function, and the evolution of the domain is obtained by moving the level-set along a velocity…
In this paper, we discuss the implementation of a cell based smoothed finite element method (CSFEM) within the commercial finite element software Abaqus. The salient feature of the CSFEM is that it does not require an explicit form of the…
Accurately segmenting and individualizing cells in SEM images is a highly promising technique for elucidating tissue architecture in oncology. While current AI-based methods are effective, errors persist, necessitating time-consuming manual…
Accurate and efficient modeling of soft-tissue interactions is fundamental for advancing surgical simulation, surgical robotics, and model-based surgical automation. To achieve real-time latency, classical Finite Element Method (FEM)…
We introduce a continuous modeling approach which combines elastic responds of the trabecular bone structure, the concentration of signaling molecules within the bone and a mechanism how this concentration at the bone surface is used for…
The problem of establishing out-of-sample bounds for the values of an unkonwn ground-truth function is considered. Kernels and their associated Hilbert spaces are the main formalism employed herein along with an observational model where…
We present an analytic approximation model for non-rigid point set registration, grounded in the multivariate Taylor expansion of vector-valued functions. By exploiting the algebraic structure of Taylor expansions, we construct a structured…
Shape optimisation of thin-shell structures requires a flexible, differentiable geometric representation suitable for gradient-based optimisation. We propose a neural parametric representation (NRep) for the shell mid-surface based on a…
The phase field method is an effective tool for modeling microstructure evolution in materials. Many efficient implicit numerical solvers have been proposed for phase field simulations under uniform and time-invariant model parameters. We…
This document summarizes the main concepts of the finite element (FE) theory and constitutive relations as implemented in the open-source code phase-field multiphysics materials simulator PHIMATS https://github.com/ahcomat/PHIMATS. PHIMATS…