Zobrazeno 1 - 10
of 36 737
pro vyhledávání: '"Kehrer, A."'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Diagnostics, Vol 12, Iss 10, p 2432 (2022)
We thank Dr. Nduka et al. for this interesting article [...]
Externí odkaz:
https://doaj.org/article/83948da503aa487397cdf4c862501edd
Publikováno v:
Integrated Formal Methods, IFM 2024, LNCS 15234 (2025), pp 24-34
TLA+ is a formal specification language used for designing, modeling, documenting, and verifying systems through model checking. Despite significant interest from the research community, knowledge about usage of the TLA+ ecosystem in practice remains
Externí odkaz:
http://arxiv.org/abs/2411.13722
Autor:
Cacciapuoti, L., Busso, A., Jansen, R., Pataraia, S., Peignier, T., Weinberg, S., Crescence, P., Helm, A., Kehrer, J., Koller, S., Lachaud, R., Niedermaier, T., Esnault, F. -X., Massonnet, D., Goujon, D., Pittet, J., Perri, A., Wang, Q., Liu, S., Schaefer, W., Schwall, T., Prochazka, I., Schlicht, A., Schreiber, U., Laurent, P., Lilley, M., Wolf, P., Salomon, C.
The Atomic Clock Ensemble in Space (ACES) mission is developing high performance clocks and links for space to test Einstein's theory of general relativity. From the International Space Station, the ACES payload will distribute a clock signal with fr
Externí odkaz:
http://arxiv.org/abs/2411.02912
Autor:
Suliga, Anna M., Cheong, Patrick Chi-Kit, Froustey, Julien, Fuller, George M., Gráf, Lukáš, Kehrer, Kyle, Scholer, Oliver, Shalgar, Shashank
We show that strong interactions violating the conservation of lepton numbers in the neutrino sector could significantly alter the standard low entropy picture for the pre-supernova collapsing core of a massive star. A rapid neutrino-antineutrino equ
Externí odkaz:
http://arxiv.org/abs/2410.01080
GitHub Actions (GA) is an orchestration platform that streamlines the automatic execution of software engineering tasks such as building, testing, and deployment. Although GA workflows are the primary means for automation, according to our experience
Externí odkaz:
http://arxiv.org/abs/2409.02366
Publikováno v:
Diagnostics, Vol 12, Iss 10, p 2431 (2022)
In “Using High-Resolution Ultrasound to Assess Post-Facial Paralysis Synkinesis—Machine Settings and Technical Aspects for Facial Surgeons”, Andreas Kehrer et al. present ultrasound (US) device settings for facial muscle examination to be used
Externí odkaz:
https://doaj.org/article/f54e1291538d471391186ff98dee1668
Autor:
José d'Encarnação
Publikováno v:
Conimbriga, Vol 60 (2021)
Externí odkaz:
https://doaj.org/article/5c0fbf878644438aa7c48d25f6471c85