Results 101 to 110 of about 45,874 (260)
CAAI Transactions on Intelligence Technology, EarlyView., 2023 Abstract The Internet of Things is emerging as a crucial technology in aiding humans and making their lives easier. Among the human population, a large percentage of people suffer from disabilities resulting in challenges in everyday life particularly people with visual disabilities.
Hania Tarik +8 more
wiley +1 more source
Beyond Equi-joins: Ranking, Enumeration and Factorization. [PDF]
Proceedings VLDB Endowment, 2021 Tziavelis N, Gatterbauer W, Riedewald M.
europepmc +1 more source
Deep Underground Science and Engineering, EarlyView.We use the linear Boolean model and the discrete Fourier transformation approach to generate various carbonate rocks. The lattice Boltzmann method and the finite element method are applied to calculate permeability and elastic wave velocity, respectively.
Yutian Zhang +7 more
wiley +1 more source
Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]
PeerJ Comput Sci, 2023 Dawood H, Megahed N.
europepmc +1 more source
Deep Underground Science and Engineering, EarlyView.Abstract One of the significant challenges faced in shield tunnel construction is the risk of collapse resulting from abrupt changes in soil conditions in advance of the working face, particularly within the sandy cobble stratum. This study aims to effectively manage these sudden variations and to further investigate the failure mechanisms associated ...
Hua Jiang +4 more
wiley +1 more source
On Generalizing Decidable Standard Prefix Classes of First-Order Logic
, 2017 Recently, the separated fragment (SF) of first-order logic has been introduced. Its defining principle is that universally and existentially quantified variables may not occur together in atoms.
Voigt, Marco
core
Deep Underground Science and Engineering, EarlyView.A scientometric analysis of 2449 journal articles and a comprehensive review of 336 papers were conducted, discussing and identifying challenges and research gaps in rockburst prediction and prevention and proposing an ontology‐based framework for better decision‐making in underground excavations. Abstract With underground engineering projects becoming
Hongchuan Yan +6 more
wiley +1 more source
First-order transitional modal logics of quasiary predicates with equality
Bulletin of Taras Shevchenko National University of Kyiv. Series: Physics and MathematicsIn this paper we study new classes of program-oriented logical formalisms of the modal type – first-order transitional modal logics (TML) of quasiary predicates with equality. Modal logics are successfully used for describing and modeling various subject areas.
openaire +1 more source
Deep Underground Science and Engineering, EarlyView.This review elucidates the velocity–dispersion–attenuation coupling mechanisms of wave propagation in rock masses, compares six representative models, and reveals how pressure, temperature, mineral composition, and anisotropy jointly control dynamic responses in complex geological media.
Jiajun Shu +8 more
wiley +1 more source
Intent Arabic text categorisation based on different machine learning and term frequency
IET Networks, EarlyView., 2022 Abstract The complexity of Internet network configurations has made managing networks a complicated undertaking. Intent‐Based Networking (IBN) is a potential solution to this issue. In contrast to conventional networks, where a concrete description of the settings typically conveys a network administrator's goal kept on each device, an administrator's ...
Mohammad Fadhil Mahdi +1 more
wiley +1 more source