English
Related papers

Related papers: Cube-based Isomorph-free Finite Model Finding

200 papers

A straightforward and computationally efficient Consecutive Cubic Spline (CCS) iterative algorithm is proposed for positioning the planar interface of the unstructured geometrical Volume-of-Fluid method in arbitrarily-shaped cells. The CCS…

Computational Physics · Physics 2025-01-08 Tomislav Maric

In this paper, an important discovery has been found for nonconforming immersed finite element (IFE) methods using the integral values on edges as degrees of freedom for solving elliptic interface problems. We show that those IFE methods…

Numerical Analysis · Mathematics 2023-05-17 Haifeng Ji , Feng Wang , Jinru Chen , Zhilin Li

The Coarse-to-Fine Few-Shot (C2FS) task is designed to train models using only coarse labels, then leverages a limited number of subclass samples to achieve fine-grained recognition capabilities. This task presents two main challenges:…

Computer Vision and Pattern Recognition · Computer Science 2025-02-28 Xin-yang Zhao , Jian Jin , Yang-yang Li , Yazhou Yao

Nonlinear programming is explicitly analyzed via a novel perspective/method and from a bottom-up manner. The philosophy is based on the recent findings on convex quadratic equation (CQE), which help clarify a geometric interpretation that…

Optimization and Control · Mathematics 2022-10-20 Li-Gang Lin , Yew-Wen Liang

A recent study has shown that diffusion models are well-suited for modeling the generative process of user-item interactions in recommender systems due to their denoising nature. However, existing diffusion model-based recommender systems…

Information Retrieval · Computer Science 2024-04-23 Yu Hou , Jin-Duk Park , Won-Yong Shin

In this paper, we develop a Bayesian multiscale approach based on a multiscale finite element method. Because of scale disparity in many multiscale applications, computational models can not resolve all scales. Various subgrid models are…

Numerical Analysis · Mathematics 2017-02-13 Y. Efendiev , W. T. Leung , S. W. Cheung , N. Guha , V. H. Hoang , B. Mallick

In this work we present and study an iterative algorithm used to asymptotically solve nonlinear differential equations. This algorithm (Iterative First Order HAM or IFOHAM) is based on the first order equation of the Homotopy Analysis…

Numerical Analysis · Mathematics 2017-10-06 Miguel Moreira

This article presents a new high-level parallel computational model named BSF - Bulk Synchronous Farm. The BSF model extends the BSP model to deal with the compute-intensive iterative numerical methods executed on distributed-memory…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-29 Leonid B. Sokolinsky

Neural architecture search (NAS) is an attractive approach to automate the design of optimized architectures but is constrained by high computational budget, especially when optimizing for multiple, important conflicting objectives. To…

Machine Learning · Computer Science 2025-09-03 Zhao Wei , Chin Chun Ooi , Yew-Soon Ong

We study the high-dimensional linear regression problem with categorical predictors that have many levels. We propose a new estimation approach, which performs model compression via two mechanisms by simultaneously encouraging (a)…

Methodology · Statistics 2026-03-30 Kayhan Behdin , Riade Benbaki , Peter Radchenko , Rahul Mazumder

Unlearning is challenging in generic learning frameworks with the continuous growth and updates of models exhibiting complex inheritance relationships. This paper presents a novel unlearning framework that enables fully parallel unlearning…

Machine Learning · Computer Science 2025-11-25 Xiao Liu , Mingyuan Li , Guangsheng Yu , Lixiang Li , Haipeng Peng , Ren Ping Liu

We give a new algorithm of slow continued fraction expansion related to any real cubic number field as a 2-dimensional version of the Farey map. Using our algorithm, we can find the generators of dual substitutions (so-called tiling…

Number Theory · Mathematics 2013-10-30 Maki Furukado , Shunji Ito , Asaki Saito , Jun-ichi Tamura , Shin-ichi Yasutomi

Large integer factorization is a prominent research challenge, particularly in the context of quantum computing. This holds significant importance, especially in information security that relies on public key cryptosystems. The classical…

Quantum Physics · Physics 2023-10-24 Imran Khan Tutul , Sara Karimi , Mohammadreza Soltaninia , Junpeng Zhan

Counting and finding triangles in graphs is often used in real-world analytics to characterize cohesiveness and identify communities in graphs. In this paper, we propose the novel concept of a cover-edge set that can be used to find…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-09-19 David A. Bader , Fuhuan Li , Anya Ganeshan , Ahmet Gundogdu , Jason Lew , Oliver Alvarado Rodriguez , Zhihui Du

Mixed integer linear programming (MILP) is a powerful representation often used to formulate decision-making problems under uncertainty. However, it lacks a natural mechanism to reason about objects, classes of objects, and relations.…

Logic in Computer Science · Computer Science 2012-05-14 Geoffrey Gordon , Sue Ann Hong , Miroslav Dudik

We study huge-scale assortment optimization problems to maximize expected revenue under customer choice, addressing a fundamental challenge in industries such as transportation, retail, and healthcare. The choice-based linear programming…

Optimization and Control · Mathematics 2026-02-27 Donghao Zhu , Hanzhang Qin , Ching-pei Lee , Yuki Saito , Takahiro Kawashima , Kenji Fukumizu

Computer model calibration is a crucial step in building a reliable computer model. In the face of massive physical observations, a fast estimation for the calibration parameters is urgently needed. To alleviate the computational burden, we…

Statistics Theory · Mathematics 2022-11-24 Shurui Lv , Yan Wang , Jun Yu

Conditional density estimation (CDE) is a fundamental task in machine learning that aims to model the full conditional law $\mathbb{P}(\mathbf{y} \mid \mathbf{x})$, beyond mere point prediction (e.g., mean, mode). A core challenge is…

Machine Learning · Computer Science 2026-03-27 Chenglong Song , Mazharul Islam , Lin Wang , Bing Chen , Bo Yang

Due to their cost, experiments for inertial confinement fusion (ICF) heavily rely on numerical simulations to guide design. As simulation technology progresses, so too can the fidelity of models used to plan for new experiments. However,…

Plasma Physics · Physics 2024-06-11 J. Wang , N. Chiang , A. Gillette , J. L. Peterson

Continuous diffusion and flow matching models could represent a powerful alternative to autoregressive approaches for language modelling (LM), as they unlock a host of advantages currently reserved for continuous modalities, including…

Machine Learning · Computer Science 2026-05-12 Oscar Davis , Anastasiia Filippova , Pierre Ablin , Victor Turrisi , Amitis Shidani , Marco Cuturi , Louis Béthune
‹ Prev 1 3 4 5 6 7 10 Next ›