Results 51 to 60 of about 43,571 (311)
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
Mathematical Logic: Proof Theory, Constructive Mathematics
, 2023 The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proof-theoretic research on the foundations of mathematics, on the extraction of explicit computational content from given proofs in core areas of ordinary ...
core +2 more sources
Matrix theory for independence algebras [PDF]
, 2022 Preprint de J. Araújo, W. Bentz, P.J. Cameron, M. Kinyon, J. Konieczny, “Matrix Theory for Independence Algebras”, Linear Algebra and its Applications 642 (2022), 221-250.A universal algebra A with underlying set A is said to be a matroid algebra if (A, 〈
Araújo, João +5 more
core +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
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
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
FEBS Open Bio, EarlyView.Amino acids sequence of two different proteins with the same sequence (chameleon sequence—black boxes) represent in 3D structure of the proteins different secondary structures: HHHH—helical and BBB—Beta‐structural. The chains folded in water environment adopt different III‐order structures in which the chameleon fragments appear to adopt similar status
Irena Roterman +4 more
wiley +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
Common workflows for computing material properties using different quantum engines
npj Computational Materials, 2021 The prediction of material properties based on density-functional theory has become routinely common, thanks, in part, to the steady increase in the number and robustness of available simulation packages.
Sebastiaan P. Huber +25 more
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