Deep learning improves defect classification in real-time surface inspection.
problem Real-time defect classification in manufacturing industry using limited datasets.
method Convolutional Neural Networks (CNNs) designed for speed and accuracy, neural data augmentation for class imbalance.
result 98.0% accuracy in binary defect classification with 22,000 labeled images.
Framework for efficient defect classification and inspection.
problem Adaptive defect classification and inspection from high volume data.
method Continual learning framework for dynamic classifier updates.
result Efficient storage and computational needs reduction.
We develop the concept of Cartan ribbons together with a rolling-based method to ribbonize and approximate any given surface in space by intrinsically flat ribbons. The rolling requires that the geodesic curvature along the contact curve on the surface agrees with the geodesic curvature of the corresponding Cartan deve…
Paper proposes machine learning models for more accurate road inspection.
problem Traditional road inspection systems have safety, energy, and cost issues.
method Hybrid machine learning models using surface deflection data from FWD tests.
result CMIS model outperforms other models with APRE=2.3303, AAPRE=11.6768, RMSE=12.0056, and SD=0.0210.
Deep learning detects corrosion in nuclear fuel canisters.
problem Ensuring safety and integrity of used nuclear fuel dry storage canisters.
method Residual neural networks (ResNets) for real-time corrosion detection of canister images.
result Deep learning approach accurately detects corrosion and classifies canisters as corroded or intact.
The paper classifies compact affine quaternionic curves and surfaces.
problem Classifying compact affine quaternionic curves and surfaces.
method Affine quaternionic manifolds, Kodaira Theorem, fundamental groups, Lie Groups.
result Only quaternionic tori and primary Hopf surface S^3 x S^1 are compact affine quaternionic curves.
Many optimization algorithms converge to stationary points. When the underlying problem is nonconvex, they may get trapped at local minimizers and occasionally stagnate near saddle points. We propose the Run-and-Inspect Method, which adds an "inspect" phase to existing algorithms that helps escape from non-global stati…
New insights into how to inspect and learn from multi-stage processes and AI reasoning.
problem Understanding how to attribute outcomes to early stages in multi-stage operations and AI reasoning.
method Information-theoretic analysis and mathematical proofs of four key results.
result Uniform checkpoint spacing is minimax-optimal for inspection design under homogeneous signal attenuation.
New tool lassos connects virtual and surface link diagrams, changing primeness rules.
problem Establishing a new correspondence between virtual and surface link diagrams.
method Using a new tool called lassos, establishing a new correspondence between cellular link diagrams on closed surfaces and equivalence classes of virtual link diagrams.
result Traditional primeness for virtual links is stricter than for links in thickened surfaces.
Enhances privacy in data annotation and inspection with synthetic data.
problem Improving privacy in machine learning tasks like data annotation and inspection.
method Employing Bayesian differential privacy to generate higher-fidelity synthetic data.
result Produces higher-fidelity samples, detecting more subtle data errors and biases.
Generative models help debug data issues in private, decentralized datasets.
problem Manual data inspection is impractical for private, decentralized datasets.
method Differentially private federated generative models.
result Generative models can effectively debug data issues in private datasets.
Study compares deep feature methods for anomaly detection in limited data scenarios.
problem Handling limited data in industrial inspection applications.
method Three approaches (KNN, Mahalanobis, PaDiM) using pre-trained deep features with data augmentation.
result Data augmentation significantly improves performance in small data regimes.
A curve around a sphere must be at least 4π long.
problem Finding the shortest closed curve that encloses a sphere.
method Analyzing curves in Euclidean 3-space and comparing their lengths.
result The shortest curve is composed of 4 semicircles arranged like a baseball seam.
This work tackles maintenance planning with deep reinforcement learning under uncertainty.
problem Optimizing inspection and maintenance policies in deteriorating environments with incomplete information and constraints.
method Joint framework of constrained POMDPs and multi-agent DRL addressing challenges of state/action space, history, uncertainty, and constraints.
result The proposed framework outperforms existing methods in resource and risk-aware decision-making.
There is an especially strong need in modern large-scale data analysis to prioritize samples for manual inspection. For example, the inspection could target important mislabeled samples or key vulnerabilities exploitable by an adversarial attack. In order to solve the "needle in the haystack" problem of which samples t…
Bayes-TrEx finds in-distribution examples for model inspection.
problem Challenges in interpreting neural networks, especially high-confidence failures and ambiguous classifications.
method Bayesian sampling approach to find in-distribution examples with specified prediction confidence.
result Bayes-TrEx enables more flexible holistic model analysis than just inspecting the test set.
Active learning improves inspection systems by using weakly labeled data.
problem Rapidly updating machine vision inspection systems in evolving manufacturing processes.
method Developed a methodology for active learning from weakly labeled data, addressing covariate shift with domain-adversarial training.
result Demonstrated that active learning can accelerate the annotation process and reduce false positives.
Deep CNN monitors AM quality with high accuracy.
problem Quality control in AM processes.
method Deep Convolutional Neural Network (CNN) model trained and tested online.
result 94% accuracy and 96% specificity in classifying AM quality.
CRRN detects printer defects in SPI data of SMT boards.
problem Detecting defects in solder paste inspection data.
method Convolutional Recurrent Reconstructive Network (CRRN) with CSTMs and ST-Attention.
result CRRN outperforms conventional models in anomaly detection.
Federated CTMC model estimates bridge deterioration hazards without sharing raw data.
problem Bridge inspection data privacy and cross-organizational data sharing constraints.
method Federated CTMC hazard model with local optimization and FedAvg aggregation.
result Federated model converges on global benchmark parameters without data transfer.
Inspection-L detects illicit cryptocurrency transactions using GNNs and self-supervised learning.
problem Detect illicit cryptocurrency transactions for anti-money laundering.
method Graph Neural Network (GNN) framework based on self-supervised Deep Graph Infomax (DGI) and Graph Isomorphism Network (GIN) with supervised learning algorithms.
result Inspection-L outperforms state-of-the-art methods in key classification metrics.
Interactive framework improves understanding of deep neural networks.
problem False sense of comprehension from static explanation methods.
method Interactive framework allowing exhaustive inspection and testing of decisions.
result Interactive approach leads to better understanding of complex decision boundaries.
We briefly review our recent studies on stochastic processes modelling internet on-line trading. We present a way to evaluate the average waiting time between the observation of the price in financial markets and the next price change, especially in an on-line foreign exchange trading service for individual customers v…
Motivated by the human way of memorizing images we introduce their functional representation, where an image is represented by a neural network. For this purpose, we construct a hypernetwork which takes an image and returns weights to the target network, which maps point from the plane (representing positions of the pi…
Deep learning automates biofouling detection in ship hull images.
problem Automating biofouling assessment from ship hull images.
method Deep learning model trained on expert-annotated images.
result Deep learning model agrees with expert annotations.
The paper corrects biases in estimating intrinsic dimension and differential entropy.
problem Systematic bias in estimating intrinsic dimension and differential entropy.
method A bias-corrected estimator for both measures is proposed, highlighting shared steps and useful consequences.
result Simultaneous estimation of differential entropy and intrinsic dimension provides complementary perspectives on underlying manifolds.
The paper shows averaging gradients leads to memorization, proposing an alternative algorithm to focus on invariances.
problem The principle that 'good explanations are hard to vary' in deep learning is investigated.
method Formalizing consistency for loss surface minima, proposing an alternative algorithm based on logical AND.
result The alternative algorithm prevents memorization and focuses on invariances.
Random forest model predicts sewer pipe deterioration with high accuracy.
problem Challenges in predicting and scheduling sewer pipe inspections.
method Random forest classification model for sewer pipe condition prediction.
result Model achieved excellent AUC of 0.81 in a case study for City of LA.
MMD-Flagger detects hallucinations in LLMs by tracking MMD between outputs and temperature-generated counterparts.
problem Detecting hallucinations in large language models.
method Maximum Mean Discrepancy (MMD) to track the difference between model outputs and temperature-generated counterparts.
result MMD-Flagger detects most hallucinations by analyzing the shape of the MMD trajectory.
SparseIDS uses RL to significantly reduce packet inspection in IDSs.
problem Efficiently inspecting large volumes of network packets for security threats.
method SparseIDS employs RL to learn optimal packet sampling strategies.
result SparseIDS reduces packet inspection by more than 75% while maintaining high accuracy.
Study optimizes inspection and monitoring of deteriorating structures using POMDPs.
problem Optimizing decision-making for deteriorating engineering systems with uncertain observations.
method Developed theoretical and computational foundations for Value of Information (VoI) and Value of Structural Health Monitoring (VoSHM) in POMDPs.
result POMDP policies inherently leverage VoI to guide optimal observational actions, improving long-term cost.
Improved VGG networks enhance image classification accuracy.
problem Enhancing image classification accuracy using modified VGG architectures.
method Two improved VGG architectures were created by freezing the first two blocks and applying different dilation rates in the last three blocks.
result Significant out-performance on image classification tasks on CIFAR-10 and CIFAR-100 datasets.
Machine learning analysis of galaxy catalogues finds only one class separable.
problem Difficulty in classifying galaxies using visual inspection schemes.
method Generalized Relevance Matrix Learning Vector Quantization and Random Forests.
result Only one class, Little Blue Spheroids, is consistently separable.
A statistical test controls false positives in anomaly localization using diffusion models.
problem Uncertainty and bias in generative models for anomaly localization.
method Selective inference to quantify significance and control false positives.
result The method effectively controls false positive detection rates.
AKM2D framework speeds up anomaly detection in point-based sensing.
problem Efficient anomaly detection in point-based sensing systems.
method Adaptive Kernelized Maximum-Minimum Distance (AKM2D) framework for intelligent sequential sampling. result Balances exploration and exploitation for accurate anomaly quantification.
Neural Markov models improve time series analysis by balancing deep learning and classical models.
problem Modeling non-stationary time series with high data sparsity.
method Hybrid approach using neural networks to parameterize stochastic matrices, estimating time-inhomogeneous Markov chains.
result Reduction of Chapman-Kolmogorov discrepancy and superior likelihood in financial markets.
The regret bound of an optimization algorithms is one of the basic criteria for evaluating the performance of the given algorithm. By inspecting the differences between the regret bounds of traditional algorithms and adaptive one, we provide a guide for choosing an optimizer with respect to the given data set and the l…
Recently, a number of statistical problems have found an unexpected solution by inspecting them through a "modal point of view". These include classical tasks such as clustering or regression. This has led to a renewed interest in estimation and inference for the mode. This paper offers an extensive survey of the tradi…
It is commonly believed that increasing the interpretability of a machine learning model may decrease its predictive power. However, inspecting input-output relationships of those models using visual analytics, while treating them as black-box, can help to understand the reasoning behind outcomes without sacrificing pr…
Goresky, Kottwitz and MacPherson have recently shown that the computation of the equivariant cohomology ring of a G-manifold can be reduced to a computation in graph theory. This opens up the possibility that many of the fundamental theorems in equivariant de Rham theory may, on closer inspection, turn out simply to be…
New dataset for industrial machine sounds to aid maintenance.
problem Lack of public datasets for industrial machine sounds.
method Recorded normal and anomalous sounds of industrial machines.
result Assists in automated facility maintenance development.
DecompKAN improves time series forecasting accuracy and transparency.
problem Accurate and transparent time series forecasting in scientific domains.
method Combines decomposition, patching, normalization, and B-spline KAN edge functions.
result Achieves best or tied-best MSE on 20 of 36 comparisons across 9 datasets.
The study uses Gaussian mixture models to estimate pipe wall thickness from partial scans.
problem Estimating remaining wall thickness of critical water mains in non-destructive evaluation.
method Developed a robotic vehicle for pipe inspections. Used Gaussian Processes and Gaussian Mixture Models to infer RWT at unseen sections.
result Gaussian mixture models effectively capture the probability of RWT values in inspected data.
This paper examines data transfer methods to improve off-the-shelf Transformer models for retrosynthesis.
problem Improving prediction models for retrosynthesis using small datasets.
method Systematic examination of data transfer approaches on end-to-end generative models.
result Pre-training plus fine-tuning boosts the accuracy of a Transformer baseline, achieving state-of-the-art results.
Paper proposes using NLPD for cGANs to improve image realism and segmentation.
problem Lack of perceptual evaluation in cGANs.
method Used NLPD to measure perceptual similarity, comparing with L1 distance.
result NLPD improves realism and segmentation accuracy in generated images.
Study examines human factors in radiographic testing to improve inspection performance.
problem Insufficient consideration of human and organizational factors in NDT.
method CREAM method applied to analyze and model HOF on radiogram interpretation tasks.
result Model CREAM well-adapted for estimating HOF impact on NDT performances.
A new system detects and classifies defects in semiconductor manufacturing.
problem Detecting and classifying novel defect patterns in high-resolution imagery.
method Stacked hybrid convolutional neural networks (SH-CNN) with visual attention.
result SH-CNN outperforms current approaches in automated visual inspection.
In this paper, we investigate existence of inequivalent smooth structures on closed smooth non-orientable 4-manifolds building upon results of Akbulut, Cappell-Shaneson, Fintushel-Stern, Gompf, and Stolz. We add to the number of known constructions and provide new examples of exotic manifolds that are obtained as an ap…