@article{16113, author = {{Tiedau, Johannes and Bartley, Tim and Harder, Georg and Lita, Adriana E. and Nam, Sae Woo and Gerrits, Thomas and Silberhorn, Christine}}, issn = {{2469-9926}}, journal = {{Physical Review A}}, title = {{{Scalability of parametric down-conversion for generating higher-order Fock states}}}, doi = {{10.1103/physreva.100.041802}}, year = {{2019}}, } @inproceedings{16215, author = {{Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}}, booktitle = {{Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}}, editor = {{H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos{\'{e}}}}, pages = {{179--195}}, publisher = {{Springer}}, title = {{{Verifying Correctness of Persistent Concurrent Data Structures}}}, doi = {{10.1007/978-3-030-30942-8\_12}}, volume = {{11800}}, year = {{2019}}, } @article{16216, author = {{Russo, Alessandra and Schürr, Andy and Wehrheim, Heike}}, journal = {{Formal Asp. Comput.}}, number = {{5}}, pages = {{457--458}}, title = {{{Editorial}}}, doi = {{10.1007/s00165-019-00495-y}}, volume = {{31}}, year = {{2019}}, } @article{16217, author = {{Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}}, journal = {{Formal Asp. Comput.}}, number = {{1}}, pages = {{1}}, title = {{{Editorial}}}, doi = {{10.1007/s00165-018-00477-6}}, volume = {{31}}, year = {{2019}}, } @inproceedings{16223, abstract = {{Multigrid methods are fast and scalable numerical solvers for partial differential equations (PDEs) that possess a large design space for implementing their algorithmic components. Code generation approaches allow formulating multigrid methods on a higher level of abstraction that can then be used to derive a problem- and hardware-specific solutions. Since these problems have a considerable implementation variability, it is crucial to investigate a general mapping of core components in multigrid methods to the target software. With SYCL there exists a high-level C++ abstraction layer that is capable of targeting a multitude of architectures. We contribute a general way to map multigrid components to SYCL functionality and provide a performance evaluation for specific algorithmic component.}}, author = {{Groth, Stefan and Schmitt, Christian and Teich, Jürgen and Hannig, Frank}}, booktitle = {{Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES '19}}, isbn = {{9781450367622}}, title = {{{SYCL Code Generation for Multigrid Methods}}}, doi = {{10.1145/3323439.3323984}}, year = {{2019}}, } @inbook{16251, author = {{Müller, Oliver}}, booktitle = {{The Art of Structuring}}, isbn = {{9783030062330}}, title = {{{Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier}}}, doi = {{10.1007/978-3-030-06234-7_29}}, year = {{2019}}, } @inproceedings{16271, author = {{Claes, Leander and Johannesmann, Sarah and Baumhögger, Elmar and Henning, Bernd}}, booktitle = {{2019 International Congress on Ultrasonics}}, title = {{{Quantification of frequency-dependent absorption phenomena}}}, doi = {{10.1121/2.0001043}}, year = {{2019}}, } @article{16275, author = {{Franke-Wiekhorst, Antonia and Günther, Christine and Brünger, Karen and Magenheim, Johannes and Romeike, Ralf}}, journal = {{GdSU-Journal,(9)}}, pages = {{10--21}}, title = {{{„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material}}}, year = {{2019}}, } @article{16305, author = {{Linnemann, Matthias and Nikolaychuk, Pavel Anatolyevich and Muñoz-Muñoz, Y. Mauricio and Baumhögger, Elmar and Vrabec, Jadran}}, issn = {{0021-9568}}, journal = {{Journal of Chemical & Engineering Data}}, pages = {{1180--1188}}, title = {{{Henry’s Law Constant of Noble Gases in Water, Methanol, Ethanol, and Isopropanol by Experiment and Molecular Simulation}}}, doi = {{10.1021/acs.jced.9b00565}}, year = {{2019}}, } @article{16314, author = {{Preiß, Sebastian and Päpcke, Ayla and Burkhardt, Lukas and Großmann, Luca and Lochbrunner, Stefan and Bauer, Matthias and Opatz, Till and Heinze, Katja}}, issn = {{0947-6539}}, journal = {{Chemistry – A European Journal}}, pages = {{5940--5949}}, title = {{{Gold(II) Porphyrins in Photoinduced Electron Transfer Reactions}}}, doi = {{10.1002/chem.201900050}}, year = {{2019}}, }