Showing 1,401 - 1,420 results of 2,543 for search '"theorem"', query time: 0.04s Refine Results
  1. 1401

    A Hybrid Extragradient-Like Method for Variational Inequalities, Equilibrium Problems, and an Infinitely Family of Strictly Pseudocontractive Mappings by Yaqin Wang, Hongkun Xu, Xiaoli Fang

    Published 2012-01-01
    “…Then, we obtain a strong convergence theorem of the iterative sequence generated by the proposed iterative algorithm. …”
    Get full text
    Article
  2. 1402

    Hopf Bifurcation of a Delayed Ecoepidemic Model with Ratio-Dependent Transmission Rate by Wanjun Xia, Soumen Kundu, Sarit Maitra

    Published 2018-01-01
    “…Furthermore, properties of the Hopf bifurcation are investigated by using the normal form theory and the center manifold theorem. Finally, numerical simulations are carried out in order to validate our obtained theoretical results.…”
    Get full text
    Article
  3. 1403

    Common Fixed Point for Three Pairs of Self-Maps Satisfying Common (E.A) Property in Generalized Metric Spaces by Feng Gu, Yun Yin

    Published 2013-01-01
    “…Using the concept of common (E.A) property, we prove a common fixed point theorem for three pairs of weakly compatible self-maps satisfying a new contractive condition in the framework of a generalized metric space. …”
    Get full text
    Article
  4. 1404

    Extension sets for real analytic functions and applications to Radon transforms by Vernor Arguedas, Ricardo Estrada

    Published 1996-01-01
    “…The real analytic character of a function f(x,y) is determined from its behavior along radial directions fθ(s)=f(scosθ,ssinθ) for θ∈E, where E is a small set. A support theorem for Radon transforms in the plane is proved. …”
    Get full text
    Article
  5. 1405

    Elliptic Equations in Weighted Sobolev Spaces on Unbounded Domains by Serena Boccia, Sara Monsurrò, Maria Transirico

    Published 2008-01-01
    “…We obtain an a priori bound, and a regularity result from which we deduce a uniqueness theorem.…”
    Get full text
    Article
  6. 1406

    Latency model of neighbor discovery based on Bluetooth low energy 5.0 by Bingqing LUO, Peipei WANG, Zhengkang WANG, Zhixin SUN

    Published 2021-06-01
    “…For Bluetooth low energy neighbor discovery protocol, it was usually difficult to assess the discovery latency performance.A latency performance model of neighbor discovery based on Chinese remainder theorem for Bluetooth 5.0 standard was proposed.A mathematical relationship between the discovery latency and key parameters was put forward, including advertising interval, scan interval and scan window.The effect of different parameter configurations on the neighbor discovery latency was verified.Experimental results show that the model can effectively predict the delay peak under the influence of parameter configuration, and provide parameter configuration verification and guidance for different application scenarios.…”
    Get full text
    Article
  7. 1407

    An Application of Fixed Point Theory to a Nonlinear Differential Equation by A. P. Farajzadeh, A. Kaewcharoen, S. Plubtieng

    Published 2014-01-01
    “…By applying our obtained results, we also assure the fixed point theorems in partially ordered complete metric spaces and as an application of the main results we provide an existence theorem for a nonlinear differential equation.…”
    Get full text
    Article
  8. 1408

    A Fast Algorithm for Computing Binomial Coefficients Modulo Powers of Two by Mugurel Ionut Andreica

    Published 2013-01-01
    “…For larger values of and , variations of Lucas’ theorem must be used first in order to reduce the computation to the evaluation of multiple binomial coefficients (or restricted types of factorials ) modulo with .…”
    Get full text
    Article
  9. 1409

    Synthesis of 4 Planetary Row Transmission Scheme based on Lever Method by Jie Yu, Chaofeng Ma, Naichao Guo, Kai Liu

    Published 2019-05-01
    “…According to the plane graph decision theorem, combined with the 4 planetary row transmission scheme after the joint elements arrangement, the transmission scheme interference test is carried out, and finally the scheme of 4 planetary row transmission is obtained.…”
    Get full text
    Article
  10. 1410

    Analysis of the effects of the amplitude-phase errors on spatial spectrum and resolving performance of the MUSIC algorithm by WANG Ding, WANG Chao, WU Ying

    Published 2010-01-01
    “…Based on the perturbation theorem of orthogonal projection matrix,the first-order statistical expression of spatial spectrum of the MUSIC algorithm was deduced and a quadratic equation for solving the mean signal-to-noise ra-tio(SNR) resolving threshold was derived,through which the corresponding SNR resolution threshold could be obtained. …”
    Get full text
    Article
  11. 1411

    Hybrid Algorithm for Common Fixed Points of Uniformly Closed Countable Families of Hemirelatively Nonexpansive Mappings and Applications by Sumei Ai, Yongfu Su

    Published 2012-01-01
    “…The authors have obtained the following results: (1) the definition of uniformly closed countable family of nonlinear mappings, (2) strong convergence theorem by the monotone hybrid algorithm for two countable families of hemirelatively nonexpansive mappings in a Banach space with new method of proof, (3) two examples of uniformly closed countable families of nonlinear mappings and applications, (4) an example which is hemirelatively nonexpansive mapping but not weak relatively nonexpansive mapping, and (5) an example which is weak relatively nonexpansive mapping but not relatively nonexpansive mapping. …”
    Get full text
    Article
  12. 1412

    Linearization of a Matrix Riccati Equation Associated to an Optimal Control Problem by Foued Zitouni, Mario Lefebvre

    Published 2014-01-01
    “…The results generalize a theorem proved by Whittle and the one-dimensional case already considered by the authors. …”
    Get full text
    Article
  13. 1413

    Positive Periodic Solutions for Neutral Delay Ratio-Dependent Predator-Prey Model with Holling-Tanner Functional Response by Guirong Liu, Sanhu Wang, Jurang Yan

    Published 2011-01-01
    “…By using a continuation theorem based on coincidence degree theory, we establish some easily verifiable criteria for the existence of positive periodic solutions for neutral delay ratio-dependent predator-prey model with Holling-Tanner functional response x'(t)=x(t)[r(t)-a(t)x(t-σ(t))-b(t)x'(t-σ(t))]-c(t)x(t)y(t)/h(t)y(t)+x(t), y'(t)=y(t)d(t)-f(t)y(t-τ(t))/x(t-τ(t)).…”
    Get full text
    Article
  14. 1414

    Convergence and Dynamics of Schröder’s Method for Zeros of Analytic Functions with Unknown Multiplicity by Plamena I. Marcheva, Stoil I. Ivanov

    Published 2025-01-01
    “…Thus, we obtain a convergence theorem that provides exact domains of initial points together with error estimates to ensure the <i>Q</i>-quadratic convergence of Schröder’s method right from the first step. …”
    Get full text
    Article
  15. 1415

    On commutativity of one-sided s-unital rings by H. A. S. Abujabal, M. A. Khan

    Published 1992-01-01
    “…The following theorem is proved: Let r=r(y)>1, s, and t be non-negative integers. …”
    Get full text
    Article
  16. 1416

    Nontrivial Periodic Solutions of an -Dimensional Differential System and Its Application by F. B. Gao

    Published 2013-01-01
    “…Two criteria are constructed to guarantee the existence of periodic solutions for a second-order -dimensional differential system by using continuation theorem. It is noticed that the criteria established are found to be associated with the system’s damping coefficient, natural frequency, parametrical excitation, and the coefficient of the nonlinear term. …”
    Get full text
    Article
  17. 1417

    Existence Results of Nonlocal Fractional Integro-Neutral Differential Inclusions with Infinite Delay by Madeaha Alghanmi, Shahad Alqurayqiri

    Published 2025-01-01
    “…Then, sufficient criteria for the existence of solutions are established for the convex case of the given problem using the nonlinear Leray–Schauder alternative type, while Covitz and Nadler’s theorem is applied for nonconvex multivalued functions. …”
    Get full text
    Article
  18. 1418

    Formalization of Linear Space Theory in the Higher-Order Logic Proving System by Jie Zhang, Danwen Mao, Yong Guan

    Published 2013-01-01
    “…Theorem proving is an important approach in formal verification. …”
    Get full text
    Article
  19. 1419

    Optimal Controls for a Class of Impulsive Katugampola Fractional Differential Equations with Nonlocal Conditions by Xingru Chen, Haibo Gu, Yu Sun

    Published 2020-01-01
    “…First, by using a fixed-point theorem, we obtain the existence results for a class of impulsive Katugampola fractional differential equations. …”
    Get full text
    Article
  20. 1420

    An Existence and Uniqueness Result for a Bending Beam Equation without Growth Restriction by Yongxiang Li, He Yang

    Published 2010-01-01
    “…Our discussion is based on the Leray-Schauder fixed point theorem.…”
    Get full text
    Article