scholarly journals A proof-of-concept model of compact and high-performance 87Sr optical lattice clock for space

AIP Advances ◽  
2021 ◽  
Vol 11 (12) ◽  
pp. 125116
Author(s):  
Feng Guo ◽  
Wei Tan ◽  
Chi-hua Zhou ◽  
Jian Xia ◽  
Ying-xin Chen ◽  
...  
Keyword(s):  
Optical Lattice ◽  
High Performance ◽  
Proof Of Concept ◽  
Concept Model ◽  
Optical Lattice Clock

scholarly journals Towards an optical clock for space: Compact, high-performance optical lattice clock based on bosonic atoms

2018 ◽  
Vol 98 (5) ◽  
Author(s):  
S. Origlia ◽  
M. S. Pramod ◽  
S. Schiller ◽  
Y. Singh ◽  
K. Bongs ◽  
...  
Keyword(s):  
Optical Lattice ◽  
High Performance ◽  
Optical Clock ◽  
Optical Lattice Clock ◽  
Bosonic Atoms

scholarly journals Verification and Strategy Synthesis for Coalition Announcement Logic

2021 ◽  
Author(s):  
Natasha Alechina ◽  
Hans van Ditmarsch ◽  
Rustam Galimullin ◽  
Tuo Wang
Keyword(s):  
Model Checking ◽  
Proof Of Concept ◽  
Model Checker ◽  
Complete Model ◽  
Concept Model ◽  
The Family ◽  
Winning Strategies ◽  
Epistemic Goals

AbstractCoalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.

scholarly journals Spin–orbit-coupled fermions in an optical lattice clock

Nature ◽  
2016 ◽  
Vol 542 (7639) ◽  
pp. 66-70 ◽  
Author(s):  
S. Kolkowitz ◽  
S. L. Bromley ◽  
T. Bothwell ◽  
M. L. Wall ◽  
G. E. Marti ◽  
...  
Keyword(s):  
Optical Lattice ◽  
Spin Orbit ◽  
Optical Lattice Clock

scholarly journals Characterization and Suppression of Background Light Shifts in an Optical Lattice Clock

2021 ◽  
Vol 15 (4) ◽  
Author(s):  
R.J. Fasano ◽  
Y.J. Chen ◽  
W.F. McGrew ◽  
W.J. Brand ◽  
R.W. Fox ◽  
...  
Keyword(s):  
Optical Lattice ◽  
Background Light ◽  
Optical Lattice Clock ◽  
Light Shifts

Optical Lattice Clock

MAPAN ◽  
2012 ◽  
Vol 27 (1) ◽  
pp. 9-12
Author(s):  
Tetsuya Ido
Keyword(s):  
Optical Lattice ◽  
Optical Lattice Clock

scholarly journals A simplified optical lattice clock

2009 ◽  
Vol 97 (1) ◽  
pp. 27-33 ◽  
Author(s):  
N. Poli ◽  
M. G. Tarallo ◽  
M. Schioppo ◽  
C. W. Oates ◽  
G. M. Tino
Keyword(s):  
Optical Lattice ◽  
Optical Lattice Clock

scholarly journals Carrier thermometry of cold ytterbium atoms in an optical lattice clock

2018 ◽  
Vol 8 (1) ◽  
Author(s):  
Chengyin Han ◽  
Min Zhou ◽  
Xiaohang Zhang ◽  
Qi Gao ◽  
Yilin Xu ◽  
...  
Keyword(s):  
Optical Lattice ◽  
Optical Lattice Clock

scholarly journals Dynamics of interacting fermions under spin–orbit coupling in an optical lattice clock

2018 ◽  
Vol 14 (4) ◽  
pp. 399-404 ◽  
Author(s):  
S. L. Bromley ◽  
S. Kolkowitz ◽  
T. Bothwell ◽  
D. Kedar ◽  
A. Safavi-Naini ◽  
...  
Keyword(s):  
Optical Lattice ◽  
Orbit Coupling ◽  
Spin Orbit Coupling ◽  
Spin Orbit ◽  
Optical Lattice Clock
Sign in / Sign up

Export Citation Format

Share Document