Results 21 to 30 of about 11,290 (260)
Universe, 2023 A complete perturbation theory suitable for teleparallel gravity is developed. The proposed perturbation scheme takes into account perturbations of the coframe, the metric, and the spin-connection, while ensuring that the resulting perturbed system ...
Alexandre Landry +1 more
doaj +1 more source
Reliability Analysis of a Load-Sharing k-out-of-n System Due to Its Components’ Failure
Mathematics, 2022 The reliability characteristics of a k-out-of-n:F system are studied in the case when a failure of one of the system’s components leads to increasing the load on others, resulting in their residual lifetimes decreasing.
Vladimir Rykov +2 more
doaj +1 more source
Remote Sensing, 2023 Weighted mean temperature of the atmosphere, Tm, is a key parameter for retrieving the precipitable water vapor from Global Navigation Satellite System observations.
Minghua Wang +7 more
doaj +1 more source
Diffraction of Transient Cylindrical Waves by a Rigid Oscillating Strip
Applied Sciences, 2020 This investigation portrays the transient cylindrical wave diffraction by an oscillating strip. Mathematical analysis of the problem is carried out with the help of an integral transforms and the Wiener–Hopf technique.
Amer Bilal Mann +5 more
doaj +1 more source
Channel Identification Based on Cumulants, Binary Measurements, and Kernels
Systems, 2021 In this paper, we discuss the problem of channel identification by using eight algorithms. The first three algorithms are based on higher-order cumulants, the next three algorithms are based on binary output measurement, and the last two algorithms are ...
Hicham Oualla +5 more
doaj +1 more source
Atoms, 2022 The two-center basis generator method is used to obtain cross sections for excitation, capture, and ionization in Li3+, C3+, and O3+ collisions with ground-state hydrogen at projectile energies from 1 to 100 keV/u.
Anthony C. K. Leung, Tom Kirchner
doaj +1 more source
Situations, alternatives, and the semantics of ‘cases’ [PDF]
Linguistics and Philosophy, 2019 AbstractThis paper argues that NPs withcaseas head noun stand for situations in their role as truthmakers within a sentential or epistemic case space. The paper develops a unified semantic analysis ofcase-constructions of the various sorts within a truthmaker-based version of alternative semantics.
openaire +1 more source
Banach Fixed Point Theorem in Extended bv(s)-Metric Spaces
Computer Sciences & Mathematics Forum, 2023 We define the class of extended bv(s)-metric spaces by replacing the real number s≥1 with a strictly increasing continuous function ϕ in the definition of a bv(s)-metric space.
Anil Kumar
doaj +1 more source
A Recipe for State-and-Effect Triangles [PDF]
Logical Methods in Computer Science, 2017 In the semantics of programming languages one can view programs as state transformers, or as predicate transformers. Recently the author has introduced state-and-effect triangles which capture this situation categorically, involving an adjunction between
Bart Jacobs
doaj +1 more source
Data Mining Meets Logic: Situation-Based Modal Logic and Metadata Veracity
Science & PhilosophyLogic and theoretical computer science are deeply interconnected, with logic forming a foundational pillar in the emergence of computer science. This connection has grown stronger over time, driven by advancements in symbolic systems within artificial ...
Simone Cuconato
doaj +1 more source