English
Related papers

Related papers: A Fast Approach to Creative Telescoping

200 papers

An analytical solution for the optical efficiency of a luminescent solar concentrator is presented. Due to a large number of input parameters and their complex effect on the device efficiency numerical simulations have been previously used…

Optics · Physics 2020-03-16 Ilya Sychugov

Many applied time-dependent problems are characterized by an additive representation of the problem operator. Additive schemes are constructed using such a splitting and associated with the transition to a new time level on the basis of the…

Numerical Analysis · Computer Science 2010-05-13 Petr N. Vabishchevich

The paper describes different approaches to generalize the trapezoidal method to fractional differential equations. We analyze the main theoretical properties and we discuss computational aspects to implement efficient algorithms. Numerical…

Numerical Analysis · Mathematics 2019-12-23 Roberto Garrappa

Recent theoretical work on automatic differentiation (autodiff) has focused on characteristics such as correctness and efficiency while assuming that all derivatives are automatically generated by autodiff using program transformation, with…

Programming Languages · Computer Science 2024-08-15 Sam Estep

The delta method is a popular and elementary tool for deriving limiting distributions of transformed statistics, while applications of asymptotic distributions do not allow one to obtain desirable accuracy of approximation for tail…

Statistics Theory · Mathematics 2011-05-19 Fuqing Gao , Xingqiu Zhao

Context. Modern radio astronomical arrays have (or will have) more than one order of magnitude more receivers than classical synthesis arrays, such as the VLA and the WSRT. This makes gain calibration a computationally demanding task.…

Instrumentation and Methods for Astrophysics · Physics 2014-10-09 Stefano Salvini , Stefan J. Wijnholds

Delta lenses are functors equipped with a suitable choice of lifts, and are used to model bidirectional transformations between systems. In this paper, we construct an algebraic weak factorisation system whose R-algebras are delta lenses.…

Category Theory · Mathematics 2023-12-15 Bryce Clarke

We present a simplification of the recursive algorithm for the evaluation of intersection numbers for differential $n$-forms, by combining the advantages emerging from the choice of delta-forms as generators of relative twisted cohomology…

High Energy Physics - Theory · Physics 2024-01-05 Giacomo Brunello , Vsevolod Chestnov , Giulio Crisanti , Hjalte Frellesvig , Manoj K. Mandal , Pierpaolo Mastrolia

A general conversion strategy by involving a shifted parameter $\theta$ is proposed to construct high-order accuracy difference formulas for fractional calculus operators. By converting the second-order backward difference formula with such…

Numerical Analysis · Mathematics 2022-04-13 Baoli Yin , Guoyu Zhang , Yang Liu , Hong Li

Deep Active Learning (DAL) reduces annotation costs by selecting the most informative unlabeled samples during training. As real-world applications become more complex, challenges stemming from distribution shifts (e.g., open-set…

Machine Learning · Computer Science 2025-08-08 Chenkai Wu , Yuanyuan Qi , Xiaohao Yang , Jueqing Lu , Gang Liu , Wray Buntine , Lan Du

The scientific computation methods development in conjunction with artificial intelligence technologies remains a hot research topic. Finding a balance between lightweight and accurate computations is a solid foundation for this direction.…

Machine Learning · Computer Science 2025-07-03 Nikita Sakovich , Dmitry Aksenov , Ekaterina Pleshakova , Sergey Gataullin

A transformation optics approach was used to derive a general method for designing electromagnetic devices able to manipulate the wave vectors in the specific manner required by the functionality of the device. While the wave paths inside…

Optics · Physics 2017-07-19 Mircea Giloan

Tensor algebra is a crucial component for data-intensive workloads such as machine learning and scientific computing. As the complexity of data grows, scientists often encounter a dilemma between the highly specialized dense tensor algebra…

Programming Languages · Computer Science 2024-07-19 Mahdi Ghorbani , Emilien Bauer , Tobias Grosser , Amir Shaikhha

Mathematics can help analyze the arts and inspire new artwork. Mathematics can also help make transformations from one artistic medium to another, considering exceptions and choices, as well as artists' individual and unique contributions.…

History and Overview · Mathematics 2020-03-25 Maria Mannone , Federico Favali , Balandino Di Donato , Luca Turchet

In this paper we propose a dynamic programming solution to the template-based recognition task in OCR case. We formulate a problem of optimal position search for complex objects consisting of parts forming a sequence. We limit the distance…

Computer Vision and Pattern Recognition · Computer Science 2020-08-03 M. A. Povolotskiy , D. V. Tropin

Scientific computing is an essential tool for scientific discovery and engineering design, and its computational cost is always a main concern in practice. To accelerate scientific computing, it is a promising approach to use machine…

Machine Learning · Computer Science 2024-05-07 Sohei Arisaka , Qianxiao Li

Following the definitions of the algebras of differential operators, $\beta$-differential operators, and the quantum differential operators on a noncommutative (graded) algebra given in \cite{LR}, we describe these operators on the free…

Rings and Algebras · Mathematics 2011-03-08 Uma N. Iyer , Timothy C. McCune

Let $\K$ be an algebraic number field of degree $d$ and discriminant $\Delta$ over $\Q$. Let $\A$ be an associative algebra over $\K$ given by structure constants such that $\A\cong M_n(\K)$ holds for some positive integer $n$. Suppose that…

Rings and Algebras · Mathematics 2014-07-11 Gábor Ivanyos , Ádám D. Lelkes , Lajos Rónyai

In this paper, by way of three examples - a fourth order low pass active RC filter, a rudimentary BJT amplifier, and an LC ladder - we show, how the algebraic capabilities of modern computer algebra systems can, or in the last example,…

Symbolic Computation · Computer Science 2011-01-04 Eberhard H. -A. Gerbracht

Many computer algebra systems have more than 1000 built-in functions, making expertise difficult. Using mock dialog boxes, this article describes a proposed interactive general-purpose wizard for organizing optional transformations and…

Symbolic Computation · Computer Science 2016-11-26 David R. Stoutemyer