Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
10111 Publications
2018 | Bachelorsthesis | LibreCat-ID: 3365
Schnuer J-P. Static Scheduling Algorithms for Heterogeneous Compute Nodes. Universität Paderborn; 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 3366
Croce M. Evaluation of OpenCL-Based Compilation for FPGAs. Universität Paderborn; 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 3373
Hansmeier T, Platzner M, Andrews D. An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications. Vol 10824. Lecture Notes in Computer Science. Springer International Publishing; 2018:153-165. doi:10.1007/978-3-319-78890-6_13
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3402
Melnikov V, Hüllermeier E. On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis. Machine Learning. 2018. doi:10.1007/s10994-018-5733-1
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3414
Börding P, Haltermann JF, Jakobs M-C, Wehrheim H. JMCTest: Automatically Testing Inter-Method Contracts in Java. In: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018). Vol 11146. Lecture Notes in Computer Science. Springer; 2018:39--55.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 3422
Robinson P, Scheideler C, Setzer A. Breaking the $\tilde\Omega(\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary. In: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). doi:10.1145/3210377.3210399
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3510 | 
Mohr F, Wever MD, Hüllermeier E. ML-Plan: Automated Machine Learning via Hierarchical Planning. Machine Learning. Published online 2018:1495-1515. doi:10.1007/s10994-018-5735-z
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 3536
Schellhorn G, Wedel M, Travkin O, König J, Wehrheim H. FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In: Software Engineering and Formal Methods. Cham: Springer International Publishing; 2018:105-120. doi:10.1007/978-3-319-92970-5_7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 3550
Jazayeri B, Zimmermann O, Engels G, Küster J, Kundisch D, Szopinski D. Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions. In: Proceeding of International Symposium on Business Modeling and Software Design. Vol 319. Lecture Notes in Business Information Processing (LNBIP). Wien, Austria: Springer; 2018:390-400. doi:10.1007/978-3-319-94214-8_30
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3551
König J, Mäcker A, Meyer auf der Heide F, Riechers S. Scheduling with interjob communication on parallel processors. Journal of Combinatorial Optimization. 2018;36(4):1356-1379. doi:10.1007/s10878-018-0325-3
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3552 |
Mohr F, Wever MD, Hüllermeier E. Reduction Stumps for Multi-Class Classification. In: Proceedings of the Symposium on Intelligent Data Analysis. ‘s-Hertogenbosch, the Netherlands. doi:10.1007/978-3-030-01768-2_19
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 3586
Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Third Workshop on Approximate Computing (AxC 2018).
LibreCat
| Files available
2018 | Book Chapter | LibreCat-ID: 3590
Fischer C, Pöhler A. Supporting the Change to Digitalized Production Environments Through Learning Organization Development. In: Harteis C, ed. The Impact of Digitalization in the Workplace. ; 2018:141--160. doi:10.1007/978-3-319-63257-5_10
LibreCat
| DOI
2018 | Book | LibreCat-ID: 3595
Gruber H, Harteis C. Individual and Social Influences on Professional Learning. Supporting the Acquisition and Maintenance of Expertise. Cham: Springer; 2018. doi:10.1007/978-3-319-97041-7
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 3720
Ho N. FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization. Universität Paderborn; 2018. doi:10.17619/UNIPB/1-376
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 3742
Hoof S. Dynamic Voluntary Provision of Public Goods: The Recursive Nash Bargaining Solution. In: Static & Dynamic Game Theory: Foundations & Applications. Cham: Springer International Publishing; 2018:13-23. doi:10.1007/978-3-319-92988-0_2
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3804
Al Khatib K, Wachsmuth H, Lang K, Herpel J, Hagen M, Stein B. Modeling Deliberative Argumentation Strategies on Wikipedia. In: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). ; 2018:2545-2555.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3806
Habernal I, Wachsmuth H, Gurevych I, Stein B. Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation. In: Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers). ; 2018:386-396.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3807
Habernal I, Wachsmuth H, Gurevych I, Stein B. SemEval-2018 Task 12: The Argument Reasoning Comprehension Task. In: Proceedings of The 12th International Workshop on Semantic Evaluation. ; 2018:763-772.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3821
Wachsmuth H, Syed S, Stein B. Retrieval of the Best Counterargument without Prior Topic Knowledge. In: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). ; 2018:241-251.
LibreCat
| Download (ext.)