English
Related papers

Related papers: AliEn Resource Brokers

200 papers

The official data collection for the Run 3 of the Large Hadron Collider (LHC) at CERN in Geneva commenced on July 5, 2022, following approximately three and a half years of maintenance, upgrades, and commissioning. Among the many upgrades…

Instrumentation and Detectors · Physics 2025-01-09 Krystian Roslon

ALICE is the dedicated heavy ion experiment at the LHC at CERN and records lead-lead collisions at a rate of up to 50 kHz in LHC Run 3. To cope with such collision and data rates, ALICE uses a new GEM TPC with continuous readout and a…

Instrumentation and Detectors · Physics 2026-01-29 David Rohr

Simulated virtual environments have been widely used to learn robotic agents that perform daily household tasks. These environments encourage research progress by far, but often provide limited object interactability, visual appearance…

Robotics · Computer Science 2024-07-29 Taewoong Kim , Cheolhong Min , Byeonghwi Kim , Jinyeon Kim , Wonje Jeung , Jonghyun Choi

The ALICE HLT uses a data transport framework based on the publisher-subscriber message principle, which transparently handles the communication between processing components over the network and between processing components on the same…

Instrumentation and Detectors · Physics 2019-08-14 David Rohr , Mikolaj Krzwicki , Heiko Engel , Johannes Lehrbach , Volker Lindenstruth

This paper presents an overview of the verification framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is specified as a state-full…

Software Engineering · Computer Science 2014-10-17 Borislav Gajanovic , Bernhard Rumpe

As LLM-powered agents have been used for high-stakes decision-making, such as clinical diagnosis, it becomes critical to develop reliable verification of their decisions to facilitate trustworthy deployment. Yet, existing verifiers usually…

Artificial Intelligence · Computer Science 2026-03-04 Yichi Zhang , Nabeel Seedat , Yinpeng Dong , Peng Cui , Jun Zhu , Mihaela van de Schaar

Developing machine intelligence abilities in robots and autonomous systems is an expensive and time consuming process. Existing solutions are tailored to specific applications and are harder to generalize. Furthermore, scarcity of training…

Robotics · Computer Science 2023-10-10 Sai Vemprala , Shuhang Chen , Abhinav Shukla , Dinesh Narayanan , Ashish Kapoor

Replicated tree data structures are extensively used in collaborative applications and distributed file systems, where clients often perform move operations. Local move operations at different replicas may be safe. However, remote move…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-22 Parwat Singh Anjana , Adithya Rajesh Chandrassery , Sathya Peri

We present SLEAN (Simple Lightweight Ensemble Analysis Network), a deterministic framework for coordinating multiple LLM providers through text-based prompt orchestration. Unlike complex multi-agent systems requiring specialized…

Software Engineering · Computer Science 2025-10-14 Matheus J. T. Vargas

The use of machine learning in cyber-physical systems has attracted the interest of both industry and academia. However, no general solution has yet been found against the unpredictable behavior of neural networks and reinforcement learning…

Robotics · Computer Science 2025-05-01 Federico Nesti , Gianluca D'Amico , Mauro Marinoni , Giorgio Buttazzo

Every year the PHENIX collaboration deals with increasing volume of data (now about 1/4 PB/year). Apparently the more data the more questions how to process all the data in most efficient way. In recent past many developments in HEP…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Barbara Jacak , Roy Lacey , Dave Morrison , Irina Sourikova , Andrey Shevel , Qiu Zhiping

The purpose of this study is to introduce ANN-based software for the fast evaluation of rotordynamics in the context of robust and integrated design. It is based on a surrogate model made of ensembles of artificial neural networks running…

Neural and Evolutionary Computing · Computer Science 2022-08-29 Soheyl Massoudi , Jürg Schiffmann

Agentic crafting requires LLMs to operate in real-world environments over multiple turns by taking actions, observing outcomes, and iteratively refining artifacts. Despite its importance, the open-source community lacks a principled,…

We present a novel reinforcement learning (RL) environment designed to both optimize industrial sorting systems and study agent behavior in evolving spaces. In simulating material flow within a sorting process our environment follows the…

Machine Learning · Computer Science 2025-03-14 Tom Maus , Nico Zengeler , Tobias Glasmachers

Message passing is the core of most graph models such as Graph Convolutional Network (GCN) and Label Propagation (LP), which usually require a large number of clean labeled data to smooth out the neighborhood over the graph. However, the…

Machine Learning · Computer Science 2021-10-29 Wentao Zhang , Yexin Wang , Zhenbang You , Meng Cao , Ping Huang , Jiulong Shan , Zhi Yang , Bin Cui

When processing large medical imaging studies, adopting high performance grid computing resources rapidly becomes important. We recently presented a "medical image processing-as-a-service" grid framework that offers promise in utilizing the…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-12-27 Shunxing Bao , Yuankai Huo , Prasanna Parvathaneni , Andrew J. Plassard , Camilo Bermudez , Yuang Yao , Ilwoo Llyu , Aniruddha Gokhale , Bennett A. Landman

We propose an AI-based assistant designed to support the ALICE Fast Interaction Trigger (FIT) detector operators at CERN. The assistant helps diagnose and resolve operational issues in the Detector Control System (DCS), where decisions must…

High Energy Physics - Experiment · Physics 2025-11-24 Ignacy Mermer , Jakub Muszyński , Jakub Możaryn , Krystian Rosłon

This paper envisions a scenario that hundreds of heterogeneous robots form a robotcenter which can be shared by multiple users and used like a single powerful robot to perform complex tasks. However, current multi-robot systems are either…

Robotics · Computer Science 2018-05-03 Yuan Xu , Zhiyuan Yan , Sa Wang , Cheng Yang , Qingsai Xiao , Yungang Bao

Decentralized trading of real-world alternative assets (e.g., gold) requires bridging physical asset custody with blockchain systems while meeting strict requirements for compliance, liquidity, and risk management. We present GoldMine OS, a…

Artificial Intelligence · Computer Science 2025-07-16 Ailiya Borjigin , Cong He , Charles CC Lee , Wei Zhou

Collaborative logistics has been widely recognised as an effective avenue to reduce carbon emissions by enhanced truck utilisation and reduced travel distance. However, stakeholders' participation in collaborations is hindered by…

Multiagent Systems · Computer Science 2025-02-13 Liming Xu , Stephen Mak , Stefan Schoepf , Michael Ostroumov , Alexandra Brintrup