Zobrazeno 1 - 10
of 171
pro vyhledávání: '"Moerman, J."'
Publikováno v:
In Journal of Materials Processing Tech. October 2023 319
Publikováno v:
In Construction and Building Materials 10 January 2021 266 Part A
Publikováno v:
Appl. Phys. Lett. 92, 101502 (2008)
Standard photographs of streamer discharges show a two-dimensional projection. We here present stereo-photographic images that resolve their three-dimensional structure. We describe the stereoscopic set-up and evaluation, and we present results for p
Externí odkaz:
http://arxiv.org/abs/0802.3639
Publikováno v:
Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, pp. 493-512
Theor. Comput. Sci., 935, 82-104. Elsevier
Theoretical Computer Science, 935, pp. 82-104
Theoretical Computer Science, 935, 82-104
Open Universiteit
Venhoek, D, Moerman, J & Rot, J 2022, ' Fast computations on ordered nominal sets ', Theor. Comput. Sci., vol. 935, pp. 82-104 . https://doi.org/10.1016/j.tcs.2022.09.002
Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, 493-512. Cham : Springer International Publishing
STARTPAGE=493;ENDPAGE=512;ISSN=0302-9743;TITLE=Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Theor. Comput. Sci., 935, 82-104. Elsevier
Theoretical Computer Science, 935, pp. 82-104
Theoretical Computer Science, 935, 82-104
Open Universiteit
Venhoek, D, Moerman, J & Rot, J 2022, ' Fast computations on ordered nominal sets ', Theor. Comput. Sci., vol. 935, pp. 82-104 . https://doi.org/10.1016/j.tcs.2022.09.002
Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, 493-512. Cham : Springer International Publishing
STARTPAGE=493;ENDPAGE=512;ISSN=0302-9743;TITLE=Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Nominal automata are models for recognising languages over infinite alphabets, based on the algebraic notion of nominal set. Motivated by their use in automata theory, we show how to compute efficiently with nominal sets over the so-called total orde
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::639712b9c358129a07e775e344e43366
https://doi.org/10.1016/j.tcs.2022.09.002
https://doi.org/10.1016/j.tcs.2022.09.002
Publikováno v:
Finkbeiner, B. (ed.), Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings, 127-150. Cham : Springer International Publishing
STARTPAGE=127;ENDPAGE=150;ISSN=0302-9743;TITLE=Finkbeiner, B. (ed.), Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
STARTPAGE=127;ENDPAGE=150;ISSN=0302-9743;TITLE=Finkbeiner, B. (ed.), Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e8486f754bb0377382892571cfacc2db
https://hdl.handle.net/2066/250748
https://hdl.handle.net/2066/250748
Publikováno v:
In Acta Materialia May 2014 69:175-186
Publikováno v:
In Materials Science & Engineering A 1 October 2013 581:66-72
Autor:
Moerman, J W, Potts, G E
Publikováno v:
Tobacco Control, 2011 May 01. 20, i30-i35.
Externí odkaz:
https://www.jstor.org/stable/41320124
Publikováno v:
Jansen, N.; Stoelinga, M.; Bos, P. van den (ed.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 450-466. Cham : Springer Nature Switzerland
STARTPAGE=450;ENDPAGE=466;TITLE=Jansen, N.; Stoelinga, M.; Bos, P. van den (ed.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
STARTPAGE=450;ENDPAGE=466;TITLE=Jansen, N.; Stoelinga, M.; Bos, P. van den (ed.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7f741f09a15297f98a542f80114ca80c
https://hdl.handle.net/2066/282993
https://hdl.handle.net/2066/282993
Publikováno v:
Saarbrücken/Wadern : Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, January, Leibniz international proceedings in informatics 152, 31:1-31:17 (2020). doi:10.4230/LIPIcs.CSL.2020.31
28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain / edited by Maribel Fernández, Anca Muscholl
28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain / edited by Maribel Fernández, Anca Muscholl28. EACSL Annual Conference on Computer Science Logic, CSL 2020, Barcelona, Spain, 202001-13-2020-01-16
Fernandez, M. (ed.), CSL 2020: 28th EACSL Annual Conference on Computer Science Logic, January 13-16, 2020, Barcelona, Spain, January 13-16, 2020, Barcelona, Spain, pp. 31:1-31:17
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
23 Seiten (2019).
Fernandez, M. (ed.), CSL 2020: 28th EACSL Annual Conference on Computer Science Logic, January 13-16, 2020, Barcelona, Spain, January 13-16, 2020, Barcelona, Spain, 31:1-31:17. Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
STARTPAGE=31:1;ENDPAGE=31:17;ISSN=1868-8969;TITLE=Fernandez, M. (ed.), CSL 2020: 28th EACSL Annual Conference on Computer Science Logic, January 13-16, 2020, Barcelona, Spain, January 13-16, 2020, Barcelona, Spain
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)Computer Science Logic, CSL 2020, Barcelona, Spain, 2020-01-13-2020-01-16
28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain / edited by Maribel Fernández, Anca Muscholl
28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain / edited by Maribel Fernández, Anca Muscholl28. EACSL Annual Conference on Computer Science Logic, CSL 2020, Barcelona, Spain, 202001-13-2020-01-16
Fernandez, M. (ed.), CSL 2020: 28th EACSL Annual Conference on Computer Science Logic, January 13-16, 2020, Barcelona, Spain, January 13-16, 2020, Barcelona, Spain, pp. 31:1-31:17
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
23 Seiten (2019).
Fernandez, M. (ed.), CSL 2020: 28th EACSL Annual Conference on Computer Science Logic, January 13-16, 2020, Barcelona, Spain, January 13-16, 2020, Barcelona, Spain, 31:1-31:17. Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
STARTPAGE=31:1;ENDPAGE=31:17;ISSN=1868-8969;TITLE=Fernandez, M. (ed.), CSL 2020: 28th EACSL Annual Conference on Computer Science Logic, January 13-16, 2020, Barcelona, Spain, January 13-16, 2020, Barcelona, Spain
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)Computer Science Logic, CSL 2020, Barcelona, Spain, 2020-01-13-2020-01-16
28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain / edited by Maribel Fernández, Anca Muscholl 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, Barcelona, Spain, 13 Jan 2020 - 1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ccbdc645a536a9e3a3f029155ad97fc8
https://publications.rwth-aachen.de/record/786820
https://publications.rwth-aachen.de/record/786820