Related papers: A metamodel for confined yield stress flows and pa…
Markov chain Monte Carlo (MCMC) is widely used for Bayesian inference in models of complex systems. Performance, however, is often unsatisfactory in models with many latent variables due to so-called poor mixing, necessitating development…
Crystal structure prediction (CSP) stands as a powerful tool in materials science, driving the discovery and design of innovative materials. However, existing CSP methods heavily rely on formation enthalpies derived from density functional…
This article presents a closed-form adaptive controlbarrier-function (CBF) approach for satisfying state constraints in systems with parametric uncertainty. This approach uses a sampled-data recursive-least-squares algorithm to estimate the…
Generating realistic time series samples is crucial for stress-testing models and protecting user privacy by using synthetic data. In engineering and safety-critical applications, these samples must meet certain hard constraints that are…
Underground mining operations are actively exploring the use of large-format lithium-ion batteries (LIBs) to power their equipment. LIBs have high energy density, long cycle life, and favorable safety record. They also have low noise, heat,…
Recent CMB observations have resulted in very precise observational data. A robust and reliable CMB reconstruction technique can lead to efficient estimation of the cosmological parameters. We demonstrate the performance of our methodology…
When using the convex hull approach in the boundary modeling process, Model-Based Calibration (MBC) software suites -- such as Model-Based Calibration Toolbox from MathWorks -- can be computationally intensive depending on the amount of…
Granular flows govern many natural and industrial processes, yet their interior kinematics and mechanics remain largely unobservable, as experiments access only boundaries or free surfaces. Conventional numerical simulations are…
Thermal multi-phase flow simulations are indispensable to understanding the multi-scale and multi-physics phenomena in metal additive manufacturing (AM) processes, yet accurate and robust predictions remain challenging. This book chapter…
This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification (CPBPV). The CPBPV framework uses constraint stores to represent the…
In this paper, we propose a mathematical model to describe the functioning of a bioreactor landfill, that is a waste management facility in which biodegradable waste is used to generate methane. The simulation of a bioreactor landfill is a…
This article proposes a novel high-performance computing approach for the prediction of the temperature field in powder bed fusion (PBF) additive manufacturing processes. In contrast to many existing approaches to part-scale simulations,…
Laser powder bed fusion (L-PBF) of semi-crystalline polymers such as polyamide-12 (PA12) has found increasing use in various industrial applications. However, achieving high dimensional accuracy remains a significant challenge. Despite the…
Yield stress of aerated cement paste is studied. Samples are prepared by mixing aqueous foam with cement paste, which allows controlling bubble size, gas volume fraction and yield stress of the cement paste. Two distinct behaviors are…
In many retrieval systems the original high dimensional data (e.g., images) is mapped to a lower dimensional feature through a learned embedding model. The task of retrieving the most similar data from a gallery set to a given query data is…
The aim of this work is to compute a level backstepping control strategy for a coupled tanks system. The coupled tanks plant is a component included in the water treatment system of power plants. The nonlinear-model of the process was…
The covXtreme software provides functionality for estimation of marginal and conditional extreme value models, non-stationary with respect to covariates, and environmental design contours. Generalised Pareto (GP) marginal models of peaks…
An elastic-visco-plastic thermomechanical model for the simulation of cold forming and subsequent sintering of ceramic powders is introduced and based on micromechanical modelling of the compaction process of granulates. Micromechanics…
This article deals with the multiscale modeling of stress transfer characteristics of nano-reinforced polymer composite reinforced with regularly staggered carbon fibers. The distinctive feature of construction of nano-reinforced composite…
The present work introduces a novel numerical approach for the process modeling of fiber-reinforced thermoset polymers at the micro-scale level, that can be used to predict curing-induced residual stresses. The cure kinetics is described…