Results 21 to 30 of about 1,198,194 (286)
Simulation in the call-by-need lambda-calculus with letrec [PDF]
, 2010 This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec.
Sabel, David +2 more
core +1 more source
Solution to Laplace’s Equation Using Quantum Calculus
International Journal of Engineering Technology and Management Sciences, 2023 The quantum calculus emerged as a new type of unconventional calculus relevant to both mathematics and physics. The study of quantum calculus or q-calculus has three hundred years of history of development since the era of Euler and Bernoulli, and was ...
Pintu Bhattacharya, Ravi Ranjan
semanticscholar +1 more source
, 2021 Analysis is the field of mathematics that describes and analyzes quantitative changes, and the central methods are differential and integral calculus.
RICHARD, Serge
core
Deficit Round-Robin: A Second Network Calculus Analysis
IEEE/ACM Transactions on Networking, 2022 Deficit Round-Robin (DRR) is a widespread scheduling algorithm that provides fair queueing with variable-length packets. Bounds on worst-case delays for DRR were found by Boyer et al., who used a rigorous network calculus approach and characterized the ...
Seyed Mohammadhossein Tabatabaee +1 more
semanticscholar +1 more source
Modeling SpaceWire networks with network calculus [PDF]
, 2011 The SpaceWire network standard is promoted by the ESA and is scheduled to be used as the sole on-board network for future satellites. This network uses a wormhole routing mechanism that can lead to packet blocking in routers and consequently to variable ...
Frances, Fabrice +5 more
core +1 more source
Variable Selection in General Multinomial Logit Models [PDF]
, 2012 The use of the multinomial logit model is typically restricted to applications with few predictors, because in high-dimensional settings maximum likelihood estimates tend to deteriorate.
Pößnecker, Wolfgang +2 more
core +1 more source
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
Polynomial as a new variable - a Banach algebra with a functional calculus [PDF]
, 2015 Given any square matrix or a bounded operator $A$ in a Hilbert space such that $p(A)$ is normal (or similar to normal), we construct a Banach algebra, depending on the polynomial $p$, for which a simple functional calculus holds.
O. Nevanlinna
semanticscholar +1 more source
International Journal of Intelligent Systems, 2019 The q‐rung orthopair fuzzy set ( q‐ROFS) that the sum of the qth power of the membership degree and the qth power of the nonmembership degree is restricted to one is a generalization of fuzzy set (FS).
Jianmei Ye, Zhenghai Ai, Zeshui Xu
semanticscholar +1 more source
Using network calculus to compute end-to-end delays in SpaceWire networks [PDF]
, 2011 The SpaceWire network standard is promoted by the ESA and is scheduled to be used as the sole on-board network for future satellites. This network uses a wormhole routing mechanism that can lead to packet blocking in routers and consequently to variable ...
Frances, Fabrice +5 more
core +1 more source