Showing 1 - 20 results of 112 for search 'proof theory', query time: 0.09s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4

    Faith, Understanding, Proof by A. E. Razumov

    Published 2019-04-01
    “…Do you understand me…“Proof” is the ability to confirm something with certain constructions: arguments and theories, including axioms that do not require proof. …”
    Get full text
    Article
  5. 5

    A new proof of Nishioka’s theorem in Mahler’s method by Adamczewski, Boris, Faverjon, Colin

    Published 2023-09-01
    “…These complications make the proof of the main results proved in [3] rather intricate. …”
    Get full text
    Article
  6. 6

    A proof of completeness of the Green-Lamé type solution in thermoelasticity by D. S. Chandrasekharaiah

    Published 1993-01-01
    “…A proof of completeness of the Green-Lamé type solution for the unified governing field equations of conventional and generalized thermoelasticity theories is given.…”
    Get full text
    Article
  7. 7

    A New Proof of Central Limit Theorem for i.i.d. Random Variables by Zhaojun Zong, Feng Hu

    Published 2013-01-01
    “…Central limit theorem (CLT) has long and widely been known as a fundamental result in probability theory. In this note, we give a new proof of CLT for independent identically distributed (i.i.d.) random variables. …”
    Get full text
    Article
  8. 8

    Subject matter of proof and peculiarities of collecting evidence in the investigation of crimes committed against the law enforcement officers by O. O. Sharova-Aidaieva

    Published 2023-12-01
    “…An important aspect of conducting an effective and objective pre-trial investigation of this type of crime is to ensure that these crimes are proved, with the main burden of proof being placed on the prosecution. Given that in the theory of national legal science the subject matter of proof and peculiarities of evidence collection in the course of investigation of crimes the victims of which are law enforcement officers have so far remained outside the scope of substantive study by scholars, clarification of certain aspects of this issue has been chosen as the purpose of the study. …”
    Get full text
    Article
  9. 9
  10. 10

    Standardisation of prof by investigating judges when exercising their powers to consider requests for permission to conduct procedural actions by R. M. Balats

    Published 2023-07-01
    “…Based on the modern achievements of the national science in criminal procedure and the development of the theory of evidence in criminal proceedings, in particular, its standardization, the author examines the theoretical prerequisites for standardization of evidence by an investigating judge when considering requests for permission to conduct procedural actions. …”
    Get full text
    Article
  11. 11

    Theories of truth and theories of meaning: a discussion of semantic skepticism and its possible solutions based on Quine, Davidson, and Dummett's work by Lucas Vollet

    Published 2024-12-01
    “…Dummett, however, thinks that a theory of truth fails to frame non-straightforward stipulations governing the role of sentences in cases involving nonclassical standards of proof. …”
    Get full text
    Article
  12. 12

    Improvement of High-Power Three-Level Explosion-Proof Inverters Using Soft Switching Control Based on Optimized Power-Loss Algorithm by Shi-Zhou Xu, Feng-You He

    Published 2015-01-01
    “…The high-power three-level explosion-proof inverters demand high thermal stability of power devices, and a set of theories and methods is needed to achieve an accurate power-loss calculation of power devices, to establish heat dissipation model, and ultimately to reduce the power loss to improve thermal stability of system. …”
    Get full text
    Article
  13. 13
  14. 14

    Recognizing and addressing burnout among healthcare workers in rural Nepal: a proof-of-concept study using Kern’s six-step theoretical framework by Raj Kumar Dangal, Eva Studer, Tula Krishna Gupta, Kristin Nguyen, Amit Suneja, Karuna Khadka, Shailina Bata Shrestha, Bibhav Acharya

    Published 2025-01-01
    “…Participants praised the interventions and reported that they translated learned skills into practice. Conclusion In this proof-of-concept study, we found that educational interventions developed using a theory-driven framework to meet the unique needs of rural healthcare workers are acceptable and feasible. …”
    Get full text
    Article
  15. 15

    On a Fractional Nonlinear Hyperbolic Equation Arising from Relative Theory by Zujin Zhang, Xiaofeng Wang, Zheng-an Yao

    Published 2013-01-01
    “…Furthermore, we show the regularity of the obtained solution. In our proof, we use harmonic analysis techniques and compactness arguments.…”
    Get full text
    Article
  16. 16
  17. 17

    Signal theory based encryption of faster-than-Nyquist signals for fiber and wireless transmission by Abhinand Venugopalan, Karanveer Singh, Janosch Meier, Thomas Schneider

    Published 2025-01-01
    “…In proof-of-concept experiments we demonstrate the encryption of a 270 GBd faster than Nyquist super-signal in a 252.4 GHz bandwidth. …”
    Get full text
    Article
  18. 18

    LπCET: A Logic Security Analysis for Cryptographic Protocols Based on π-Calculus Extension Theory by Fusheng Wu, Jinhui Liu, Yanbin Li, Mingtao Ni

    Published 2024-01-01
    “…This paper introduces logical rules and logical proofs, binary tree, and the KMP algorithm and proposes a new extension of the π-calculus theory, a logical security analysis method, and an algorithm. …”
    Get full text
    Article
  19. 19

    Superfield Approach to Nilpotency and Absolute Anticommutativity of Conserved Charges: 2D Non-Abelian 1-Form Gauge Theory by S. Kumar, B. Chauhan, R. P. Malik

    Published 2018-01-01
    “…In the proof of absolute anticommutativity property, we invoke the strength of Curci-Ferrari (CF) condition for the (anti-)BRST charges. …”
    Get full text
    Article
  20. 20

    Spin chain overlaps and the twisted Yangian by Marius de Leeuw, Tamás Gombor, Charlotte Kristjansen, Georgios Linardopoulos, Balázs Pozsgay

    Published 2020-01-01
    “…This theory, which constitutes a defect CFT, is known to be dual to a D3-D7 probe brane system. …”
    Get full text
    Article