相关论文: Synthesizing a Clock Signal with Reactions---Part …

We develop an universal method to significantly suppress probe-induced shifts in any types of atomic clocks using the Ramsey spectroscopy. Our approach is based on adaptation of the synthetic frequency concept [V. I. Yudin, et al., Phys.…

Reactive synthesis supports designers by automatically constructing correct hardware from declarative specifications. Synthesis algorithms usually compute a strategy, and then construct a circuit that implements it. In this work, we study…

Recent developments in quantum computing suggest that it could be possible to make conditional changes to the state of a quantum mechanical system without resorting to classical observation. It is accomplished through collective response of…

We have extended Ramsey spectroscopy by stepping the probe frequency during the two Ramsey excitation pulses to compensate frequency shifts induced by the excitation itself. This makes precision Ramsey spectroscopy applicable even for…

We consider a stochastic model of clock synchronization in a wireless network consisting of N sensors interacting with one dedicated accurate time server. For large N we find an estimate of the final time sychronization error for global and…

We consider how to generate chemical reaction networks (CRNs) from functional specifications. We propose a two-stage approach that combines synthesis by satisfiability modulo theories and Markov chain Monte Carlo based optimisation. First,…

A driven linear oscillator and a feedback mechanism are two necessary elements of any classical periodic clock. Here, we introduce a novel, fully quantum clock using a driven oscillator in the quantum regime and coherent quantum feedback.…

Interest in functional time series has spiked in the recent past with papers covering both methodology and applications being published at a much increased pace. This article contributes to the research in this area by proposing a new…

We report on a theoretical analysis of the phase-shift in compact atomic clocks working either with cold or thermal atoms. It is well known that in a microwave cavity with electromagnetic losses, a traveling wave adds to the standing wave…

Motivation: The design of enzymes is as challenging as it is consequential for making chemical synthesis in medical and industrial applications more efficient, cost-effective and environmentally friendly. While several aspects of this…

The widespread use of machine learning algorithms calls for automatic change detection algorithms to monitor their behavior over time. As a machine learning algorithm learns from a continuous, possibly evolving, stream of data, it is…

In 1665, Huygens observed that two pendulum clocks hanging from the same board became synchronized in antiphase after hundreds of swings. On the other hand, modern experiments with metronomes placed on a movable platform show that they…

In static timing analysis, clock-to-q delays of flip-flops are considered as constants. Setup times and hold times are characterized separately and also used as constants. The characterized delays, setup times and hold times, are ap- plied…

We formalize synthesis of shared control protocols with correctness guarantees for temporal logic specifications. More specifically, we introduce a modeling formalism in which both a human and an autonomy protocol can issue commands to a…

This work considers uncertainty relations on time frequency distributions from a signal processing viewpoint. An uncertainty relation on the marginalizable time frequency distributions is given. A result from quantum mechanics is used on…

Chemical plants are complex and dynamical systems consisting of many components for manipulation and sensing, whose state transitions depend on various factors such as time, disturbance, and operation procedures. For the purpose of…

We investigate the influence of clock frequency on the success rate of a fault injection attack. In particular, we examine the success rate of voltage and electromagnetic fault attacks for varying clock frequencies. Using three different…

A recent Letter by Wadhia et al. reports a realization of a quantum clock using a double quantum dot (DQD) [Phys. Rev. Lett. 135, 200407 (2005)]. This Comment identifies two fundamental issues: (I) the claimed ``quantum clock" exhibits only…

This paper presents an investigation of the notion of reaction time in some synchronous systems. A state-based description of such systems is given, and the reaction time of such systems under some classic composition primitives is studied.…

Similarly to gear systems in vehicles, most chemical reaction networks (CRNs) involved in energy transduction have at their disposal multiple transduction pathways, each characterized by distinct efficiencies. We conceptualize these…