Related papers: Method of Manufactured Solutions Code Verification…
We propose a numerical strategy to generate the anisotropic meshes and select the appropriate stabilized parameters simultaneously for two dimensional convection-dominated convection-diffusion equations by stabilized continuous linear…
We present exact mixed-integer linear programming formulations for verifying the performance of first-order methods for parametric quadratic optimization. We formulate the verification problem as a mixed-integer linear program where the…
Today's small and medium-sized enterprises (SMEs) in the software industry are faced with major challenges. While having to work efficiently using limited resources they have to perform quality assurance on their code to avoid the risk of…
Efficient planning of assembly motions is a long standing challenge in the field of robotics that has been primarily tackled with reinforcement learning and sampling-based methods by using extensive physics simulations. This paper proposes…
Functionally graded materials (FGMs) are two-phase composites with continuously changing microstructure adapted to performance requirements. Traditionally, the overall behavior of FGMs has been determined using local averaging techniques or…
Micromagnetic modelling provides the ability to simulate large magnetic systems accurately without the computational cost limitation imposed by atomistic modelling. Through micromagnetic modelling it is possible to simulate systems…
The development of porous polymeric membranes remains a labor-intensive process, often requiring extensive trial and error to identify optimal fabrication parameters. In this study, we present a fully automated platform for membrane…
This paper is a computational bifurcation analysis of a non-linear partial differential equation (PDE) characterizing equilibrium configurations in Micro electromechanical Systems (MEMS). MEMS are engineering systems that utilize…
Given the long textual product information and the product image, Multi-modal Product Summarization (MPS) aims to increase customers' desire to purchase by highlighting product characteristics with a short textual summary. Existing MPS…
Cyber-Physical Systems (CPS) produce behavior through execution on substrates coupling computation with physical processes. However, usual engineering approaches do not treat execution semantics as first-class engineering entities. Formal…
This paper presents the first application of the direct parametrisation method for invariant manifolds to a fully coupled multiphysics problem involving the nonlinear vibrations of deformable structures subjected to an electrostatic field.…
The solution for non-linear, complex partial differential Equations (PDEs) is achieved through numerical approximations, which yield a linear system of equations. This approach is prevalent in Computational Fluid Dynamics (CFD), but it…
High-mix manufacturing systems require production plans that are both profitable and refinable into executable machine-level schedules under heterogeneous resources, mold-dependent compatibility, setup losses,delivery windows, and accessory…
Machine learning in high-stakes domains such as healthcare requires not only strong predictive performance but also reliable uncertainty quantification (UQ) to support human oversight. Multi-label text classification (MLTC) is a central…
This work develops an elasto-plastic cell-based smoothed finite element method (CSFEM) for geotechnical analysis. The formulation incorporates a smoothed strain field into the standard elasto-plastic framework based on the Mohr-Coulomb…
Model checking is a technique to automatically assess whether a model of the behaviour of a system meets its requirements. Evidence explaining why the behaviour does (not) meet its requirements is essential for the user to understand the…
In electromagnetism, the model of Maxwell's equations yields accurate and trustworthy predictions. Numerical solvers can reach electromagnetic solutions far beyond the set of analytical closed-form solutions; this is crucial in…
Magneto-active elastomers exhibit large, nonlinear deformations under combined mechanical loading and magnetic fields, and their effective behavior is strongly governed by microstructural heterogeneity. Predictive modeling of these…
Machine Learning Interatomic Potentials (MLIPs) sometimes fail to reproduce the physical smoothness of the quantum potential energy surface (PES), leading to erroneous behavior in downstream simulations that standard energy and force…
Code quality evaluation involves scoring generated code quality based on a reference code for a specific problem statement. Currently, there are two main forms of evaluating code quality: match-based evaluation and execution-based…