arXiv research

Graph-based ML improves defect prediction in software development.

Research proposes an ensemble learning model for efficient software defect prediction.

OS-ELM outperforms other classifiers in software defect prediction.

Deep learning had been used in program analysis for the prediction of hidden software defects using software defect datasets, security vulnerabilities using generative adversarial networks as well as identifying syntax errors by learning a trained neural machine translation on program codes. However, all these approach…

Context: Conducting experiments is central to research machine learning research to benchmark, evaluate and compare learning algorithms. Consequently it is important we conduct reliable, trustworthy experiments. Objective: We investigate the incidence of errors in a sample of machine learning experiments in the domain …

MISIM improves code similarity systems with neural learning.

Context: One of the black arts of data mining is learning the magic parameters which control the learners. In software analytics, at least for defect prediction, several methods, like grid search and differential evolution (DE), have been proposed to learn these parameters, which has been proved to be able to improve t…

Method predicts hardware resource usage by control software with guaranteed linear convergence.

Data extracted from software repositories is used intensively in Software Engineering research, for example, to predict defects in source code. In our research in this area, with data from open source projects as well as an industrial partner, we noticed several shortcomings of conventional data mining approaches for c…

Although software analytics has experienced rapid growth as a research area, it has not yet reached its full potential for wide industrial adoption. Most of the existing work in software analytics still relies heavily on costly manual feature engineering processes, and they mainly address the traditional classification…

Defines state sum models with defects in 3-manifolds.

We model GitHub interactions as a temporal knowledge graph for software engineering questions.

The study examines K-polystability on Fano 4-folds with specific Lefschetz defects.

In this paper, we survey recent results on index defects of elliptic operators on manifolds with boundary. Index defects are similar to the Hirzebruch signature defects in topology, where the defects appear as the correction terms to the signature formula on manifolds with boundary. For some natural classes of elliptic…

Recent advances in machine learning and artificial intelligence are now being considered in safety-critical autonomous systems where software defects may cause severe harm to humans and the environment. Design organizations in these domains are currently unable to provide convincing arguments that their systems are saf…

Study of knotted defects in smectic liquid crystals using topological knot theory.

We study the topology of smectic defects in two and three dimensions. We give a topological classification of smectic point defects and disclination lines in three dimensions. In addition we describe the combination rules for smectic point defects in two and three dimensions, showing how the broken translational symmet…

We define the sigma-model action for world-sheets with embedded defect networks in the presence of a three-form field strength. We derive the defect gluing condition for the sigma-model fields and their derivatives, and use it to distinguish between conformal and topological defects. As an example, we treat the WZW mod…

Specialists tolerate defects to gain flexibility, which can be removed when needed.

Specialists tolerate defects to gain flexibility, which can be removed when needed.

Alexander polynomial degree correlates with knot defect, proving conjecture for defect zero.

We introduce a Bayesian defect detector to facilitate the defect detection on the motion blurred images on rough texture surfaces. To enhance the accuracy of Bayesian detection on removing non-defect pixels, we develop a class of reflected non-local prior distributions, which is constructed by using the mode of a distr…

Framework for efficient defect classification and inspection.

Method learns software resource usage from snapshots.

Simplified 3D Dijkgraaf-Witten theory with defects explained geometrically.

The angle defect, which is the standard way to measure curvature at the vertices of polyhedral surfaces, goes back at least as far as Descartes. Although the angle defect has been widely studied, there does not appear to be in the literature an axiomatic characterization of the angle defect. We give a characterization …

Spin TFTs created by gauging line defects in 3D.

Defect of knot polynomials remains invariant under certain braid substitutions.

Anomaly detection refers to the task of finding unusual instances that stand out from the normal data. In several applications, these outliers or anomalous instances are of greater interest compared to the normal ones. Specifically in the case of industrial optical inspection and infrastructure asset management, findin…

Extends knotted defect classification to bounded domains using handlebodies.

In financial field, a robust software system is of vital importance to ensure the smooth operation of financial transactions. However, many financial corporations still depend on operators to identify and eliminate the system failures when financial software systems break down. This traditional operation method is time…

New theorem disproves Angle Defect for super triangles.

Classical elasticity is concerned with bodies that can be modeled as smooth manifolds endowed with a reference metric that represents local equilibrium distances between neighboring material elements. The elastic energy associated with a configuration of a body in classical elasticity is the sum of local contributions …

Each year, thousands of software vulnerabilities are discovered and reported to the public. Unpatched known vulnerabilities are a significant security risk. It is imperative that software vendors quickly provide patches once vulnerabilities are known and users quickly install those patches as soon as they are available…

A modular tensor category $\mathcal{C}$ gives rise to a Reshetikhin-Turaev type topological quantum field theory which is defined on 3-dimensional bordisms with embedded $\mathcal{C}$-coloured ribbon graphs. We extend this construction to include bordisms with surface defects which in turn can meet along line defects. …

A topological defect separating a pair of two-dimensional CFTs is a codimension one interface along which all components of the stress-energy tensor glue continuously. We study topological defects of the bosonic, (0,1)- and (0,2)-supersymmetric sigma models in two dimensions. We find a geometric classification of such …

We present a homogenization theorem for isotropically-distributed point defects, by considering a sequence of manifolds with increasingly dense point defects. The loci of the defects are chosen randomly according to a weighted Poisson point process, making it a continuous version of the first passage percolation model.…

In this paper we study supersymmetric co-dimension 2 and 4 defects in the compactification of the 6d $(2,0)$ theory of type $A_{N-1}$ on a 3-manifold $M$. The so-called 3d-3d correspondence is a relation between complexified Chern-Simons theory (with gauge group $SL(N, \mathbb{C})$) on $M$ and a 3d $\mathcal{N}=2$ theo…

Develops skein theory for 3-manifolds with defects, extending quantum character stacks.

We describe discrete symmetries of two-dimensional Yang-Mills theory with gauge group $G$ associated to outer automorphisms of $G$, and their corresponding defects. We show that the gauge theory partition function with defects can be computed as a path integral over the space of twisted $G$-bundles, and calculate it ex…

A novel method classifies wafer defects using topological data analysis.

A new deep metric learning method for defect classification in threaded pipe connections.

The goal of this paper is twofold. First we prove a rigidity estimate, which generalises the theorem on geometric rigidity of Friesecke, James and Müller to 1-forms with non-vanishing exterior derivative. Second we use this estimate to prove a kind of spontaneous breaking of rotational symmetry for some models of cryst…

RAMANMETRIX simplifies Raman spectroscopy data analysis.

New conditions ensure points can be uniquely represented by combinations of variety elements.

We show that Bonnesen's isoperimetic defect has a systolic analog for Loewner's torus inequality. The isosystolic defect is expressed in terms of the probabilistic variance of the conformal factor of the metric g with respect to the flat metric of unit area in the conformal class of g.

Graph coloring is explained using a topological field theory with defects.

Recognition of defects in concrete infrastructure, especially in bridges, is a costly and time consuming crucial first step in the assessment of the structural integrity. Large variation in appearance of the concrete material, changing illumination and weather conditions, a variety of possible surface markings as well …