Collection of notebooks about quantitative finance, with interactive python code. (⭐ 6715)
Two different Sinc-collocation methods for Volterra integral equations of the second kind have been independently proposed by Stenger and Rashidinia--Zarebnia. However, their relation remains unexplored. This study theoretically examines the solution...
using formal methods of mathematics. Formal verification is a key incentive for formal specification of systems, and is at the core of formal methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and
PDF | On Aug 23, 2024, Sathyanarayana S S and others published Selecting the Right Sample Size: Methods and Considerations for Social Science Researchers | Find, read and cite all the research …
The problem of career trajectory prediction (CTP) aims to predict one's future employer or job position. While several CTP methods have been developed for this problem, we posit that none of these methods (1) jointly considers the mutual ternary depe...
Tree-based ensemble methods, as Random Forests and Gradient Boosted Trees, have been successfully used for regression in many applications and research studies. Furthermore, these methods have been extended in order to deal with uncertainty in the ou...
This paper focuses on the fundamental challenge of partitioning input variables in attribution methods for Explainable AI, particularly in Shapley value-based approaches. Previous methods always compute attributions given a predefined partition but l...
To explain predictions made by complex machine learning models, many feature attribution methods have been developed that assign importance scores to input features. Some recent work challenges the robustness of these methods by showing that they are...
This paper investigates the determination of the Qibla direction using both astronomical and geometrical approaches. The study reviews historical and classical methods employed by Muslim scholars and astronomers including the use of instruments such...
Agile methods have transformed the way software is developed, emphasizing active end-user involvement, tolerance to change, and evolutionary delivery of products. The first special issue on agile development described the methods as focusing on "feed...
Model-based meta-reinforcement learning (RL) methods have recently been shown to be a promising approach to improving the sample efficiency of RL in multi-task settings. However, the theoretical understanding of those methods is yet to be established...
The rise of AI methods to make predictions and decisions has led to a pressing need for more explainable artificial intelligence (XAI) methods. One common approach for XAI is to produce a post-hoc explanation, explaining why a black box ML model made...
The String.strip (), String.stripLeading (), and String.stripTrailing () methods trim white space [as determined by Character.isWhiteSpace ()] off either the front, back, or both front and back of the …
Recently, data-driven single-view reconstruction methods have shown great progress in modeling 3D dressed humans. However, such methods suffer heavily from depth ambiguities and occlusions inherent to single view inputs. In this paper, we tackle this...
Land use mix is one of the central concepts in the urban planning field, though its measure has been found to have many fallacies. In this study, we propose multiple alternative methods to the Conventional Shannon Entropy land use mix index, which is...
Let $A$ denote an affine algebra over an algebraically closed field $k$, with $\dim A=d\geq 3$. In the light of availability of cancellation theorems for stably free modules $P$ with $rank(P)=d-1$ (corank one), we try to implement the methods of comp...
Visualisation methods help in the discovery of characteristics that might not have been apparent using mathematical models and summary statistics. However, visualisation methods have not received much attention in demography, with the exceptions of s...
In this paper, we establish the local superlinear convergence property of some polynomial-time interior-point methods for an important family of conic optimization problems. The main structural property used in our analysis is the logarithmic homogen...
A novel freestyle rap software, MCMChaos 0.0.1, based on rap music transcriptions created in previous research is presented. The software has three different versions, each making use of different mathematical simulation methods: collapsed gibbs samp...