Results 31 to 40 of about 34,958 (266)
Applicable Mathematics in a Minimal Computational Theory of Sets
Logical Methods in Computer Science, 2018 In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predicatively acceptable theories in that framework was explored. In this work we first improve that framework by enriching it with means for coherently extending by definitions ...
Arnon Avron, Liron Cohen 0001
openaire +3 more sources
A mathematical theory of randomized computation, I
Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1988 In previous work [ibid. 64, No.4, 115-118 (1988; Zbl 0657.68061)] a randomized program was considered as a linear operator mapping an input probability measure to the output subprobability measure. In the present article the identity between the order topology on a randomized domain and the Scott topology is shown.
openaire +5 more sources
The Ontological Role of Applied Mathematics in Virtual Worlds
Philosophies, 2022 In this paper, I will argue that with the emergence of digital virtual worlds (in video games, animation movies, etc.) by the animation industry, we need to rethink the role and authority of mathematics, also from an ontological point of view.
Miklós Hoffmann
doaj +1 more source
A consequence of the notional existence of an effectively calculable yet non-recursive function
Analecta Cracoviensia, 2021 The present paper is devoted to a discussion of the role of Church’s thesis in setting limits to the cognitive possibilities of mathematics. The specific aim is to analyse the formalized theory of arithmetic as a fundamental mathematical structure ...
Adam Olszewski
doaj +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Data Based Construction of Kernels for Semi-Supervised Learning With Less Labels
Frontiers in Applied Mathematics and Statistics, 2019 This paper deals with the problem of semi-supervised learning using a small number of training samples. Traditional kernel based methods utilize either a fixed kernel or a combination of judiciously chosen kernels from a fixed dictionary. In contrast, we
Hrushikesh Mhaskar +3 more
doaj +1 more source
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source
Scientific Reports, 2021 The numerical analysis of MHD boundary layer non-Newtonian micropolar fluid due to an exponentially curved stretching sheet is developed in this study. In the energy equation effects of viscous dissipation are included.
Qiu-Hong Shi +5 more
doaj +1 more source
Jurnal Math Educator Nusantara: Wahana Publikasi Karya Tulis Ilmiah di Bidang Pendidikan Matematika, 2021 The implementation of online learning in computational mathematics courses has encountered various obstacles in addition to the decline in student learning outcomes. Therefore, research is aimed to explore student perceptions of online learning that has
Filda Febrinita, Wahyu Dwi Puspitasari
doaj +1 more source
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source