English
Related papers

Related papers: A Novel Solution for Uu Interface Based C-V2X

200 papers

Vehicle-to-Everything (V2X) communication has been proposed as a potential solution to improve the robustness and safety of autonomous vehicles by improving coordination and removing the barrier of non-line-of-sight sensing. Cooperative…

Vehicle-to-everything (V2X) communication and services have been garnering significant interest from different stakeholders as part of future intelligent transportation systems (ITSs). This is due to the many benefits they offer. However,…

Signal Processing · Electrical Eng. & Systems 2020-10-21 Abdallah Moubayed , Abdallah Shami , Parisa Heidari , Adel Larabi , Richard Brunner

We present a fully automatic algorithm for verifying safety properties of parameterized software systems. This algorithm is based on both IC3 and Lazy Annotation. We implemented it in Cubicle, a model checker for verifying safety properties…

Logic in Computer Science · Computer Science 2018-11-21 Sylvain Conchon , Amit Goel , Sava Krstic , Rupak Majumdar , Mattias Roux

As development Internet-of-Vehicles (IoV) technology and demand for Intelligent Transportation Systems (ITS) increase, there is a growing need for real-time data and communication by vehicle users. Traditional request-based methods face…

Networking and Internet Architecture · Computer Science 2024-08-02 Zheng Zhang , Qiong Wu , Pingyi Fan , Ke Xiong

We present a new fixed mesh algorithm for solving a class of interface inverse problems for the typical elliptic interface problems. These interface inverse problems are formulated as shape optimization prob- lems whose objective…

Numerical Analysis · Mathematics 2018-10-18 Ruchi Guo , Tao Lin , Yanping Lin

Intelligent transportation and autonomous mobility solutions rely on cooperative awareness developed by exchanging proximity and mobility data among road users. To maintain pervasive awareness on roads, all vehicles and vulnerable road…

Networking and Internet Architecture · Computer Science 2023-05-25 Keyvan Ansari , Khondokar Fida Hasan

This paper presents a novel approach to handle the computational complexity in security-constrained unit commitment (SCUC) with corrective network reconfiguration (CNR) to harness the flexibility in transmission networks. This is achieved…

Optimization and Control · Mathematics 2020-07-21 Arun Venkatesh Ramesh , Xingpeng Li , Kory W. Hedman

Adaptive and intelligent user interfaces have been proposed as a critical component of a successful extended reality (XR) system. In particular, a predictive system can make inferences about a user and provide them with task-relevant…

Human-Computer Interaction · Computer Science 2022-10-20 Kashyap Todi , Ben Lafreniere , Tanya Jonker

The 3GPP V2X resource allocation framework defines two entity classes -- the base station and the vehicle UE -- and four modes across LTE and NR generations. We demonstrate that this binary taxonomy is structurally incomplete. Base…

Networking and Internet Architecture · Computer Science 2026-05-26 Dewei Jiang , Xiang Gu

A new class of Second generation high-performance computing applications with heterogeneous, dynamic and data-intensive properties have an extended set of requirements, which cover application deployment, resource allocation, -control, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-02-28 Ole Weidner , Malcolm Atkinson , Adam Barker , Rosa Filgueira

Vulnerable road users (VRUs) such as pedestrians, cyclists and motorcyclists are at the highest risk in the road traffic environment. Globally, over half of road traffic deaths are vulnerable road users. Although substantial efforts are…

Networking and Internet Architecture · Computer Science 2021-07-01 Nishanthi Dasanayaka , Khondokar Fida Hasan , Charles Wang , Yanming Feng

In this letter, we propose a novel manifold-based algorithm to solve the constant envelope (CE) precoding problem with interference exploitation. For a given power budget, we design the precoded symbols subject to the CE constraints, such…

Information Theory · Computer Science 2017-10-11 Fan Liu , Christos Masouros , Pierluigi Vito Amadori , Huafei Sun

Several practical multi-user multi-carrier communication systems are characterized by a multi-carrier interference channel system model where the interference is treated as noise. For these systems, spectrum optimization is a promising…

Information Theory · Computer Science 2013-08-28 Paschalis Tsiaflakis , François Glineur

Modern Visual-Aware Recommender Systems (VARS) exploit the integration of user interaction data and visual features to deliver personalized recommendations with high precision. However, their robustness against adversarial attacks remains…

Information Retrieval · Computer Science 2025-07-31 Hai Ling , Tianchi Wang , Xiaohao Liu , Zhulin Tao , Lifang Yang , Xianglin Huang

Routing in opportunistic networks is a very important and challenging problem because opportunistic network utilizes the contact opportunities of mobile nodes to achieve data communication.Social-based routing uses behavior of human beings…

Networking and Internet Architecture · Computer Science 2015-02-10 Yang Qin , Li Li , Xiaohan Zhang , Xiaoxiong Zhong

Integrating large language models into specialized domains like healthcare presents unique challenges, including domain adaptation and limited labeled data. We introduce CU-ICU, a method for customizing unsupervised instruction-finetuned…

Computation and Language · Computer Science 2025-07-21 Teerapong Panboonyuen

Vehicle-to-Everything (V2X) communication has become an integral component of Intelligent Transportation Systems (ITS) due to its ability to connect vehicles, pedestrians, infrastructure, and create situational awareness among vehicles.…

Networking and Internet Architecture · Computer Science 2021-01-19 Ghayoor Shah , MD Saifuddin , Yaser P. Fallah , Somak Datta Gupta

By using the dynamic reconfigurable transceiver in high speed interface design, designer can solve critical technology problems such as ensuring signal integrity conveniently, with lower error binary rate. In this paper, we designed a high…

Hardware Architecture · Computer Science 2014-01-27 Haipeng Zhang , Lingjun Kong , Xiuju Huang , Mengmeng Cao

The development of GUI agents could revolutionize the next generation of human-computer interaction. Motivated by this vision, we present MAI-UI, a family of foundation GUI agents spanning the full spectrum of sizes, including 2B, 8B, 32B,…

Computer Vision and Pattern Recognition · Computer Science 2025-12-29 Hanzhang Zhou , Xu Zhang , Panrong Tong , Jianan Zhang , Liangyu Chen , Quyu Kong , Chenglin Cai , Chen Liu , Yue Wang , Jingren Zhou , Steven Hoi

We present a novel selection algorithm for N-2 contingency analysis problem. The algorithm is based on the iterative bounding of line outage distribution factors and successive pruning of the set of contingency pair candidates. The…

Physics and Society · Physics 2012-11-06 K. S. Turitsyn , P. A. Kaplunovich
‹ Prev 1 4 5 6 7 8 10 Next ›