@inproceedings{SiebigterothKraftSchmidtsetal.2019,
  author    = {Siebigteroth, Ines and Kraft, Bodo and Schmidts, Oliver and Z{\"u}ndorf, Albert},
  title     = {A Study on Improving Corpus Creation by Pair Annotation},
  series = {Proceedings of the Poster Session of the 2nd Conference on Language, Data and Knowledge (LDK-PS 2019)},
  booktitle = {Proceedings of the Poster Session of the 2nd Conference on Language, Data and Knowledge (LDK-PS 2019)},
  issn      = {1613-0073},
  pages     = {40 -- 44},
  year      = {2019},
  language  = {en}
}
@article{FassbenderManeth1998,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian},
  series = {Journal of functional and logic programming. 1998 (1998), H. 4},
  journal   = {Journal of functional and logic programming. 1998 (1998), H. 4},
  isbn      = {1080-5230},
  year      = {1998},
  language  = {en}
}
@article{FassbenderManeth1996,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian},
  series = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)},
  journal   = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)},
  publisher = {Springer},
  address   = {Berlin [u.a.]},
  isbn      = {3-540-61735-3},
  pages     = {194 -- 208},
  year      = {1996},
  language  = {en}
}
@book{FassbenderManeth1996,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions},
  publisher = {TU, Fak. Informatik},
  address   = {Dresden},
  pages     = {27 S. : graph. Darst.},
  year      = {1996},
  language  = {en}
}
@inproceedings{ValeroKramerBungetal.2019,
  author    = {Valero, Daniel and Kramer, Matthias and Bung, Daniel Bernhard and Chanson, Hubert},
  title     = {A stochastic bubble generator for air-water flow research},
  series = {E-proceedings of the 38th IAHR World Congress, September 1-6, 2019, Panama City, Panama},
  booktitle = {E-proceedings of the 38th IAHR World Congress, September 1-6, 2019, Panama City, Panama},
  doi       = {10.3850/38WC092019-0909},
  pages     = {5714 -- 5721},
  year      = {2019},
  language  = {en}
}
@article{ReisselBitschStamm2000,
  author    = {Reißel, Martin and Bitsch, G. and Stamm, H.},
  title     = {A Stern Door Slam Fatigue Calculation / Bitsch, G. ; Reißel, M. ; Stamm, H.},
  series = {Proceedings of the 18. CAD-FEM Users Meeting},
  journal   = {Proceedings of the 18. CAD-FEM Users Meeting},
  year      = {2000},
  language  = {en}
}
@article{MonakhovaDiehl2021,
  author    = {Monakhova, Yulia and Diehl, Bernd W. K.},
  title     = {A step towards optimization of the qNMR workflow: proficiency testing exercise at an GxP-accredited laboratory},
  series = {Applied Magnetic Resonance},
  volume    = {52},
  journal   = {Applied Magnetic Resonance},
  publisher = {Springer Nature},
  address   = {Wien},
  issn      = {1613-7507},
  doi       = {10.1007/s00723-021-01324-3},
  pages     = {581 -- 593},
  year      = {2021},
  abstract  = {Quantitative nuclear magnetic resonance (qNMR) is considered as a powerful tool for multicomponent mixture analysis as well as for the purity determination of single compounds. Special attention is currently paid to the training of operators and study directors involved in qNMR testing. To assure that only qualified personnel are used for sample preparation at our GxP-accredited laboratory, weighing test was proposed. Sixteen participants performed six-fold weighing of the binary mixture of dibutylated hydroxytoluene (BHT) and 1,2,4,5-tetrachloro-3-nitrobenzene (TCNB). To evaluate the quality of data analysis, all spectra were evaluated manually by a qNMR expert and using in-house developed automated routine. The results revealed that mean values are comparable and both evaluation approaches are free of systematic error. However, automated evaluation resulted in an approximately 20\% increase in precision. The same findings were revealed for qNMR analysis of 32 compounds used in pharmaceutical industry. Weighing test by six-fold determination in binary mixtures and automated qNMR methodology can be recommended as efficient tools for evaluating staff proficiency. The automated qNMR method significantly increases throughput and precision of qNMR for routine measurements and extends application scope of qNMR.},
  language  = {en}
}
@article{ClausnitzerKleefeld2024,
  author    = {Clausnitzer, Julian and Kleefeld, Andreas},
  title     = {A spectral Galerkin exponential Euler time-stepping scheme for parabolic SPDEs on two-dimensional domains with a C² boundary},
  series = {Discrete and Continuous Dynamical Systems - Series B},
  volume    = {29},
  journal   = {Discrete and Continuous Dynamical Systems - Series B},
  number    = {4},
  publisher = {AIMS},
  address   = {Springfield},
  issn      = {1531-3492},
  doi       = {10.3934/dcdsb.2023148},
  pages     = {1624 -- 1651},
  year      = {2024},
  abstract  = {We consider the numerical approximation of second-order semi-linear parabolic stochastic partial differential equations interpreted in the mild sense which we solve on general two-dimensional domains with a C² boundary with homogeneous Dirichlet boundary conditions. The equations are driven by Gaussian additive noise, and several Lipschitz-like conditions are imposed on the nonlinear function. We discretize in space with a spectral Galerkin method and in time using an explicit Euler-like scheme. For irregular shapes, the necessary Dirichlet eigenvalues and eigenfunctions are obtained from a boundary integral equation method. This yields a nonlinear eigenvalue problem, which is discretized using a boundary element collocation method and is solved with the Beyn contour integral algorithm. We present an error analysis as well as numerical results on an exemplary asymmetric shape, and point out limitations of the approach.},
  language  = {en}
}
@article{Weigand1991,
  author    = {Weigand, Christoph},
  title     = {A Solution to the Scheduling Problem Taking into Account Quality},
  series = {Operations research '91 : extended abstracts of the 16th Symposium on Operations Research held at the University of Trier at September 9 - 11, 1991 / [GM{\"O}OR]. Peter Gritzmann ... (eds.)},
  journal   = {Operations research '91 : extended abstracts of the 16th Symposium on Operations Research held at the University of Trier at September 9 - 11, 1991 / [GM{\"O}OR]. Peter Gritzmann ... (eds.)},
  publisher = {Physica-Verl.},
  address   = {Heidelberg},
  isbn      = {3790806080},
  pages     = {373 -- 375},
  year      = {1991},
  language  = {en}
}
@article{HillenAlperSelverFischeretal.2007,
  author    = {Hillen, Walter and Alper Selver, M. and Fischer, Felix and Kuntalp, Mehmet},
  title     = {A software tool for interactive generation, representation, and systematical storage of transfer functions for 3D medical images / Alper Selver, M. ; Fischer, Felix ; Kuntalp, Mehmet ; Hillen, Walter},
  series = {Computer Methods and Programs in Biomedicine. 86 (2007), H. 3},
  journal   = {Computer Methods and Programs in Biomedicine. 86 (2007), H. 3},
  publisher = {-},
  isbn      = {0169-2607},
  pages     = {270 -- 280},
  year      = {2007},
  language  = {en}
}