English
Related papers

Related papers: Modal Interface Automata

200 papers

This article focuses on the application of artificial intelligence (AI) in non-orthogonal multiple-access (NOMA), which aims to achieve automated, adaptive, and high-efficiency multi-user communications towards next generation multiple…

Information Theory · Computer Science 2022-12-14 Xiaoxia Xu , Yuanwei Liu , Xidong Mu , Qimei Chen , Hao Jiang , Zhiguo Ding

The feasibility conditions of interference alignment (IA) are analyzed for reverse TDD systems, i.e., one cell operates as downlink (DL) but the other cell operates as uplink (UL). Under general multiple-input and multiple-output (MIMO)…

Information Theory · Computer Science 2016-07-07 Kiyeon Kim , Sang-Woon Jeon , Janghoon Yang , Dong Ku Kim

Motivated by the recent work of Deaconu, Mousavand and Paquette on the connection between infinite string bricks for certain gentle algebras and Sturmian words, we develop a decorated version of a deterministic automaton, called a…

Representation Theory · Mathematics 2026-04-03 Amit Kuber , Annoy Sengupta

Higher-dimensional automata (HDAs) are models of non-interleaving concurrency for analyzing concurrent systems. There is a rich literature that deals with bisimulations for concurrent systems, and some of them have been extended to HDAs.…

Logic in Computer Science · Computer Science 2026-03-03 Safa Zouari , Krzysztof Ziemiański , Uli Fahrenberg

In this paper, the problem of using uncoordinated multiple access (UMA) to serve a massive amount of heterogeneous users is investigated. Leveraging the heterogeneity, we propose a novel UMA protocol, called iterative collision resolution…

Information Theory · Computer Science 2020-12-25 Yu-Chih Huang , Shin-Lin Shieh , Yu-Pin Hsu , Hao-Ping Cheng

Interference alignment (IA) is a cooperative transmission strategy that, under some conditions, achieves the interference channel's maximum number of degrees of freedom. Realizing IA gains, however, is contingent upon providing transmitters…

Information Theory · Computer Science 2013-04-15 Omar El Ayach , Angel Lozano , Robert W. Heath

Multimodal Sentiment Analysis (MSA) is critical for human-computer interaction but faces challenges when the modalities are incomplete or missing. Existing methods often assume pre-defined missing modalities or fixed missing rates, limiting…

Human-Computer Interaction · Computer Science 2025-11-24 Liling Li , Guoyang Xu , Xiongri Shen , Zhifei Xu , Yanbo Zhang , Zhiguo Zhang , Zhenxi Song

Current diffusion-based face animation methods generally adopt a ReferenceNet (a copy of U-Net) and a large amount of curated self-acquired data to learn appearance features, as robust appearance features are vital for ensuring temporal…

Computer Vision and Pattern Recognition · Computer Science 2024-09-24 Yue Han , Junwei Zhu , Yuxiang Feng , Xiaozhong Ji , Keke He , Xiangtai Li , zhucun xue , Yong Liu

Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches of modeling system safety requirements and interaction…

Software Engineering · Computer Science 2016-11-17 Zhe Chen , Gilles Motet

We investigate the transition monoid construction for deterministic automata in a categorical setting and establish it as an adjunction. We pair this adjunction with two other adjunctions to obtain two endofunctors on deterministic…

Formal Languages and Automata Theory · Computer Science 2024-06-28 Mike Cruchten

A fundamental tool to prove inner bounds in classical network information theory is the so-called conditional joint typicality lemma. In addition to the lemma, one often uses unions and intersections of typical sets in the inner bound…

Quantum Physics · Physics 2020-12-25 Pranab Sen

Indexed modulation (IM) is an evolving technique that has become popular due to its ability of parallel data communication over distinct combinations of transmission entities. In this article, we first provide a comprehensive survey of…

Information Theory · Computer Science 2023-02-16 Rohit Singh , Aryan Kaushik , Wonjae Shin , George C. Alexandropoulos , Mesut Toka , Marco Di Renzo

The space complexity of functional programs is not well understood. In particular, traditional implementation techniques are tailored to time efficiency, and space efficiency induces time inefficiencies, as it prefers re-computing to…

Logic in Computer Science · Computer Science 2021-04-30 Beniamino Accattoli , Ugo Dal Lago , Gabriele Vanoni

A combined technique of interference alignment (IA) and interference cancellation (IC), known as interference alignment and cancellation (IAC) scheme, has been proposed to improve the total achievable degrees of freedom (DoFs) over IA.…

Signal Processing · Electrical Eng. & Systems 2019-08-02 Qu Xin , Chung G. Kang

Cross-modal alignment is crucial for multimodal representation fusion due to the inherent heterogeneity between modalities. While Transformer-based methods have shown promising results in modeling inter-modal relationships, their quadratic…

Computer Vision and Pattern Recognition · Computer Science 2024-12-03 Yan Li , Yifei Xing , Xiangyuan Lan , Xin Li , Haifeng Chen , Dongmei Jiang

Interference alignment (IA) has attracted enormous research interest as it achieves optimal capacity scaling with respect to signal to noise ratio on interference networks. IA has also recently emerged as an effective tool in engineering…

Information Theory · Computer Science 2016-05-04 Liangzhong Ruan , Vincent K. N. Lau , Moe Z. Win

An Iterative Reanalysis Approximation (IRA) is integrated with the Moving Morphable Components (MMCs) based topology optimization (IRA-MMC) in this study. Compared with other classical topology optimization methods, the Finite Element (FE)…

Numerical Analysis · Computer Science 2018-10-17 Kangjia Mo , Hu Wang , Zhenxing Cheng , Yu Li

This paper presents a new Interference Alignment (IA) scheme for K-User Multiple Input Multiple Output (MIMO) Interference Channel (IC) based on two metaheuristics, namely Particle Swarm Optimization (PSO) and Artificial Bee Colony (ABC)…

Signal Processing · Electrical Eng. & Systems 2017-10-04 Lysa Ait Messaoud , Fatiha Merazka , Daniel Massicotte

Broader applications of the Internet of Things (IoT) are expected in the forthcoming 6G system, although massive IoT is already a key scenario in 5G, predominantly relying on physical layer solutions inherited from 4G LTE and primarily…

Information Theory · Computer Science 2021-04-13 Yifei Yuan , Sen Wang , Yongpeng Wu , H. Vincent Poor , Zhiguo Ding , Xiaohu You , Lajos Hanzo

Natural human interactions for Mixed Reality Applications are overwhelmingly multimodal: humans communicate intent and instructions via a combination of visual, aural and gestural cues. However, supporting low-latency and accurate…

Human-Computer Interaction · Computer Science 2020-12-21 Darshana Rathnayake , Ashen de Silva , Dasun Puwakdandawa , Lakmal Meegahapola , Archan Misra , Indika Perera