搜索结果：co-operatives

Perceptual uncertainty is a central challenge for heterogeneous robot teams operating in unstructured outdoor environments, where no single viewpoint affords reliable scene understanding. Perceptual uncertainty, arising from sources such as occlusions, manifests differently across robot viewpoints depending on scene structure. Detecting and resolving sources of perceptual uncertainty requires both scene-based contextual reasoning and capability-aware robot allocation. While vision-language models provide strong semantic priors for both, they are computationally prohibitive for onboard inference and lack calibrated uncertainty quantification. We introduce Co-GLANCE, a real-time onboard perception and decision-making system for uncertainty resolution in heterogeneous robot teams. Co-GLANCE distills the semantic reasoning capabilities of a vision-language model into an end-to-end model for occlusion segmentation and robot allocation, eliminating the need for cloud-based inference. To quantify perceptual uncertainty, Co-GLANCE combines conformal prediction with selective abstention to provide statistically valid coverage guarantees for segmentation, robot allocation, and detection outp

The far-ultraviolet (FUV) detector of the Cosmic Origins Spectrograph (COS) accumulates gain sag where photons land, and without continued mitigation this degradation would render the most used modes unusable. To extend COS FUV operations through the 2030s, the COS team developed the COS2035 strategy, which builds on the existing COS2025 rules with four technical breakthroughs and two new usage policies. First, SPLIT-wavecals decouple wavelength calibration from science exposures and open detector real estate above the Pt-Ne lamp light leak. Second, a hybrid lifetime position (LP) architecture allows different gratings to operate at different LPs simultaneously. Third, the LP-infinity framework removes the dependence on the eight-LP limit in the COS flight software, supported by a new table-based APT and TRANS rules architecture. Fourth, a revised gain-sag flagging method evaluates integrated column count loss against the maximum achievable signal-to-noise (S/N) per mode. The two new usage policies cap per-target S/N at the maximum achievable value set by fixed-pattern noise, and limit any single program to 2\% of the lifetime at any single LP. With LP7 and LP10 enabled in Cycle 33

E-fuels are promising long-term energy carriers supporting the net-zero transition. However, the large combinatorial design-operation spaces under renewable uncertainty make the use of mathematical programming impractical for co-optimizing e-fuel production systems. Here, we present MasCOR, a machine-learning-assisted co-optimization framework that learns from global operational trajectories. By encoding system design and renewable trends, a single MasCOR agent generalizes dynamic operation across diverse configurations and scenarios, substantially simplifying design-operation co-optimization under uncertainty. Benchmark comparisons against state-of-the-art reinforcement learning baselines demonstrate near-optimal performance, while computational costs are substantially lower than those of mathematical programming, enabling rapid parallel evaluation of designs within the co-optimization loop. This framework enables rapid screening of feasible design spaces together with corresponding operational policies. When applied to four potential European sites targeting e-methanol production, MasCOR shows that most locations benefit from reducing system load below 50 MW to achieve carbon-neu

Multi-operator control of robot teams requires not only access to the same mission information, but also mechanisms for maintaining shared awareness and preventing conflicting interventions. Building on our previous HORUS interface (Holistic Operational Reality for Unified Systems) we present a mixed-reality interface that extends single-operator multi-robot supervision to collaborative multi-operator use. The system supports two complementary modes: a co-located shared workspace, in which operators observe and manipulate the same mini-map in the same physical location, and a private-workspace mode, in which operators work on the same mission through independently placed local workspaces. The architecture combines registration-driven scene construction, lightweight shared-session synchronization, and per-robot control leases to support collaborative monitoring, tasking, and teleoperation while preventing conflicting commands. We evaluated the approach in a human-subject study with 36 participants (18 pairs) controlling three Nova Carter mobile robots in two search environments. The performance of the objective task was comparable across the two modes, indicating that both modes sup

Co-training, which combines limited in-domain real-world data with abundant surrogate data such as simulation or cross-embodiment robot data, is widely used for training generative robot policies. Despite its empirical success, the mechanisms that determine when and why co-training is effective remain poorly understood. We investigate the mechanism of sim-and-real co-training through theoretical analysis and empirical study, and identify two intrinsic effects governing performance. The first, \textbf{``structured representation alignment"}, reflects a balance between cross-domain representation alignment and domain discernibility, and plays a primary role in downstream performance. The second, the \textbf{``importance reweighting effect"}, arises from domain-dependent modulation of action weighting and operates at a secondary level. We validate these effects with controlled experiments on a toy model and extensive sim-and-sim and sim-and-real robot manipulation experiments. Our analysis offers a unified interpretation of recent co-training techniques and motivates a simple method that consistently improves upon prior approaches. More broadly, our aim is to examine the inner working

We study the extrinsic geometry of isometric immersions into Riemannian manifolds of co-dimension one via a fourth-order geometric evolution of the shape operator. Motivated by bi-harmonic map theory and generalized Chen's conjecture, we introduce a moduli flow, a tensorial gradient flow that decreases a natural energy measuring curvature variation.

In a time of rapidly evolving military threats and increasingly complex operational environments, the integration of AI into military operations proves significant advantages. At the same time, this implies various challenges and risks regarding building and deploying human-AI teaming systems in an effective and ethical manner. Currently, understanding and coping with them are often tackled from an external perspective considering the human-AI teaming system as a collective agent. Nevertheless, zooming into the dynamics involved inside the system assures dealing with a broader palette of relevant multidimensional responsibility, safety, and robustness aspects. To this end, this research proposes the design of a trustworthy co-learning model for human-AI teaming in military operations that encompasses a continuous and bidirectional exchange of insights between the human and AI agents as they jointly adapt to evolving battlefield conditions. It does that by integrating four dimensions. First, adjustable autonomy for dynamically calibrating the autonomy levels of agents depending on aspects like mission state, system confidence, and environmental uncertainty. Second, multi-layered con

Security Operations Centers (SOCs) face growing challenges in managing cybersecurity threats due to an overwhelming volume of alerts, a shortage of skilled analysts, and poorly integrated tools. Human-AI collaboration offers a promising path to augment the capabilities of SOC analysts while reducing their cognitive overload. To this end, we introduce an AI-driven human-machine co-teaming paradigm that leverages large language models (LLMs) to enhance threat intelligence, alert triage, and incident response workflows. We present a vision in which LLM-based AI agents learn from human analysts the tacit knowledge embedded in SOC operations, enabling the AI agents to improve their performance on SOC tasks through this co-teaming. We invite SOCs to collaborate with us to further develop this process and uncover replicable patterns where human-AI co-teaming yields measurable improvements in SOC productivity.

Reducing wealth inequality and resource waste is a global challenge. A fundamental problem within the capitalist economy, put simply, lies in the enslavement of labor and the colonization of resources. To address these issues, movements promoting digital democracy and cooperative platforms have emerged as viable alternatives to traditional capitalist systems. From the perspective of integrating information systems with real-world social, environmental, and economic systems, Cyber-Physical Systems have been proposed for applications in Industry 5.0 and Society 5.0. One such CPS is the Social Co-OS (cyber-human social co-operating system). Social Co-OS is a co-operating system between cyber and human societies that conceptualizes the social system as a dynamic, circular structure composed of three layers: individual behavior, interindividual interaction, and institutional formation. Within this framework, the cyber system supports collective decision-making and individual cooperative behavior across these layers. The objective of this study is to define a novel application architecture based on the Social Co-OS concept, design a user interface flow, and implement it in practice. Spec

RNA co-transcriptionality is the process where RNA sequences are spliced while being transcribed from DNA templates. This process holds potential as a key tool for molecular programming. Co-transcriptional folding has been shown to be programmable for assembling nano-scale RNA structures, and recent advances have proven its Turing universality. While post-transcriptional splicing has been extensively studied, co-transcriptional splicing is gaining attention for its potential to save resources and space in molecular systems. However, its unpredictability has limited its practical applications. In this paper, we focus on engineering co-transcriptional splicing, moving beyond natural occurrences to program RNA sequences that produce specific target sequences through DNA templates. We introduce contextual lariat deletion operations under three energy models - linear loop penalty, logarithmic loop penalty, and constantly bounded loop length - as well as bracketed contextual deletion, where deletion occurs solely based on context matching, without any structural constraints from hairpin loops. We examine the complexity of the template constructability problem associated with these operat

A co-operational bivariant theory is a ``dual" version of Fulton--MacPherson's operational bivaiant theory. For a given contravariant functor we define a generalized cohomology operation for continuous maps having sections, using cohomology operations. This generalized cohomology operation is related to Quillen's Steenrod power operation. Using this generalized cohomology operation, we define \emph{a co-operational bivariant theory derived from cohomology operations}, which is a subtheory of the co-operational bivariant theory associated to the contravariant functor.

Network-based complex systems are inherently interconnected, with the design and performance of subnetworks being interdependent. However, the decisions of self-interested operators may lead to suboptimal outcomes for users. In this paper, we consider the question of what cooperative mechanisms can benefit both operators and users simultaneously. We address this question in a game theoretical setting, integrating both non-cooperative and cooperative game theory. During the non-cooperative stage, subnetwork decision-makers strategically design their local networks. In the cooperative stage, the co-investment mechanism and the payoff-sharing mechanism are developed to enlarge collective benefits and fairly distribute them. A case study of the Sioux Falls network is conducted to demonstrate the efficiency of the proposed framework. The impact of this interactive network design on environmental sustainability, social welfare and economic efficiency is evaluated, along with an examination of scenarios involving regions with heterogeneous characteristics.

The exploration of underwater environments is essential for applications such as biological research, archaeology, and infrastructure maintenanceHowever, underwater imaging is challenging due to the waters unique properties, including scattering, absorption, color distortion, and reduced visibility. To address such visual degradations, a variety of approaches have been proposed covering from basic signal processing methods to deep learning models; however, none of them has proven to be consistently successful. In this paper, we propose a novel machine learning model, Co-Operational Regressor Networks (CoRe-Nets), designed to achieve the best possible underwater image restoration. A CoRe-Net consists of two co-operating networks: the Apprentice Regressor (AR), responsible for image transformation, and the Master Regressor (MR), which evaluates the Peak Signal-to-Noise Ratio (PSNR) of the images generated by the AR and feeds it back to AR. CoRe-Nets are built on Self-Organized Operational Neural Networks (Self-ONNs), which offer a superior learning capability by modulating nonlinearity in kernel transformations. The effectiveness of the proposed model is demonstrated on the benchmark

Cost-effective decarbonisation of the built environment is a stepping stone to achieving net-zero carbon emissions since buildings are globally responsible for more than a quarter of global energy-related CO$_2$ emissions. Improving energy utilization and decreasing costs naturally requires considering multiple domain-specific performance criteria. The resulting problem is often computationally infeasible. The paper proposes an approach based on decomposition and selection of significant operating conditions to achieve a formulation with reduced computational complexity. We present a robust framework to optimise the physical design, the controller, and the operation of residential buildings in an integrated fashion, considering external weather conditions and time-varying electricity prices. The framework explicitly includes operational constraints and increases the utilization of the energy generated by intermittent resources. A case study illustrates the potential of co-design in enhancing the reliability, flexibility and self-sufficiency of a system operating under different conditions. Specifically, numerical results demonstrate reductions in costs up to $30$% compared to a det

Kernel theorems, in general, provide a convenient representation of bounded linear operators. For the operator acting on a concrete function space, this means that its action on any element of the space can be expressed as a generalised integral operator, in a way reminiscent of the matrix representation of linear operators acting on finite dimensional vector spaces. We prove kernel theorems for bounded linear operators acting on co-orbit spaces associated with localised frames. Our two main results consist in characterising the spaces of operators whose generalised integral kernels belong to the co-orbit spaces of test functions and distributions associated with the tensor product of the localised frames respectively. Moreover, using a version of Schur's test, we establish a characterisation of the bounded linear operators between some specific co-orbit spaces.

This article proposes a co-variance operator for Banach valued random elements using the concept of $U$-statistic. We then study the asymptotic distribution of the proposed co-variance operator along with related large sample properties. Moreover, specifically for Hilbert space valued random elements, the asymptotic distribution of the proposed estimator is derived even for dependent data under some mixing conditions.

New neutrino-nucleus interaction cross-section measurements are required to improve nuclear models sufficiently for future long-baseline neutrino experiments to meet their sensitivity goals. A time projection chamber (TPC) filled with a high-pressure gas is a promising detector to characterise the neutrino sources planned for such experiments. A gas-filled TPC is ideal for measuring low-energy particles as they travel much further in gas than solid or liquid neutrino detectors. Using a high-pressure gas increases the target density, resulting in more neutrino interactions. This paper will examine the suitability of multiwire proportional chambers (MWPCs) taken from the ALICE TPC to be used as the readout chambers of a high-pressure gas TPC. These chambers were previously operated at atmospheric pressure. We tested one such MWPC at up to almost 5 bar absolute (barA) with the UK high-pressure test stand at Royal Holloway, University of London. This paper reports the successful operation of an ALICE TPC outer readout chamber (OROC) at pressures up to 4.8 bar absolute with Ar-CH$_{4}$ mixtures with a CH$_{4}$ content between 2.8% and 5.0%, and so far up to 4 bar absolute with Ar-CO$_{2

Prototyping HPC systems with low-to-mid technology readiness level (TRL) systems is critical for providing feedback to hardware designers, the system software team (e.g., compiler developers), and early adopters from the scientific community. The typical approach to hardware design and HPC system prototyping often limits feedback or only allows it at a late stage. In this paper, we present a set of tools for co-designing HPC systems, called software development vehicles (SDV). We use an innovative RISC-V design as a demonstrator, which includes a scalar CPU and a vector processing unit capable of operating large vectors up to 16 kbits. We provide an incremental methodology and early tangible evidence of the co-design process that provide feedback to improve both architecture and system software at a very early stage of system development.

For a covariant functor W. Fulton and R. MacPherson defined \emph{an operational bivariant theory} associated to this covariant functor. In this paper we will show that given a contravariant functor one can similarly construct a ``dual" version of an operational bivariant theory, which we call a \emph{co-operational} bivariant theory. If a given contravariant functor is the usual cohomology theory, then our co-operational bivariant group for the identity map consists of what are usually called ``cohomology operations". In this sense, our co-operational bivariant theory consists of \emph{``generalized"} cohomology operations.