Results 21 to 30 of about 11,609 (261)
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
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
Научный диалог, 2018 The article is devoted to description of a number of phraseological units with the causal semantics. Units of the following semantic groups are analyzed: “To Make. To Force,” “To Subdue,” “To Harass.
O. V. Kolesnikova
doaj +1 more source
Fractal and Fractional, 2023 In this investigation, weighted psi-Caputo fractional derivatives are applied to analyze the solution of fractional pantograph problems with boundary conditions.
Saeed M. Ali
doaj +1 more source
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source