Conditional Probability, Three-Slit Experiments, and the Jordan Algebra Structure of Quantum Mechanics by Gerd Niestegge

“…Most quantum logics do not allow for a reasonable calculus of conditional probability. However, those ones which do so provide a very general and rich mathematical structure, including classical probabilities, quantum mechanics, and Jordan algebras. …”
Get full text

Security analysis of security protocol Swift implementations based on computational model by Bo MENG, Xudong HE, Jinli ZHANG, Lili YAO, Jintian LU

“…Analysis of security protocol Swift implementations in IOS platform is important to protect the security of IOS applications.Firstly,according to the security protocol Swift implementations,the SubSwift language,which was a subset of Swift language,was widely used in IOS system,and its BNF were specified.Secondly,the mapping model from SubSwift language to Blanchet calculus based on the operational semantic was presented which consisted of mapping rules,relationship from the statements and types in SubSwift language to Blanchet calculus.And then,a method of generating security protocol Blanchet calculus implementations from SubSwift language implementations was developed.Finally,security protocol Blanchet calculus implementation generation tool SubSwift2CV was developed with Antrl4 and Java language.At the same time,OpenID Connect,Oauth2.0 and TLS security protocol SubSwift language implementations were analyzed with SubSwift2CV and CryptoVerif.…”
Get full text

Certain Spaces of Functions over the Field of Non-Newtonian Complex Numbers by Ahmet Faruk Çakmak, Feyzi Başar

“…This paper is devoted to investigate some characteristic features of complex numbers and functions in terms of non-Newtonian calculus. Following Grossman and Katz, (Non-Newtonian Calculus, Lee Press, Piegon Cove, Massachusetts, 1972), we construct the field ℂ* of *-complex numbers and the concept of *-metric. …”
Get full text

Admissible Almost Type Z-Contractions and Fixed Point Results by Said Melliani, Abdelhamid Moussaoui, L. S. Chadli

Get full text

Aumann Fuzzy Improper Integral and Its Application to Solve Fuzzy Integro-Differential Equations by Laplace Transform Method by Elhassan Eljaoui, Said Melliani, L. Saadia Chadli

Get full text

Boundary Value Problem of Nonlinear Hybrid Differential Equations with Linear and Nonlinear Perturbations by Said Melliani, Abdelati El Allaoui, Lalla Saadia Chadli

Get full text

Some new applications of the fractional integral and four-parameter Mittag-Leffler function. by Ahmad A Abubaker, Khaled Matarneh, Suha B Al-Shaikh, Mohammad Faisal Khan

“…The article reveals new applications of the four-parameter Mittag-Leffler function (MLF) in geometric function theory (GFT), using fractional calculus notions. The purpose of this study is to propose and explore a new integral operator of order λ using fractional calculus and the four-parameter MLF. …”
Get full text

A Generalization of Hermite–Hadamard–Fejer Type Inequalities for the p-Convex Function via α-Generator by Erdal Ünlüyol, Yeter Erdaş

“…Later, they named this analysis non-Newtonian calculus. This calculus is basically generated by generators. …”
Get full text

Discrete Mittag-Leffler Functions in Linear Fractional Difference Equations by Jan Čermák, Tomáš Kisela, Luděk Nechvátal

“…All our observations are performed on a special time scale which unifies and generalizes ordinary difference calculus and q-difference calculus. Some of our results are new also in these particular discrete settings.…”
Get full text

Fractional Partial Differential Equation: Fractional Total Variation and Fractional Steepest Descent Approach-Based Multiscale Denoising Model for Texture Image by Yi-Fei Pu, Ji-Liu Zhou, Patrick Siarry, Ni Zhang, Yi-Guang Liu

“…We know from previous studies that fractional-order calculus has some unique properties comparing to integer-order differential calculus that it can nonlinearly enhance complex texture detail during the digital image processing. …”
Get full text

On intuitionistic branching tense logic with weak induction by Romas Alonderis

“… In the paper, the first-order branching tense logic calculus is given: LB J with the weak induction, that is to say with the axiom (A ∧ A O ☐ A) ⊃ ☐ A instead of the induction axiom (A ∧ ☐ (A ⊃ O A)) ⊃ ☐ A. …”
Get full text

The Second Noether Theorem on Time Scales by Agnieszka B. Malinowska, Natália Martins

“…As corollaries we obtain the classical second Noether theorem, the second Noether theorem for the h-calculus and the second Noether theorem for the q-calculus.…”
Get full text

On Quantum Statistical Mechanics: A Study Guide by Wladyslaw Adam Majewski

“…We provide an introduction to a study of applications of noncommutative calculus to quantum statistical physics. Centered on noncommutative calculus, we describe the physical concepts and mathematical structures appearing in the analysis of large quantum systems and their consequences. …”
Get full text

Ostrowski Type Inequalities for s-Convex Functions via q-Integrals by Khuram Ali Khan, Allah Ditta, Ammara Nosheen, Khalid Mahmood Awan, Rostin Matendo Mabela

“…The new outcomes of the present paper are q-analogues (q stands for quantum calculus) of Hermite-Hadamard type inequality, Montgomery identity, and Ostrowski type inequalities for s-convex mappings. …”
Get full text

The Fractional Complex Step Method by Rabha W. Ibrahim, Hamid A. Jalab

“…We extended the method by employing the fractional calculus differential operator in this paper. The fractional calculus can be taken in the sense of the Caputo operator, Riemann-Liouville operator, and so forth. …”
Get full text

Advanced Glycation End-Product-Modified Heat Shock Protein 90 May Be Associated with Urinary Stones by Takanobu Takata, Shinya Inoue, Kenshiro Kunii, Togen Masauji, Junji Moriya, Yoshiharu Motoo, Katsuhito Miyazawa

“…Background: Urinary stones (urolithiasis) have been categorized as kidney stones (renal calculus), ureteric stones (ureteral calculus and ureterolith), bladder stones (bladder calculus), and urethral stones (urethral calculus); however, the mechanisms underlying their promotion and related injuries in glomerular and tubular cells remain unclear. …”
Get full text

Bezier Curves Method for Fourth-Order Integrodifferential Equations by F. Ghomanjani, A. V. Kamyad, A. Kılıçman

“…Also, the presented method is developed for solving BVPs which arise from the problems in calculus of variation. These BVPs result from the Euler-Lagrange equations which are the necessary conditions of the extremums of problems in calculus of variation. …”
Get full text

Automatic proof of resistance of denial of service attacks in protocols by Bo MENG, Wei HUANG, De-jun WAND, Fei SHAO

“…First,the applied PI calculus was extended from two aspects:attacker contexts and process expression,then from the view of protocol state,the protocols were modeled with the extended applied PI calculus and a automatic method of proof of resistance of denial of service attacks based on theorem proof with first order theorem prover ProVerif was presented,finally resistance of denial of service attacks in JFK protocol and IEEE 802.11 four-way handshake protocol were analyzed.The results obtained are that JFK protocol is resistance of denial of service attack and IEEE 802.11 four-way handshake protocol is not.At the same time a new al of service attack in IEEE 802.11 four-way handshake protocol was found.The methods to prevent resistance of denial of service attacks in IEEE 802.11 four-way handshake protocol were proposed.…”
Get full text

Cholecystoduodenal Fistula and Urosepsis in A Febrile Emergency Department Patient: A Case Report by Amna Nawaz, Denise Elizondo, Bushra Hussein, Rebecca Theophanous

“…Case Report: We highlight the important POCUS findings of cholecystoduodenal fistula and staghorn calculus in a febrile, elderly patient with dementia. …”
Get full text

Vaginal Urinary Calculi Formation Secondary to Vaginal Mesh Exposure with Urinary Incontinence by Kara M. Griffiths, Geoffrey D. Towers, Jerome L. Yaklic

“…When identified, a vaginal calculus should be removed and evaluated for composition. …”
Get full text