Suche
Kategorie
Erscheinungsjahr
21315 Treffer
- Kühl, Niklas; Hinze, Michael; Rung, Thomas
- Cahn-Hilliard Navier-Stokes Simulations for Marine Free-Surface Flows
- S. 1 - 26
- Calanca, Federica; Sayfullina, Luiza; Minkus, Lara et al.
- Responsible team players wanted: an analysis of soft skill requirements in job advertisements
- S. 1 - 16
- Hinze, Michael; Vierling, Morten
- Variational discretization and semi-smooth Newton methods; implementation, convergence and globalization in pde constrained optimization with control constraints
- S. 1 - 14
- 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
- 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