English
Related papers

Related papers: Symmetry Breaking for Distributed Multi-Context Sy…

200 papers

The problem of identifying regions of spatially interesting, different or adversarial behavior is inherent to many practical applications involving distributed multisensor systems. In this work, we develop a general framework stemming from…

Signal Processing · Electrical Eng. & Systems 2022-06-14 Martin Gölz , Abdelhak M. Zoubir , Visa Koivunen

Blind source separation (BSS) algorithms are unsupervised methods, which are the cornerstone of hyperspectral data analysis by allowing for physically meaningful data decompositions. BSS problems being ill-posed, the resolution requires…

Signal Processing · Electrical Eng. & Systems 2022-09-28 Rémi Carloni Gertosio , Jérôme Bobin , Fabio Acero

The starting point of this work is a framework allowing to model systems with dynamic process creation, equipped with a procedure to detect symmetric executions (ie., which differ only by the identities of processes). This allows to reduce…

Logic in Computer Science · Computer Science 2013-02-15 Łukasz Fronc

Cognition is not passive data accumulation but the active resolution of uncertainty through symmetry breaking. This paper argues that both cognitive evolution and development unfold via sequential symmetry-breaking transitions that disrupt…

Neurons and Cognition · Quantitative Biology 2025-06-13 Xin Li

Managed multi-context systems (mMCSs) allow for the integration of heterogeneous knowledge sources in a modular and very general way. They were, however, mainly designed for static scenarios and are therefore not well-suited for dynamic…

Logic in Computer Science · Computer Science 2017-12-12 Gerhard Brewka , Stefan Ellmauthaler , Ricardo Gonçalves , Matthias Knorr , João Leite , Jörg Pührer

Symmetry is one of the most central concepts in physics, and it is no surprise that it has also been widely adopted as an inductive bias for machine-learning models applied to the physical sciences. This is especially true for models…

Chemical Physics · Physics 2024-12-23 Marcel F. Langer , Sergey N. Pozdnyakov , Michele Ceriotti

The success of modern parallel paradigms such as MapReduce, Hadoop, or Spark, has attracted a significant attention to the Massively Parallel Computation (MPC) model over the past few years, especially on graph problems. In this work, we…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-05-07 Soheil Behnezhad , Mahsa Derakhshan , MohammadTaghi Hajiaghayi , Richard M. Karp

Coordinating a fully distributed multi-agent system (MAS) can be challenging when the communication channel has very limited capabilities in terms of sending rate and packet payload. When the MAS has to deal with active obstacles in a…

Robotics · Computer Science 2025-09-12 Vincenzo Suriani , Daniele Affinita , Domenico D. Bloisi , Daniele Nardi

Deep ensembles (DE) have been successful in improving model performance by learning diverse members via the stochasticity of random initialization. While recent works have attempted to promote further diversity in DE via hyperparameters or…

In applications such as search and rescue or disaster relief, heterogeneous multi-robot systems (MRS) can provide significant advantages for complex objectives that require a suite of capabilities. However, within these application spaces,…

Robotics · Computer Science 2023-08-04 Lauren Bramblett , Nicola Bezzo

Selecting high-quality candidates from large-scale datasets is critically important in resource-constrained applications such as drug discovery, precision medicine, and the alignment of large language models. While conformal selection…

Artificial Intelligence · Computer Science 2025-10-14 Qingyang Hao , Wenbo Liao , Bingyi Jing , Hongxin Wei

We generalize the polynomial-time solvability of $k$-\textsc{Diverse Minimum s-t Cuts} (De Berg et al., ISAAC'23) to a wider class of combinatorial problems whose solution sets have a distributive lattice structure. We identify three…

Data Structures and Algorithms · Computer Science 2025-04-04 Mark de Berg , Andrés López Martínez , Frits Spieksma

It has been recently proposed that testing based on symbolic execution can be used in conjunction with static deadlock analysis to define a deadlock detection framework that: (i) can show deadlock presence, in that case a concrete test-case…

Programming Languages · Computer Science 2017-09-14 Elvira Albert , Miguel Gómez-Zamalloa , Miguel Isabel

We study the problem of determining whether a given temporal specification can be implemented by a symmetric system, i.e., a system composed from identical components. Symmetry is an important goal in the design of distributed systems,…

Logic in Computer Science · Computer Science 2017-10-17 Ruediger Ehlers , Bernd Finkbeiner

In the reconstruction process of unknown multiple scattering objects in inverse medium scattering problems, the first important step is to effectively locate some approximate domains that contain all inhomogeneous media. Without such an…

Numerical Analysis · Mathematics 2015-06-12 Keji Liu , Jun Zou

In this work, we present asynchronous multi-context systems (aMCSs), which provide a framework for loosely coupling different knowledge representation formalisms that allows for online reasoning in a dynamic environment. Systems of this…

Artificial Intelligence · Computer Science 2015-05-21 Stefan Ellmauthaler , Jörg Pührer

In this paper, we present efficient distributed algorithms for classical symmetry breaking problems, maximal independent sets (MIS) and ruling sets, in power graphs. We work in the standard CONGEST model of distributed message passing,…

Data Structures and Algorithms · Computer Science 2023-02-15 Yannic Maus , Saku Peltonen , Jara Uitto

Symmetry is one of the most general and useful concepts in physics. A theory or a system that has a symmetry is fundamentally constrained by it. The same constraints do not apply when the symmetry is broken. The quantitative determination…

Quantum Physics · Physics 2019-01-23 Ivan Fernandez-Corbaton

The implementation of optimization-based motion coordination approaches in real world multi-agent systems remains challenging due to their high computational complexity and potential deadlocks. This paper presents a distributed model…

Robotics · Computer Science 2021-06-03 Hongyu Zhou , Changliu Liu

In this article we study the symmetry breaking phenomenon of solutions of noncooperative elliptic systems. We apply the degree for G-invariant strongly indefinite functionals to obtain simultaneously a symmetry breaking and a global…

Analysis of PDEs · Mathematics 2013-03-06 Piotr Stefaniak