Results 81 to 90 of about 219,279 (313)

Kernel convergence of hyperbolic components. [PDF]

, 1997
We study families $G(\lambda,\cdot)$ of entire functions that are approximated by a sequence of families $G_n(\lambda,\cdot)$ of entire functions, where $\lambda\in\C$ is a parameter.
Krauskopf, B., BERND KRAUSKOPF, Kriete, H., Kriete, H, Krauskopf, B, HARTJE KRIETE   +5 more
core   +1 more source

A Machine Proof of the Filter-Method Construction for Real Numbers

Mathematics
This paper presents a machine verification of a real number theory where real numbers are constructed using concepts related to filters. The theory encompasses a special filter, namely the non-principal arithmetical ultrafilter whose existence can be ...
Guowei Dou, Wensheng Yu
doaj   +1 more source

Thalamo‐Lesional Connectivity Signatures of Bilateral Tonic–Clonic Seizures in Focal Cortical Dysplasia‐Related Epilepsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Focal cortical dysplasia (FCD) is the most common etiology of drug‐resistant epilepsy in children. Focal to bilateral tonic–clonic seizures (FBTCS) mark a high risk of drug‐resistant epilepsy and involve thalamocortical circuitry in their generation and propagation.
Hua Xie, Xiaotong Li, Venkata Sita Priyanka Illapani, Leigh N. Sepeta, Jason Schroeder, Chima O. Oluigbo, Madison M. Berl, William D. Gaillard, Nathan T. Cohen   +8 more
wiley   +1 more source

Iteratively Decoded Variable Length Space-Time Coded Modulation: Code Construction and Convergence Analysis

, 2007
An Iteratively Decoded Variable Length Space Time Coded Modulation (VL-STCM-ID) scheme capable of simultaneously providing both coding and iteration gain as well as multiplexing and diversity gain is proposed. Non-binary unity-rate precoders are employed
Yang, L.-L., Ng, S.X., Tao, M., Ng, S. X., Wang, J., Hanzo, L.   +5 more
core   +1 more source

p-topological and p-regular: dual notions in convergence theory

International Journal of Mathematics and Mathematical Sciences, 1999
The natural duality between “topological” and “regular,” both considered as convergence space properties, extends naturally to p-regular convergence spaces, resulting in the new concept of a p-topological convergence space.
Scott A. Wilde, D. C. Kent
doaj   +1 more source

Integrating Patient‐Reported Quality Measures in Systemic Lupus Erythematosus: Development of the American College of Rheumatology Implementation Guide

Arthritis Care &Research, EarlyView.
Objective To support high‐quality, patient‐centered care for systemic lupus erythematosus (SLE), the American College of Rheumatology (ACR) developed evidence‐based measures incorporating clinical and patient‐reported outcome measures (PROMs). Using the Consolidated Framework for Implementation Research (CFIR), we conducted semistructured interviews ...
Catherine Nasrallah, Cherish Wilson, Christine Hariz, Christie M. Bartels, Shanthini Kasturi, Wambui Machua, Amy Bennett, Kate Chiseri, Allison Plitman, Starla Hairston Blanks, April Jorge, Patti Katz, Jinoos Yazdany, Shivani Garg   +13 more
wiley   +1 more source

Spatial econometric analysis of the evolution of the European regional convergence process, 1980-1999 [PDF]

beta-convergence, convergence clubs, European regions, spatial ...
Julie Le Gallo, Sandy Dall'erba
core  

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, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

A Rocq-Based Formalization of Hilbert’s Geometry: Building a Reusable Foundation for 3D Perpendicularity Theory and Verification

Mathematical and Computational Applications
Hilbert’s axiom system for geometry is a landmark in formal methods. This paper presents a complete formalization of spatial perpendicularity—a theory not fully developed in Hilbert’s original work—using the Rocq proof assistant.
Qimeng Zhang, Wensheng Yu
doaj   +1 more source

Adaptive Observer for Coupled Wave PDE and Infinite ODE With Sampled Data and Unknown Input: Application to Brain Hemodynamics Estimation

International Journal of Adaptive Control and Signal Processing, EarlyView.
This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir, Sarah Mechhoud, Taous‐Meriem Laleg‐Kirati   +2 more
wiley   +1 more source