Results 21 to 30 of about 23,033 (265)
The one variable implicational calculus.
Notre Dame Journal of Formal Logic, 1974 The axiomatization given by \textit{H. W. Johnson} and \textit{R. Price} [Theoria 30, 1--4 (1964)], is shown to be inadequate. A correct presentation of the one variable implicational calculus based on a single (rejected) axiom and four rules of inference is given. This is akin to the computable Protothetics of Leśniewski.
openaire +3 more sources
-Dimensional Fractional Lagrange's Inversion Theorem
Abstract and Applied Analysis, 2013 Using Riemann-Liouville fractional differential operator, a fractional extension of the Lagrange inversion theorem and related formulas are developed. The required basic definitions, lemmas, and theorems in the fractional calculus are presented.
F. A. Abd El-Salam
doaj +1 more source
Multicentric calculus and the Riesz projection
Journal of Numerical Analysis and Approximation Theory, 2015 In multicentric holomorphic calculus one represents the function ? using a new polynomial variable \(w = p(z)\) in such a way that when evaluated at the operator \(p(A)\) is small in norm. Here it is assumed that \(p\) has distinct roots.
Diana Apetrei, Olavi Nevanlinna
doaj +2 more sources
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition [PDF]
Computer Science Journal of Moldova, 2019 Partial quasiary predicates are used in programming for representing program semantics and in logic for formalizing predicates over partial variable assignments.
Mykola Nikitchenko +3 more
doaj
Genetic Algorithm-Based Identification of Fractional-Order Systems
Entropy, 2013 Fractional calculus has become an increasingly popular tool for modeling the complex behaviors of physical systems from diverse domains. One of the key issues to apply fractional calculus to engineering problems is to achieve the parameter identification
Shengxi Zhou, Junyi Cao, Yangquan Chen
doaj +1 more source
The Role of Organizational Trust in the Transfer of Tacit Knowledge (Case Study: Public Libraries of Fars Province) [PDF]
تحقیقات اطلاعرسانی و کتابخانههای عمومی, 2021 Purpose: One of the challenges facing public libraries is the use of staff tacit knowledge. In this study, the effect of organizational trust (calculus-based trust, knowledge-based trust, and identity-based trust components) on the transfer of tacit ...
Ali Biranvand +3 more
doaj
Remarks on Nonlocal Dirichlet Problems
Mathematics, 2022 We study a nonlocal Dirichlet problem with the (p(b(u)),q(b(u)))-Laplacian operator and integrable data on a bounded domain with smooth boundary. We establish the existence of at least one weak solution in the case the variable exponents of the leading ...
Kholoud Saad Albalawi +2 more
doaj +1 more source
Fitness Tracker Information and Privacy Management: Empirical Study
Journal of Medical Internet Research, 2021 BackgroundFitness trackers allow users to collect, manage, track, and monitor fitness-related activities, such as distance walked, calorie intake, sleep quality, and heart rate. Fitness trackers have become increasingly popular in
Mohamed Abdelhamid
doaj +1 more source
Restrictions of Pfaffian systems for Feynman integrals
Journal of High Energy Physics, 2023 This work studies limits of Pfaffian systems, a class of first-order PDEs appearing in the Feynman integral calculus. Such limits appear naturally in the context of scattering amplitudes when there is a separation of scale in a given set of kinematic ...
Vsevolod Chestnov +3 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Adult‐onset Still's disease (AOSD) complicated by macrophage activation syndrome (MAS) carries substantial mortality. The role of therapeutic plasma exchange (TPE) remains uncertain. Methods We retrospectively analyzed patients with AOSD‐MAS treated with TPE at a single‐center.
Masataka Ueda +15 more
wiley +1 more source