Suche
Kategorie
Erscheinungsjahr
23893 Treffer
×
Publikationen
×
Hochschule Trier
×
Hochschule Kaiserslautern
×
Technische Hochschule Bingen
×
Universität Koblenz
- Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
- Comparing Bug Finding Tools with Reviews and Tests
- CoRR. S. 1 - 16
- Gaggl, Sarah Alice; Thimm, Matthias
- Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)
- S. 1 - 32
- Hunter, Anthony; Thimm, Matthias
- Probabilistic Argumentation with Epistemic Extensions and Incomplete Information
- S. 1 - 17
- Zhao, Zhixue; Zhang, Ziqi; Hopfgartner, Frank
- Detecting Toxic Content Online and the Effect of Training Data on Classification Performance
- S. 1 - 14
- Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
- Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
- CoRR. S. 1 - 29
- Heß, Heiko; Reichert, L.; Röth, H. et al.
- Entwicklung eines Laser-Scanning-Vibrometers
- Forschungsbericht der Hochschule Kaiserslautern. Kaiserslautern. Kaiserslautern
- Fay, Damien; Kunegis, Jérôme; Yoneki, Eiko
- On Joint Diagonalisation for Dynamic Network Analysis
- S. 1 - 10
- Kunegis, Jérôme; Blattner, Marcel; Moser, Christine
- Preferential Attachment in Online Networks: Measurement and Explanations
- S. 1 - 10
- Walden, R.; Dilani, A.
- The Effect of Hospital Building on Patient Recovery
- Design & Health IV. Future Trends in Healthcare Design. Bd. Design & Health IV. Future Trends in Healthcare Design. Huddinge, Sweden: International Academy for Design and Health Huddinge, Sweden S. 99-114
- Münzenmayer, Christian; Paulus, Dietrich; Wittenberg, Thomas
- A spectral color correction framework for medical applications
- IEEE Transactions on Biomedical Engineering. Bd. 53(2), 2006. S. 254 - 265