Výsledky vyhledávání

Report

Extreme Ultraviolet-Excited Time-Resolved Luminescence Spectroscopy Using an Ultrafast Table-Top High-Harmonic Generation Source

Autor: van der Geest, M., Sadegh, N., Meerwijk, T. M., Wooning, E. I., Wu, L., Bloem, R., Ortega, S. Castellanos, Brouwer, A. M., Kraus, P. M.

We present a table-top extreme ultraviolet (XUV) beamline for measuring time- and frequency-resolved XUV excited optical luminescence (XEOL) with additional femtosecond-resolution XUV transient absorption spectroscopy functionality. XUV pulses are ge

Externí odkaz: http://arxiv.org/abs/2111.01052

Zobrazit plný text záznamu

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.

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.

Learning Mealy Machines with One Timer

Autor: Vaandrager, F., Bloem, R., Ebrahimi, M., Leporati, A.

Publikováno v: Leporati, A. (ed.), Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings, pp. 157-170
Leporati, A. (ed.), Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings, 157-170. Cham : Springer
STARTPAGE=157;ENDPAGE=170;ISSN=0302-9743;TITLE=Leporati, A. (ed.), Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings

Item does not contain fulltext LATA 2021

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6a4e0d7c831e722c641af379626b254
https://hdl.handle.net/2066/230668

Zobrazit plný text záznamu

Adaptive Shielding under Uncertainty

Autor: Pranger, S., Koenighofer, B., Tappler, M., Deixelberger, M., Jansen, N., Bloem, R., Chiu, G.

Publikováno v: ACC
Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021, pp. 3467-3474
Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021, 3467-3474. New York : IEEE
STARTPAGE=3467;ENDPAGE=3474;TITLE=Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021

This paper targets control problems that exhibit specific safety and performance requirements. In particular, the aim is to ensure that an agent, operating under uncertainty, will at runtime strictly adhere to such requirements. Previous works create

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf2fc7b872940dce9935f48d8d497a34
https://doi.org/10.23919/acc50511.2021.9482889

Zobrazit plný text záznamu

Shield Synthesis for Reinforcement Learning

Autor: Könighofer, B., Lorber, F., Jansen, N., Bloem, R., Margaria, T.

Publikováno v: Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, 290-306. Cham : Springer
STARTPAGE=290;ENDPAGE=306;ISSN=0302-9743;TITLE=Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, pp. 290-306

Contains fulltext : 225791.pdf (Publisher’s version ) (Closed access) ISoLA

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f12e12811d170ae524f72f46937077c5
http://hdl.handle.net/2066/225791

Zobrazit plný text záznamu

Safe Reinforcement Learning Using Probabilistic Shields

Autor: Jansen, Nils, Könighofer, B., Junges, J.S.L., Serban, A.C., Bloem, R., Konnov, I.

Publikováno v: Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020), 3:1-3:16. Dagstuhl : Schloss Dagstuhl
STARTPAGE=3:1;ENDPAGE=3:16;ISSN=1868-8969;TITLE=Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020)
Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020), pp. 3:1-3:16

Contains fulltext : 224966.pdf (Publisher’s version ) (Open Access) CONCUR 2020

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7e3545ec60e2c4554efe4fb7feae925b
http://hdl.handle.net/2066/224966

Zobrazit plný text záznamu

Akademický článek

Fratture della diafisi dell’omero: Fissazione interna con placca

Autor: Bloem, R., Rozing, P.

Publikováno v: In EMC - Tecniche Chirurgiche - Chirurgia Ortopedica 2005 1(1):1-5

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání