English
Related papers

Related papers: The {\it victory} project v1.0: an efficient parqu…

200 papers

The fundamental elements of evidential reasoning problems are described, followed by a discussion of the structure of various types of problems. Bayesian inference networks and state space formalism are used as the tool for problem…

Artificial Intelligence · Computer Science 2013-04-12 Moshe Ben-Bassat

This paper is concerned with the two--phase obstacle problem, a type of a variational free boundary problem. We recall the basic estimates of Repin and Valdman (2015) and verify them numerically on two examples in two space dimensions. A…

Numerical Analysis · Mathematics 2016-06-06 Farid Bozorgnia , Jan Valdman

Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets and Declare. They are specifically interesting for process mining because they allow capturing complex behaviour in a compact…

Formal Languages and Automata Theory · Computer Science 2020-11-30 Boudewijn van Dongen , Johannes De Smedt , Claudio Di Ciccio , Jan Mendling

FIAT (the FInite element Automatic Tabulator) provides a powerful Python library for the generation and evaluation of finite element basis functions on a reference element. This release paper describes recent improvements to FIAT aimed at…

Numerical Analysis · Mathematics 2025-12-02 Pablo D. Brubeck , Robert C. Kirby , Fabian Laakmann , Lawrence Mitchell

Evaluation of the Voigt function, a convolution of a Lorentzian and a Gaussian profile, is essential in various fields such as spectroscopy, atmospheric science, and astrophysics. Efficient computation of the function is crucial, especially…

Instrumentation and Methods for Astrophysics · Physics 2024-11-05 Mofreh R. Zaghloul , Jacques Le Bourlot

We explore advanced fine-tuning techniques to boost BERT's performance in sentiment analysis, paraphrase detection, and semantic textual similarity. Our approach leverages SMART regularization to combat overfitting, improves hyperparameter…

Computation and Language · Computer Science 2024-07-22 Pradyumna Saligram , Andrew Lanpouthakoun

A new efficient numerical algorithm for interacting fermion systems is proposed and examined in detail. The ground state is expressed approximately by a linear combination of numerically chosen basis states in a truncated Hilbert space. Two…

Strongly Correlated Electrons · Physics 2007-05-23 Tsuyoshi Kashima , Masatoshi Imada

During recent years the field of fine-grained complexity has bloomed to produce a plethora of results, with both applied and theoretical impact on the computer science community. The cornerstone of the framework is the notion of…

Computational Complexity · Computer Science 2019-02-15 Elli Anastasiadi , Antonis Antonopoulos , Aris Pagourtzis , Stavros Petsalakis

Resolvent analysis is a powerful tool for modeling and analyzing turbulent flows and in particular provides an approximation of coherent flow structures. Despite recent algorithmic advances, computing resolvent modes for flows with more…

Fluid Dynamics · Physics 2022-09-21 Aaron Towne , Georgios Rigas , Ethan Pickering , Tim Colonius

This paper concerns the construction and analysis of a numerical scheme for a mixed discrete-continuous fragmentation equation. A finite volume scheme is developed, based on a conservative formulation of a truncated version of the…

Numerical Analysis · Mathematics 2019-02-06 Graham Baird , Endre Süli

This paper explores the fundamental limits of a simple system, inspired by the intermittent Kalman filtering model, where the actuation direction is drawn uniformly from the unit hypersphere. The model allows us to focus on a fundamental…

Optimization and Control · Mathematics 2021-05-18 Rahul Arya , Chih-Yuan Chiu , Gireeja Ranade

We consider several models (including both multidimensional ordinary differential equations (ODEs) and partial differential equations (PDEs), possibly ill-posed), subject to very strong damping and quasi-periodic external forcing. We study…

Dynamical Systems · Mathematics 2019-07-08 Fenfen Wang , Rafael de la Llave

Stimulated by the successful descriptions of strongly correlated electron systems by fractionalized fermions, correspondence between interacting fermions and non-interacting multi-component fermions is formulated in examples of the Hubbard…

Strongly Correlated Electrons · Physics 2024-09-23 Masatoshi Imada

This paper applies the Recursive Projection Method (RPM) to the problem of finding the effective mechanical response of a periodic heterogeneous solid. Previous works apply the Fast Fourier Transform (FFT) in combination with various…

Computational Engineering, Finance, and Science · Computer Science 2020-03-18 Xiaoyao Peng , Dhriti Nepal , Kaushik Dayal

Adaptive Finite Element Method (adaptivity) is known to be an effective numerical tool for some ill-posed problems. The key advantage of the adaptivity is the image improvement with local mesh refinements. A rigorous proof of this property…

Mathematical Physics · Physics 2012-10-30 Larisa Beilina , Michael V. Klibanov

The numerical solution of differential equations using neural networks has become a central topic in scientific computing, with Physics-Informed Neural Networks (PINNs) emerging as a powerful paradigm for both forward and inverse problems.…

Machine Learning · Computer Science 2026-01-28 Kazuaki Tanaka , Kohei Yatabe

We present a quantum impurity solver based on a pseudo-particle framework, which combines diagrammatic resummations for a three-point vertex with diagrammatic Monte Carlo sampling of a four-point vertex. This recently proposed approach [A.…

Strongly Correlated Electrons · Physics 2022-09-07 Aaram J. Kim , Jiajun Li , Martin Eckstein , Philipp Werner

Uniformly regular equilibrium problems are natural generalizations of abstract equilibrium prob lems and they are defined over the uniformly prox-regular nonconvex sets. Some new efficient implicit methods for solving uniformly regular…

Optimization and Control · Mathematics 2025-02-11 Oday Hazaimah

This work is devoted to establish the strong convergence results of an iterative algorithm generated by the shrinking projection method in Hilbert spaces. The proposed approximation sequence is used to find a common element in the set of…

Functional Analysis · Mathematics 2018-03-07 Abdul Ghaffar , Zafar Ullah , Muhammad Aqeel Ahmad Khan , Faisal Mumtaz

This paper explores some sufficient conditions for the enhanced solvability of strong vector equilibrium problems, which can be established via a variational approach. Enhanced solvability here means existence of solutions, which are strong…

Optimization and Control · Mathematics 2022-05-11 Amos Uderzo