中文
相关论文

相关论文: Distributed Non-Interference

200 篇论文

Petri networks and network models are two frameworks for the compositional design of systems of interacting entities. Here we show how to combine them using the concept of a "catalyst": an entity that is neither destroyed nor created by any…

范畴论 · 数学 2024-08-07 John C. Baez , John Foley , Joe Moeller

Smart speakers and robots become ever more prevalent in our daily lives. These agents are able to execute a wide range of tasks and actions and, therefore, need systems to control their execution. Current state-of-the-art such as (deep)…

人工智能 · 计算机科学 2019-09-16 Christian Dondrup , Ioannis Papaioannou , Oliver Lemon

Analysis of an organization's computer network activity is a key component of early detection and mitigation of insider threat, a growing concern for many organizations. Raw system logs are a prototypical example of streaming data that can…

神经与进化计算 · 计算机科学 2017-12-19 Aaron Tuor , Samuel Kaplan , Brian Hutchinson , Nicole Nichols , Sean Robinson

With the growing use of information technology in all life domains, hacking has become more negatively effective than ever before. Also with developing technologies, attacks numbers are growing exponentially every few months and become more…

密码学与安全 · 计算机科学 2022-09-29 Khloud Al Jallad , Mohamad Aljnidi , Mohammad Said Desouki

Distributed inference is a popular approach for efficient DNN inference at the edge. However, traditional Static and Dynamic DNNs are not distribution-friendly, causing system reliability and adaptability issues. In this paper, we introduce…

计算机视觉与模式识别 · 计算机科学 2024-01-18 Lei Xun , Mingyu Hu , Hengrui Zhao , Amit Kumar Singh , Jonathon Hare , Geoff V. Merrett

This paper introduces Bayesian Flow Networks (BFNs), a new class of generative model in which the parameters of a set of independent distributions are modified with Bayesian inference in the light of noisy data samples, then passed as input…

机器学习 · 计算机科学 2025-03-12 Alex Graves , Rupesh Kumar Srivastava , Timothy Atkinson , Faustino Gomez

This paper exploits extended Bayesian networks for uncertainty reasoning on Petri nets, where firing of transitions is probabilistic. In particular, Bayesian networks are used as symbolic representations of probability distributions,…

人工智能 · 计算机科学 2020-10-01 Rebecca Bernemann , Benjamin Cabrera , Reiko Heckel , Barbara König

Massive data exist among user local platforms that usually cannot support deep neural network (DNN) training due to computation and storage resource constraints. Cloud-based training schemes provide beneficial services but suffer from…

机器学习 · 计算机科学 2018-01-15 Meng Li , Liangzhen Lai , Naveen Suda , Vikas Chandra , David Z. Pan

Subsurface applications including geothermal, geological carbon sequestration, oil and gas, etc., typically involve maximizing either the extraction of energy or the storage of fluids. Characterizing the subsurface is extremely complex due…

计算工程、金融与科学 · 计算机科学 2018-06-07 M. K. Mudunuru , S. Karra , N. Makedonska , T. Chen

Recent studies reveal the connection between GNNs and the diffusion process, which motivates many diffusion-based GNNs to be proposed. However, since these two mechanisms are closely related, one fundamental question naturally arises: Is…

社会与信息网络 · 计算机科学 2024-04-23 Yibo Li , Xiao Wang , Hongrui Liu , Chuan Shi

This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs: an independence relation on the set of logged…

计算机科学中的逻辑 · 计算机科学 2015-07-13 Hernán Ponce-de-León , César Rodríguez , Josep Carmona , Keijo Heljanko , Stefan Haar

Aligning coordinated text streams from multiple sources and multiple languages has opened many new research venues on cross-lingual knowledge discovery. In this paper we aim to advance state-of-the-art by: (1). extending coarse-grained…

计算与语言 · 计算机科学 2016-09-28 Tao Ge , Qing Dou , Xiaoman Pan , Heng Ji , Lei Cui , Baobao Chang , Zhifang Sui , Ming Zhou

DenseNets have been shown to be a competitive model among recent convolutional network architectures. These networks utilize Dense Blocks, which are groups of densely connected layers where the output of a hidden layer is fed in as the…

计算机视觉与模式识别 · 计算机科学 2018-08-28 Joseph Chuang , Eric Tsai , Kevin Huang , Jay Fetter

We analyze sets of intrusion detection records observed on the networks of several large, nonresidential organizations protected by a form of intrusion detection and prevention service. Our analyses reveal that the process of intrusion…

密码学与安全 · 计算机科学 2017-07-14 Richard Harang , Alexander Kott

Understanding the interaction patterns among simultaneous recordings of spike trains from multiple neuronal units is a key topic in neuroscience. However, an optimal approach of assessing these interactions has not been established, as…

神经元与认知 · 定量生物学 2020-12-17 Gorana Mijatovic , Yuri Antonacci , Tatjana Loncar-Turukalo , Ludovico Minati , Luca Faes

Practical wireless networks are finite, and hence non-stationary with nodes typically non-homo-geneously deployed over the area. This leads to a location-dependent performance and to boundary effects which are both often neglected in…

信息论 · 计算机科学 2014-01-03 Ralph Tanbourgi , Holger Jäkel , Friedrich K. Jondral

Distribution Service (DDS) is a realtime peer-to-peer protocol that serves as a scalable middleware between distributed networked systems found in many Industrial IoT domains such as automotive, medical, energy, and defense. Since the…

密码学与安全 · 计算机科学 2019-08-16 Ruffin White , Gianluca Caiazza , Chenxu Jiang , Xinyue Ou , Zhiyue Yang , Agostino Cortesi , Henrik Christensen

Data Distribution Service (DDS) is an innovative approach towards communication in ICS/IoT infrastructure and robotics. Being based on the cross-platform and cross-language API to be applicable in any computerised device, it offers the…

机器学习 · 计算机科学 2021-06-15 Stanislav Abaimov

Modern machine learning tools such as deep neural networks (DNNs) are playing a revolutionary role in many fields such as natural language processing, computer vision, and the internet of things. Once they are trained, deep learning models…

机器学习 · 计算机科学 2022-01-19 Arjun Parthasarathy , Bhaskar Krishnamachari

To supervise and guarantee a network security, the administrator uses different security components, such as firewalls, IDS and IPS. For a perfect interoperability between these components, they must be configured properly to avoid…

网络与互联网体系结构 · 计算机科学 2013-10-11 Kamel Karoui , Fakher Ben Ftima , Henda Ben Ghezala
‹ 上一页 1 8 9 10 下一页 ›