-
1
-
2
Verification of Programs with Mutual Recursion in the Pifagor Language
Published 2018-08-01“…In the article, we consider verification of programs with mutual recursion in the data driven functional parallel language Pifagor. …”
Get full text
Article -
3
Corrigendum to: V. A. Sokolov, “On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions”, Modeling and analysis of information systems, vol. 2...
Published 2020-12-01“…Robinson, “Primitive recursive functions”, Bulletin of the American Mathematical Society, vol. 53, no. 10,pp. 925-942, 1947.[4] J. …”
Get full text
Article -
4
Predicting rapid decline in kidney function among type 2 diabetes patients: A machine learning approach
Published 2025-01-01“…Background: Diabetic kidney disease (DKD) is one of the typical complications of type 2 diabetes (T2D), with approximately 10 % of DKD patients experiencing a Rapid decline (RD) in kidney function. RD leads to an increased risk of poor outcomes such as the need for dialysis. …”
Get full text
Article -
5
Extension of the First-Order Recursive Filters Method to Non-Linear Second-Kind Volterra Integral Equations
Published 2024-11-01“…Unlike most numerical methods based on the Laplace transformation, the IIRFM-A method has the dual advantage of requiring neither the calculation of the Laplace transform of the source function nor that of intermediate inverse Laplace transforms. …”
Get full text
Article -
6
Machine learning based prediction of cognitive metrics using major biomarkers in SuperAgers
Published 2025-05-01Get full text
Article -
7
-
8
An automated adaptive trading system for enhanced performance of emerging market portfolios
Published 2025-02-01“…This is done by implementing a recursive window technique and running a user-specified fitness function to dynamically optimize the mean equation parameters throughout the lead time. …”
Get full text
Article -
9
-
10
Heun Functions and Some of Their Applications in Physics
Published 2018-01-01“…There are important examples, however, where one has to use higher order equations. Heun equation is one of these examples, which recently is often encountered in problems in general relativity and astrophysics. …”
Get full text
Article -
11
-
12
Functional Thinking in Mathematics Learning: What and How to Measure it?
Published 2023-10-01“…Even though the need for a review of functional thinking is increasing, until now there has been no systematic literature review discussing what and how to measure functional thinking in mathematics learning. …”
Get full text
Article -
13
Comparative Study on Active Suspension Controllers with Parameter Adaptive and Static Output Feedback Control
Published 2025-03-01“…A quarter-car model is selected as a vehicle model. To date, LQR has been used as an active suspension controller. …”
Get full text
Article -
14
A Versatile Algorithm for Autofocusing SAR Images
Published 2021-02-01“…It is proposed to use a quadratic function as a surrogate objective function.Results. …”
Get full text
Article -
15
Predictive Functional Control-Based Zenith Pass Controller Design for Roll-Pitch Seeker
Published 2020-01-01“…To solve this problem, this paper first proposes a novel motion model of sightline to predict the singularity in a receding horizon, where the model parameters are identified using a modified recursive least square estimator. And with the singularity predictions as set points, a predictive functional controller is then designed for the OG position control to minimize the tracking error. …”
Get full text
Article -
16
An Enhanced Model Free Adaptive Control Approach for Functional Electrical Stimulation Assisted Knee Joint Regulation and Control
Published 2023-01-01“…Functional electrical stimulation has been widely used in the neurologically disabled population as a rehabilitation method because of its intrinsic and higher ability to activate paralyzed muscles. …”
Get full text
Article -
17
Les réponses macroéconomiques des pays du CARICOM aux chocs extérieurs majeurs d’aujourd’hui
Published 2023-04-01Get full text
Article -
18
Simultaneous Model Change Detection in Multivariate Linear Regression With Application to Indonesian Economic Growth Data
Published 2024-01-01“…In this paper, we study asymptotic model change detection in multivariate linear regression by using the Kolmogorov–Smirnov function of the partial sum process of recursive residuals. …”
Get full text
Article -
19
Two Simple Numerical Methods for the Free Boundary in One-Phase Stefan Problem
Published 2014-01-01“…We formulate a log-transform function with the unfixed and fixed free boundary that has Lipschitz character near free boundary. …”
Get full text
Article -
20
Flexible Least Squares Algorithm for Switching Models
Published 2022-01-01“…In this paper, we propose a flexible recursive least squares algorithm which constructs the cost function based on two kinds of errors: the neighboring two-parameter estimation errors and the output estimation errors. …”
Get full text
Article