English
Related papers

Related papers: Revisiting Variable Ordering for Real Quantifier E…

200 papers

Geometric Deep Learning techniques have become a transformative force in the field of Computer-Aided Design (CAD), and have the potential to revolutionize how designers and engineers approach and enhance the design process. By harnessing…

Computational Geometry · Computer Science 2025-07-08 Negar Heidari , Alexandros Iosifidis

This study describes a procedure for applying causal modeling to detect and mitigate algorithmic bias in a multiclass classification problem. The dataset was derived from the FairFace dataset, supplemented with emotional labels generated by…

Machine Learning · Computer Science 2025-01-15 Min Sik Byun , Wendy Wan Yee Hui , Wai Kwong Lau

We propose an end-to-end pipeline to robustly generate high-quality, high-order and coarse quadrilateral meshes on CAD models. This kind of mesh enables the use of high-order analysis techniques such as high-order finite element methods or…

Computational Engineering, Finance, and Science · Computer Science 2021-08-06 Mattéo Couplet , Maxence Reberol , Jean-François Remacle

The classical method of determining the atomic structure of complex molecules by analyzing diffraction patterns is currently undergoing drastic developments. Modern techniques for producing extremely bright and coherent X-ray lasers allow a…

Biomolecules · Quantitative Biology 2015-10-12 Tomas Ekeberg , Stefan Engblom , Jing Liu

A cross-benchmark has been done on three critical aspects, data imputing, feature selection and regression algorithms, for machine learning based chemical vapor deposition (CVD) virtual metrology (VM). The result reveals that linear feature…

Machine Learning · Computer Science 2021-07-29 Yunsong Xie , Ryan Stearrett

This paper introduces an effective memetic algorithm for the linear ordering problem with cumulative costs. The proposed algorithm combines an order-based recombination operator with an improved forward-backward local search procedure and…

Neural and Evolutionary Computing · Computer Science 2014-05-20 Tao Ye , Kan Zhou , Zhipeng Lu , Jin-Kao Hao

Machine learning has opened up new tools for financial fraud detection. Using a sample of annotated transactions, a machine learning classification algorithm learns to detect frauds. With growing credit card transaction volumes and rising…

Machine Learning · Computer Science 2022-08-26 Gayan K. Kulatilleke

While high-capacity AI models have advanced state-of-the-art performance, their practical deployment is often hindered by high inference costs, environmental impact, and a "one-size-fits-all" approach that ignores varying sample complexity.…

Computer Vision and Pattern Recognition · Computer Science 2026-05-19 Turkoglu Mikael , Bary Tim , Thielens Vincent , Dausort Manon , Macq Benoît

Studies on manufacturing cost prediction based on deep learning have begun in recent years, but the cost prediction rationale cannot be explained because the models are still used as a black box. This study aims to propose a manufacturing…

Computational Geometry · Computer Science 2022-10-04 Soyoung Yoo , Namwoo Kang

The vast majority of real world classification problems are imbalanced, meaning there are far fewer data from the class of interest (the positive class) than from other classes. We propose two machine learning algorithms to handle highly…

Machine Learning · Statistics 2014-06-10 Siong Thye Goh , Cynthia Rudin

We present a new methodology for utilising machine learning technology in symbolic computation research. We explain how a well known human-designed heuristic to make the choice of variable ordering in cylindrical algebraic decomposition may…

Symbolic Computation · Computer Science 2024-04-29 Dorian Florescu , Matthew England

In this work, we describe a new approach that uses variational encoder-decoder (VED) networks for efficient goal-oriented uncertainty quantification for inverse problems. Contrary to standard inverse problems, these approaches are…

Numerical Analysis · Mathematics 2023-10-02 Babak Maboudi Afkham , Julianne Chung , Matthias Chung

Modern statistical learning theory and deep learning characterize generalization primarily in terms of continuous capacity control (e.g., norm-based regularization, margin maximization, low-rank bias). While highly successful in continuous…

Machine Learning · Computer Science 2026-05-29 Dongsung Huh

Meta-learning has been proposed as a promising machine learning topic in recent years, with important applications to image classification, robotics, computer games, and control systems. In this paper, we study the problem of using…

Systems and Control · Electrical Eng. & Systems 2025-03-04 Yunian Pan , Tao Li , Quanyan Zhu

Algorithms and hardware for solving quadratic unconstrained binary optimization (QUBO) problems have made significant recent progress. This advancement has focused attention on formulating combinatorial optimization problems as quadratic…

Machine Learning · Computer Science 2025-08-26 Yuta Shikuri

High false-positive rate is a long-standing challenge for anomaly detection algorithms, especially in high-stake applications. To identify the true anomalies, in practice, analysts or domain experts will be employed to investigate the top…

Machine Learning · Computer Science 2020-09-17 Daochen Zha , Kwei-Herng Lai , Mingyang Wan , Xia Hu

Optimization in machine learning, both theoretical and applied, is presently dominated by first-order gradient methods such as stochastic gradient descent. Second-order optimization methods, that involve second derivatives and/or second…

Machine Learning · Computer Science 2021-03-08 Rohan Anil , Vineet Gupta , Tomer Koren , Kevin Regan , Yoram Singer

A great variety of off-policy learning algorithms exist in the literature, and new breakthroughs in this area continue to be made, improving theoretical understanding and yielding state-of-the-art reinforcement learning algorithms. In this…

Machine Learning · Computer Science 2020-07-31 Mark Rowland , Will Dabney , Rémi Munos

A problem faced by many instructors is that of designing exams that accurately assess the abilities of the students. Typically these exams are prepared several days in advance, and generic question scores are used based on rough…

Computers and Society · Computer Science 2018-11-07 Sam Ganzfried , Farzana Yusuf

The problem of selecting an appropriate number of features in supervised learning problems is investigated in this paper. Starting with common methods in machine learning, we treat the feature selection task as a quadratic unconstrained…

Quantum Physics · Physics 2023-06-21 Gerhard Hellstern , Vanessa Dehn , Martin Zaefferer