Related papers: Time Served
In this paper, we analyze timed systems with data structures, using a rich interplay of logic and properties of graphs. We start by describing behaviors of timed systems using graphs with timing constraints. Such a graph is called…
Scheduling in the factory setting is compounded by computational complexity and temporal uncertainty. Together, these two factors guarantee that the process of constructing an optimal schedule will be costly and the chances of executing…
At the end of its operations in 2011, the Fermilab antiproton production complex consisted of a sophisticated target system, three 8-GeV storage rings (namely the Debuncher, the Accumulator and the Recycler), 25 independent multi-GHz…
Fermilab is the first High Energy Physics institution to transition from X.509 user certificates to authentication tokens in production systems. All the experiments that Fermilab hosts are now using JSON Web Token (JWT) access tokens in…
A key functionality of emerging connected autonomous systems such as smart transportation systems, smart cities, and the industrial Internet-of-Things, is the ability to process and learn from data collected at different physical locations.…
A brief history, the current state, and future directions of spin mechanics are presented.
The Booster Operation Optimization Sequential Time-series for Regression (BOOSTR) dataset was created to provide a cycle-by-cycle time series of readings and settings from instruments and controllable devices of the Booster, Fermilab's…
The authors discuss potential remarkable achievements for pulsar science with the FAST (pulsar monitoring, timing and searching, as well as others related), and expect a FAST era of pulsar science to come.
This document explores the potential of quantum computing in Thermal Science. Conceived as a living document, it will be continuously updated with experimental findings and insights for the research community in Thermal Science. By…
The contemporary development of hardware components is a prerequisite for increasing the concentration of computing power. System software is developing at a much slower pace. To use available resources efficiently modeling is required.…
Relativistic time dilation implies that an accelerating excited atom would have its lifetime prolonged in the lab frame. In this paper, we demonstrate a complementary effect: Longer-lived excited atoms turn out to have been accelerated. We…
The emergence of deep learning has yielded noteworthy advancements in time series forecasting (TSF). Transformer architectures, in particular, have witnessed broad utilization and adoption in TSF tasks. Transformers have proven to be the…
In a quantum Stirling heat engine, the heat exchanged with two thermal baths is partly utilized for performing work by redistributing the energy levels of the working substance. We analyze the thermodynamics of a quantum Stirling engine…
Time delays due to signal latency, computational complexity, and sensor-denied environments, pose a critical challenge in both engineered and biological control systems. In this work, we investigate biologically inspired strategies to…
The Advanced Superconducting Test Acccelerator (ASTA) is being constructed at Fermilab. The existing New Muon Lab (NML) building is being converted for this facility. The accelerator will consist of an electron gun, injector, beam…
A high performance Space-Time Reference in orbit could be realized using a stable atomic clock in a precisely defined orbit and linking that to high accuracy atomic clocks on the ground using a laser based time-transfer link. This would…
This document is focused on computing systems implemented in technologies that communicate and compute with temporal transients. Although described in general terms, implementations of spiking neural networks are of primary interest. As…
High-performance computing systems are complex machines whose behaviour is governed by the correct functioning of its many subsystems. Among these, the workload scheduler has a crucial impact on the timely execution of the jobs continuously…
Conditor is a software tool which works with textual documents containing historical information. The purpose of this work two-fold: firstly to show the validity of the developed engine to correctly identify and label the entities of the…
Fermilab is executing a technology development program to develop a compact yet powerful electron accelerator. We are leveraging R&D breakthroughs in SRF cavities, cost-effective radio-frequency sources, modern cryo-coolers, and high…