中文
相关论文

相关论文: A Fixed-Point Type for Octave

200 篇论文

The MPLAPACK (formerly MPACK) is a multiple-precision version of LAPACK (https://www.netlib.org/lapack/). MPLAPACK version 2.0.1 is based on LAPACK version 3.9.1 and translated from Fortran 90 to C++ using FABLE, a Fortran to C++…

数学软件 · 计算机科学 2022-09-13 Maho Nakata

Tools for computing detailed optically thick spectral line profiles out of local thermodynamic equilibrium have always been focused on speed, due to the large computational effort involved. With the Lightweaver framework, we have produced a…

天体物理仪器与方法 · 物理学 2021-08-18 Christopher M J Osborne , Ivan Milić

This work is devoted to solving the composite optimization problem with the mixture oracle: for the smooth part of the problem, we have access to the gradient, and for the non-smooth part, only the one-point zero-order oracle is available.…

最优化与控制 · 数学 2025-07-23 Aleksandr Beznosikov , Ivan Stepanov , Artyom Voronov , Alexander Gasnikov

We prove fixed points results for sandpiles starting with arbitrary initial conditions. We give an effective algorithm for computing such fixed points, and we refine it in the particular case of SPM.

计算复杂性 · 计算机科学 2007-05-23 Enrico Formenti , Benoit Masson

We introduce the Fixed Point Diffusion Model (FPDM), a novel approach to image generation that integrates the concept of fixed point solving into the framework of diffusion-based generative modeling. Our approach embeds an implicit fixed…

计算机视觉与模式识别 · 计算机科学 2024-01-18 Xingjian Bai , Luke Melas-Kyriazi

Landing safety is a challenge heavily engaging the research community recently, due to the increasing interest in applications availed by aerial vehicles. In this paper, we propose a landing safety pipeline based on state of the art object…

机器人学 · 计算机科学 2024-04-09 Tilemahos Mitroudas , Vasiliki Balaska , Athanasios Psomoulis , Antonios Gasteratos

TemplateTagger is a C++ package for jet substructure analysis with Template Overlap Method. The code operates with arbitrary models within fixed-order perturbation theory and arbitrary kinematics. Specialized template generation classes…

高能物理 - 唯象学 · 物理学 2013-06-03 Mihailo Backović , Jose Juknevich

Assessment of model fitness is a key part of machine learning. The standard paradigm is to learn models by minimizing a chosen loss function averaged over training data, with the aim of achieving small losses on future data. In this paper,…

机器学习 · 统计学 2023-10-17 Ludvig Hult , Dave Zachariah , Petre Stoica

Recent renewed interest in optimizing and analyzing floating-point programs has lead to a diverse array of new tools for numerical programs. These tools are often complementary, each focusing on a distinct aspect of numerical programming.…

编程语言 · 计算机科学 2018-05-08 Heiko Becker , Pavel Pancheckha , Eva Darulova , Zachary Tatlock

T-IFISS is a finite element software package for studying finite element solution algorithms for deterministic and parametric elliptic partial differential equations. The emphasis is on self-adaptive algorithms with rigorous error control…

数值分析 · 数学 2020-03-11 Alex Bespalov , Leonardo Rocchi , David Silvester

We prove that the fixed point iteration of arbitrary positive concave mappings with nonempty fixed point set converges geometrically for any starting point. We also show that positivity is crucial for this result to hold, and the concept of…

最优化与控制 · 数学 2022-10-19 Tomasz Piotrowski , Renato L. G. Cavalcante

This paper presents a fast and modular framework for Multi-Object Tracking (MOT) based on the Markov descision process (MDP) tracking-by-detection paradigm. It is designed to allow its various functional components to be replaced by…

计算机视觉与模式识别 · 计算机科学 2023-10-24 Abhineet Singh

Software vulnerabilities remain a significant risk factor in achieving security objectives within software development organizations. This is especially true where either proprietary or open-source software (OSS) is included in the…

软件工程 · 计算机科学 2025-09-23 James J. Cusick

Algorithm portfolio and selection approaches have achieved remarkable improvements over single solvers. However, the implementation of such systems is often highly customised and specific to the problem domain. This makes it difficult for…

人工智能 · 计算机科学 2014-05-01 Lars Kotthoff

We present a generic programming framework for OCAML which makes it possible to implement extensible transformations for a large scale of type definitions. Our framework makes use of objectoriented features of OCAML, utilising late binding…

编程语言 · 计算机科学 2021-06-03 Dmitrii Kosarev , Dmitry Boulytchev

Black-box optimization (BBO) underpins advances in domains such as AutoML and Materials Informatics, yet implementations of algorithms and benchmarks remain fragmented across research communities. We introduce OptunaHub…

机器学习 · 计算机科学 2026-04-21 Yoshihiko Ozaki , Shuhei Watanabe , Toshihiko Yanase

Algorithms operating on real numbers are implemented as floating-point computations in practice, but floating-point operations introduce roundoff errors that can degrade the accuracy of the result. We propose $\Lambda_{num}$, a functional…

编程语言 · 计算机科学 2025-04-10 Ariel E. Kellison , Justin Hsu

We use the method of monotone iterations to obtain fixed point and coupled fixed point results for mixed monotone operators in the setting of partially ordered sets, with no additional assumptions on the partial order and with no…

一般拓扑 · 数学 2013-08-23 Mircea-Dan Rus

This article presents an introduction to MMPDElab, a package written in MATLAB for adaptive mesh movement and adaptive moving mesh P1 finite element solution of second-order partial different equations having continuous solutions in one,…

数值分析 · 数学 2020-07-29 Weizhang Huang

Many statistical problems and applications require repeated computation of order statistics, such as the median, but most statistical and programming environments do not offer in their main distribution linear selection algorithms. We…

统计方法学 · 统计学 2023-02-14 Ivano Azzini , Domenico Perrotta , Francesca Torti