[{"author":[{"id":"49992","full_name":"Hansmeier, Tim","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","first_name":"Tim"},{"full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco","id":"398"},{"last_name":"Andrews","first_name":"David","full_name":"Andrews, David"}],"publication_identifier":{"isbn":["9783319788890","9783319788906"],"issn":["0302-9743","1611-3349"]},"year":"2018","title":"An FPGA/HMC-Based Accelerator for Resolution Proof Checking","intvolume":"     10824","publication_status":"published","date_updated":"2022-01-06T06:59:13Z","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-78890-6_13","publication":"ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications","abstract":[{"text":"Modern Boolean satisfiability solvers can emit proofs of unsatisfiability. There is substantial interest in being able to verify such proofs and also in using them for further computations. In this paper, we present an FPGA accelerator for checking resolution proofs, a popular proof format. Our accelerator exploits parallelism at the low level by implementing the basic resolution step in hardware, and at the high level by instantiating a number of parallel modules for proof checking. Since proof checking involves highly irregular memory accesses, we employ Hybrid Memory Cube technology for accelerator memory. The results show that while the accelerator is scalable and achieves speedups for all benchmark proofs, performance improvements are currently limited by the overhead of transitioning the proof into the accelerator memory.","lang":"eng"}],"date_created":"2018-06-27T09:30:24Z","file":[{"creator":"ups","date_created":"2018-11-02T13:55:07Z","access_level":"closed","file_size":612367,"file_name":"AnFPGAHMC-BasedAcceleratorForR.pdf","date_updated":"2018-11-02T13:55:07Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"5257"}],"department":[{"_id":"78"}],"type":"conference","conference":{"location":"Santorini, Greece","start_date":"2018-05-02","name":"ARC: International Symposium on Applied Reconfigurable Computing","end_date":"2018-05-04"},"status":"public","has_accepted_license":"1","_id":"3373","publisher":"Springer International Publishing","page":"153-165","volume":10824,"user_id":"3118","ddc":["000"],"citation":{"bibtex":"@inproceedings{Hansmeier_Platzner_Andrews_2018, series={Lecture Notes in Computer Science}, title={An FPGA/HMC-Based Accelerator for Resolution Proof Checking}, volume={10824}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>}, booktitle={ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco and Andrews, David}, year={2018}, pages={153–165}, collection={Lecture Notes in Computer Science} }","ama":"Hansmeier T, Platzner M, Andrews D. An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In: <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>. Vol 10824. Lecture Notes in Computer Science. Springer International Publishing; 2018:153-165. doi:<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>","mla":"Hansmeier, Tim, et al. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, vol. 10824, Springer International Publishing, 2018, pp. 153–65, doi:<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>.","short":"T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.","chicago":"Hansmeier, Tim, Marco Platzner, and David Andrews. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” In <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, 10824:153–65. Lecture Notes in Computer Science. Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">https://doi.org/10.1007/978-3-319-78890-6_13</a>.","ieee":"T. Hansmeier, M. Platzner, and D. Andrews, “An FPGA/HMC-Based Accelerator for Resolution Proof Checking,” in <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, Santorini, Greece, 2018, vol. 10824, pp. 153–165.","apa":"Hansmeier, T., Platzner, M., &#38; Andrews, D. (2018). An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i> (Vol. 10824, pp. 153–165). Santorini, Greece: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">https://doi.org/10.1007/978-3-319-78890-6_13</a>"},"file_date_updated":"2018-11-02T13:55:07Z","project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"}]},{"project":[{"_id":"11","name":"SFB 901 - Subproject B3"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"1","name":"SFB 901"}],"citation":{"chicago":"Melnikov, Vitalik, and Eyke Hüllermeier. “On the Effectiveness of Heuristics for Learning Nested Dichotomies: An Empirical Analysis.” <i>Machine Learning</i>, 2018. <a href=\"https://doi.org/10.1007/s10994-018-5733-1\">https://doi.org/10.1007/s10994-018-5733-1</a>.","short":"V. Melnikov, E. Hüllermeier, Machine Learning (2018).","ieee":"V. Melnikov and E. Hüllermeier, “On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis,” <i>Machine Learning</i>, 2018.","apa":"Melnikov, V., &#38; Hüllermeier, E. (2018). On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis. <i>Machine Learning</i>. <a href=\"https://doi.org/10.1007/s10994-018-5733-1\">https://doi.org/10.1007/s10994-018-5733-1</a>","bibtex":"@article{Melnikov_Hüllermeier_2018, title={On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis}, DOI={<a href=\"https://doi.org/10.1007/s10994-018-5733-1\">10.1007/s10994-018-5733-1</a>}, journal={Machine Learning}, author={Melnikov, Vitalik and Hüllermeier, Eyke}, year={2018} }","ama":"Melnikov V, Hüllermeier E. On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis. <i>Machine Learning</i>. 2018. doi:<a href=\"https://doi.org/10.1007/s10994-018-5733-1\">10.1007/s10994-018-5733-1</a>","mla":"Melnikov, Vitalik, and Eyke Hüllermeier. “On the Effectiveness of Heuristics for Learning Nested Dichotomies: An Empirical Analysis.” <i>Machine Learning</i>, 2018, doi:<a href=\"https://doi.org/10.1007/s10994-018-5733-1\">10.1007/s10994-018-5733-1</a>."},"file_date_updated":"2018-11-02T15:30:57Z","has_accepted_license":"1","status":"public","user_id":"15504","ddc":["000"],"_id":"3402","abstract":[{"lang":"eng","text":"In machine learning, so-called nested dichotomies are utilized as a reduction technique, i.e., to decompose a multi-class classification problem into a set of binary problems, which are solved using a simple binary classifier as a base learner. The performance of the (multi-class) classifier thus produced strongly depends on the structure of the decomposition. In this paper, we conduct an empirical study, in which we compare existing heuristics for selecting a suitable structure in the form of a nested dichotomy. Moreover, we propose two additional heuristics as natural completions. One of them is the Best-of-K heuristic, which picks the (presumably) best among K randomly generated nested dichotomies. Surprisingly, and in spite of its simplicity, it turns out to outperform the state of the art."}],"publication":"Machine Learning","department":[{"_id":"355"}],"type":"journal_article","date_created":"2018-06-29T07:44:26Z","file":[{"creator":"ups","date_created":"2018-11-02T15:30:57Z","relation":"main_file","date_updated":"2018-11-02T15:30:57Z","file_name":"OnTheEffectivenessOfHeuristics.pdf","access_level":"closed","file_size":1482882,"file_id":"5305","content_type":"application/pdf","success":1}],"date_updated":"2022-01-06T06:59:14Z","publication_identifier":{"issn":["1573-0565"]},"author":[{"first_name":"Vitalik","last_name":"Melnikov","full_name":"Melnikov, Vitalik"},{"last_name":"Hüllermeier","first_name":"Eyke","full_name":"Hüllermeier, Eyke","id":"48129"}],"year":"2018","title":"On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis","doi":"10.1007/s10994-018-5733-1","language":[{"iso":"eng"}]},{"publication":"Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018)","abstract":[{"text":"Over the years, Design by Contract (DbC) has evolved as a\r\npowerful concept for program documentation, testing, and verification.\r\nContracts formally specify assertions on (mostly) object-oriented programs:\r\npre- and postconditions of methods, class invariants, allowed call\r\norders, etc. Missing in the long list of properties specifiable by contracts\r\nare, however, method correlations: DbC languages fall short on stating\r\nassertions relating methods.\r\nIn this paper, we propose the novel concept of inter-method contract,\r\nallowing precisely for expressing method correlations.We present JMC as\r\na language for specifying and JMCTest as a tool for dynamically checking\r\ninter-method contracts on Java programs. JMCTest fully automatically\r\ngenerates objects on which the contracted methods are called and\r\nthe validity of the contract is checked. Using JMCTest, we detected\r\nthat large Java code bases (e.g. JBoss, Java RT) frequently violate standard\r\ninter-method contracts. In comparison to other verification tools\r\ninspecting (some) inter-method contracts, JMCTest can find bugs that\r\nremain undetected by those tools.","lang":"eng"}],"date_created":"2018-07-02T09:06:56Z","file":[{"creator":"schlatt","date_created":"2018-11-21T09:35:35Z","relation":"main_file","date_updated":"2018-11-21T09:35:35Z","file_name":"Börding2018_Chapter_JMCTestAutomaticallyTestingInt.pdf","file_size":574386,"access_level":"closed","file_id":"5770","success":1,"content_type":"application/pdf"}],"department":[{"_id":"7"},{"_id":"77"}],"type":"conference","author":[{"full_name":"Börding, Paul","last_name":"Börding","first_name":"Paul"},{"id":"44413","last_name":"Haltermann","first_name":"Jan Frederik","full_name":"Haltermann, Jan Frederik"},{"first_name":"Marie-Christine","last_name":"Jakobs","full_name":"Jakobs, Marie-Christine"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"title":"JMCTest: Automatically Testing Inter-Method Contracts in Java","year":"2018","intvolume":"     11146","publication_status":"published","date_updated":"2022-01-06T06:59:15Z","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","citation":{"ama":"Börding P, Haltermann JF, Jakobs M-C, Wehrheim H. JMCTest: Automatically Testing Inter-Method Contracts in Java. In: <i>Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018)</i>. Vol 11146. Lecture Notes in Computer Science. Springer; 2018:39--55.","bibtex":"@inproceedings{Börding_Haltermann_Jakobs_Wehrheim_2018, series={Lecture Notes in Computer Science}, title={JMCTest: Automatically Testing Inter-Method Contracts in Java}, volume={11146}, booktitle={Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018)}, publisher={Springer}, author={Börding, Paul and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2018}, pages={39--55}, collection={Lecture Notes in Computer Science} }","mla":"Börding, Paul, et al. “JMCTest: Automatically Testing Inter-Method Contracts in Java.” <i>Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018)</i>, vol. 11146, Springer, 2018, pp. 39--55.","chicago":"Börding, Paul, Jan Frederik Haltermann, Marie-Christine Jakobs, and Heike Wehrheim. “JMCTest: Automatically Testing Inter-Method Contracts in Java.” In <i>Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018)</i>, 11146:39--55. Lecture Notes in Computer Science. Springer, 2018.","short":"P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.","apa":"Börding, P., Haltermann, J. F., Jakobs, M.-C., &#38; Wehrheim, H. (2018). JMCTest: Automatically Testing Inter-Method Contracts in Java. In <i>Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018)</i> (Vol. 11146, pp. 39--55). Cádiz, Spain: Springer.","ieee":"P. Börding, J. F. Haltermann, M.-C. Jakobs, and H. Wehrheim, “JMCTest: Automatically Testing Inter-Method Contracts in Java,” in <i>Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018)</i>, Cádiz, Spain, 2018, vol. 11146, pp. 39--55."},"file_date_updated":"2018-11-21T09:35:35Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"11","name":"SFB 901 - Subproject B3"}],"conference":{"name":"IFIP International Conference on Testing Software and Systems","start_date":"2018-10-01","location":"Cádiz, Spain","end_date":"2018-10-03"},"status":"public","has_accepted_license":"1","publisher":"Springer","_id":"3414","page":"39--55","volume":11146,"user_id":"29719","ddc":["006"]},{"language":[{"iso":"eng"}],"doi":"10.1145/3210377.3210399","year":"2018","title":"Breaking the $\\tilde\\Omega(\\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary","publication_identifier":{"isbn":["978-1-4503-5799-9/18/07"]},"author":[{"first_name":"Peter","last_name":"Robinson","full_name":"Robinson, Peter"},{"first_name":"Christian","last_name":"Scheideler","full_name":"Scheideler, Christian","id":"20792"},{"full_name":"Setzer, Alexander","first_name":"Alexander","last_name":"Setzer","id":"11108"}],"publication_status":"accepted","date_updated":"2022-01-06T06:59:16Z","file":[{"creator":"asetzer","date_created":"2018-10-31T13:30:40Z","access_level":"closed","file_size":1675407,"file_name":"p173-robinson.pdf","date_updated":"2018-10-31T13:30:40Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"5215"}],"date_created":"2018-07-04T08:55:45Z","type":"conference","keyword":["distributed consensus","randomized algorithm","adaptive adversary","complexity lower bound"],"department":[{"_id":"79"},{"_id":"34"},{"_id":"7"}],"publication":"Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)","abstract":[{"lang":"eng","text":"We study the consensus problem in a synchronous distributed system of n nodes under an adaptive adversary that has a slightly outdated view of the system and can block all incoming and outgoing communication of a constant fraction of the nodes in each round. Motivated by a result of Ben-Or and Bar-Joseph (1998), showing that any consensus algorithm that is resilient against a linear number of crash faults requires $\\tilde \\Omega(\\sqrt n)$ rounds in an n-node network against an adaptive adversary, we consider a late adaptive adversary, who has full knowledge of the network state at the beginning of the previous round and unlimited computational power, but is oblivious to the current state of the nodes. \r\n\r\nOur main contributions are randomized distributed algorithms that achieve consensus with high probability among all except a small constant fraction of the nodes (i.e., \"almost-everywhere'') against a late adaptive adversary who can block up to ε n$ nodes in each round, for a small constant ε >0$. Our first protocol achieves binary almost-everywhere consensus and also guarantees a decision on the majority input value, thus ensuring plurality consensus. We also present an algorithm that achieves the same time complexity for multi-value consensus. Both of our algorithms succeed in $O(log n)$ rounds with high probability, thus showing an exponential gap to the $\\tilde\\Omega(\\sqrt n)$ lower bound of Ben-Or and Bar-Joseph for strongly adaptive crash-failure adversaries, which can be strengthened to $\\Omega(n)$ when allowing the adversary to block nodes instead of permanently crashing them. Our algorithms are scalable to large systems as each node contacts only an (amortized) constant number of peers in each communication round. We show that our algorithms are optimal up to constant (resp.\\ sub-logarithmic) factors by proving that every almost-everywhere consensus protocol takes $\\Omega(log_d n)$ rounds in the worst case, where d is an upper bound on the number of communication requests initiated per node in each round. We complement our theoretical results with an experimental evaluation of the binary almost-everywhere consensus protocol revealing a short convergence time even against an adversary blocking a large fraction of nodes."}],"_id":"3422","user_id":"11108","ddc":["040"],"status":"public","conference":{"end_date":"2018-07-18","name":"30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)","start_date":"2018-07-16","location":"Wien"},"has_accepted_license":"1","file_date_updated":"2018-10-31T13:30:40Z","citation":{"chicago":"Robinson, Peter, Christian Scheideler, and Alexander Setzer. “Breaking the $\\tilde\\Omega(\\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary.” In <i>Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)</i>, n.d. <a href=\"https://doi.org/10.1145/3210377.3210399\">https://doi.org/10.1145/3210377.3210399</a>.","short":"P. Robinson, C. Scheideler, A. Setzer, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), n.d.","ieee":"P. Robinson, C. Scheideler, and A. Setzer, “Breaking the $\\tilde\\Omega(\\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary,” in <i>Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)</i>, Wien.","apa":"Robinson, P., Scheideler, C., &#38; Setzer, A. (n.d.). Breaking the $\\tilde\\Omega(\\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary. In <i>Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)</i>. Wien. <a href=\"https://doi.org/10.1145/3210377.3210399\">https://doi.org/10.1145/3210377.3210399</a>","bibtex":"@inproceedings{Robinson_Scheideler_Setzer, title={Breaking the $\\tilde\\Omega(\\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary}, DOI={<a href=\"https://doi.org/10.1145/3210377.3210399\">10.1145/3210377.3210399</a>}, booktitle={Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Robinson, Peter and Scheideler, Christian and Setzer, Alexander} }","ama":"Robinson P, Scheideler C, Setzer A. Breaking the $\\tilde\\Omega(\\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary. In: <i>Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)</i>. doi:<a href=\"https://doi.org/10.1145/3210377.3210399\">10.1145/3210377.3210399</a>","mla":"Robinson, Peter, et al. “Breaking the $\\tilde\\Omega(\\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary.” <i>Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)</i>, doi:<a href=\"https://doi.org/10.1145/3210377.3210399\">10.1145/3210377.3210399</a>."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901 - Subproject C1","_id":"13"}]},{"abstract":[{"lang":"eng","text":"Automated machine learning (AutoML) seeks to automatically select, compose, and parametrize machine learning algorithms, so as to achieve optimal performance on a given task (dataset). Although current approaches to AutoML have already produced impressive results, the field is still far from mature, and new techniques are still being developed. In this paper, we present ML-Plan, a new approach to AutoML based on hierarchical planning. To highlight the potential of this approach, we compare ML-Plan to the state-of-the-art frameworks Auto-WEKA, auto-sklearn, and TPOT. In an extensive series of experiments, we show that ML-Plan is highly competitive and often outperforms existing approaches."}],"publication":"Machine Learning","type":"journal_article","keyword":["AutoML","Hierarchical Planning","HTN planning","ML-Plan"],"department":[{"_id":"355"},{"_id":"34"},{"_id":"7"},{"_id":"26"}],"file":[{"content_type":"application/pdf","success":1,"file_id":"5306","access_level":"closed","file_size":1070937,"file_name":"ML-PlanAutomatedMachineLearnin.pdf","date_updated":"2018-11-02T15:32:16Z","relation":"main_file","date_created":"2018-11-02T15:32:16Z","creator":"ups"}],"date_created":"2018-07-08T14:06:14Z","date_updated":"2022-01-06T06:59:21Z","publication_status":"epub_ahead","article_type":"original","title":"ML-Plan: Automated Machine Learning via Hierarchical Planning","year":"2018","author":[{"full_name":"Mohr, Felix","last_name":"Mohr","first_name":"Felix"},{"id":"33176","full_name":"Wever, Marcel Dominik","first_name":"Marcel Dominik","last_name":"Wever","orcid":" https://orcid.org/0000-0001-9782-6818"},{"full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke","id":"48129"}],"publication_identifier":{"issn":["0885-6125"],"eissn":["1573-0565"]},"doi":"10.1007/s10994-018-5735-z","main_file_link":[{"url":"https://rdcu.be/3Nc2","open_access":"1"}],"language":[{"iso":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"10","name":"SFB 901 - Subproject B2"},{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"file_date_updated":"2018-11-02T15:32:16Z","citation":{"ama":"Mohr F, Wever MD, Hüllermeier E. ML-Plan: Automated Machine Learning via Hierarchical Planning. <i>Machine Learning</i>. Published online 2018:1495-1515. doi:<a href=\"https://doi.org/10.1007/s10994-018-5735-z\">10.1007/s10994-018-5735-z</a>","short":"F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018) 1495–1515.","chicago":"Mohr, Felix, Marcel Dominik Wever, and Eyke Hüllermeier. “ML-Plan: Automated Machine Learning via Hierarchical Planning.” <i>Machine Learning</i>, 2018, 1495–1515. <a href=\"https://doi.org/10.1007/s10994-018-5735-z\">https://doi.org/10.1007/s10994-018-5735-z</a>.","bibtex":"@article{Mohr_Wever_Hüllermeier_2018, title={ML-Plan: Automated Machine Learning via Hierarchical Planning}, DOI={<a href=\"https://doi.org/10.1007/s10994-018-5735-z\">10.1007/s10994-018-5735-z</a>}, journal={Machine Learning}, publisher={Springer}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2018}, pages={1495–1515} }","mla":"Mohr, Felix, et al. “ML-Plan: Automated Machine Learning via Hierarchical Planning.” <i>Machine Learning</i>, Springer, 2018, pp. 1495–515, doi:<a href=\"https://doi.org/10.1007/s10994-018-5735-z\">10.1007/s10994-018-5735-z</a>.","apa":"Mohr, F., Wever, M. D., &#38; Hüllermeier, E. (2018). ML-Plan: Automated Machine Learning via Hierarchical Planning. <i>Machine Learning</i>, 1495–1515. <a href=\"https://doi.org/10.1007/s10994-018-5735-z\">https://doi.org/10.1007/s10994-018-5735-z</a>","ieee":"F. Mohr, M. D. Wever, and E. Hüllermeier, “ML-Plan: Automated Machine Learning via Hierarchical Planning,” <i>Machine Learning</i>, pp. 1495–1515, 2018, doi: <a href=\"https://doi.org/10.1007/s10994-018-5735-z\">10.1007/s10994-018-5735-z</a>."},"oa":"1","has_accepted_license":"1","status":"public","conference":{"end_date":"2018-09-14","location":"Dublin, Ireland","name":"European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases","start_date":"2018-09-10"},"ddc":["000"],"user_id":"5786","page":"1495-1515","publisher":"Springer","_id":"3510"},{"project":[{"name":"Validation of Software Transactional Memory","_id":"78"}],"citation":{"bibtex":"@inbook{Schellhorn_Wedel_Travkin_König_Wehrheim_2018, place={Cham}, title={FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-92970-5_7\">10.1007/978-3-319-92970-5_7</a>}, booktitle={Software Engineering and Formal Methods}, publisher={Springer International Publishing}, author={Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike}, year={2018}, pages={105–120} }","ama":"Schellhorn G, Wedel M, Travkin O, König J, Wehrheim H. FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In: <i>Software Engineering and Formal Methods</i>. Cham: Springer International Publishing; 2018:105-120. doi:<a href=\"https://doi.org/10.1007/978-3-319-92970-5_7\">10.1007/978-3-319-92970-5_7</a>","mla":"Schellhorn, Gerhard, et al. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.” <i>Software Engineering and Formal Methods</i>, Springer International Publishing, 2018, pp. 105–20, doi:<a href=\"https://doi.org/10.1007/978-3-319-92970-5_7\">10.1007/978-3-319-92970-5_7</a>.","chicago":"Schellhorn, Gerhard, Monika Wedel, Oleg Travkin, Jürgen König, and Heike Wehrheim. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.” In <i>Software Engineering and Formal Methods</i>, 105–20. Cham: Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-319-92970-5_7\">https://doi.org/10.1007/978-3-319-92970-5_7</a>.","short":"G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.","ieee":"G. Schellhorn, M. Wedel, O. Travkin, J. König, and H. Wehrheim, “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity,” in <i>Software Engineering and Formal Methods</i>, Cham: Springer International Publishing, 2018, pp. 105–120.","apa":"Schellhorn, G., Wedel, M., Travkin, O., König, J., &#38; Wehrheim, H. (2018). FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In <i>Software Engineering and Formal Methods</i> (pp. 105–120). Cham: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-92970-5_7\">https://doi.org/10.1007/978-3-319-92970-5_7</a>"},"publication":"Software Engineering and Formal Methods","department":[{"_id":"77"}],"type":"book_chapter","place":"Cham","date_created":"2018-07-11T06:19:58Z","date_updated":"2022-01-06T06:59:22Z","publication_status":"published","author":[{"first_name":"Gerhard","last_name":"Schellhorn","full_name":"Schellhorn, Gerhard"},{"full_name":"Wedel, Monika","first_name":"Monika","last_name":"Wedel"},{"full_name":"Travkin, Oleg","first_name":"Oleg","last_name":"Travkin"},{"id":"22358","full_name":"König, Jürgen","first_name":"Jürgen","last_name":"König"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783319929699","9783319929705"]},"year":"2018","status":"public","title":"FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity","doi":"10.1007/978-3-319-92970-5_7","user_id":"29719","publisher":"Springer International Publishing","_id":"3536","page":"105-120"},{"intvolume":"       319","date_updated":"2022-01-06T06:59:24Z","publication_status":"published","publication_identifier":{"issn":["1865-1348","1865-1356"],"isbn":["9783319942131","9783319942148"]},"author":[{"id":"36399","full_name":"Jazayeri, Bahar","last_name":"Jazayeri","first_name":"Bahar"},{"last_name":"Zimmermann","first_name":"Olaf","full_name":"Zimmermann, Olaf"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"},{"id":"21117","first_name":"Dennis","last_name":"Kundisch","full_name":"Kundisch, Dennis"},{"id":"36372","full_name":"Szopinski, Daniel","last_name":"Szopinski","first_name":"Daniel"}],"title":"Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions","year":"2018","doi":"10.1007/978-3-319-94214-8_30","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Business Information Processing (LNBIP)","abstract":[{"text":"Nowadays companies like Apple create ecosystems of third- party providers and users around their software platforms. Often online stores like Apple App Store are created to directly market third-party solutions. We call such ecosystems store-oriented software ecosystems. While the architecture of these ecosystems is mainly derived from busi- ness decisions of their owners, ecosystems with greatly different archi- tectural designs have been created. This diversity makes it challenging for future ecosystem providers to understand which architectural design is suitable to fulfill certain business decisions. In turn, opening a plat- form becomes risky while endangering intellectual property or scarifying quality of services. In this paper, we identify three main design options of store-oriented software ecosystems by classifying existing ecosystems based on similarities in their business decisions. We elaborate on the design options, discuss their main contributions, and provide exemplary ecosystems. Our work provides aspiring ecosystem providers with the reusable knowledge of existing ecosystems and helps them to take more informed architectural decisions and reduce risks in future.","lang":"eng"}],"publication":"Proceeding of International Symposium on Business Modeling and Software Design","department":[{"_id":"66"},{"_id":"276"}],"type":"conference","date_created":"2018-07-12T10:59:16Z","file":[{"date_created":"2018-11-12T19:01:06Z","creator":"bahareh","file_id":"5533","success":1,"content_type":"application/pdf","file_name":"Jazayeri_BMSD2018.pdf","access_level":"closed","file_size":408509,"relation":"main_file","date_updated":"2018-11-12T19:01:06Z"}],"has_accepted_license":"1","status":"public","volume":319,"ddc":["040"],"user_id":"16205","_id":"3550","publisher":"Springer","page":"390-400","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"17","name":"SFB 901 - Subproject C5"}],"citation":{"ieee":"B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, and D. Szopinski, “Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions,” in <i>Proceeding of International Symposium on Business Modeling and Software Design</i>, 2018, vol. 319, pp. 390–400.","apa":"Jazayeri, B., Zimmermann, O., Engels, G., Küster, J., Kundisch, D., &#38; Szopinski, D. (2018). Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions. In <i>Proceeding of International Symposium on Business Modeling and Software Design</i> (Vol. 319, pp. 390–400). Wien, Austria: Springer. <a href=\"https://doi.org/10.1007/978-3-319-94214-8_30\">https://doi.org/10.1007/978-3-319-94214-8_30</a>","chicago":"Jazayeri, Bahar, Olaf Zimmermann, Gregor Engels, Jochen Küster, Dennis Kundisch, and Daniel Szopinski. “Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions.” In <i>Proceeding of International Symposium on Business Modeling and Software Design</i>, 319:390–400. Lecture Notes in Business Information Processing (LNBIP). Wien, Austria: Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-94214-8_30\">https://doi.org/10.1007/978-3-319-94214-8_30</a>.","short":"B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, D. Szopinski, in: Proceeding of International Symposium on Business Modeling and Software Design, Springer, Wien, Austria, 2018, pp. 390–400.","mla":"Jazayeri, Bahar, et al. “Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions.” <i>Proceeding of International Symposium on Business Modeling and Software Design</i>, vol. 319, Springer, 2018, pp. 390–400, doi:<a href=\"https://doi.org/10.1007/978-3-319-94214-8_30\">10.1007/978-3-319-94214-8_30</a>.","bibtex":"@inproceedings{Jazayeri_Zimmermann_Engels_Küster_Kundisch_Szopinski_2018, place={Wien, Austria}, series={Lecture Notes in Business Information Processing (LNBIP)}, title={Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions}, volume={319}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-94214-8_30\">10.1007/978-3-319-94214-8_30</a>}, booktitle={Proceeding of International Symposium on Business Modeling and Software Design}, publisher={Springer}, author={Jazayeri, Bahar and Zimmermann, Olaf and Engels, Gregor and Küster, Jochen and Kundisch, Dennis and Szopinski, Daniel}, year={2018}, pages={390–400}, collection={Lecture Notes in Business Information Processing (LNBIP)} }","ama":"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: <i>Proceeding of International Symposium on Business Modeling and Software Design</i>. Vol 319. Lecture Notes in Business Information Processing (LNBIP). Wien, Austria: Springer; 2018:390-400. doi:<a href=\"https://doi.org/10.1007/978-3-319-94214-8_30\">10.1007/978-3-319-94214-8_30</a>"},"file_date_updated":"2018-11-12T19:01:06Z","place":"Wien, Austria"},{"page":"1356-1379","_id":"3551","user_id":"477","ddc":["000"],"volume":36,"status":"public","has_accepted_license":"1","file_date_updated":"2018-11-02T15:20:24Z","citation":{"ama":"König J, Mäcker A, Meyer auf der Heide F, Riechers S. Scheduling with interjob communication on parallel processors. <i>Journal of Combinatorial Optimization</i>. 2018;36(4):1356-1379. doi:<a href=\"https://doi.org/10.1007/s10878-018-0325-3\">10.1007/s10878-018-0325-3</a>","bibtex":"@article{König_Mäcker_Meyer auf der Heide_Riechers_2018, title={Scheduling with interjob communication on parallel processors}, volume={36}, DOI={<a href=\"https://doi.org/10.1007/s10878-018-0325-3\">10.1007/s10878-018-0325-3</a>}, number={4}, journal={Journal of Combinatorial Optimization}, author={König, Jürgen and Mäcker, Alexander and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2018}, pages={1356–1379} }","mla":"König, Jürgen, et al. “Scheduling with Interjob Communication on Parallel Processors.” <i>Journal of Combinatorial Optimization</i>, vol. 36, no. 4, 2018, pp. 1356–79, doi:<a href=\"https://doi.org/10.1007/s10878-018-0325-3\">10.1007/s10878-018-0325-3</a>.","chicago":"König, Jürgen, Alexander Mäcker, Friedhelm Meyer auf der Heide, and Sören Riechers. “Scheduling with Interjob Communication on Parallel Processors.” <i>Journal of Combinatorial Optimization</i> 36, no. 4 (2018): 1356–79. <a href=\"https://doi.org/10.1007/s10878-018-0325-3\">https://doi.org/10.1007/s10878-018-0325-3</a>.","short":"J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2018) 1356–1379.","apa":"König, J., Mäcker, A., Meyer auf der Heide, F., &#38; Riechers, S. (2018). Scheduling with interjob communication on parallel processors. <i>Journal of Combinatorial Optimization</i>, <i>36</i>(4), 1356–1379. <a href=\"https://doi.org/10.1007/s10878-018-0325-3\">https://doi.org/10.1007/s10878-018-0325-3</a>","ieee":"J. König, A. Mäcker, F. Meyer auf der Heide, and S. Riechers, “Scheduling with interjob communication on parallel processors,” <i>Journal of Combinatorial Optimization</i>, vol. 36, no. 4, pp. 1356–1379, 2018."},"project":[{"name":"SFB 901 - Subproject C4","_id":"16"},{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area C","_id":"4"}],"language":[{"iso":"eng"}],"doi":"10.1007/s10878-018-0325-3","year":"2018","title":"Scheduling with interjob communication on parallel processors","author":[{"first_name":"Jürgen","last_name":"König","full_name":"König, Jürgen","id":"22358"},{"full_name":"Mäcker, Alexander","last_name":"Mäcker","first_name":"Alexander","id":"13536"},{"full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm","id":"15523"},{"last_name":"Riechers","first_name":"Sören","full_name":"Riechers, Sören"}],"date_updated":"2022-01-06T06:59:24Z","intvolume":"        36","file":[{"creator":"ups","date_created":"2018-11-02T15:20:24Z","access_level":"closed","file_size":745708,"file_name":"SchedulingWithInterjobCommunic.pdf","date_updated":"2018-11-02T15:20:24Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"5299"}],"date_created":"2018-07-13T09:57:48Z","type":"journal_article","department":[{"_id":"63"}],"publication":"Journal of Combinatorial Optimization","issue":"4"},{"oa":"1","place":"‘s-Hertogenbosch, the Netherlands","quality_controlled":"1","project":[{"_id":"1","name":"SFB 901"},{"_id":"10","name":"SFB 901 - Subproject B2"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-11-06T15:23:02Z","citation":{"bibtex":"@inproceedings{Mohr_Wever_Hüllermeier, place={‘s-Hertogenbosch, the Netherlands}, title={Reduction Stumps for Multi-Class Classification}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-01768-2_19\">10.1007/978-3-030-01768-2_19</a>}, booktitle={Proceedings of the Symposium on Intelligent Data Analysis}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke} }","ama":"Mohr F, Wever MD, Hüllermeier E. Reduction Stumps for Multi-Class Classification. In: <i>Proceedings of the Symposium on Intelligent Data Analysis</i>. ‘s-Hertogenbosch, the Netherlands. doi:<a href=\"https://doi.org/10.1007/978-3-030-01768-2_19\">10.1007/978-3-030-01768-2_19</a>","mla":"Mohr, Felix, et al. “Reduction Stumps for Multi-Class Classification.” <i>Proceedings of the Symposium on Intelligent Data Analysis</i>, doi:<a href=\"https://doi.org/10.1007/978-3-030-01768-2_19\">10.1007/978-3-030-01768-2_19</a>.","chicago":"Mohr, Felix, Marcel Dominik Wever, and Eyke Hüllermeier. “Reduction Stumps for Multi-Class Classification.” In <i>Proceedings of the Symposium on Intelligent Data Analysis</i>. ‘s-Hertogenbosch, the Netherlands, n.d. <a href=\"https://doi.org/10.1007/978-3-030-01768-2_19\">https://doi.org/10.1007/978-3-030-01768-2_19</a>.","short":"F. Mohr, M.D. Wever, E. Hüllermeier, in: Proceedings of the Symposium on Intelligent Data Analysis, ‘s-Hertogenbosch, the Netherlands, n.d.","ieee":"F. Mohr, M. D. Wever, and E. Hüllermeier, “Reduction Stumps for Multi-Class Classification,” in <i>Proceedings of the Symposium on Intelligent Data Analysis</i>, ‘s-Hertogenbosch, the Netherlands.","apa":"Mohr, F., Wever, M. D., &#38; Hüllermeier, E. (n.d.). Reduction Stumps for Multi-Class Classification. In <i>Proceedings of the Symposium on Intelligent Data Analysis</i>. ‘s-Hertogenbosch, the Netherlands. <a href=\"https://doi.org/10.1007/978-3-030-01768-2_19\">https://doi.org/10.1007/978-3-030-01768-2_19</a>"},"user_id":"49109","ddc":["000"],"_id":"3552","has_accepted_license":"1","status":"public","conference":{"start_date":"2018-10-24","name":"Symposium on Intelligent Data Analysis","location":"‘s-Hertogenbosch, the Netherlands","end_date":"2018-10-26"},"type":"conference","department":[{"_id":"355"}],"file":[{"date_created":"2018-11-06T15:23:02Z","creator":"wever","file_id":"5385","content_type":"application/pdf","success":1,"file_name":"Mohr2018_Chapter_ReductionStumpsForMulti-classC.pdf","access_level":"closed","file_size":1348768,"relation":"main_file","date_updated":"2018-11-06T15:23:02Z"}],"date_created":"2018-07-13T15:29:15Z","publication":"Proceedings of the Symposium on Intelligent Data Analysis","doi":"10.1007/978-3-030-01768-2_19","main_file_link":[{"open_access":"1","url":"https://link.springer.com/chapter/10.1007%2F978-3-030-01768-2_19"}],"language":[{"iso":"eng"}],"publication_status":"accepted","date_updated":"2022-01-06T06:59:25Z","year":"2018","title":"Reduction Stumps for Multi-Class Classification","author":[{"full_name":"Mohr, Felix","last_name":"Mohr","first_name":"Felix"},{"orcid":" https://orcid.org/0000-0001-9782-6818","first_name":"Marcel Dominik","last_name":"Wever","full_name":"Wever, Marcel Dominik","id":"33176"},{"full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke","id":"48129"}]},{"has_accepted_license":"1","status":"public","ddc":["000"],"user_id":"49051","page":"6","_id":"3586","project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"file_date_updated":"2018-07-20T14:13:31Z","citation":{"mla":"Witschen, Linus Matthias, et al. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.” <i>Third Workshop on Approximate Computing (AxC 2018)</i>.","ama":"Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. <i>Third Workshop on Approximate Computing (AxC 2018)</i>.","bibtex":"@article{Witschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner, title={CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation}, journal={Third Workshop on Approximate Computing (AxC 2018)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais, Muhammad and Platzner, Marco} }","apa":"Witschen, L. M., Wiersema, T., Ghasemzadeh Mohammadi, H., Awais, M., &#38; Platzner, M. (n.d.). CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. <i>Third Workshop on Approximate Computing (AxC 2018)</i>.","ieee":"L. M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, and M. Platzner, “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation,” <i>Third Workshop on Approximate Computing (AxC 2018)</i>. .","short":"L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (n.d.).","chicago":"Witschen, Linus Matthias, Tobias Wiersema, Hassan Ghasemzadeh Mohammadi, Muhammad Awais, and Marco Platzner. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.” <i>Third Workshop on Approximate Computing (AxC 2018)</i>, n.d."},"date_updated":"2022-01-06T06:59:26Z","publication_status":"accepted","title":"CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation","year":"2018","author":[{"last_name":"Witschen","first_name":"Linus Matthias","full_name":"Witschen, Linus Matthias","id":"49051"},{"id":"3118","full_name":"Wiersema, Tobias","last_name":"Wiersema","first_name":"Tobias"},{"last_name":"Ghasemzadeh Mohammadi","first_name":"Hassan","full_name":"Ghasemzadeh Mohammadi, Hassan","id":"61186"},{"first_name":"Muhammad","orcid":"https://orcid.org/0000-0003-4148-2969","last_name":"Awais","full_name":"Awais, Muhammad","id":"64665"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Existing approaches and tools for the generation of approximate circuits often lack generality and are restricted to certain circuit types, approximation techniques, and quality assurance methods. Moreover, only few tools are publicly available. This hinders the development and evaluation of new techniques for approximating circuits and their comparison to previous approaches. In this paper, we first analyze and classify related approaches and then present CIRCA, our flexible framework for search-based approximate circuit generation. CIRCA is developed with a focus on modularity and extensibility. We present the architecture of CIRCA with its clear separation into stages and functional blocks, report on the current prototype, and show initial experiments."}],"publication":"Third Workshop on Approximate Computing (AxC 2018)","type":"preprint","keyword":["Approximate Computing","Framework","Pareto Front","Accuracy"],"department":[{"_id":"78"}],"file":[{"relation":"main_file","date_updated":"2018-07-20T14:13:31Z","file_name":"WitschenWMAP2018.pdf","access_level":"closed","file_size":285348,"file_id":"3587","content_type":"application/pdf","success":1,"creator":"tobias82","date_created":"2018-07-20T14:13:31Z"}],"date_created":"2018-07-20T14:10:46Z"},{"date_created":"2018-07-23T07:12:03Z","file":[{"date_updated":"2022-01-06T06:59:26Z","relation":"main_file","embargo":"2019-09-03","access_level":"request","file_size":252186,"file_name":"2018-08 Afzal - ASAP Proceedings - Solving Maxwell equations with modern C++ and SYCL.pdf","content_type":"application/pdf","file_id":"3986","embargo_to":"open_access","creator":"fossie","date_created":"2018-08-21T10:12:05Z"}],"department":[{"_id":"61"}],"type":"conference","keyword":["tet_topic_hpc"],"publication":"Proceedings of the 29th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP)","abstract":[{"text":"In scientific computing, unstructured meshes are a crucial foundation for the simulation of real-world physical phenomena. Compared to regular grids, they allow resembling the computational domain with a much higher accuracy, which in turn leads to more efficient computations.<br />There exists a wealth of supporting libraries and frameworks that aid programmers with the implementation of applications working on such grids, each built on top of existing parallelization technologies. However, many approaches require the programmer to introduce a different programming paradigm into their application or provide different variants of the code. SYCL is a new programming standard providing a remedy to this dilemma by building on standard C ++17 with its so-called single-source approach: Programmers write standard C ++ code and expose parallelism using C++17 keywords. The application is<br />then transformed into a concrete implementation by the SYCL implementation. By encapsulating the OpenCL ecosystem, different SYCL implementations enable not only the programming of CPUs but also of heterogeneous platforms such as GPUs or other devices. For the first time, this paper showcases a SYCL-<br />based solver for the nodal Discontinuous Galerkin method for Maxwell’s equations on unstructured meshes. We compare our solution to a previous C-based implementation with respect to programmability and performance on heterogeneous platforms.<br","lang":"eng"}],"language":[{"iso":"eng"}],"doi":"10.1109/ASAP.2018.8445127","publication_identifier":{"isbn":["978-1-5386-7479-6"]},"author":[{"last_name":"Afzal","first_name":"Ayesha","full_name":"Afzal, Ayesha"},{"full_name":"Schmitt, Christian","last_name":"Schmitt","first_name":"Christian"},{"id":"42456","full_name":"Alhaddad, Samer","last_name":"Alhaddad","first_name":"Samer"},{"first_name":"Yevgen","last_name":"Grynko","full_name":"Grynko, Yevgen","id":"26059"},{"full_name":"Teich, Jürgen","first_name":"Jürgen","last_name":"Teich"},{"full_name":"Förstner, Jens","orcid":"0000-0001-7059-9862","first_name":"Jens","last_name":"Förstner","id":"158"},{"first_name":"Frank","last_name":"Hannig","full_name":"Hannig, Frank"}],"year":"2018","title":"Solving Maxwell's Equations with Modern C++ and SYCL: A Case Study","date_updated":"2022-01-06T06:59:26Z","citation":{"short":"A. Afzal, C. Schmitt, S. Alhaddad, Y. Grynko, J. Teich, J. Förstner, F. Hannig, in: Proceedings of the 29th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2018, pp. 49–56.","chicago":"Afzal, Ayesha, Christian Schmitt, Samer Alhaddad, Yevgen Grynko, Jürgen Teich, Jens Förstner, and Frank Hannig. “Solving Maxwell’s Equations with Modern C++ and SYCL: A Case Study.” In <i>Proceedings of the 29th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP)</i>, 49–56, 2018. <a href=\"https://doi.org/10.1109/ASAP.2018.8445127\">https://doi.org/10.1109/ASAP.2018.8445127</a>.","apa":"Afzal, A., Schmitt, C., Alhaddad, S., Grynko, Y., Teich, J., Förstner, J., &#38; Hannig, F. (2018). Solving Maxwell’s Equations with Modern C++ and SYCL: A Case Study. In <i>Proceedings of the 29th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP)</i> (pp. 49–56). <a href=\"https://doi.org/10.1109/ASAP.2018.8445127\">https://doi.org/10.1109/ASAP.2018.8445127</a>","ieee":"A. Afzal <i>et al.</i>, “Solving Maxwell’s Equations with Modern C++ and SYCL: A Case Study,” in <i>Proceedings of the 29th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP)</i>, 2018, pp. 49–56.","ama":"Afzal A, Schmitt C, Alhaddad S, et al. Solving Maxwell’s Equations with Modern C++ and SYCL: A Case Study. In: <i>Proceedings of the 29th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP)</i>. ; 2018:49-56. doi:<a href=\"https://doi.org/10.1109/ASAP.2018.8445127\">10.1109/ASAP.2018.8445127</a>","bibtex":"@inproceedings{Afzal_Schmitt_Alhaddad_Grynko_Teich_Förstner_Hannig_2018, title={Solving Maxwell’s Equations with Modern C++ and SYCL: A Case Study}, DOI={<a href=\"https://doi.org/10.1109/ASAP.2018.8445127\">10.1109/ASAP.2018.8445127</a>}, booktitle={Proceedings of the 29th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP)}, author={Afzal, Ayesha and Schmitt, Christian and Alhaddad, Samer and Grynko, Yevgen and Teich, Jürgen and Förstner, Jens and Hannig, Frank}, year={2018}, pages={49–56} }","mla":"Afzal, Ayesha, et al. “Solving Maxwell’s Equations with Modern C++ and SYCL: A Case Study.” <i>Proceedings of the 29th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP)</i>, 2018, pp. 49–56, doi:<a href=\"https://doi.org/10.1109/ASAP.2018.8445127\">10.1109/ASAP.2018.8445127</a>."},"file_date_updated":"2022-01-06T06:59:26Z","project":[{"name":"HighPerMeshes","grant_number":"01|H16005","_id":"33"},{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"_id":"3588","page":"49-56","ddc":["004"],"user_id":"158","status":"public","has_accepted_license":"1"},{"supervisor":[{"full_name":"Kaufmann, Paul","last_name":"Kaufmann","first_name":"Paul"},{"id":"398","last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco"}],"citation":{"short":"N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.","chicago":"Ho, Nam. <i>FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization</i>. Universität Paderborn, 2018. <a href=\"https://doi.org/10.17619/UNIPB/1-376\">https://doi.org/10.17619/UNIPB/1-376</a>.","apa":"Ho, N. (2018). <i>FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-376\">https://doi.org/10.17619/UNIPB/1-376</a>","ieee":"N. Ho, <i>FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization</i>. Universität Paderborn, 2018.","ama":"Ho N. <i>FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization</i>. Universität Paderborn; 2018. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-376\">10.17619/UNIPB/1-376</a>","bibtex":"@book{Ho_2018, title={FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-376\">10.17619/UNIPB/1-376</a>}, publisher={Universität Paderborn}, author={Ho, Nam}, year={2018} }","mla":"Ho, Nam. <i>FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization</i>. Universität Paderborn, 2018, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-376\">10.17619/UNIPB/1-376</a>."},"project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"}],"abstract":[{"text":"Traditional cache design uses a consolidated block of memory address bits to index a cache set, equivalent to the use of modulo functions. While this module-based mapping scheme is widely used in contemporary cache structures due to the simplicity of its hardware design and its good performance for sequences of consecutive addresses, its use may not be satisfactory for a variety of application domains having different characteristics.This thesis presents a new type of cache mapping scheme, motivated by programmable capabilities combined with Nature-inspired optimization of reconfigurable hardware. This research has focussed on an FPGA-based evolvable cache structure of the first level cache in a multi-core processor architecture, able to dynamically change cache indexing. To solve the challenge of reconfigurable cache mappings, a programmable Boolean circuit based on a combination of Look-up Table (LUT) memory elements is proposed. Focusing on optimization aspects at the system level, a Performance Measurement Infrastructure is introduced that is able to monitor the underlying microarchitectural metrics, and an adaptive evaluation strategy is presented that leverages on Evolutionary Algorithms, that is not only capable of evolving application-specific address-to-cache-index mappings for level one split caches but also of reducing optimization times. Putting this all together and prototyping in an FPGA for a LEON3/Linux-based multi-core processor, the creation of a system architecture reduces cache misses and improves performance over the use of conventional caches.","lang":"eng"},{"lang":"ger","text":"Traditionelle Cachedesigns verwenden konsolidierte Blöcke von Speicheradressbits um einen Cachesatz zu indizieren, vergleichbar mit der Anwendung einer Modulofunktion. Obwohl dieses modulobasierte Abbildungsschema in heutigen Cachestrukturen weit verbreitet ist, vor allem wegen seiner einfachen Anforderungen an das Hardwaredesign und seiner Effizienz für die Indizierung eufeinanderfolgender Speicheradressen, kann seine Verwendung für eine Vielzahl von Anwendungsdomänen mit unterschiedlichen Charakteristiken zu suboptimalen Ergebnissen führen. Diese Dissertation präsentiert einen neuen Typ von Cacheabbildungsschema, motiviert durch die Kombination programmierbarer Ressourcen mit der naturinspirierten Optimierung rekonfigurierbarer Hardware. Im Fokus dieser Forschung steht eine FPGA-basierte Cachestruktur für den first level Cache einer Mehrkernprozessorarchitektur, welche die Cacheindizierung dynamisch ändern kann. Um die Herausforderung rekonfigurierbarer Cacheabbildungen zu lösen, wird eine reprogrammierbare Boolesche Schaltung eingeführt, die auf Look-up Table (LUT) Speicherelementen basiert. Weiterhin wird eine Infrastruktur zur Effizienzmessung eingeführt, welche die zugrundeliege Mikroarchitektur überwachen kann, sowie eine adaptive Evaluationsstrategie präsentiert, die evolutionäre Algorithmen wirksam einsetzt, und die nicht nur anwendungsspezifische Abbildungen von Speicheradressen zu Cacheindizes für level one Caches evolvieren sondern dabei auch die Optimierungszeiten reduzieren kann. All diese Aspekte zusammen in einer prototypischen Implementierung auf einem FPGA für einen LEON3/Linux-basierten Mehrkernprozessor zeigen, dass evolvierbare Cacheabbildungsfunktionen Cache Misses reduzieren, sowie die Effizienz im Vergleich zu konventionellen Caches erhöhen können."}],"date_created":"2018-07-27T06:41:13Z","department":[{"_id":"78"}],"type":"dissertation","author":[{"full_name":"Ho, Nam","last_name":"Ho","first_name":"Nam"}],"year":"2018","title":"FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization","status":"public","date_updated":"2022-01-06T06:59:31Z","publication_status":"published","_id":"3720","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"page":"139","doi":"10.17619/UNIPB/1-376","user_id":"477"},{"language":[{"iso":"eng"}],"doi":"10.1364/OE.26.018621","author":[{"full_name":"Ebers, Lena","first_name":"Lena","last_name":"Ebers","id":"40428"},{"full_name":"Hammer, Manfred","last_name":"Hammer","first_name":"Manfred","orcid":"0000-0002-6331-9348","id":"48077"},{"full_name":"Förstner, Jens","first_name":"Jens","orcid":"0000-0001-7059-9862","last_name":"Förstner","id":"158"}],"title":"Oblique incidence of semi-guided planar waves on slab waveguide steps: effects of rounded edges","year":"2018","article_type":"letter_note","intvolume":"        26","publication_status":"published","date_updated":"2022-01-06T06:59:33Z","date_created":"2018-08-01T09:31:03Z","file":[{"file_id":"3741","content_type":"application/pdf","file_name":"2018-07 Ebers_Hammer_Förstner_OpticsExpress_Oblique incidence of semi guided planar waves on slab waveguide steps_Rounded Edges.pdf","file_size":6193865,"access_level":"open_access","relation":"main_file","date_updated":"2018-08-01T09:30:58Z","date_created":"2018-08-01T09:30:58Z","creator":"hclaudia"}],"department":[{"_id":"61"}],"keyword":["tet_topic_waveguide"],"type":"journal_article","publication":"Optics Express","issue":"14","abstract":[{"text":"Oblique propagation of semi-guided waves across slab waveguide structures with bent corners is investigated. A critical angle can be defined beyond which all radiation losses are suppressed. Additionally an increase of the curvature radius of the bends also leads to low-loss configurations for incidence angles below that critical angle. A combination of two bent corner systems represents a step-like structure, behaving like a Fabry-Perot interferometer, with two partial reflectors separated by the vertical height between the horizontal slabs. We numerically analyse typical high-index-contrast Si/SiO2 structures for their reflectance and transmittance properties. When increasing the curvature radius the resonant effect becomes less relevant such that full transmittance is reached with less critical conditions on the vertical distance or the incidence angle. For practical interest 3-D problems are considered, where the structures are excited by the fundamental mode of a wide, shallow rib waveguide. High transmittance levels can be observed also for these 3-D configurations depending on the width of the rib.","lang":"eng"}],"urn":"37409","_id":"3740","publisher":"OSA Publishing","page":"18621-18632","volume":26,"user_id":"158","ddc":["620"],"status":"public","has_accepted_license":"1","oa":"1","citation":{"ieee":"L. Ebers, M. Hammer, and J. Förstner, “Oblique incidence of semi-guided planar waves on slab waveguide steps: effects of rounded edges,” <i>Optics Express</i>, vol. 26, no. 14, pp. 18621–18632, 2018.","mla":"Ebers, Lena, et al. “Oblique Incidence of Semi-Guided Planar Waves on Slab Waveguide Steps: Effects of Rounded Edges.” <i>Optics Express</i>, vol. 26, no. 14, OSA Publishing, 2018, pp. 18621–32, doi:<a href=\"https://doi.org/10.1364/OE.26.018621\">10.1364/OE.26.018621</a>.","apa":"Ebers, L., Hammer, M., &#38; Förstner, J. (2018). Oblique incidence of semi-guided planar waves on slab waveguide steps: effects of rounded edges. <i>Optics Express</i>, <i>26</i>(14), 18621–18632. <a href=\"https://doi.org/10.1364/OE.26.018621\">https://doi.org/10.1364/OE.26.018621</a>","bibtex":"@article{Ebers_Hammer_Förstner_2018, title={Oblique incidence of semi-guided planar waves on slab waveguide steps: effects of rounded edges}, volume={26}, DOI={<a href=\"https://doi.org/10.1364/OE.26.018621\">10.1364/OE.26.018621</a>}, number={14}, journal={Optics Express}, publisher={OSA Publishing}, author={Ebers, Lena and Hammer, Manfred and Förstner, Jens}, year={2018}, pages={18621–18632} }","ama":"Ebers L, Hammer M, Förstner J. Oblique incidence of semi-guided planar waves on slab waveguide steps: effects of rounded edges. <i>Optics Express</i>. 2018;26(14):18621-18632. doi:<a href=\"https://doi.org/10.1364/OE.26.018621\">10.1364/OE.26.018621</a>","short":"L. Ebers, M. Hammer, J. Förstner, Optics Express 26 (2018) 18621–18632.","chicago":"Ebers, Lena, Manfred Hammer, and Jens Förstner. “Oblique Incidence of Semi-Guided Planar Waves on Slab Waveguide Steps: Effects of Rounded Edges.” <i>Optics Express</i> 26, no. 14 (2018): 18621–32. <a href=\"https://doi.org/10.1364/OE.26.018621\">https://doi.org/10.1364/OE.26.018621</a>."},"file_date_updated":"2018-08-01T09:30:58Z","project":[{"_id":"56","name":"TRR 142 - Project Area C"},{"name":"TRR 142","_id":"53"},{"name":"TRR 142 - Subproject C5","_id":"75"}]},{"page":"2545-2555","main_file_link":[{"url":"https://www.aclweb.org/anthology/P18-1237.pdf"}],"_id":"3804","language":[{"iso":"eng"}],"user_id":"82920","title":"Modeling Deliberative Argumentation Strategies on Wikipedia","year":"2018","status":"public","author":[{"first_name":"Khalid","last_name":"Al Khatib","full_name":"Al Khatib, Khalid"},{"id":"3900","last_name":"Wachsmuth","first_name":"Henning","full_name":"Wachsmuth, Henning"},{"first_name":"Kevin","last_name":"Lang","full_name":"Lang, Kevin"},{"last_name":"Herpel","first_name":"Jakob","full_name":"Herpel, Jakob"},{"full_name":"Hagen, Matthias","first_name":"Matthias","last_name":"Hagen"},{"full_name":"Stein, Benno","last_name":"Stein","first_name":"Benno"}],"date_updated":"2022-01-06T06:59:36Z","date_created":"2018-08-02T13:38:27Z","type":"conference","department":[{"_id":"568"},{"_id":"600"}],"publication":"Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","citation":{"ieee":"K. Al Khatib, H. Wachsmuth, K. Lang, J. Herpel, M. Hagen, and B. Stein, “Modeling Deliberative Argumentation Strategies on Wikipedia,” in <i>Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)</i>, 2018, pp. 2545–2555.","mla":"Al Khatib, Khalid, et al. “Modeling Deliberative Argumentation Strategies on Wikipedia.” <i>Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)</i>, 2018, pp. 2545–55.","apa":"Al Khatib, K., Wachsmuth, H., Lang, K., Herpel, J., Hagen, M., &#38; Stein, B. (2018). Modeling Deliberative Argumentation Strategies on Wikipedia. In <i>Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)</i> (pp. 2545–2555).","bibtex":"@inproceedings{Al Khatib_Wachsmuth_Lang_Herpel_Hagen_Stein_2018, title={Modeling Deliberative Argumentation Strategies on Wikipedia}, booktitle={Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)}, author={Al Khatib, Khalid and Wachsmuth, Henning and Lang, Kevin and Herpel, Jakob and Hagen, Matthias and Stein, Benno}, year={2018}, pages={2545–2555} }","chicago":"Al Khatib, Khalid, Henning Wachsmuth, Kevin Lang, Jakob Herpel, Matthias Hagen, and Benno Stein. “Modeling Deliberative Argumentation Strategies on Wikipedia.” In <i>Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)</i>, 2545–55, 2018.","short":"K. Al Khatib, H. Wachsmuth, K. Lang, J. Herpel, M. Hagen, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 2545–2555.","ama":"Al Khatib K, Wachsmuth H, Lang K, Herpel J, Hagen M, Stein B. Modeling Deliberative Argumentation Strategies on Wikipedia. In: <i>Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)</i>. ; 2018:2545-2555."}},{"status":"public","year":"2018","title":"Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation","author":[{"first_name":"Ivan","last_name":"Habernal","full_name":"Habernal, Ivan"},{"id":"3900","full_name":"Wachsmuth, Henning","last_name":"Wachsmuth","first_name":"Henning"},{"last_name":"Gurevych","first_name":"Iryna","full_name":"Gurevych, Iryna"},{"first_name":"Benno","last_name":"Stein","full_name":"Stein, Benno"}],"date_updated":"2022-01-06T06:59:36Z","main_file_link":[{"url":"https://www.aclweb.org/anthology/N18-1036.pdf"}],"page":"386-396","language":[{"iso":"eng"}],"_id":"3806","user_id":"82920","publication":"Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)","citation":{"ama":"Habernal I, Wachsmuth H, Gurevych I, Stein B. Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation. In: <i>Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)</i>. ; 2018:386-396.","bibtex":"@inproceedings{Habernal_Wachsmuth_Gurevych_Stein_2018, title={Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation}, booktitle={Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)}, author={Habernal, Ivan and Wachsmuth, Henning and Gurevych, Iryna and Stein, Benno}, year={2018}, pages={386–396} }","mla":"Habernal, Ivan, et al. “Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation.” <i>Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)</i>, 2018, pp. 386–96.","short":"I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, 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, pp. 386–396.","chicago":"Habernal, Ivan, Henning Wachsmuth, Iryna Gurevych, and Benno Stein. “Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation.” In <i>Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)</i>, 386–96, 2018.","apa":"Habernal, I., Wachsmuth, H., Gurevych, I., &#38; Stein, B. (2018). Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation. In <i>Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)</i> (pp. 386–396).","ieee":"I. Habernal, H. Wachsmuth, I. Gurevych, and B. Stein, “Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation,” in <i>Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)</i>, 2018, pp. 386–396."},"date_created":"2018-08-02T13:38:29Z","type":"conference","department":[{"_id":"568"},{"_id":"600"}]},{"date_created":"2018-08-02T13:38:31Z","type":"conference","department":[{"_id":"600"}],"publication":"Proceedings of The 12th International Workshop on Semantic Evaluation","citation":{"mla":"Habernal, Ivan, et al. “SemEval-2018 Task 12: The Argument Reasoning Comprehension Task.” <i>Proceedings of The 12th International Workshop on Semantic Evaluation</i>, 2018, pp. 763–72.","ama":"Habernal I, Wachsmuth H, Gurevych I, Stein B. SemEval-2018 Task 12: The Argument Reasoning Comprehension Task. In: <i>Proceedings of The 12th International Workshop on Semantic Evaluation</i>. ; 2018:763-772.","bibtex":"@inproceedings{Habernal_Wachsmuth_Gurevych_Stein_2018, title={SemEval-2018 Task 12: The Argument Reasoning Comprehension Task}, booktitle={Proceedings of The 12th International Workshop on Semantic Evaluation}, author={Habernal, Ivan and Wachsmuth, Henning and Gurevych, Iryna and Stein, Benno}, year={2018}, pages={763–772} }","apa":"Habernal, I., Wachsmuth, H., Gurevych, I., &#38; Stein, B. (2018). SemEval-2018 Task 12: The Argument Reasoning Comprehension Task. In <i>Proceedings of The 12th International Workshop on Semantic Evaluation</i> (pp. 763–772).","ieee":"I. Habernal, H. Wachsmuth, I. Gurevych, and B. Stein, “SemEval-2018 Task 12: The Argument Reasoning Comprehension Task,” in <i>Proceedings of The 12th International Workshop on Semantic Evaluation</i>, 2018, pp. 763–772.","chicago":"Habernal, Ivan, Henning Wachsmuth, Iryna Gurevych, and Benno Stein. “SemEval-2018 Task 12: The Argument Reasoning Comprehension Task.” In <i>Proceedings of The 12th International Workshop on Semantic Evaluation</i>, 763–72, 2018.","short":"I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of The 12th International Workshop on Semantic Evaluation, 2018, pp. 763–772."},"main_file_link":[{"url":"https://www.aclweb.org/anthology/S18-1121.pdf"}],"page":"763-772","language":[{"iso":"eng"}],"_id":"3807","user_id":"82920","status":"public","title":"SemEval-2018 Task 12: The Argument Reasoning Comprehension Task","year":"2018","author":[{"first_name":"Ivan","last_name":"Habernal","full_name":"Habernal, Ivan"},{"id":"3900","last_name":"Wachsmuth","first_name":"Henning","full_name":"Wachsmuth, Henning"},{"full_name":"Gurevych, Iryna","last_name":"Gurevych","first_name":"Iryna"},{"first_name":"Benno","last_name":"Stein","full_name":"Stein, Benno"}],"date_updated":"2022-01-06T06:59:36Z"},{"publication":"Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","citation":{"apa":"Wachsmuth, H., Syed, S., &#38; Stein, B. (2018). Retrieval of the Best Counterargument without Prior Topic Knowledge. In <i>Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)</i> (pp. 241–251).","ieee":"H. Wachsmuth, S. Syed, and B. Stein, “Retrieval of the Best Counterargument without Prior Topic Knowledge,” in <i>Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)</i>, 2018, pp. 241–251.","chicago":"Wachsmuth, Henning, Shahbaz Syed, and Benno Stein. “Retrieval of the Best Counterargument without Prior Topic Knowledge.” In <i>Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)</i>, 241–51, 2018.","short":"H. Wachsmuth, S. Syed, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 241–251.","mla":"Wachsmuth, Henning, et al. “Retrieval of the Best Counterargument without Prior Topic Knowledge.” <i>Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)</i>, 2018, pp. 241–51.","ama":"Wachsmuth H, Syed S, Stein B. Retrieval of the Best Counterargument without Prior Topic Knowledge. In: <i>Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)</i>. ; 2018:241-251.","bibtex":"@inproceedings{Wachsmuth_Syed_Stein_2018, title={Retrieval of the Best Counterargument without Prior Topic Knowledge}, booktitle={Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)}, author={Wachsmuth, Henning and Syed, Shahbaz and Stein, Benno}, year={2018}, pages={241–251} }"},"date_created":"2018-08-02T13:38:50Z","type":"conference","department":[{"_id":"568"},{"_id":"600"}],"year":"2018","status":"public","title":"Retrieval of the Best Counterargument without Prior Topic Knowledge","author":[{"full_name":"Wachsmuth, Henning","first_name":"Henning","last_name":"Wachsmuth","id":"3900"},{"last_name":"Syed","first_name":"Shahbaz","full_name":"Syed, Shahbaz"},{"last_name":"Stein","first_name":"Benno","full_name":"Stein, Benno"}],"date_updated":"2022-01-06T06:59:37Z","main_file_link":[{"url":"https://www.aclweb.org/anthology/P18-1023.pdf"}],"page":"241-251","_id":"3821","language":[{"iso":"eng"}],"user_id":"82920"},{"citation":{"short":"S. Koop, Congestion Games mit gewichteten Strategien, Universität Paderborn, 2018.","chicago":"Koop, Samuel. <i>Congestion Games mit gewichteten Strategien</i>. Universität Paderborn, 2018.","ieee":"S. Koop, <i>Congestion Games mit gewichteten Strategien</i>. Universität Paderborn, 2018.","apa":"Koop, S. (2018). <i>Congestion Games mit gewichteten Strategien</i>. Universität Paderborn.","bibtex":"@book{Koop_2018, title={Congestion Games mit gewichteten Strategien}, publisher={Universität Paderborn}, author={Koop, Samuel}, year={2018} }","ama":"Koop S. <i>Congestion Games mit gewichteten Strategien</i>. Universität Paderborn; 2018.","mla":"Koop, Samuel. <i>Congestion Games mit gewichteten Strategien</i>. Universität Paderborn, 2018."},"supervisor":[{"last_name":"Skopalik","first_name":"Alexander","full_name":"Skopalik, Alexander","id":"40384"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area A","_id":"2"},{"_id":"7","name":"SFB 901 - Subproject A3"}],"date_created":"2018-08-08T11:56:37Z","type":"bachelorsthesis","department":[{"_id":"541"},{"_id":"63"}],"title":"Congestion Games mit gewichteten Strategien","status":"public","year":"2018","author":[{"first_name":"Samuel","last_name":"Koop","full_name":"Koop, Samuel"}],"date_updated":"2022-01-06T06:59:45Z","_id":"3851","language":[{"iso":"ger"}],"publisher":"Universität Paderborn","user_id":"14052"},{"conference":{"name":"ICML 2018 AutoML Workshop","start_date":"2018-07-10","location":"Stockholm, Sweden","end_date":"2018-07-15"},"status":"public","has_accepted_license":"1","_id":"3852","urn":"38527","ddc":["006"],"user_id":"49109","citation":{"chicago":"Wever, Marcel Dominik, Felix Mohr, and Eyke Hüllermeier. “ML-Plan for Unlimited-Length Machine Learning Pipelines.” In <i>ICML 2018 AutoML Workshop</i>, 2018.","short":"M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.","apa":"Wever, M. D., Mohr, F., &#38; Hüllermeier, E. (2018). ML-Plan for Unlimited-Length Machine Learning Pipelines. In <i>ICML 2018 AutoML Workshop</i>. Stockholm, Sweden.","ieee":"M. D. Wever, F. Mohr, and E. Hüllermeier, “ML-Plan for Unlimited-Length Machine Learning Pipelines,” in <i>ICML 2018 AutoML Workshop</i>, Stockholm, Sweden, 2018.","ama":"Wever MD, Mohr F, Hüllermeier E. ML-Plan for Unlimited-Length Machine Learning Pipelines. In: <i>ICML 2018 AutoML Workshop</i>. ; 2018.","bibtex":"@inproceedings{Wever_Mohr_Hüllermeier_2018, title={ML-Plan for Unlimited-Length Machine Learning Pipelines}, booktitle={ICML 2018 AutoML Workshop}, author={Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2018} }","mla":"Wever, Marcel Dominik, et al. “ML-Plan for Unlimited-Length Machine Learning Pipelines.” <i>ICML 2018 AutoML Workshop</i>, 2018."},"file_date_updated":"2018-08-09T06:14:43Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"10","name":"SFB 901 - Subproject B2"}],"quality_controlled":"1","oa":"1","author":[{"first_name":"Marcel Dominik","orcid":" https://orcid.org/0000-0001-9782-6818","last_name":"Wever","full_name":"Wever, Marcel Dominik","id":"33176"},{"full_name":"Mohr, Felix","last_name":"Mohr","first_name":"Felix"},{"first_name":"Eyke","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke","id":"48129"}],"year":"2018","title":"ML-Plan for Unlimited-Length Machine Learning Pipelines","date_updated":"2022-01-06T06:59:46Z","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnxhdXRvbWwyMDE4aWNtbHxneDo3M2Q3MjUzYjViNDRhZTAx"}],"publication":"ICML 2018 AutoML Workshop","abstract":[{"text":"In automated machine learning (AutoML), the process of engineering machine learning applications with respect to a specific problem is (partially) automated.\r\nVarious AutoML tools have already been introduced to provide out-of-the-box machine learning functionality.\r\nMore specifically, by selecting machine learning algorithms and optimizing their hyperparameters, these tools produce a machine learning pipeline tailored to the problem at hand.\r\nExcept for TPOT, all of these tools restrict the maximum number of processing steps of such a pipeline.\r\nHowever, as TPOT follows an evolutionary approach, it suffers from performance issues when dealing with larger datasets.\r\nIn this paper, we present an alternative approach leveraging a hierarchical planning to configure machine learning pipelines that are unlimited in length.\r\nWe evaluate our approach and find its performance to be competitive with other AutoML tools, including TPOT.","lang":"eng"}],"date_created":"2018-08-09T06:14:54Z","file":[{"date_created":"2018-08-09T06:14:43Z","creator":"wever","file_id":"3853","content_type":"application/pdf","relation":"main_file","date_updated":"2018-08-09T06:14:43Z","file_name":"38.pdf","file_size":297811,"access_level":"open_access"}],"department":[{"_id":"355"}],"type":"conference","keyword":["automated machine learning","complex pipelines","hierarchical planning"]},{"date_created":"2018-08-10T10:03:47Z","department":[{"_id":"79"}],"type":"conference_editor","citation":{"ama":"Scheideler C, Fineman JT, eds. <i>Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures</i>. ACM; 2018.","bibtex":"@book{Scheideler_Fineman_2018, title={Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures}, publisher={ACM}, year={2018} }","mla":"Scheideler, Christian, and Jeremy T. Fineman, editors. <i>Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures</i>. ACM, 2018.","chicago":"Scheideler, Christian, and Jeremy T. Fineman, eds. <i>Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures</i>. ACM, 2018.","short":"C. Scheideler, J.T. Fineman, eds., Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, ACM, 2018.","apa":"Scheideler, C., &#38; Fineman, J. T. (Eds.). (2018). <i>Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures</i>. Vienna, Austria: ACM.","ieee":"C. Scheideler and J. T. Fineman, Eds., <i>Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures</i>. ACM, 2018."},"_id":"3874","publisher":"ACM","editor":[{"last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian","id":"20792"},{"first_name":"Jeremy T.","last_name":"Fineman","full_name":"Fineman, Jeremy T."}],"user_id":"15504","publication_identifier":{"isbn":["978-1-4503-5799-9"]},"conference":{"location":"Vienna, Austria"},"year":"2018","title":"Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures","status":"public","date_updated":"2022-01-06T06:59:47Z"}]