Related papers: A model updating procedure to enhance structural a…
In our work, we consider the classical density-based approach to topology optimization. We propose the modification of the discretized cost/objective functional using a posteriori error estimator for the finite element method. It can be…
We present novel roulette schemes for rare-event sampling that are both structure-preserving and unbiased. The boundaries where Monte Carlo markers are split and deleted are placed automatically and adapted during runtime. Extending…
Using finite difference method, time evolution of a typical metal molecule metal system is studied by introducing a new method to solve general related Volterra integro differential equation (IDE). Discretization in time domain is applied…
Online system identification algorithms are widely used for monitoring, diagnostics and control by continuously adapting to time-varying dynamics. Typically, these algorithms consider a model structure that lacks parsimony and offers…
Structural crack detection is a critical task for public safety as it helps in preventing potential structural failures that could endanger lives. Manual detection by inexperienced personnel can be slow, inconsistent, and prone to human…
A more descriptive but too long title would be : Constructing fly-automata to check properties of graphs of bounded tree-width expressed by monadic second-order formulas written with edge quantifications. Such properties are called MSO2 in…
Integro-differential-algebraic equations (IDAE)s are widely used in applications of engineering and analysis. When there are hidden constraints in an IDAE, structural analysis is necessary. But if derivatives of dependent variables appear…
We introduce Symbolic Alternating Finite Automata (s-AFA) as an expressive, succinct, and decidable model for describing sets of finite sequences over arbitrary alphabets. Boolean operations over s-AFAs have linear complexity, which is in…
Structural analyses are an integral part of computational research on nucleation and supercooled water, whose accuracy and efficiency can impact the validity and feasibility of such studies. The underlying molecular mechanisms of these…
The aim of this paper is to develop a multiscale hierarchical hybrid model based on finite element analysis and neural network computation to link mesoscopic scale (trabecular network level) and macroscopic (whole bone level) to simulate…
We propose an efficient algorithm for solving orthogonal canonical correlation analysis (OCCA) in the form of trace-fractional structure and orthogonal linear projections. Even though orthogonality has been widely used and proved to be a…
In this article, we present a simple technique for boosting the order of accuracy of finite difference schemes for time dependent partial differential equations by optimally selecting the time step used to advance the numerical solution and…
We propose an automated method for computing inductive invariants applied to check deadlock-freedom for parametric component-based systems. The method generalizes the approach for computing structural trap invariants from bounded to…
We propose an efficient fine-tuning method for time series foundation models, termed TRACE: Time Series Parameter Efficient Fine-tuning. While pretrained time series foundation models are gaining popularity, they face the following…
Optimal inverse design, including topology optimization and evaluation of fundamental bounds on performance, which was introduced in Part~1, is applied to various antenna design problems. A memetic scheme for topology optimization combines…
This study investigates the impact of finite element selection on structural topology optimization using the SIMP (Solid Isotropic Material with Penalization) method. Specifically, it compares linear (P1) and quadratic (P2) triangular…
In this review we discuss the progress of the past decade in testing for a possible temporal variation of the fine structure constant $\alpha$. Advances in atomic sample preparation, laser spectroscopy and optical frequency measurements led…
In this paper, we propose to enhance the performance of the sum-product algorithm (SPA) by interleaving SPA iterations with a random local graph update rule. This rule is known as edge local complementation (ELC), and has the effect of…
Predictor-based Neural Architecture Search (NAS) employs an architecture performance predictor to improve the sample efficiency. However, predictor-based NAS suffers from the severe ``cold-start'' problem, since a large amount of…
The status of Monte Carlo system for the simulation of tau-lepton production and decay in high-energy accelerator experiments is reviewed. Since previous tau-lepton conference in 2008 some practical modifications have been introduced: (i)…