Results 81 to 90 of about 32,295 (236)
α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [PDF]
In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒ P(X) based on lattice implication algebra.
Weitao Xu +4 more
doaj +1 more source
ABSTRACT Background Gastrointestinal graft‐versus‐host disease (GI GVHD) following hematopoietic stem cell transplant is typically managed with medical therapy, but surgery and angioembolization may be warranted in selected cases with life‐threatening complications.
Gaia Brunetti +12 more
wiley +1 more source
On the Complex Spectrum of the Underlying Operator of a Reliability Model
We study the complex point spectral distribution of the underlying operator of the system consisting of a reliable machine, a storage buffer with infinite capacity and an unreliable machine.
Zhiyang Du, Geni Gupur
doaj +1 more source
A general nonlinear framework for an Ishikawa-hybrid proximal point algorithm using the notion of (A,η)-accretive is developed. Convergence analysis for the algorithm of solving a nonlinear set-valued inclusions problem and existence analysis of ...
Hong Gang Li, An Jian Xu, Mao Ming Jin
doaj +1 more source
Stochastic Volterra equations driven by cylindrical Wiener process
In this paper, stochastic Volterra equations driven by cylindrical Wiener process in Hilbert space are investigated. Sufficient conditions for existence of strong solutions are given.
Karczewska, Anna, Lizama, Carlos
core +2 more sources
ABSTRACT Background Blinatumomab is a bispecific T‐cell engager approved for the treatment of pediatric B‐cell acute lymphoblastic leukemia (B‐ALL). Outpatient home infusion reduces hospitalization burden and optimizes resource utilization, but is logistically challenging.
Angela Parra del Riego +10 more
wiley +1 more source
We introduce and study a new system of generalized H·,·-η-cocoercive operator inclusions in Banach spaces. Using the resolvent operator technique associated with H·,·-η-cocoercive operators, we suggest and analyze a new generalized algorithm of nonlinear
Saud M. Alsulami +2 more
doaj +1 more source
Estimation of unsteady aerodynamic forces using pointwise velocity data
A novel method to estimate unsteady aerodynamic force coefficients from pointwise velocity measurements is presented. The methodology is based on a resolvent-based reduced-order model which requires the mean flow to obtain physical flow structures and ...
Blackburn, H. M. +2 more
core +1 more source
Overlarge sets of resolvable idempotent quasigroups
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Y. Chang +3 more
openaire +2 more sources

