English
Related papers

Related papers: Alleviating State-space Explosion in Component-bas…

200 papers

A novel sentence embedding method built upon semantic subspace analysis, called semantic subspace sentence embedding (S3E), is proposed in this work. Given the fact that word embeddings can capture semantic relationship while semantically…

Computation and Language · Computer Science 2020-03-05 Bin Wang , Fenxiao Chen , Yuncheng Wang , C. -C. Jay Kuo

Quantum search has emerged as one of the most promising fields in quantum computing. State-of-the-art quantum search algorithms enable the search for specific elements in a distribution by monotonically increasing the density of these…

Optimization and Control · Mathematics 2025-01-14 Rodolphe Griset , Ioannis Lavdas , Jiri Guth Jarkovsky

The synthesis of reactive systems aims for the automated construction of strategies for systems that interact with their environment. Whereas the synthesis approach has the potential to change the development of reactive systems…

Logic in Computer Science · Computer Science 2024-11-04 Linda Feeken , Martin Fränzle

The term `Convected Scheme' (CS) refers to a family of algorithms, most usually applied to the solution of Boltzmann's equation, which uses a method of characteristics in an integral form to project an initial cell forward to a group of…

Computational Physics · Physics 2013-05-24 Yaman Güçlü , William N. G. Hitchon

In this paper, we consider a dynamic linear system in state-space form where the observation equation depends linearly on a set of parameters. We address the problem of how to dynamically calculate these parameters in order to minimize the…

Information Theory · Computer Science 2013-04-02 Feng Jiang , Jie Chen , A. Lee Swindlehurst

This paper considers the joint transceiver design for downlink multiuser multiple-input single-output (MISO) systems with coordinated base stations (BSs) where imperfect channel state information (CSI) is available at the BSs and mobile…

Optimization and Control · Mathematics 2013-11-26 Tadilo Endeshaw , Luc Vandendorpe , Batu Krishna Chalise

Component-based software development (CBD) is a methodology that has been embraced by the software industry to accelerate development, save costs and timelines, minimize testing requirements, and boost quality and output. Compared to the…

Software Engineering · Computer Science 2023-05-24 N Md Jubair Basha , Gopinath Ganapathy , Mohammed Moulana

This paper addresses the secure state estimation problem for continuous linear time-invariant systems with non-periodic and asynchronous sampled measurements, where the sensors need to transmit not only measurements but also sampling…

Systems and Control · Electrical Eng. & Systems 2026-03-31 Zishuo Li , Anh Tung Nguyen , André M. H. Teixeira , Yilin Mo , Karl H. Johansson

Semantic vector embedding techniques have proven useful in learning semantic representations of data across multiple domains. A key application enabled by such techniques is the ability to measure semantic similarity between given data…

Computation and Language · Computer Science 2020-09-01 Shalisha Witherspoon , Dean Steuer , Graham Bent , Nirmit Desai

We consider the solution of the subset sum problem based on a parallel computer consisting of self-propelled biological agents moving in a nanostructured network that encodes the NP-complete task in its geometry. We develop an approximate…

Emerging Technologies · Computer Science 2021-10-27 Michael Konopik , Till Korten , Heiner Linke , Eric Lutz

This work investigates the downlink of a cloud radio access network (C-RAN) in which a central processor communicates with two mobile users through two base stations (BSs). The BSs act as relay nodes and cooperate with each other through…

Information Theory · Computer Science 2016-11-01 Chien-Yi Wang , Michèle Wigger , Abdellatif Zaidi

Semi-supervised learning (SSL) has shown notable potential in relieving the heavy demand of dense prediction tasks on large-scale well-annotated datasets, especially for the challenging multi-organ segmentation (MoS). However, the…

Computer Vision and Pattern Recognition · Computer Science 2025-01-08 Zhenghao Feng , Lu Wen , Yuanyuan Xu , Binyu Yan , Xi Wu , Jiliu Zhou , Yan Wang

A cyber-physical system (CPS) is a tight coupling of computational resources, network communication, and physical processes. They are composed of a set of networked components, including sensors, actuators, control processing units, and…

Systems and Control · Electrical Eng. & Systems 2019-11-11 Shamila Nateghi , Yuri Shtessel , Christopher Edwards , Jean-Pierre Barbot

This paper introduces a checksum algorithm that provides a new point in the performance/complexity/effectiveness checksum tradeoff space. It has better fault detection properties than single-sum and dual-sum modular addition checksums. It…

Data Structures and Algorithms · Computer Science 2024-04-01 Philip Koopman

We investigate fully self-consistent multiscale quantum-classical algorithms on current generation superconducting quantum computers, in a unified approach to tackle the correlated electronic structure of large systems in both quantum…

Many machine learning models, such as logistic regression~(LR) and support vector machine~(SVM), can be formulated as composite optimization problems. Recently, many distributed stochastic optimization~(DSO) methods have been proposed to…

Machine Learning · Statistics 2016-12-13 Shen-Yi Zhao , Ru Xiang , Ying-Hao Shi , Peng Gao , Wu-Jun Li

Markov state models (MSMs)---or discrete-time master equation models---are a powerful way of modeling the structure and function of molecular systems like proteins. Unfortunately, MSMs with sufficiently many states to make a quantitative…

Biomolecules · Quantitative Biology 2015-06-03 Gregory R. Bowman

Semantic segmentation is a core computer vision problem, but the high costs of data annotation have hindered its wide application. Weakly-Supervised Semantic Segmentation (WSSS) offers a cost-efficient workaround to extensive labeling in…

Computer Vision and Pattern Recognition · Computer Science 2024-05-13 Elham Ravanbakhsh , Cheng Niu , Yongqing Liang , J. Ramanujam , Xin Li

Task-oriented semantic communication (SemCom) prioritizes task execution over accurate symbol reconstruction and is well-suited to emerging intelligent applications. Cooperative multi-task SemCom (CMT-SemCom) further improves task execution…

Signal Processing · Electrical Eng. & Systems 2026-01-27 Ahmad Halimi Razlighi , Pallavi Dhingra , Edgar Beck , Bho Matthiesen , Armin Dekorsy

Distribution network operation is becoming more challenging because of the growing integration of intermittent and volatile distributed energy resources (DERs). This motivates the development of new distribution system state estimation…

Systems and Control · Electrical Eng. & Systems 2021-10-06 Jianqiao Huang , Xinyang Zhou , Bai Cui
‹ Prev 1 8 9 10 Next ›