中文
相关论文

相关论文: On Reductions from Multi-Domain Noninterference to…

200 篇论文

Policy gradient methods hold great potential for solving complex continuous control tasks. Still, their training efficiency can be improved by exploiting structure within the optimization problem. Recent work indicates that supervised…

The regression discontinuity (RD) design is widely used for program evaluation with observational data. The primary focus of the existing literature has been the estimation of the local average treatment effect at the existing treatment…

统计方法学 · 统计学 2024-09-05 Yi Zhang , Eli Ben-Michael , Kosuke Imai

In this paper we provide a survey on the framework of abstract non-interference. In particular, we describe a general formalization of abstract non-interference by means of three dimensions (observation, protection and semantics) that can…

编程语言 · 计算机科学 2013-09-23 Isabella Mastroeni

Test-time compute scaling has demonstrated the ability to improve the performance of reasoning language models by generating longer chain-of-thought (CoT) sequences. However, this increase in performance comes with a significant increase in…

人工智能 · 计算机科学 2025-09-24 Adarsha Balaji , Le Chen , Rajeev Thakur , Franck Cappello , Sandeep Madireddy

Top-tier parallel computing clusters continue to accumulate more and more computational power with more and better CPUs and Networks. This allows, especially for environmental simulations, computations with larger domain sizes and better…

分布式、并行与集群计算 · 计算机科学 2018-07-03 Christoph Ertl , Ralf-Peter Mundani , Ernst Rank

This paper proposes an online cross-layered defense strategy for multi-channel systems with switched dynamics under DoS attacks. The enabling condition of a channel under attacks is formulated with respect to attack flow and channel…

系统与控制 · 电气工程与系统科学 2025-04-30 Liheng Wan , Panshuo Li , James Lam

As networks expand in size and complexity, they pose greater administrative and management challenges. Software Defined Networks (SDN) offer a promising approach to meeting some of these challenges. In this paper, we propose a policy driven…

密码学与安全 · 计算机科学 2018-06-07 Vijay Varadharajan , Kallol Karmakar , Uday Tupakula , Michael Hitchens

Ultra-reliable low-latency communication is essential in mission-critical settings, including military applications, where persistent and asymmetric link blockages caused by mobility, jamming, or adversarial attacks can disrupt…

信息论 · 计算机科学 2025-08-26 Mine Gokce Dogan , Abhiram Kadiyala , Jaimin Shah , Martina Cardone , Christina Fragouli

We characterize information as risk reduction between knowledge states represented by partitions of the underlying probability space. Entropy corresponds to risk reduction from no (or partial) knowledge to full knowledge about a random…

信息论 · 计算机科学 2026-02-24 Sebastian Gottwald , Daniel A. Braun

The decode-forward achievable region is studied for general networks. The region is subject to a fundamental tension in which nodes individually benefit at the expense of others. The complexity of the region depends on all the ways of…

信息论 · 计算机科学 2022-08-29 Jonathan Ponniah , Liang-Liang Xie

Hybrid IP networks that use both control paradigms - distributed and centralized - promise the best of two worlds: programmability and agility of SDN, and reliability and fault tolerance of distributed routing protocols like OSPF. The…

网络与互联网体系结构 · 计算机科学 2016-10-27 Marcel Caria , Admela Jukan , Marco Hoffmann

Network systems consist of subsystems and their interconnections, and provide a powerful framework for analysis, modeling and control of complex systems. However, subsystems may have high-dimensional dynamics, and the amount and nature of…

最优化与控制 · 数学 2020-12-07 Xiaodong Cheng , Jacquelien M. A. Scherpen

We derive information-theoretic converses (i.e., lower bounds) for the minimum time required by any algorithm for distributed function computation over a network of point-to-point channels with finite capacity, where each node of the…

信息论 · 计算机科学 2017-01-04 Aolin Xu , Maxim Raginsky

To leverage machine learning in any decision-making process, one must convert the given knowledge (for example, natural language, unstructured text) into representation vectors that can be understood and processed by machine learning model…

机器学习 · 计算机科学 2023-07-11 Shibo Yao

First-order logic has been established as an important tool for modeling and verifying intricate systems such as distributed protocols and concurrent systems. These systems are parametric in the number of nodes in the network or the number…

计算机科学中的逻辑 · 计算机科学 2024-08-21 Raz Lotan , Eden Frenkel , Sharon Shoham

Past works that investigate out-of-domain performance of QA systems have mainly focused on general domains (e.g. news domain, wikipedia domain), underestimating the importance of subdomains defined by the internal characteristics of QA…

计算与语言 · 计算机科学 2022-04-12 Chenyang Lyu , Jennifer Foster , Yvette Graham

Traditional recommendation systems are faced with two long-standing obstacles, namely, data sparsity and cold-start problems, which promote the emergence and development of Cross-Domain Recommendation (CDR). The core idea of CDR is to…

信息检索 · 计算机科学 2022-07-26 Tianzi Zang , Yanmin Zhu , Haobing Liu , Ruohan Zhang , Jiadi Yu

Deep learning has achieved state-of-the-art performance on several computer vision tasks and domains. Nevertheless, it still has a high computational cost and demands a significant amount of parameters. Such requirements hinder the use in…

计算机视觉与模式识别 · 计算机科学 2024-07-08 Samuel Felipe dos Santos , Rodrigo Berriel , Thiago Oliveira-Santos , Nicu Sebe , Jurandy Almeida

Many networks in nature and applications have an approximate low-rank structure in the sense that their connectivity structure is dominated by a few dimensions. It is natural to expect that dynamics on such networks would also be…

动力系统 · 数学 2026-05-29 Yue Wan , Robert Rosenbaum

We propose a method to reduce the computational effort to solve a partial differential equation on a given domain. The main idea is to split the domain of interest in two subdomains, and to use different approximation methods in each of the…

经典物理 · 物理学 2007-12-06 Marcelo Buffoni , Haysam Telib , Angelo Iollo