Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer [PDF]
SIAM Review, 1995 A digital computer is generally believed to be an efficient universal computing device; that is, it is believed to be able to simulate any physical computing device with an increase in computation time by at most a polynomial factor. This may not be true
P. Shor
semanticscholar +1 more source
La medición de las audiencias de televisión en la era digital
Cuadernos.info, 2020 La introducción de la Televisión Digital Terrestre (TDT) en Chile trae consigo problemáticas nuevas para el proceso de medición de audiencias en televisión.
Cristian Buzeta, Patricio Moyano
doaj +3 more sources
Long Time Response of Aging Glassy Polymers [PDF]
Rheologica Acta (2014) 53, 477-488, 2014 Aging amorphous polymeric materials undergo free volume relaxation, which causes slowing down of the relaxation dynamics as a function of time. The resulting time dependency poses difficulties in predicting their long time physical behavior. In this work, we apply effective time domain approach to the experimental data on aging amorphous polymers and ...
arxiv +1 more source
On the prescribed-time attractivity and frozen-time eigenvalues of linear time-varying systems [PDF]
, 2021 A system is called prescribed-time attractive if its solution converges at an arbitrary user-defined finite time. In this note, necessary and sufficient conditions are developed for the prescribed-time attractivity of linear time-varying (LTV) systems.
arxiv +1 more source
Experimental Evaluation of the Blackbody Radiation Shift in the Cesium Atomic Fountain Clock
Applied Sciences, 2022 The cesium atomic fountain clock is the world’s most accurate microwave atomic clock. The uncertainty of blackbody radiation (BBR) shift accounts for an increasingly large percentage of the uncertainty associated with fountain clocks and has become a key
Fan Yang +10 more
doaj +1 more source
A Quantum-Based Microwave Magnetic Field Sensor
Sensors, 2018 In this paper, a quantum-based method for measuring the microwave magnetic field in free space is presented by exploring atomic Rabi resonance in the clock transition of 133Cs.
Hao Shi +5 more
doaj +1 more source
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
, 2015 Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases.
Molinari, A., Montanari, A., Peron, A.
core +1 more source
Precision measurement of transverse velocity distribution of a strontium atomic beam
AIP Advances, 2014 We measure the transverse velocity distribution in a thermal Sr atomic beam precisely by velocity-selective saturated fluorescence spectroscopy. The use of an ultrastable laser system and the narrow intercombination transition line of Sr atoms mean that ...
F. Gao +7 more
doaj +1 more source
Research on UT1-UTC and LOD Prediction Algorithm Based on Denoised EAM Dataset
Remote Sensing, 2023 The components of EAM are strongly correlated with LOD and play an important role in UT1-UTC and LOD prediction. However, the EAM dataset is prone to be noisy.
Xishun Li +8 more
doaj +1 more source
On Relaxing Metric Information in Linear Temporal Logic
, 2011 Metric LTL formulas rely on the next operator to encode time distances, whereas qualitative LTL formulas use only the until operator. This paper shows how to transform any metric LTL formula M into a qualitative formula Q, such that Q is satisfiable if ...
Furia, Carlo A., Spoletini, Paola
core +2 more sources