Zobrazeno 1 - 10
of 2 640
pro vyhledávání: '"Bloem R"'
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
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:
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
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
https://hdl.handle.net/2066/230668
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
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
https://doi.org/10.23919/acc50511.2021.9482889
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
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
http://hdl.handle.net/2066/225791
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
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
http://hdl.handle.net/2066/224966
Autor:
Bloem, R., Rozing, P.
Publikováno v:
In EMC - Tecniche Chirurgiche - Chirurgia Ortopedica 2005 1(1):1-5
Autor:
Hermens JGH; Stratingh Institute for Chemistry, Advanced Research Center Chemical Building Blocks Consortium (ARC CBBC), University of Groningen Nijenborgh 4 9747 AG Groningen The Netherlands b.l.feringa@rug.nl., Lepage ML; Stratingh Institute for Chemistry, Advanced Research Center Chemical Building Blocks Consortium (ARC CBBC), University of Groningen Nijenborgh 4 9747 AG Groningen The Netherlands b.l.feringa@rug.nl., Kloekhorst A; Hanze University of Applied Sciences Zernikeplein 11 9747 AS Groningen The Netherlands., Keller E; Hanze University of Applied Sciences Zernikeplein 11 9747 AS Groningen The Netherlands., Bloem R; Hanze University of Applied Sciences Zernikeplein 11 9747 AS Groningen The Netherlands., Meijer M; Hanze University of Applied Sciences Zernikeplein 11 9747 AS Groningen The Netherlands., Feringa BL; Stratingh Institute for Chemistry, Advanced Research Center Chemical Building Blocks Consortium (ARC CBBC), University of Groningen Nijenborgh 4 9747 AG Groningen The Netherlands b.l.feringa@rug.nl.
Publikováno v:
Reaction chemistry & engineering [React Chem Eng] 2022 Sep 28; Vol. 7 (11), pp. 2280-2284. Date of Electronic Publication: 2022 Sep 28 (Print Publication: 2022).
Autor:
van der Geest, M. L. S., Sadegh, N., Meerwijk, T. M., Wooning, E. I., Wu, L., Bloem, R., Castellanos Ortega, S., Brouwer, A. M., Kraus, P. M.
Publikováno v:
Review of Scientific Instruments; Nov2021, Vol. 92 Issue 11, p1-8, 8p