Related papers: Designing a Binary Clock using logic gates
In this paper, we define the class of hourglass automata, which are timed automata with bounded clocks that can be made to progress backwards as well as forwards at a constant rate. We then introduce a new clock update for timed automata…
Stochastic computing (SC) presents high error tolerance and low hardware cost, and has great potential in applications such as neural networks and image processing. However, the bitstream generator, which converts a binary number to…
For the past decades, linear codes with few weights have been widely studied, since they have applications in space communications, data storage and cryptography. In this paper, a class of binary linear codes is constructed and their weight…
The Long Now Foundation is building a mechanical clock that is designed to keep time for the next 10,000 years. The clock maintains its long-term accuracy by synchronizing to the Sun. The 10,000-Year Clock keeps track of five different…
Binary codes have been widely used in vision problems as a compact feature representation to achieve both space and time advantages. Various methods have been proposed to learn data-dependent hash functions which map a feature vector to a…
To analyze the failure risk of asynchronous digital circuits the time-parameter is introduced into the Boolean algebra replacing the arithmetic operations by logical operations. There considered an example of construction of signals passing…
Reversible logic is emerging as an important research area having its application in diverse fields such as low power CMOS design, digital signal processing, cryptography, quantum computing and optical information processing. This paper…
Current state-of-the-art frequency standards are passive optical atomic clocks where the frequency of an optical resonator is stabilized to a narrow atomic transition. Passive clocks have achieved unprecedented stabilities of 6.6 x 10--19…
To estimate the time, many organisms, ranging from cyanobacteria to animals, employ a circadian clock which is based on a limit-cycle oscillator that can tick autonomously with a nearly 24h period. Yet, a limit-cycle oscillator is not…
The design and tests of Timing Counter elements for the upgrade of the MEG experiment, MEG II,is presented. The detector is based on several small plates of scintillator with a Silicon PhotoMultipliers dual-side readout. The optimisation of…
The performance of optical clocks has strongly progressed in recent years, and accuracies and instabilities of 1 part in 10^18 are expected in the near future. The operation of optical clocks in space provides new scientific and…
Binary embeddings provide efficient and powerful ways to perform operations on large scale data. However binary embedding typically requires long codes in order to preserve the discriminative power of the input space. Thus binary coding…
Lighting has a critical impact on user mood and behavior, especially in architectural settings. Consequently, smart lighting design is a rapidly growing research area. We describe a digital twin-based approach to smart lighting design that…
The experimental comparison of two thulium optical lattice clocks in a time interval of up to one hour has been carried out. The synchronous comparison of a clock transition in two independent atomic ensembles using a single ultrastable…
An algorithm counting the number of ones in a binary word is presented running in time $O(\log\log b)$ where $b$ is the number of ones. The operations available include bit-wise logical operations and multiplication.
Binary self-dual sequences have been considered and analyzed throughout the years, and they have been used for various applications. Motivated by a construction for single-track Gray codes, we examine the structure and recursive…
We demonstrate for the first time that functionally complete digital logic can be created by using three terminal devices each consisting of a magnetic tunnel junction (MTJ) and spin transfer torque (STT) element with a shared free magnetic…
Timed automata are a widely used formalism for specifying the discrete-state/continuous-time behavior of time-critical reactive systems. For the fundamental verification problem of comparing two timed automata, it has been shown that timed…
Atomic clocks based on optical transitions are the most stable, and therefore precise, timekeepers available. These clocks operate by alternating intervals of atomic interrogation with dead time required for quantum state preparation and…
Unitary $2$-designs are random unitaries simulating up to the second order statistical moments of the uniformly distributed random unitaries, often referred to as Haar random unitaries. They are used in a wide variety of theoretical and…