Heuristic strategies for the approximation of stability factors in quadratically nonlinear parametrized PDEs

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...

This article investigates the performance and accuracy of continuous Real-Time Kinematic (RTK) Global Navigation Satellite System (GNSS) position tracking for hydromorphological surveys, based on a comprehensive river restoration monitoring campaign. The a ...

In Part I of this paper, an inequality satisfied by the vacuum energy density of the universe was derived using an indirect and heuristic procedure. The derivation is based on a proposed thought experiment, according to which an electron is accelerated to ...

The goal of this thesis is the development and the analysis of numerical methods for problems where the unknown is a curve on a smooth manifold. In particular, the thesis is structured around the three following problems: homotopy continuation, curve inter ...

The accurate, robust and efficient transfer of the deformation gradient tensor between meshes of different resolution is crucial in cardiac electromechanics simulations. This paper presents a novel method that combines rescaled localized Radial Basis Funct ...

This paper presents a theoretical analysis of linear interpolation as a principled method for stabilizing (large-scale) neural network training. We argue that instabilities in the optimization process are often caused by the nonmonotonicity of the loss lan ...

This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, Miller, Radchenko, and Viazovska ...

An a posteriori error estimator based on an equilibrated flux reconstruction is proposed for defeaturing problems in the context of finite element discretizations. Defeaturing consists in the simplification of a geometry by removing features that are consi ...

The objective of this study is to address the difficulty of simplifying the geometric model in which a differential problem is formulated, also called defeaturing, while simultaneously ensuring that the accuracy of the solution is maintained under control. ...

Reduced-order models are indispensable for multi-query or real-time problems. However, there are still many challenges to constructing efficient ROMs for time-dependent parametrized problems. Using a linear reduced space is inefficient for time-dependent n ...

Local modifications of a computational domain are often performed in order to simplify the meshing process and to reduce computational costs and memory requirements. However, removing geometrical features of a domain often introduces a non-negligible error ...

We study the stability of laminar wakes past three-dimensional rectangular prisms. The width-to-height ratio is set to W/H = 1.2, while the length-to-height ratio 1/6 < L/H < 3 covers a wide range of geometries from thin plates to elongated Ahmed bodies. F ...

In this paper, an inequality satisfied by the vacuum energy density of the universe is derived using an indirect and heuristic procedure. The derivation is based on a proposed thought experiment, according to which an electron is accelerated to a constant ...

In this paper we propose a Monte Carlo maximum likelihood estimation strategy for discretely observed Wright–Fisher diffusions. Our approach provides an unbiased estimator of the likelihood function and is based on exact simulation techniques that are of s ...

We introduce Neural Network (NN for short) approximation architectures for the numerical solution of Boundary Integral Equations (BIEs for short). We exemplify the proposed NN approach for the boundary reduction of the potential problem in two spatial dime ...

We obtain new Fourier interpolation and uniqueness results in all dimensions, extending methods and results by the first author and M. Sousa [11] and the second author [12]. We show that the only Schwartz function which, together with its Fourier transform ...

Fourier transforms are an often necessary component in many computational tasks, and can be computed efficiently through the fast Fourier transform (FFT) algorithm. However, many applications involve an underlying continuous signal, and a more natural choi ...

MRI is a non-invasive medical imaging modality that is sensitive to patient motion, which constitutes a major limitation in most clinical applications. Solutions may arise from the reduction of acquisition times or from motion-correction techniques, either ...

Trimming consists of cutting away parts of a geometric domain, without reconstructing a global parametrization (meshing). It is a widely used operation in computer-aided design, which generates meshes that are unfitted with the described physical object. T ...

As historical stone masonry structures are vulnerable and prone to damage in earthquakes, investigating their structural integrity is important to reduce injuries and casualties while preserving their historical value. Stone masonry is a composite material ...

Heuristic strategies for the approximation of stability factors in quadratically nonlinear parametrized PDEs

Chattez avec Graph Search

Interpolation and Quantifiers in Ortholattices

Performance and accuracy of cross‐section tracking methods for hydromorphological habitat assessment in wadable rivers with sparse canopy conditions

Heuristic Estimation of the Vacuum Energy Density of the Universe: Part II-Analysis Based on Frequency Domain Electromagnetic Radiation

Retraction-based numerical methods for continuation, interpolation and time integration on manifolds

Preserving the positivity of the deformation gradient determinant in intergrid interpolation by combining RBFs and SVD: Application to cardiac electromechanics

Stable Nonconvex-Nonconcave Training via Linear Interpolation

Computer-assisted proof of kernel inequalities

An equilibrated flux a posteriori error estimator for defeaturing problems

A Shape Derivative Approach to Domain Simplification

Non-intrusive data-driven reduced-order modeling for time-dependent parametrized problems

Analysis-aware defeaturing of complex geometries with Neumann features

From thin plates to Ahmed bodies: linear and weakly nonlinear stability of rectangular prisms

Heuristic Estimation of the Vacuum Energy Density of the Universe: Part I—Analysis Based on Time Domain Electromagnetic Radiation

Unbiased Likelihood Estimation of Wright–Fisher Diffusion Processes

ReLU Neural Network Galerkin BEM

Perturbed Fourier uniqueness and interpolation results in higher dimensions

pyFFS: A Python Library for Fast Fourier Series Computation and Interpolation with GPU Acceleration

Choreography Controlled (ChoCo) brain MRI artifact generation for labeled motion-corrupted datasets

An a posteriori error estimator for isogeometric analysis on trimmed geometries

Geometrical Treatise on the Modelling of 3D Particulate Inclusion-Matrix Microstructures with an Application to Historical Stone Masonry Walls