Showing 81 - 100 results of 112 for search 'proof theory', query time: 0.05s Refine Results
  1. 81

    Адам и Ева как прообраз Нового Адама и Новой Евы (по учению святителя Иринея Лионского, Тертуллиана и святителя Викторина Петавийского). К вопросу о теории рекапитуляции в раннехри... by Nikolay A. Khandoga

    Published 2021-12-01
    “…Subsequently, the pre-nicene christian writers, for example, Irenaeus of Lyon, Tertullian and Victorinus of Poetovio, resorted to the doctrine of Adam and Eve as prototypes of New Adam and New Eve. Developing the theory of recapitulation, Irenaeus of Lyon in his works — «Against heresies» and «Proof of the apostolic sermon» — used the epistles of the apostle Paul and the typological method of interpreting Holy Scripture. …”
    Get full text
    Article
  2. 82

    A Passive Harmonic Tag for Humidity Sensing by Antonio Lazaro, Ramon Villarino, David Girbau

    Published 2014-01-01
    “…Experimental results with a proof of concept using commercial components are presented.…”
    Get full text
    Article
  3. 83

    Two-scale convergence analysis and numerical simulation for periodic Kirchhoff plates by Zhiwei Huang, Xiaomiao Zeng, Chen Wang, Chongren Liu

    Published 2025-02-01
    “…By ignoring the normal strains along the thickness direction and using the Kirchhoff plate theory, the three-dimensional structure problem is transformed as a two-dimensional periodic plate problem by a fourth-order partial differential equation with periodic coefficients. …”
    Get full text
    Article
  4. 84

    «The Mechanism of Mendelian Heredity» (The 100th anniversary of the first publication of the book by the group of T.H. Morgan) by E. B. Muzrukova

    Published 2015-07-01
    “…Cytological analysis of chromosomal rearrangements and study of mutations played the key role in the formation of the chromosome theory of inheritance. By studying mutations in Drosophila, Morgan obtained an experimental proof of linkage of individual genes in a chromosome. …”
    Get full text
    Article
  5. 85

    PARAMETRIC AMPLIFICATION OF THE SIGNALS IN THE ELECTROSTATIC GRAVIINERTIAL SENSOR by I. Z. Gilavdary, S. N. Mekid, N. N. Riznookaya

    Published 2017-06-01
    “…The sensor comprises a proof mass (PM) and is fixed with the housing by the elastic torsion suspension. …”
    Get full text
    Article
  6. 86

    Modeling and Analysis of Magnetic Nanoparticles Injection in Water-Oil Two-Phase Flow in Porous Media under Magnetic Field Effect by Mohamed F. El-Amin, Ahmed M. Saad, Amgad Salama, Shuyu Sun

    Published 2017-01-01
    “…As a proof of concept, the proposed model is applied on a countercurrent imbibition flow system in which both the displacing and the displaced fluids move in opposite directions. …”
    Get full text
    Article
  7. 87

    Quantum complexity phase transitions in monitored random circuits by Ryotaro Suzuki, Jonas Haferkamp, Jens Eisert, Philippe Faist

    Published 2025-02-01
    “…Above, the complexity does not exceed $\operatorname{poly}(n)$. In our proof, we make use of percolation theory to find paths along which an exponentially long quantum computation can be run below the critical rate, and to identify events where the state complexity is reset to zero above the critical rate. …”
    Get full text
    Article
  8. 88

    YOUTH PARTICIPATION AND ELECTORAL DEMOCRACY IN KOGI STATE; ISSUES AND PROSPECTS by MICHAEL DANIEL, DUNCAN GANYU ADAMSON

    Published 2024-07-01
    “…The electoral series held between 2015 and 2023, revealed political violence and outrageous elections expense at all tiers of electoral contest, which infiltrate to produce declared winner without integrity. It is proof that cost of registration and administration of campaigning hinder youth participation in politic. …”
    Get full text
    Article
  9. 89

    An efficient asymmetric removal lemma and its limitations by Lior Gishboliner, Asaf Shapira, Yuval Wigderson

    Published 2025-01-01
    “…Our second result is that assuming a well-known conjecture of Ruzsa in additive number theory, the answer to this question is negative. …”
    Get full text
    Article
  10. 90

    Verification of the expert’s opinion by M. H. Shcherbakovskyi, M. V. Dementiev

    Published 2022-09-01
    “…This is due to the fact that processual scientists perceive verification as a type of collection, research, and evaluation of evidence in the theory of evidence. It has been proven that the verification of evidence in general and the expert’s opinion in particular differ from other elements of the proof process in terms of objects, purpose, and methods of implementation. …”
    Get full text
    Article
  11. 91

    Vix (Côte-d’Or) et l’émergence des principautés celtiques : l’hypothèse portuaire et le concept de port of trade by Bruno Chaume

    Published 2020-12-01
    “…However, to suggest that this alone would explain the princely seat phenomenon at the end of the Early Iron Age was risky, not much more than a guess, and further proof is required to substantiate it. Even though Pauli’s theory has its weak points, it incites us to discuss the concept of port of trade, as defined by Polanyi, and to question Luc Baray’s application of this notion to the Celtic princely seats of the Late Hallstatt period, a time when the princely system was at its apogee. …”
    Get full text
    Article
  12. 92

    Experimental Study on Impermeability Law of Aquiclude Reconstructed by Mudstone of External Dump in Arid Zone by Li Ma, Chendong Liu, Yinli Bi, Suping Peng, Kaisheng Jiang, Hui Zhang, Qiang Luo, Fei Xue, Tianxin Xu, Tianxiang Li, Jing Wu, Jiahao Tian, Dongxu Zhang

    Published 2021-01-01
    “…The finite element transient analysis theory and numerical simulation method were adopted to verify the results of physical experiments. …”
    Get full text
    Article
  13. 93

    Floer homology and non-fibered knot detection by John A. Baldwin, Steven Sivek

    Published 2025-01-01
    “…We prove for the first time that knot Floer homology and Khovanov homology can detect non-fibered knots and that HOMFLY homology detects infinitely many knots; these theories were previously known to detect a mere six knots, all fibered. …”
    Get full text
    Article
  14. 94

    Tight bounds for antidistinguishability and circulant sets of pure quantum states by Nathaniel Johnston, Vincent Russo, Jamie Sikora

    Published 2025-02-01
    “…We also give a simpler proof that if all the inner products are strictly larger than $(n-2)/(n-1)$, then the set cannot be antidistinguishable, and we show that this bound is tight for all $n$.…”
    Get full text
    Article
  15. 95

    Trojan-horse silk fibroin nanocarriers loaded with a re-call antigen to redirect immunity against cancer by Luca Mastracci, Patrizio Castagnola, Elia Bari, Francesca Ferrera, Tiziana Altosole, Sara Perteghella, Pierluigi Mauri, Rossana Rossi, Giulia Passignani, Martina Galati, Giuseppina Iliana Astone, Maddalena Mastrogiacomo, Daniela Fenoglio, Dario Di Silvestre, Maria Luisa Torre, Gilberto Filaci

    Published 2023-01-01
    “…Cancer dimensions/survival time were monitored, while, at the molecular level, system biology approaches based on graph theory and experimental proteomic data were performed.Results SFNs were efficiently in vitro uptaken by cancer and dendritic cells. …”
    Get full text
    Article
  16. 96

    Gene Therapy with Endogenous Inhibitors of Angiogenesis for Neovascular Age-Related Macular Degeneration: Beyond Anti-VEGF Therapy by Selwyn M. Prea, Elsa C. Chan, Gregory J. Dusting, Algis J. Vingrys, Bang V. Bui, Guei-Sheung Liu

    Published 2015-01-01
    “…In addition, a clinical trial in patients suffering from advanced neovascular AMD has provided proof-of-concept for successful gene transfer. In this mini review, we summarize current theories pertaining to the application of gene therapy for neovascular AMD and the potential benefits when used in conjunction with endogenous antiangiogenic proteins.…”
    Get full text
    Article
  17. 97

    On Linear and Nonlinear Fourth-Order Eigenvalue Problems with Nonlocal Boundary Condition by Dongming Yan

    Published 2013-01-01
    “…Moreover, we investigate the existence of positive solutions for the corresponding nonlinear problem. The proofs of our main results are based upon the Krein-Rutman theorem and fixed point index theory.…”
    Get full text
    Article
  18. 98

    A Novel Modeling Technique for the Forecasting of Multiple-Asset Trading Volumes: Innovative Initial-Value-Problem Differential Equation Algorithms for Reinforcement Machine Learni... by Mazin A. M. Al Janabi

    Published 2022-01-01
    “…This paper provides some crucial parameters for the assessment of the trading volumes of multiple-asset portfolio(s) during the closeout period, where the mathematical proofs for each theorem and corollary are provided. …”
    Get full text
    Article
  19. 99

    Global analysis on a class of multi-group SEIR model with latency and relapse by Jinliang Wang, Hongying Shu

    Published 2015-09-01
    “…In this paper, we investigate the global dynamics of a multi-group SEIR epidemic model,allowing heterogeneity of the host population, delay in latency and delay due torelapsedistribution for the human population.Our results indicate that when certain restrictions on nonlinear growth rate and incidence are fulfilled, the basic reproduction number $\mathfrak{R}_0$ plays the key role of a global threshold parameter in the sense that the long-time behaviors of the model depend only on $\mathfrak{R}_0$. The proofs of the main results utilize the persistence theory indynamical systems, Lyapunov functionals guided by graph-theoretical approach.…”
    Get full text
    Article
  20. 100

    Partition regularity of Pythagorean pairs by Nikos Frantzikinakis, Oleksiy Klurman, Joel Moreira

    Published 2025-01-01
    “…We address a core partition regularity problem in Ramsey theory by proving that every finite coloring of the positive integers contains monochromatic Pythagorean pairs (i.e., $x,y\in {\mathbb N}$ such that $x^2\pm y^2=z^2$ for some $z\in {\mathbb N}$ ). …”
    Get full text
    Article