Results 211 to 220 of about 1,591,753 (376)
Abstract Existing research has revealed that multi‐vehicle coordinated decision making and control can achieve an improvement in both traffic efficiency and driving safety. In the multi‐lane scenarios, a typical coordination method is multi‐vehicle formation control.
Mengchi Cai+6 more
wiley +1 more source
ON THE SIMPLICITY OF AN AXIOM SYSTEM FOR PLANE EUCLIDEAN GEOMETRY [PDF]
Victor Pambuccian
openalex +1 more source
Synonym‐based multi‐keyword ranked search with secure k‐NN in 6G network
Abstract Sixth Generation (6G) integrates the next generation communication systems such as maritime, terrestrial, and aerial to offer robust network and massive device connectivity with ultra‐low latency requirement. The cutting edge technologies such as artificial intelligence, quantum machine learning, and millimetre enable hyper‐connectivity to ...
Deebak Bakkiam David, Fadi Al‐Turjman
wiley +1 more source
Exit time moments, boundary value problems, and the geometry of domains in Euclidean space [PDF]
Kimberly Kinateder+2 more
openalex +1 more source
Autoformalizing Euclidean Geometry
Autoformalization involves automatically translating informal math into formal theorems and proofs that are machine-verifiable. Euclidean geometry provides an interesting and controllable domain for studying autoformalization. In this paper, we introduce a neuro-symbolic framework for autoformalizing Euclidean geometry, which combines domain knowledge,
Murphy, Logan+5 more
openaire +2 more sources
Intent Arabic text categorisation based on different machine learning and term frequency
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
Villard de Honnecourt and Euclidean Geometry [PDF]
Marie-Thérèse Zenner
openalex +1 more source
X‐ray CT metal artifact reduction using neural attenuation field prior
Abstract Background The presence of metal objects in computed tomography (CT) imaging introduces severe artifacts that degrade image quality and hinder accurate diagnosis. While several deep learning‐based metal artifact reduction (MAR) methods have been proposed, they often exhibit poor performance on unseen data and require large datasets to train ...
Jooho Lee+4 more
wiley +1 more source
Abstract This paper investigates moving networks of Unmanned Aerial Vehicles to extend connectivity and guarantee data rates in the 5G by analysing possible hovering locations based on limitations such as flight time and coverage. The authors provide analytic bounds on the requirements in terms of connectivity extension for vehicular networks served by
Dalia Popescu+2 more
wiley +1 more source