Deep-learning CNN automates Cu alloy grain size evaluation.
problem Automating the evaluation of Cu alloy grain size to reduce labor and improve accuracy.
method Deep-learning convolutional neural network (CNN) for automated image acquisition and processing.
result Achieved 91.1% classification accuracy on Cu alloy sub-images.
The need for advanced materials has led to the development of complex, multi-component alloys or solid-solution alloys. These materials have shown exceptional properties like strength, toughness, ductility, electrical and electronic properties. Current development of such material systems are hindered by expensive expe…
Bayesian optimization identifies optimal alloy formulations.
problem Accelerated discovery in materials science with autonomous systems.
method Bayesian optimization over problem formulation space.
result Framework converges on optimal alloy formulations.
Study improves materials discovery for high-entropy alloys using sparse linear models.
problem Inefficient materials discovery due to combinatorial explosion in alloy compositions.
method Sparse mixed linear modeling with anchor-based guidance for feature selection and prediction.
result Developed a method that balances predictive performance and interpretability for materials discovery.
ML predicts alloy properties considering chemistry, processing, and data transformations.
problem Designing and predicting alloy properties in high-dimensional design space.
method Physics-informed machine learning with engineered features from chemistry and heat treatment.
result ML models accurately predict alloy properties, including hysteresis in shape memory alloys.
High entropy alloys (HEAs) have been increasingly attractive as promising next-generation materials due to their various excellent properties. It's necessary to essentially characterize the degree of chemical ordering and identify order-disorder transitions through efficient simulation and modeling of thermodynamics. I…
Method reveals dissimilarity in alloys' Curie temperatures.
problem Tackles the dissimilarity between rare-earth transition metal binary alloys.
method Ensemble learning with Kernel ridge regression.
result Reveals meaningful relations between alloys' structure and Curie temperature.
Study uses AI and ML to predict and optimize corrosion resistance of aluminum alloys.
problem Corrosion resistance of aluminum alloys in marine environments.
method Investigated two ML approaches: direct and inverse, using Random Forest, neural network, and Gaussian Process Regression.
result Gaussian Process Regression with hybrid kernel functions provided superior predictive performance.
Integrated Computational Materials Engineering (ICME) aims to accelerate optimal design of complex material systems by integrating material science and design automation. For tractable ICME, it is required that (1) a structural feature space be identified to allow reconstruction of new designs, and (2) the reconstructi…
MCML uses ML to study learnability of Alloy properties, showing simple models can perform well but fail on full input space.
problem Empirical study of learnability of relational properties in Alloy.
method MCML combines ML with model counting to evaluate performance on bounded input spaces.
result Simple ML models can achieve high accuracy and F1-score on training/test datasets but fail on full input space, highlighting complexity of learning relational properties.
HAL accelerates the generation of training sets for accurate interatomic potentials.
problem Generating accurate and transferable interatomic potentials is time-consuming and requires expert input.
method HAL framework using a physically motivated sampler with a biasing term to drive high uncertainty configurations.
result HAL-generated training databases for alloys and polymers predict macroscopic properties with high accuracy.
Model predicts EMF of Ni-Mn-Ga MSMA, improved with GRNN.
problem Predicting the electromotive force (EMF) of Ni-Mn-Ga MSMA under various conditions.
method Developed a new constitutive model for Ni-Mn-Ga single crystals, incorporating magnetic easy axis offset. Used GRNN to enhance model predictions.
result GRNN improves model predictions of EMF, capturing more experimental features.
We first analyze the integrated density of states (IDS) of periodic Schrödinger operators on an amenable covering manifold. A criterion for the continuity of the IDS at a prescribed energy is given along with examples of operators with both continuous and discontinuous IDS'. Subsequently, alloy-type perturbations of th…
Scaling Bayesian optimization to high dimensions is challenging task as the global optimization of high-dimensional acquisition function can be expensive and often infeasible. Existing methods depend either on limited active variables or the additive form of the objective function. We propose a new method for high-dime…
A novel ensemble classifier improves vibration-based quality monitoring accuracy.
problem Developing high accuracy classification methods for general datasets.
method Dempster-Shafer theory of evidence with three remedies for conflicting evidences.
result The proposed ensemble classifier outperforms state-of-the-art fusion techniques.
The paper presents a novel approach to direct covariance function learning for Bayesian optimisation, with particular emphasis on experimental design problems where an existing corpus of condensed knowledge is present. The method presented borrows techniques from reproducing kernel Banach space theory (specifically m-k…
Proposes a method to handle missing inputs in Bayesian optimization.
problem Missing values in historical data and function evaluations.
method Impute missing values using probability distributions and develop a new acquisition function.
result Improves performance of Bayesian optimization by handling missing inputs effectively.
The paper explores MMPR to select diverse models for scientific insight.
problem Model selection often fails to bring multiple underlying patterns to light.
method Multi-model penalized regression (MMPR) to acknowledge model uncertainty.
result Different penalty settings can promote either shrinkage or sparsity of coefficients in separate models.
We treat the problem of estimation of orientation parameters whose values are invariant to transformations from a spherical symmetry group. Previous work has shown that any such group-invariant distribution must satisfy a restricted finite mixture representation, which allows the orientation parameter to be estimated u…
This paper considers statistical estimation problems where the probability distribution of the observed random variable is invariant with respect to actions of a finite topological group. It is shown that any such distribution must satisfy a restricted finite mixture representation. When specialized to the case of dist…
Bayesian optimization guided by experimenter intuition and beliefs.
problem Finding optimal functions with experimenter's beliefs incorporated.
method Sequential Subspace Search using Gaussian Process.
result Algorithm converges in sub-linear time with finite effective dimension.
New loss function handles uncertain constraints in CSLO problems.
problem Handling uncertain inequality constraints in CSLO with machine learning predictions.
method Introduces SPO-RC loss and SPO-RC+ surrogate, trains on truncated datasets, corrects bias.
result SPO-RC+ effectively manages constraint uncertainty and improves performance.
Dual ML approach predicts peak temperatures in AFSD, improving process optimization.
problem Lack of understanding between process parameters and resulting microstructure in AFSD.
method Combines supervised machine learning and physics-informed neural networks.
result Ensemble techniques like gradient boosting outperform other SML methods in predicting peak temperatures.
Efficiently estimates material parameter space with multifidelity Gaussian process modeling.
problem Estimating a region of material parameter space with similar precipitate shapes.
method Multifidelity Gaussian process modeling to reduce computational cost.
result Significant reduction in sampling cost for accurate LER estimation.
New method selects variables for GP regression using sparse projection.
problem Identifying environmental factors affecting metal corrosion.
method Sparse projection of input variables, gradient descent optimization, non-convex marginal likelihood.
result Proposed method outperforms benchmarks in variable selection accuracy.
Self-supervised learning improves RUL prediction with limited data in fatigue damage prognosis.
problem Limited labelled data for RUL prediction in fatigue damage prognosis.
method Pre-training deep learning models on unlabelled sensor data using self-supervised learning.
result Self-supervised pre-trained models significantly outperform non-pre-trained models in RUL prediction with scarce labelled data.
In conventional chemisorption model, the d-band center theory (augmented sometimes with the upper edge of d-band for imporved accuarcy) plays a central role in predicting adsorption energies and catalytic activity as a function of d-band center of the solid surfaces, but it requires density functional calculations that…
A RL approach optimizes metal AM process parameters for consistent melt pool depth.
problem Optimizing process parameters for metal additive manufacturing to ensure repeatability and control microstructure.
method A Reinforcement Learning (RL) framework based on Q-learning is applied to find optimal laser power and scan velocity combinations.
result The RL framework learns optimal process parameters without prior knowledge, providing a model-free approach.
Support vector regression (SVR) has been widely used to reduce the high computational cost of computer simulation. SVR assumes the input parameters have equal sample sizes, but unequal sample sizes are often encountered in engineering practices. To solve this issue, a new prediction approach based on SVR, namely as hig…
Proposes a framework to fuse heterogeneous data sources for better modeling.
problem Heterogeneous data sources with different input parameter spaces.
method Input mapping calibration (IMC) and latent variable Gaussian process (LVGP).
result Improved predictive accuracy over single source models.
New method finds graphene nanocrystals with reduced DFT calculations.
problem Efficiently discovering materials with desired properties in high-dimensional chemical space.
method Bayesian optimization with neural network kernel to minimize DFT calculations.
result Reduced computational cost by 20% for discovering materials with target properties.
Curves can bound only finitely many developable surfaces.
problem Bounding developable surfaces with nonvanishing mean curvature.
method Proof of finiteness for developable surfaces with prescribed boundary curves.
result Generic curves bound only finitely many developable surfaces.
The paper extends Cartan development to infinite dimensional Lie groups.
problem Generalizing Cartan development to infinite dimensional Lie groups.
method Generalization of Cartan development to infinite dimensional manifolds and Lie groups.
result The tangent mapping of a Cartan development is another Cartan development.
The paper studies singularities on parallels of tangent developable surfaces of frontal curves.
problem Understanding singularities on parallels of tangent developable surfaces.
method Generalization of tangent developable surfaces and parallel deformations for frontal curves in arbitrary dimensions.
result Classification of generic singularities on parallels of tangent developable surfaces for frontal curves in 3 or 4 dimensional Euclidean spaces.
Survey on new Ricci flow techniques.
problem None explicitly stated.
method None explicitly stated.
result None explicitly stated.
Survey of software developers' experience with Github Copilot tool.
problem Investigate developers' acceptance of AI-generated code.
method Survey with 18 questions distributed to 42 programmers.
result Mixed developer opinions, mostly positive but reluctance to use.
We provide a condition for spatial curves which rules out the development of a type I singularity. The condition is that after the last time for which an inflection point develops, if the torsion is ever everywhere non-negative, the curve cannot develop a type I singularity.
PrototypeML simplifies neural network design and development.
problem Error-prone code and time-consuming model design.
method Visual interface for neural networks, abstracting PyTorch.
result Reduces model design and development time, easier debugging.
Study on insurance risk management and sustainable development.
problem Lack of attention to non-climate change aspects of sustainable development in insurance.
method Analysis of recent developments and legislative initiatives in insurance risk management.
result Strategies for small- and medium-sized enterprises to manage sustainable development risks.
Survey on DDVV-type inequalities, their history, and recent developments.
problem None explicitly stated; focuses on surveying existing work.
method None explicitly stated; focuses on surveying existing work.
result Survey of DDVV-type inequalities and their history and recent developments.
This manuscript develops the theory of agglomerative clustering with Bregman divergences. Geometric smoothing techniques are developed to deal with degenerate clusters. To allow for cluster models based on exponential families with overcomplete representations, Bregman divergences are developed for nondifferentiable co…
We develop a method to describe laws of random surfaces using surface holonomy.
problem Describing laws of random surfaces with structure.
method Introduce surface holonomy and develop expected surface developments.
result Expected surface development provides a structured description of random surface laws.
This paper reviews the checkered history of predictive distributions in statistics and discusses two developments, one from recent literature and the other new. The first development is bringing predictive distributions into machine learning, whose early development was so deeply influenced by two remarkable groups at …
Study shows 'Belt and Road' node cities boost digital finance in China.
problem Impact of 'Belt and Road' node cities on digital inclusive finance.
method Descriptive analysis, literature review, theoretical model, differential differential method.
result Establishment of 'Belt and Road' node cities promotes digital inclusive finance in China, with Internet development as a mediating variable.
Establishes existence of maximal globally hyperbolic development for Einstein equations.
problem Initial value problem for generalised Einstein equations.
method Generalised Lorentz gauge, adapted from Ringström's approach.
result Existence and geometric uniqueness of maximal globally hyperbolic development.
We investigate the relationship among characteristic curves on developable surfaces. In case parameter curves coincide with these curves, we show that the base curve of a developable surface could be either a plane curve, a circular helix, a general helix or a slant helix.
Motivated by applications in architecture and design, we present a novel method for increasing the developability of a B-spline surface. We use the property that the Gauss image of a developable surface is 1-dimensional and can be locally well approximated by circles. This is cast into an algorithm for thinning the Gau…
This article presents a theoretical model for a dynamic system based on sustainable development. Due to the relatively absence of theoretical studies and practical issues in the area of sustainable development, Romania aspires to the principles of sustainable development. Based on the concept as a process in which econ…