Results 121 to 130 of about 39,214 (275)

Agents' Behavior and Interest Rate Model Optimization in DeFi Lending

Mathematical Finance, EarlyView.
ABSTRACT Contrasting sharply with traditional money, bond, and bond futures markets, where interest rates emerge organically from participant interactions, DeFi lending platforms employ rule‐based interest rates that are algorithmically set. Thus, the selection of an effective interest rate model (IRM) is paramount for the success of a lending protocol.
Charles Bertucci, Louis Bertucci, Mathis Gontier Delaunay, Olivier Guéant, Matthieu Lesbre   +4 more
wiley   +1 more source

Δ1: An Automated Theorem Generator

International Journal of Computational Intelligence Systems
This paper introduces Δ1, a novel automated theorem generator for propositional and first-order logic that operates without a traditional built-in theorem prover.
Yang Xu, Hailin Guo, Shuwei Chen, Jun Liu   +3 more
doaj   +1 more source

Searching for fixed point combinators by using automated theorem proving: A preliminary report

, 1988
L. Wos, William McCune
openalex   +2 more sources

Longitudinal Alzheimer’s Disease Progression Modelling via Hybrid Vision Transformers and Recurrent Neural Networks With Cross‐Modal Feature Fusion

Expert Systems, Volume 43, Issue 3, March 2026.
ABSTRACT Modelling the evolution of Alzheimer's disease (AD) requires a thorough spatiotemporal study of longitudinal neuroimaging data. We propose in this paper a novel deep learning framework that uses a parallel combination of Recurrent Neural Networks (RNNs) and Vision Transformers (ViT) to extract temporal disease dynamics and spatial structural ...
Sahbi Bahroun, Gwanggil Jeon
wiley   +1 more source

Voters’ Facial Expression Analysis as a Complement to Traditional Election Polls: Affective Voting in Spanish National Elections in 2023

Social Science Quarterly, Volume 107, Issue 2, March 2026.
ABSTRACT Objectives This research jointly combines voters. biometric facial expression analysis while viewing images of candidates and party logos with traditional surveys to define and quantify novel indicators of affective voting. The paper explains the innovative methodology and analyzes the results of the experiment carried out before the 2023 ...
Francisco Javier Otamendi, Lucía M. Guerras, Félix‐Fernando Muñoz, Eva Borrega‐Alonso   +3 more
wiley   +1 more source

Data‐Driven Stabilization of Linear Discrete‐Time Delay Systems With Noisy Data

International Journal of Robust and Nonlinear Control, Volume 36, Issue 3, Page 1217-1227, February 2026.
ABSTRACT This paper is concerned with the stabilization of linear discrete‐time delay systems with unknown system matrices. The objective is to design stabilizing controllers using input and state measurements collected from experiments, which are affected by process disturbances.
Xian‐Ming Zhang, Qing‐Long Han, Xiaohua Ge, Bao‐Lin Zhang   +3 more
wiley   +1 more source

Peano: learning formal mathematical reasoning. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Poesia G, Goodman ND.
europepmc   +1 more source

Automated geometry theorem proving

, 2011
60
openaire   +2 more sources

Mesh, Hydrodynamic Boundary, and Uncertainty Analysis of the 2D‐SWEs: Taking Numerical Simulation of River Networks as an Example

Water Resources Research, Volume 62, Issue 2, February 2026.
Abstract Targeting the issues of insufficient predictive ability and inefficient computation in two‐dimensional shallow water equations (2D‐SWEs), this study deeply couples the mesh and hydrodynamic boundary, constructing multiple 2D hydrodynamic models (run 2,640 times).
Hong Chen, Xu Zhao, Huiming Zhang, Bangguo Song, Yue Zhao   +4 more
wiley   +1 more source

Discussion of ‘Robust distance covariance’ by S. Leyder, J. Raymaekers and P. J. Rousseeuw

International Statistical Review, EarlyView.
Hallin Marc, Davide La Vecchia, Hang Liu, Xinyi Xu   +3 more
wiley   +1 more source