Search results
- 1.0582262 - ÚPT 2024 RIV US eng C - Conference Paper (international conference)
Schuldt, T. - Abich, K. - Alam, T. - Bischof, J. - Blomberg, T. - Blümel, L. - Boac, A. - Bußmeier, A. - Gohlke, M. - Kuschewski, F. - Oswald, M. - Wüst, J. - Zechel, T. - Amigues, X. - Eckardt, A. - Halle, W. - Zender, B. - Hrabina, Jan - Oulehla, Jindřich - Bawamia, A. - Döringshoff, K. - Kürbis, C. - Krutzik, M. - Wicht, A. - Oschkera, S. - Jentsch, M. - Schweikle, S. - Speidel, C. - Beller, N. - Dahl, C. - Großmann, M. - Liebherr, T. - Voss, K.-C. - Braxmaier, C.
In-Orbit Verification of an Optical Frequency Reference on the ISS Bartolomeo Platform.
International Conference on Space Optics - ICSO 2022. Bellingham: SPIE, 2023 - (Minoglou, K.; Karafolas, N.; Cugny, B.), Roč. 12777 (2023), č. článku 127772A. Proceedings of SPIE, 12777. ISBN 9781510668034. ISSN 0277-786X.
[International Conference on Space Optics - ICSO 2022 /14./. Dubrovnik (HR), 03.10.2022-07.10.2022]
Institutional support: RVO:68081731
Keywords : COMPASSO * GNSS * modulation transfer spectroscopy * optical clock * optical frequency reference * satellite navigation
OECD category: Optics (including laser optics and quantum optics)
https://www.spiedigitallibrary.org/conference-proceedings-of-spie/12777/2689976/In-orbit-verification-of-an-optical-frequency-reference-on-the/10.1117/12.2689976.full#_=_
Permanent Link: https://hdl.handle.net/11104/0350583 - 2.0491873 - MÚ 2019 RIV CH eng C - Conference Paper (international conference)
Galesi, N. - Talebanfard, Navid - Torán, J.
Cops-Robber games and the resolution of Tseitin formulas.
Theory and Applications of Satisfiability Testing – SAT 2018. Cham: Springer, 2018 - (Beyersdorff, O.; Wintersteiger, C.), s. 311-326. Lecture Notes in Computer Science, 10929. ISBN 978-3-319-94143-1. ISSN 0302-9743.
[21st International Conference, SAT 2018. Oxford (GB), 09.07.2018-12.07.2018]
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : formal logic * computer circuits
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007%2F978-3-319-94144-8_19
Permanent Link: http://hdl.handle.net/11104/0285479File Download Size Commentary Version Access Talebanfard1.pdf 2 241 KB Publisher’s postprint require