[{"ddc":["000"],"keyword":["Deep Learning","Natural Language Processing","Aspect-based Sentiment Analysis"],"language":[{"iso":"eng"}],"publication":"Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) -- Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020)","abstract":[{"text":"This paper deals with aspect phrase extraction and classification in sentiment analysis. We summarize current approaches and datasets from the domain of aspect-based sentiment analysis. This domain detects sentiments expressed for individual aspects in unstructured text data. So far, mainly commercial user reviews for products or services such as restaurants were investigated. We here present our dataset consisting of German physician reviews, a sensitive and linguistically complex field. Furthermore, we describe the annotation process of a dataset for supervised learning with neural networks. Moreover, we introduce our model for extracting and classifying aspect phrases in one step, which obtains an F1-score of 80%. By applying it to a more complex domain, our approach and results outperform previous approaches.","lang":"eng"}],"file":[{"content_type":"application/pdf","relation":"main_file","success":1,"date_created":"2020-09-18T09:27:00Z","creator":"jkers","date_updated":"2020-09-18T09:27:00Z","file_id":"19576","access_level":"closed","file_name":"Kersting & Geierhos (2020), Kersting2020.pdf","file_size":421780}],"publisher":"SCITEPRESS","date_created":"2020-01-15T08:35:07Z","title":"Aspect Phrase Extraction in Sentiment Analysis with Deep Learning","year":"2020","project":[{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subproject B1","_id":"9"}],"_id":"15580","user_id":"58701","department":[{"_id":"579"}],"file_date_updated":"2020-09-18T09:27:00Z","type":"conference","status":"public","date_updated":"2022-01-06T06:52:29Z","author":[{"last_name":"Kersting","id":"58701","full_name":"Kersting, Joschka","first_name":"Joschka"},{"last_name":"Geierhos","orcid":"0000-0002-8180-5606","id":"42496","full_name":"Geierhos, Michaela","first_name":"Michaela"}],"conference":{"location":"Valetta, Malta","name":"International Conference on Agents and Artificial Intelligence (ICAART) -- Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI)"},"has_accepted_license":"1","place":"Setúbal, Portugal","citation":{"apa":"Kersting, J., & Geierhos, M. (2020). Aspect Phrase Extraction in Sentiment Analysis with Deep Learning. In Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) --  Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020) (pp. 391--400). Setúbal, Portugal: SCITEPRESS.","mla":"Kersting, Joschka, and Michaela Geierhos. “Aspect Phrase Extraction in Sentiment Analysis with Deep Learning.” Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) --  Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020), SCITEPRESS, 2020, pp. 391--400.","bibtex":"@inproceedings{Kersting_Geierhos_2020, place={Setúbal, Portugal}, title={Aspect Phrase Extraction in Sentiment Analysis with Deep Learning}, booktitle={Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) --  Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020)}, publisher={SCITEPRESS}, author={Kersting, Joschka and Geierhos, Michaela}, year={2020}, pages={391--400} }","short":"J. Kersting, M. Geierhos, in: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) --  Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020), SCITEPRESS, Setúbal, Portugal, 2020, pp. 391--400.","chicago":"Kersting, Joschka, and Michaela Geierhos. “Aspect Phrase Extraction in Sentiment Analysis with Deep Learning.” In Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) --  Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020), 391--400. Setúbal, Portugal: SCITEPRESS, 2020.","ieee":"J. Kersting and M. Geierhos, “Aspect Phrase Extraction in Sentiment Analysis with Deep Learning,” in Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) --  Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020), Valetta, Malta, 2020, pp. 391--400.","ama":"Kersting J, Geierhos M. Aspect Phrase Extraction in Sentiment Analysis with Deep Learning. In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) --  Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020). Setúbal, Portugal: SCITEPRESS; 2020:391--400."},"page":"391--400"},{"date_updated":"2022-01-06T06:52:19Z","author":[{"first_name":"Joschka","full_name":"Kersting, Joschka","id":"58701","last_name":"Kersting"},{"first_name":"Michaela","orcid":"0000-0002-8180-5606","last_name":"Geierhos","id":"42496","full_name":"Geierhos, Michaela"}],"conference":{"location":"Valetta, Malta","name":"International Conference on Pattern Recognition Applications and Methods (ICPRAM)"},"has_accepted_license":"1","place":"Setúbal, Portugal","page":"263--272","citation":{"ieee":"J. Kersting and M. Geierhos, “What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers,” in Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, Valetta, Malta, 2020, pp. 263--272.","chicago":"Kersting, Joschka, and Michaela Geierhos. “What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers.” In Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, 263--272. Setúbal, Portugal: SCITEPRESS, 2020.","ama":"Kersting J, Geierhos M. What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers. In: Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods. Setúbal, Portugal: SCITEPRESS; 2020:263--272.","apa":"Kersting, J., & Geierhos, M. (2020). What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers. In Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods (pp. 263--272). Setúbal, Portugal: SCITEPRESS.","short":"J. Kersting, M. Geierhos, in: Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, SCITEPRESS, Setúbal, Portugal, 2020, pp. 263--272.","bibtex":"@inproceedings{Kersting_Geierhos_2020, place={Setúbal, Portugal}, title={What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers}, booktitle={Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods}, publisher={SCITEPRESS}, author={Kersting, Joschka and Geierhos, Michaela}, year={2020}, pages={263--272} }","mla":"Kersting, Joschka, and Michaela Geierhos. “What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers.” Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, SCITEPRESS, 2020, pp. 263--272."},"_id":"15256","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"department":[{"_id":"579"}],"user_id":"58701","file_date_updated":"2020-09-18T09:27:41Z","type":"conference","status":"public","publisher":"SCITEPRESS","date_created":"2019-12-06T13:09:42Z","title":"What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers","year":"2020","keyword":["Customer Reviews","Sentiment Analysis","Online Labour Markets"],"ddc":["000"],"language":[{"iso":"eng"}],"publication":"Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods","abstract":[{"text":"This paper deals with online customer reviews of local multi-service providers. While many studies investigate product reviews and online labour markets with service providers delivering intangible products “over the wire”, we focus on websites where providers offer multiple distinct services that can be booked, paid and reviewed online but are performed locally offline. This type of service providers has so far been neglected in the literature. This paper analyses reviews and applies sentiment analysis. It aims to gain new insights into local multi-service providers’ performance. There is a broad literature range presented with regard to the topics addressed. The results show, among other things, that providers with good ratings continue to perform well over time. We find that many positive reviews seem to encourage sales. On average, quantitative star ratings and qualitative ratings in the form of review texts match. Further results are also achieved in this study.","lang":"eng"}],"file":[{"content_type":"application/pdf","relation":"main_file","success":1,"date_created":"2020-09-18T09:27:41Z","creator":"jkers","date_updated":"2020-09-18T09:27:41Z","file_name":"Kersting & Geierhos (2020c), Kersting2020c.pdf","access_level":"closed","file_id":"19577","file_size":963370}]},{"doi":"https://doi.org/10.1016/j.jajp.2020.100038","title":"Numerical analysis of the robustness of clinching process considering the pre-forming of the parts ","author":[{"first_name":"Christian Roman","last_name":"Bielak","id":"34782","full_name":"Bielak, Christian Roman"},{"last_name":"Böhnke","id":"45779","full_name":"Böhnke, Max","first_name":"Max"},{"last_name":"Beck","full_name":"Beck, Robert","id":"38279","first_name":"Robert"},{"id":"7850","full_name":"Bobbert, Mathias","last_name":"Bobbert","first_name":"Mathias"},{"first_name":"Gerson","full_name":"Meschut, Gerson","id":"32056","orcid":"0000-0002-2763-1246","last_name":"Meschut"}],"date_created":"2020-12-02T16:21:34Z","date_updated":"2022-03-24T09:39:11Z","publisher":"Elsevier","citation":{"bibtex":"@article{Bielak_Böhnke_Beck_Bobbert_Meschut_2020, title={Numerical analysis of the robustness of clinching process considering the pre-forming of the parts }, DOI={https://doi.org/10.1016/j.jajp.2020.100038}, journal={Journal of Advanced Joining Processes. }, publisher={Elsevier}, author={Bielak, Christian Roman and Böhnke, Max and Beck, Robert and Bobbert, Mathias and Meschut, Gerson}, year={2020} }","mla":"Bielak, Christian Roman, et al. “Numerical Analysis of the Robustness of Clinching Process Considering the Pre-Forming of the Parts .” Journal of Advanced Joining Processes. , Elsevier, 2020, doi:https://doi.org/10.1016/j.jajp.2020.100038.","short":"C.R. Bielak, M. Böhnke, R. Beck, M. Bobbert, G. Meschut, Journal of Advanced Joining Processes. (2020).","apa":"Bielak, C. R., Böhnke, M., Beck, R., Bobbert, M., & Meschut, G. (2020). Numerical analysis of the robustness of clinching process considering the pre-forming of the parts . Journal of Advanced Joining Processes. . https://doi.org/10.1016/j.jajp.2020.100038","ama":"Bielak CR, Böhnke M, Beck R, Bobbert M, Meschut G. Numerical analysis of the robustness of clinching process considering the pre-forming of the parts . Journal of Advanced Joining Processes . Published online 2020. doi:https://doi.org/10.1016/j.jajp.2020.100038","ieee":"C. R. Bielak, M. Böhnke, R. Beck, M. Bobbert, and G. Meschut, “Numerical analysis of the robustness of clinching process considering the pre-forming of the parts ,” Journal of Advanced Joining Processes. , 2020, doi: https://doi.org/10.1016/j.jajp.2020.100038.","chicago":"Bielak, Christian Roman, Max Böhnke, Robert Beck, Mathias Bobbert, and Gerson Meschut. “Numerical Analysis of the Robustness of Clinching Process Considering the Pre-Forming of the Parts .” Journal of Advanced Joining Processes. , 2020. https://doi.org/10.1016/j.jajp.2020.100038."},"year":"2020","publication_status":"published","publication_identifier":{"unknown":["https://doi.org/10.1016/j.jajp.2020.100038"]},"language":[{"iso":"eng"}],"keyword":["Clinching","process simulation","FEM","pre-straining","sensitivity analysis"],"user_id":"34782","department":[{"_id":"157"}],"project":[{"grant_number":"418701707","_id":"130","name":"TRR 285: TRR 285"},{"name":"TRR 285 - A: TRR 285 - Project Area A","_id":"131"},{"_id":"135","name":"TRR 285 – A01: TRR 285 - Subproject A01"}],"_id":"20678","status":"public","type":"journal_article","publication":"Journal of Advanced Joining Processes. "},{"abstract":[{"lang":"eng","text":"Dynamical systems often admit geometric properties that must be taken into account when studying their behavior. We show that many such properties can be encoded by means of quiver representations. These properties include classical symmetry, hidden symmetry, and feedforward structure, as well as subnetwork and quotient relations in network dynamical systems. A quiver equivariant dynamical system consists of a collection of dynamical systems with maps between them that send solutions to solutions. We prove that such quiver structures are preserved under Lyapunov--Schmidt reduction, center manifold reduction, and normal form reduction."}],"publication":"SIAM Journal on Applied Dynamical Systems","keyword":["Modeling and Simulation","Analysis"],"language":[{"iso":"eng"}],"external_id":{"arxiv":["2006.08073"]},"year":"2020","issue":"4","title":"Quiver Representations and Dimension Reduction in Dynamical Systems","publisher":"Society for Industrial & Applied Mathematics (SIAM)","date_created":"2022-09-06T11:37:42Z","status":"public","type":"journal_article","extern":"1","_id":"33263","user_id":"97359","page":"2428-2468","intvolume":" 19","citation":{"short":"E. Nijholt, B.W. Rink, S. Schwenker, SIAM Journal on Applied Dynamical Systems 19 (2020) 2428–2468.","mla":"Nijholt, Eddie, et al. “Quiver Representations and Dimension Reduction in Dynamical Systems.” SIAM Journal on Applied Dynamical Systems, vol. 19, no. 4, Society for Industrial & Applied Mathematics (SIAM), 2020, pp. 2428–68, doi:10.1137/20m1345670.","bibtex":"@article{Nijholt_Rink_Schwenker_2020, title={Quiver Representations and Dimension Reduction in Dynamical Systems}, volume={19}, DOI={10.1137/20m1345670}, number={4}, journal={SIAM Journal on Applied Dynamical Systems}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Nijholt, Eddie and Rink, Bob W. and Schwenker, Sören}, year={2020}, pages={2428–2468} }","apa":"Nijholt, E., Rink, B. W., & Schwenker, S. (2020). Quiver Representations and Dimension Reduction in Dynamical Systems. SIAM Journal on Applied Dynamical Systems, 19(4), 2428–2468. https://doi.org/10.1137/20m1345670","ieee":"E. Nijholt, B. W. Rink, and S. Schwenker, “Quiver Representations and Dimension Reduction in Dynamical Systems,” SIAM Journal on Applied Dynamical Systems, vol. 19, no. 4, pp. 2428–2468, 2020, doi: 10.1137/20m1345670.","chicago":"Nijholt, Eddie, Bob W. Rink, and Sören Schwenker. “Quiver Representations and Dimension Reduction in Dynamical Systems.” SIAM Journal on Applied Dynamical Systems 19, no. 4 (2020): 2428–68. https://doi.org/10.1137/20m1345670.","ama":"Nijholt E, Rink BW, Schwenker S. Quiver Representations and Dimension Reduction in Dynamical Systems. SIAM Journal on Applied Dynamical Systems. 2020;19(4):2428-2468. doi:10.1137/20m1345670"},"publication_identifier":{"issn":["1536-0040"]},"publication_status":"published","doi":"10.1137/20m1345670","date_updated":"2022-09-07T08:36:03Z","volume":19,"author":[{"last_name":"Nijholt","full_name":"Nijholt, Eddie","first_name":"Eddie"},{"full_name":"Rink, Bob W.","last_name":"Rink","first_name":"Bob W."},{"first_name":"Sören","id":"97359","full_name":"Schwenker, Sören","orcid":"0000-0002-8054-2058","last_name":"Schwenker"}]},{"title":"More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization","doi":"10.1145/3377930.3390174","date_updated":"2023-12-13T10:43:41Z","publisher":"Association for Computing Machinery","date_created":"2023-11-14T15:58:53Z","author":[{"id":"102979","full_name":"Bossek, Jakob","last_name":"Bossek","orcid":"0000-0002-4121-4668","first_name":"Jakob"},{"full_name":"Neumann, Frank","last_name":"Neumann","first_name":"Frank"},{"full_name":"Peng, Pan","last_name":"Peng","first_name":"Pan"},{"first_name":"Dirk","last_name":"Sudholt","full_name":"Sudholt, Dirk"}],"place":"New York, NY, USA","year":"2020","page":"1277–1285","citation":{"short":"J. Bossek, F. Neumann, P. Peng, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2020, pp. 1277–1285.","mla":"Bossek, Jakob, et al. “More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization.” Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2020, pp. 1277–1285, doi:10.1145/3377930.3390174.","bibtex":"@inproceedings{Bossek_Neumann_Peng_Sudholt_2020, place={New York, NY, USA}, series={GECCO ’20}, title={More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization}, DOI={10.1145/3377930.3390174}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Neumann, Frank and Peng, Pan and Sudholt, Dirk}, year={2020}, pages={1277–1285}, collection={GECCO ’20} }","apa":"Bossek, J., Neumann, F., Peng, P., & Sudholt, D. (2020). More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization. Proceedings of the Genetic and Evolutionary Computation Conference, 1277–1285. https://doi.org/10.1145/3377930.3390174","chicago":"Bossek, Jakob, Frank Neumann, Pan Peng, and Dirk Sudholt. “More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization.” In Proceedings of the Genetic and Evolutionary Computation Conference, 1277–1285. GECCO ’20. New York, NY, USA: Association for Computing Machinery, 2020. https://doi.org/10.1145/3377930.3390174.","ieee":"J. Bossek, F. Neumann, P. Peng, and D. Sudholt, “More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2020, pp. 1277–1285, doi: 10.1145/3377930.3390174.","ama":"Bossek J, Neumann F, Peng P, Sudholt D. More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization. In: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO ’20. Association for Computing Machinery; 2020:1277–1285. doi:10.1145/3377930.3390174"},"publication_identifier":{"isbn":["978-1-4503-7128-5"]},"publication_status":"published","keyword":["dynamic optimization","evolutionary algorithms","running time analysis","theory"],"extern":"1","language":[{"iso":"eng"}],"_id":"48847","department":[{"_id":"819"}],"series_title":"GECCO ’20","user_id":"102979","abstract":[{"lang":"eng","text":"Dynamic optimization problems have gained significant attention in evolutionary computation as evolutionary algorithms (EAs) can easily adapt to changing environments. We show that EAs can solve the graph coloring problem for bipartite graphs more efficiently by using dynamic optimization. In our approach the graph instance is given incrementally such that the EA can reoptimize its coloring when a new edge introduces a conflict. We show that, when edges are inserted in a way that preserves graph connectivity, Randomized Local Search (RLS) efficiently finds a proper 2-coloring for all bipartite graphs. This includes graphs for which RLS and other EAs need exponential expected time in a static optimization scenario. We investigate different ways of building up the graph by popular graph traversals such as breadth-first-search and depth-first-search and analyse the resulting runtime behavior. We further show that offspring populations (e. g. a (1 + {$\\lambda$}) RLS) lead to an exponential speedup in {$\\lambda$}. Finally, an island model using 3 islands succeeds in an optimal time of {$\\Theta$}(m) on every m-edge bipartite graph, outperforming offspring populations. This is the first example where an island model guarantees a speedup that is not bounded in the number of islands."}],"status":"public","publication":"Proceedings of the Genetic and Evolutionary Computation Conference","type":"conference"},{"publication":"Proceedings of the Genetic and Evolutionary Computation Conference","abstract":[{"text":"Several important optimization problems in the area of vehicle routing can be seen as variants of the classical Traveling Salesperson Problem (TSP). In the area of evolutionary computation, the Traveling Thief Problem (TTP) has gained increasing interest over the last 5 years. In this paper, we investigate the effect of weights on such problems, in the sense that the cost of traveling increases with respect to the weights of nodes already visited during a tour. This provides abstractions of important TSP variants such as the Traveling Thief Problem and time dependent TSP variants, and allows to study precisely the increase in difficulty caused by weight dependence. We provide a 3.59-approximation for this weight dependent version of TSP with metric distances and bounded positive weights. Furthermore, we conduct experimental investigations for simple randomized local search with classical mutation operators and two variants of the state-of-the-art evolutionary algorithm EAX adapted to the weighted TSP. Our results show the impact of the node weights on the position of the nodes in the resulting tour.","lang":"eng"}],"language":[{"iso":"eng"}],"keyword":["dynamic optimization","evolutionary algorithms","running time analysis","theory"],"year":"2020","date_created":"2023-11-14T15:58:53Z","publisher":"Association for Computing Machinery","title":"The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics","type":"conference","status":"public","user_id":"102979","series_title":"GECCO ’20","department":[{"_id":"819"}],"_id":"48851","extern":"1","publication_status":"published","publication_identifier":{"isbn":["978-1-4503-7128-5"]},"citation":{"chicago":"Bossek, Jakob, Katrin Casel, Pascal Kerschke, and Frank Neumann. “The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics.” In Proceedings of the Genetic and Evolutionary Computation Conference, 1286–1294. GECCO ’20. New York, NY, USA: Association for Computing Machinery, 2020. https://doi.org/10.1145/3377930.3390243.","ieee":"J. Bossek, K. Casel, P. Kerschke, and F. Neumann, “The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2020, pp. 1286–1294, doi: 10.1145/3377930.3390243.","ama":"Bossek J, Casel K, Kerschke P, Neumann F. The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics. In: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO ’20. Association for Computing Machinery; 2020:1286–1294. doi:10.1145/3377930.3390243","apa":"Bossek, J., Casel, K., Kerschke, P., & Neumann, F. (2020). The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics. Proceedings of the Genetic and Evolutionary Computation Conference, 1286–1294. https://doi.org/10.1145/3377930.3390243","bibtex":"@inproceedings{Bossek_Casel_Kerschke_Neumann_2020, place={New York, NY, USA}, series={GECCO ’20}, title={The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics}, DOI={10.1145/3377930.3390243}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Casel, Katrin and Kerschke, Pascal and Neumann, Frank}, year={2020}, pages={1286–1294}, collection={GECCO ’20} }","mla":"Bossek, Jakob, et al. “The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics.” Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2020, pp. 1286–1294, doi:10.1145/3377930.3390243.","short":"J. Bossek, K. Casel, P. Kerschke, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2020, pp. 1286–1294."},"page":"1286–1294","place":"New York, NY, USA","author":[{"orcid":"0000-0002-4121-4668","last_name":"Bossek","full_name":"Bossek, Jakob","id":"102979","first_name":"Jakob"},{"first_name":"Katrin","last_name":"Casel","full_name":"Casel, Katrin"},{"full_name":"Kerschke, Pascal","last_name":"Kerschke","first_name":"Pascal"},{"first_name":"Frank","full_name":"Neumann, Frank","last_name":"Neumann"}],"date_updated":"2023-12-13T10:43:33Z","doi":"10.1145/3377930.3390243"},{"publication":"Proceedings of the 2020 Genetic and Evolutionary Computation Conference","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Evolutionary algorithms (EAs) are general-purpose problem solvers that usually perform an unbiased search. This is reasonable and desirable in a black-box scenario. For combinatorial optimization problems, often more knowledge about the structure of optimal solutions is given, which can be leveraged by means of biased search operators. We consider the Minimum Spanning Tree (MST) problem in a single- and multi-objective version, and introduce a biased mutation, which puts more emphasis on the selection of edges of low rank in terms of low domination number. We present example graphs where the biased mutation can significantly speed up the expected runtime until (Pareto-)optimal solutions are found. On the other hand, we demonstrate that bias can lead to exponential runtime if \"heavy\" edges are necessarily part of an optimal solution. However, on general graphs in the single-objective setting, we show that a combined mutation operator which decides for unbiased or biased edge selection in each step with equal probability exhibits a polynomial upper bound - as unbiased mutation - in the worst case and benefits from bias if the circumstances are favorable."}],"department":[{"_id":"819"}],"user_id":"102979","series_title":"{GECCO} ’20","_id":"48895","extern":"1","language":[{"iso":"eng"}],"keyword":["biased mutation","evolutionary algorithms","minimum spanning tree problem","runtime analysis"],"publication_identifier":{"isbn":["978-1-4503-7128-5"]},"page":"551–559","citation":{"ieee":"V. Roostapour, J. Bossek, and F. Neumann, “Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem,” in Proceedings of the 2020 Genetic and Evolutionary Computation Conference, 2020, pp. 551–559, doi: 10.1145/3377930.3390168.","chicago":"Roostapour, Vahid, Jakob Bossek, and Frank Neumann. “Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem.” In Proceedings of the 2020 Genetic and Evolutionary Computation Conference, 551–559. {GECCO} ’20. New York, NY, USA: Association for Computing Machinery, 2020. https://doi.org/10.1145/3377930.3390168.","ama":"Roostapour V, Bossek J, Neumann F. Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem. In: Proceedings of the 2020 Genetic and Evolutionary Computation Conference. {GECCO} ’20. Association for Computing Machinery; 2020:551–559. doi:10.1145/3377930.3390168","apa":"Roostapour, V., Bossek, J., & Neumann, F. (2020). Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem. Proceedings of the 2020 Genetic and Evolutionary Computation Conference, 551–559. https://doi.org/10.1145/3377930.3390168","mla":"Roostapour, Vahid, et al. “Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem.” Proceedings of the 2020 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2020, pp. 551–559, doi:10.1145/3377930.3390168.","short":"V. Roostapour, J. Bossek, F. Neumann, in: Proceedings of the 2020 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2020, pp. 551–559.","bibtex":"@inproceedings{Roostapour_Bossek_Neumann_2020, place={New York, NY, USA}, series={{GECCO} ’20}, title={Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem}, DOI={10.1145/3377930.3390168}, booktitle={Proceedings of the 2020 Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Roostapour, Vahid and Bossek, Jakob and Neumann, Frank}, year={2020}, pages={551–559}, collection={{GECCO} ’20} }"},"year":"2020","place":"New York, NY, USA","author":[{"first_name":"Vahid","full_name":"Roostapour, Vahid","last_name":"Roostapour"},{"id":"102979","full_name":"Bossek, Jakob","last_name":"Bossek","orcid":"0000-0002-4121-4668","first_name":"Jakob"},{"first_name":"Frank","full_name":"Neumann, Frank","last_name":"Neumann"}],"date_created":"2023-11-14T15:59:00Z","date_updated":"2023-12-13T10:49:38Z","publisher":"Association for Computing Machinery","doi":"10.1145/3377930.3390168","title":"Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem"},{"page":"3-23","intvolume":" 36","citation":{"bibtex":"@article{Winkler_2020, title={Approaching Critical Decay in a Strongly Degenerate Parabolic Equation}, volume={36}, DOI={10.1007/s10884-020-09892-x}, number={S1}, journal={Journal of Dynamics and Differential Equations}, publisher={Springer Science and Business Media LLC}, author={Winkler, Michael}, year={2020}, pages={3–23} }","mla":"Winkler, Michael. “Approaching Critical Decay in a Strongly Degenerate Parabolic Equation.” Journal of Dynamics and Differential Equations, vol. 36, no. S1, Springer Science and Business Media LLC, 2020, pp. 3–23, doi:10.1007/s10884-020-09892-x.","short":"M. Winkler, Journal of Dynamics and Differential Equations 36 (2020) 3–23.","apa":"Winkler, M. (2020). Approaching Critical Decay in a Strongly Degenerate Parabolic Equation. Journal of Dynamics and Differential Equations, 36(S1), 3–23. https://doi.org/10.1007/s10884-020-09892-x","ama":"Winkler M. Approaching Critical Decay in a Strongly Degenerate Parabolic Equation. Journal of Dynamics and Differential Equations. 2020;36(S1):3-23. doi:10.1007/s10884-020-09892-x","chicago":"Winkler, Michael. “Approaching Critical Decay in a Strongly Degenerate Parabolic Equation.” Journal of Dynamics and Differential Equations 36, no. S1 (2020): 3–23. https://doi.org/10.1007/s10884-020-09892-x.","ieee":"M. Winkler, “Approaching Critical Decay in a Strongly Degenerate Parabolic Equation,” Journal of Dynamics and Differential Equations, vol. 36, no. S1, pp. 3–23, 2020, doi: 10.1007/s10884-020-09892-x."},"year":"2020","issue":"S1","publication_identifier":{"issn":["1040-7294","1572-9222"]},"publication_status":"published","doi":"10.1007/s10884-020-09892-x","title":"Approaching Critical Decay in a Strongly Degenerate Parabolic Equation","volume":36,"date_created":"2024-04-07T12:37:38Z","author":[{"first_name":"Michael","last_name":"Winkler","full_name":"Winkler, Michael"}],"date_updated":"2024-04-07T12:37:45Z","publisher":"Springer Science and Business Media LLC","status":"public","abstract":[{"lang":"eng","text":"AbstractThe Cauchy problem in $${\\mathbb {R}}^n$$\r\n \r\n \r\n R\r\n \r\n n\r\n \r\n , $$n\\ge 1$$\r\n \r\n n\r\n ≥\r\n 1\r\n \r\n , for the parabolic equation $$\\begin{aligned} u_t=u^p \\Delta u \\qquad \\qquad (\\star ) \\end{aligned}$$\r\n \r\n \r\n \r\n \r\n \r\n \r\n u\r\n t\r\n \r\n =\r\n \r\n u\r\n p\r\n \r\n Δ\r\n u\r\n \r\n \r\n \r\n (\r\n ⋆\r\n )\r\n \r\n \r\n \r\n \r\n \r\n \r\n is considered in the strongly degenerate regime $$p\\ge 1$$\r\n \r\n p\r\n ≥\r\n 1\r\n \r\n . The focus is firstly on the case of positive continuous and bounded initial data, in which it is known that a minimal positive classical solution exists, and that this solution satisfies $$\\begin{aligned} t^\\frac{1}{p}\\Vert u(\\cdot ,t)\\Vert _{L^\\infty ({\\mathbb {R}}^n)} \\rightarrow \\infty \\quad \\hbox {as } t\\rightarrow \\infty . \\end{aligned}$$\r\n \r\n \r\n \r\n \r\n \r\n \r\n t\r\n \r\n 1\r\n p\r\n \r\n \r\n \r\n \r\n ‖\r\n u\r\n \r\n (\r\n ·\r\n ,\r\n t\r\n )\r\n \r\n ‖\r\n \r\n \r\n \r\n L\r\n ∞\r\n \r\n \r\n (\r\n \r\n \r\n R\r\n \r\n n\r\n \r\n )\r\n \r\n \r\n \r\n →\r\n ∞\r\n \r\n as\r\n \r\n t\r\n →\r\n ∞\r\n .\r\n \r\n \r\n \r\n \r\n \r\n The first result of this study complements this by asserting that given any positive $$f\\in C^0([0,\\infty ))$$\r\n \r\n f\r\n ∈\r\n \r\n C\r\n 0\r\n \r\n \r\n (\r\n \r\n [\r\n 0\r\n ,\r\n ∞\r\n )\r\n \r\n )\r\n \r\n \r\n fulfilling $$f(t)\\rightarrow +\\infty $$\r\n \r\n f\r\n (\r\n t\r\n )\r\n →\r\n +\r\n ∞\r\n \r\n as $$t\\rightarrow \\infty $$\r\n \r\n t\r\n →\r\n ∞\r\n \r\n one can find a positive nondecreasing function $$\\phi \\in C^0([0,\\infty ))$$\r\n \r\n ϕ\r\n ∈\r\n \r\n C\r\n 0\r\n \r\n \r\n (\r\n \r\n [\r\n 0\r\n ,\r\n ∞\r\n )\r\n \r\n )\r\n \r\n \r\n such that whenever $$u_0\\in C^0({\\mathbb {R}}^n)$$\r\n \r\n \r\n u\r\n 0\r\n \r\n ∈\r\n \r\n C\r\n 0\r\n \r\n \r\n (\r\n \r\n \r\n R\r\n \r\n n\r\n \r\n )\r\n \r\n \r\n is radially symmetric with $$0< u_0 < \\phi (|\\cdot |)$$\r\n \r\n 0\r\n <\r\n \r\n u\r\n 0\r\n \r\n \r\n <\r\n ϕ\r\n (\r\n |\r\n \r\n ·\r\n \r\n |\r\n )\r\n \r\n \r\n , the corresponding minimal solution u satisfies $$\\begin{aligned} \\frac{t^\\frac{1}{p}\\Vert u(\\cdot ,t)\\Vert _{L^\\infty ({\\mathbb {R}}^n)}}{f(t)} \\rightarrow 0 \\quad \\hbox {as } t\\rightarrow \\infty . \\end{aligned}$$\r\n \r\n \r\n \r\n \r\n \r\n \r\n \r\n \r\n t\r\n \r\n 1\r\n p\r\n \r\n \r\n \r\n \r\n ‖\r\n u\r\n \r\n (\r\n ·\r\n ,\r\n t\r\n )\r\n \r\n ‖\r\n \r\n \r\n \r\n L\r\n ∞\r\n \r\n \r\n (\r\n \r\n \r\n R\r\n \r\n n\r\n \r\n )\r\n \r\n \r\n \r\n \r\n \r\n f\r\n (\r\n t\r\n )\r\n \r\n \r\n →\r\n 0\r\n \r\n as\r\n \r\n t\r\n →\r\n ∞\r\n .\r\n \r\n \r\n \r\n \r\n \r\n Secondly, ($$\\star $$\r\n ⋆\r\n ) is considered along with initial conditions involving nonnegative but not necessarily strictly positive bounded and continuous initial data $$u_0$$\r\n \r\n u\r\n 0\r\n \r\n . It is shown that if the connected components of $$\\{u_0>0\\}$$\r\n \r\n {\r\n \r\n u\r\n 0\r\n \r\n >\r\n 0\r\n }\r\n \r\n comply with a condition reflecting some uniform boundedness property, then a corresponding uniquely determined continuous weak solution to ($$\\star $$\r\n ⋆\r\n ) satisfies $$\\begin{aligned} 0< \\liminf _{t\\rightarrow \\infty } \\Big \\{ t^\\frac{1}{p} \\Vert u(\\cdot ,t)\\Vert _{L^\\infty ({\\mathbb {R}}^n)} \\Big \\} \\le \\limsup _{t\\rightarrow \\infty } \\Big \\{ t^\\frac{1}{p} \\Vert u(\\cdot ,t)\\Vert _{L^\\infty ({\\mathbb {R}}^n)} \\Big \\} <\\infty . \\end{aligned}$$\r\n \r\n \r\n \r\n \r\n \r\n 0\r\n <\r\n \r\n lim inf\r\n \r\n t\r\n →\r\n ∞\r\n \r\n \r\n \r\n {\r\n \r\n \r\n t\r\n \r\n 1\r\n p\r\n \r\n \r\n \r\n \r\n ‖\r\n u\r\n \r\n (\r\n ·\r\n ,\r\n t\r\n )\r\n \r\n ‖\r\n \r\n \r\n \r\n L\r\n ∞\r\n \r\n \r\n (\r\n \r\n \r\n R\r\n \r\n n\r\n \r\n )\r\n \r\n \r\n \r\n \r\n }\r\n \r\n ≤\r\n \r\n lim sup\r\n \r\n t\r\n →\r\n ∞\r\n \r\n \r\n \r\n {\r\n \r\n \r\n t\r\n \r\n 1\r\n p\r\n \r\n \r\n \r\n \r\n ‖\r\n u\r\n \r\n (\r\n ·\r\n ,\r\n t\r\n )\r\n \r\n ‖\r\n \r\n \r\n \r\n L\r\n ∞\r\n \r\n \r\n (\r\n \r\n \r\n R\r\n \r\n n\r\n \r\n )\r\n \r\n \r\n \r\n \r\n }\r\n \r\n <\r\n ∞\r\n .\r\n \r\n \r\n \r\n \r\n \r\n Under a somewhat complementary hypothesis, particularly fulfilled if $$\\{u_0>0\\}$$\r\n \r\n {\r\n \r\n u\r\n 0\r\n \r\n >\r\n 0\r\n }\r\n \r\n contains components with arbitrarily small principal eigenvalues of the associated Dirichlet Laplacian, it is finally seen that (0.1) continues to hold also for such not everywhere positive weak solutions."}],"publication":"Journal of Dynamics and Differential Equations","type":"journal_article","language":[{"iso":"eng"}],"keyword":["Analysis"],"user_id":"31496","_id":"53322"},{"status":"public","publication":"Journal of Functional Analysis","type":"journal_article","language":[{"iso":"eng"}],"keyword":["Analysis"],"article_number":"108506","department":[{"_id":"555"}],"user_id":"93826","_id":"37660","intvolume":" 278","citation":{"mla":"Rösler, Margit. “Riesz Distributions and Laplace Transform in the Dunkl Setting of Type A.” Journal of Functional Analysis, vol. 278, no. 12, 108506, Elsevier BV, 2020, doi:10.1016/j.jfa.2020.108506.","bibtex":"@article{Rösler_2020, title={Riesz distributions and Laplace transform in the Dunkl setting of type A}, volume={278}, DOI={10.1016/j.jfa.2020.108506}, number={12108506}, journal={Journal of Functional Analysis}, publisher={Elsevier BV}, author={Rösler, Margit}, year={2020} }","short":"M. Rösler, Journal of Functional Analysis 278 (2020).","apa":"Rösler, M. (2020). Riesz distributions and Laplace transform in the Dunkl setting of type A. Journal of Functional Analysis, 278(12), Article 108506. https://doi.org/10.1016/j.jfa.2020.108506","chicago":"Rösler, Margit. “Riesz Distributions and Laplace Transform in the Dunkl Setting of Type A.” Journal of Functional Analysis 278, no. 12 (2020). https://doi.org/10.1016/j.jfa.2020.108506.","ieee":"M. Rösler, “Riesz distributions and Laplace transform in the Dunkl setting of type A,” Journal of Functional Analysis, vol. 278, no. 12, Art. no. 108506, 2020, doi: 10.1016/j.jfa.2020.108506.","ama":"Rösler M. Riesz distributions and Laplace transform in the Dunkl setting of type A. Journal of Functional Analysis. 2020;278(12). doi:10.1016/j.jfa.2020.108506"},"year":"2020","issue":"12","publication_identifier":{"issn":["0022-1236"]},"publication_status":"published","doi":"10.1016/j.jfa.2020.108506","title":"Riesz distributions and Laplace transform in the Dunkl setting of type A","volume":278,"date_created":"2023-01-20T09:22:53Z","author":[{"first_name":"Margit","full_name":"Rösler, Margit","id":"37390","last_name":"Rösler"}],"date_updated":"2023-01-24T22:16:07Z","publisher":"Elsevier BV"},{"date_updated":"2022-01-06T06:54:29Z","date_created":"2020-11-27T10:48:38Z","author":[{"first_name":"Stefan","last_name":"Krüger","full_name":"Krüger, Stefan"},{"first_name":"Johannes","full_name":"Späth, Johannes","last_name":"Späth"},{"full_name":"Ali, Karim","last_name":"Ali","first_name":"Karim"},{"id":"59256","full_name":"Bodden, Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","first_name":"Eric"},{"first_name":"Mira","full_name":"Mezini, Mira","last_name":"Mezini"}],"title":"CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs","main_file_link":[{"url":"http://www.bodden.de/pubs/tse19CrySL.pdf"}],"doi":"10.1109/TSE.2019.2948910","publication_identifier":{"issn":["2326-3881"]},"year":"2019","citation":{"ama":"Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering. Published online 2019:1-1. doi:10.1109/TSE.2019.2948910","chicago":"Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” IEEE Transactions on Software Engineering, 2019, 1–1. https://doi.org/10.1109/TSE.2019.2948910.","ieee":"S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi: 10.1109/TSE.2019.2948910.","short":"S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.","mla":"Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” IEEE Transactions on Software Engineering, 2019, pp. 1–1, doi:10.1109/TSE.2019.2948910.","bibtex":"@article{Krüger_Späth_Ali_Bodden_Mezini_2019, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, DOI={10.1109/TSE.2019.2948910}, journal={IEEE Transactions on Software Engineering}, author={Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2019}, pages={1–1} }","apa":"Krüger, S., Späth, J., Ali, K., Bodden, E., & Mezini, M. (2019). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2019.2948910"},"page":"1-1","_id":"20533","user_id":"5786","department":[{"_id":"76"}],"keyword":["Java","Encryption","Static analysis","Tools","Ciphers","Semantics","cryptography","domain-specific language","static analysis"],"language":[{"iso":"eng"}],"type":"journal_article","publication":"IEEE Transactions on Software Engineering","status":"public"},{"year":"2019","citation":{"chicago":"Kummita, Sriteja, and Goran Piskachev. Integration of the Static Analysis Results Interchange Format in CogniCrypt, 2019.","ieee":"S. Kummita and G. Piskachev, Integration of the Static Analysis Results Interchange Format in CogniCrypt. 2019.","ama":"Kummita S, Piskachev G. Integration of the Static Analysis Results Interchange Format in CogniCrypt.; 2019.","apa":"Kummita, S., & Piskachev, G. (2019). Integration of the Static Analysis Results Interchange Format in CogniCrypt.","short":"S. Kummita, G. Piskachev, Integration of the Static Analysis Results Interchange Format in CogniCrypt, 2019.","mla":"Kummita, Sriteja, and Goran Piskachev. Integration of the Static Analysis Results Interchange Format in CogniCrypt. 2019.","bibtex":"@book{Kummita_Piskachev_2019, title={Integration of the Static Analysis Results Interchange Format in CogniCrypt}, author={Kummita, Sriteja and Piskachev, Goran}, year={2019} }"},"date_updated":"2022-01-06T06:55:52Z","date_created":"2021-08-12T14:04:46Z","author":[{"last_name":"Kummita","id":"72582","full_name":"Kummita, Sriteja","first_name":"Sriteja"},{"first_name":"Goran","orcid":"0000-0003-4424-5838","last_name":"Piskachev","full_name":"Piskachev, Goran","id":"41936"}],"title":"Integration of the Static Analysis Results Interchange Format in CogniCrypt","main_file_link":[{"url":"https://arxiv.org/abs/1907.02558"}],"type":"report","abstract":[{"lang":"eng","text":"Background - Software companies increasingly rely on static analysis tools to detect potential bugs and security vulnerabilities in their software products. In the past decade, more and more commercial and open-source static analysis tools have been developed and are maintained. Each tool comes with its own reporting format, preventing an easy integration of multiple analysis tools in a single interface, such as the Static Analysis Server Protocol (SASP). In 2017, a collaborative effort in industry, including Microsoft and GrammaTech, has proposed the Static Analysis Results Interchange Format (SARIF) to address this issue. SARIF is a standardized format in which static analysis warnings can be encoded, to allow the import and export of analysis reports between different tools.\r\nPurpose - This paper explains the SARIF format through examples and presents a proof of concept of the connector that allows the static analysis tool CogniCrypt to generate and export its results in SARIF format.\r\nDesign/Approach - We conduct a cross-sectional study between the SARIF format and CogniCrypt's output format before detailing the implementation of the connector. The study aims to find the components of interest in CogniCrypt that the SARIF export module can complete.\r\nOriginality/Value - The integration of SARIF into CogniCrypt described in this paper can be reused to integrate SARIF into other static analysis tools.\r\nConclusion - After detailing the SARIF format, we present an initial implementation to integrate SARIF into CogniCrypt. After taking advantage of all the features provided by SARIF, CogniCrypt will be able to support SASP."}],"status":"public","_id":"23389","user_id":"72582","keyword":["Static Analysis","Static Analysis Results Interchange Format","SARIF","Static Analysis Server Protocol","SASP"],"language":[{"iso":"eng"}],"extern":"1"},{"_id":"9613","department":[{"_id":"1"},{"_id":"579"}],"user_id":"58701","file_date_updated":"2020-09-18T09:24:41Z","type":"conference","editor":[{"full_name":"Ramachandran, Muthu","last_name":"Ramachandran","first_name":"Muthu"},{"first_name":"Robert","full_name":"Walters, Robert","last_name":"Walters"},{"full_name":"Wills, Gary","last_name":"Wills","first_name":"Gary"},{"last_name":"Méndez Muñoz","full_name":"Méndez Muñoz, Víctor","first_name":"Víctor"},{"first_name":"Victor","full_name":"Chang, Victor","last_name":"Chang"}],"status":"public","date_updated":"2022-01-06T07:04:17Z","author":[{"last_name":"Kersting","full_name":"Kersting, Joschka","id":"58701","first_name":"Joschka"},{"id":"38837","full_name":"Bäumer, Frederik Simon","last_name":"Bäumer","first_name":"Frederik Simon"},{"first_name":"Michaela","orcid":"0000-0002-8180-5606","last_name":"Geierhos","id":"42496","full_name":"Geierhos, Michaela"}],"conference":{"end_date":"2019-05-04","location":"Heraklion, Greece","name":"4th International Conference on Internet of Things, Big Data and Security (IoTBDS 2019)","start_date":"2019-05-02"},"main_file_link":[{"url":"www.insticc.org/Primoris/Resources/PaperPdf.ashx?idPaper=77454"}],"publication_identifier":{"unknown":["2184-4976"],"isbn":["978-989-758-369-8"]},"has_accepted_license":"1","publication_status":"published","place":"Setúbal, Portugal","page":"147-155","citation":{"mla":"Kersting, Joschka, et al. “In Reviews We Trust: But Should We? Experiences with Physician Review Websites.” Proceedings of the 4th International Conference on Internet of Things, Big Data and Security, edited by Muthu Ramachandran et al., SCITEPRESS, 2019, pp. 147–55.","bibtex":"@inproceedings{Kersting_Bäumer_Geierhos_2019, place={Setúbal, Portugal}, title={In Reviews We Trust: But Should We? Experiences with Physician Review Websites}, booktitle={Proceedings of the 4th International Conference on Internet of Things, Big Data and Security}, publisher={SCITEPRESS}, author={Kersting, Joschka and Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Ramachandran, Muthu and Walters, Robert and Wills, Gary and Méndez Muñoz, Víctor and Chang, VictorEditors}, year={2019}, pages={147–155} }","short":"J. Kersting, F.S. Bäumer, M. Geierhos, in: M. Ramachandran, R. Walters, G. Wills, V. Méndez Muñoz, V. Chang (Eds.), Proceedings of the 4th International Conference on Internet of Things, Big Data and Security, SCITEPRESS, Setúbal, Portugal, 2019, pp. 147–155.","apa":"Kersting, J., Bäumer, F. S., & Geierhos, M. (2019). In Reviews We Trust: But Should We? Experiences with Physician Review Websites. In M. Ramachandran, R. Walters, G. Wills, V. Méndez Muñoz, & V. Chang (Eds.), Proceedings of the 4th International Conference on Internet of Things, Big Data and Security (pp. 147–155). Setúbal, Portugal: SCITEPRESS.","ieee":"J. Kersting, F. S. Bäumer, and M. Geierhos, “In Reviews We Trust: But Should We? Experiences with Physician Review Websites,” in Proceedings of the 4th International Conference on Internet of Things, Big Data and Security, Heraklion, Greece, 2019, pp. 147–155.","chicago":"Kersting, Joschka, Frederik Simon Bäumer, and Michaela Geierhos. “In Reviews We Trust: But Should We? Experiences with Physician Review Websites.” In Proceedings of the 4th International Conference on Internet of Things, Big Data and Security, edited by Muthu Ramachandran, Robert Walters, Gary Wills, Víctor Méndez Muñoz, and Victor Chang, 147–55. Setúbal, Portugal: SCITEPRESS, 2019.","ama":"Kersting J, Bäumer FS, Geierhos M. In Reviews We Trust: But Should We? Experiences with Physician Review Websites. In: Ramachandran M, Walters R, Wills G, Méndez Muñoz V, Chang V, eds. Proceedings of the 4th International Conference on Internet of Things, Big Data and Security. Setúbal, Portugal: SCITEPRESS; 2019:147-155."},"keyword":["Trust","Physician Reviews","Network Analysis"],"ddc":["000"],"language":[{"iso":"eng"}],"publication":"Proceedings of the 4th International Conference on Internet of Things, Big Data and Security","abstract":[{"lang":"eng","text":"The ability to openly evaluate products, locations and services is an achievement of the Web 2.0. It has never been easier to inform oneself about the quality of products or services and possible alternatives. Forming one’s own opinion based on the impressions of other people can lead to better experiences. However, this presupposes trust in one’s fellows as well as in the quality of the review platforms. In previous work on physician reviews and the corresponding websites, it was observed that there occurs faulty behavior by some reviewers and there were noteworthy differences in the technical implementation of the portals and in the efforts of site operators to maintain high quality reviews. These experiences raise new questions regarding what trust means on review platforms, how trust arises and how easily it can be destroyed."}],"file":[{"date_updated":"2020-09-18T09:24:41Z","date_created":"2020-09-18T09:24:41Z","creator":"jkers","file_size":1112502,"file_name":"Kersting et al. (2019), Kersting2019.pdf","file_id":"19573","access_level":"closed","content_type":"application/pdf","success":1,"relation":"main_file"}],"publisher":"SCITEPRESS","date_created":"2019-05-06T09:00:48Z","title":"In Reviews We Trust: But Should We? Experiences with Physician Review Websites","quality_controlled":"1","year":"2019"},{"date_created":"2020-02-06T17:06:51Z","title":"Android App Merging for Benchmark Speed-Up and Analysis Lift-Up","year":"2019","language":[{"iso":"eng"}],"ddc":["004"],"keyword":["Program Analysis","Android App Analysis","Taint Analysis","App Merging","Benchmark"],"publication":"2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)","file":[{"date_updated":"2020-02-06T17:09:45Z","date_created":"2020-02-06T17:09:45Z","creator":"fpauck","file_size":644517,"access_level":"closed","file_name":"AMT_final.pdf","file_id":"15839","content_type":"application/pdf","relation":"main_file"}],"abstract":[{"text":"In the field of software analysis a trade-off between scalability and accuracy always exists. In this respect, Android app analysis is no exception, in particular, analyzing large or many apps can be challenging. Dealing with many small apps is a typical challenge when facing micro-benchmarks such as DROIDBENCH or ICC-BENCH. These particular benchmarks are not only used for the evaluation of novel tools but also in continuous integration pipelines of existing mature tools to maintain and guarantee a certain quality-level. Considering this latter usage it becomes very important to be able to achieve benchmark results as fast as possible. Hence, benchmarks have to be optimized for this purpose. One approach to do so is app merging. We implemented the Android Merge Tool (AMT) following this approach and show that its novel aspects can be used to produce scaled up and accurate benchmarks. For such benchmarks Android app analysis tools do not suffer from the scalability-accuracy trade-off anymore. We show this throughout detailed experiments on DROIDBENCH employing three different analysis tools (AMANDROID, ICCTA, FLOWDROID). Benchmark execution times are largely reduced without losing benchmark accuracy. Moreover, we argue why AMT is an advantageous successor of the state-of-the-art app merging tool (APKCOMBINER) in analysis lift-up scenarios.","lang":"eng"}],"author":[{"first_name":"Felix","id":"22398","full_name":"Pauck, Felix","last_name":"Pauck"},{"first_name":"Shikun","last_name":"Zhang","full_name":"Zhang, Shikun"}],"date_updated":"2022-01-06T06:52:38Z","doi":"10.1109/asew.2019.00019","publication_status":"published","publication_identifier":{"isbn":["9781728141367"]},"has_accepted_license":"1","citation":{"bibtex":"@inproceedings{Pauck_Zhang_2019, title={Android App Merging for Benchmark Speed-Up and Analysis Lift-Up}, DOI={10.1109/asew.2019.00019}, booktitle={2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)}, author={Pauck, Felix and Zhang, Shikun}, year={2019} }","mla":"Pauck, Felix, and Shikun Zhang. “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up.” 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019, doi:10.1109/asew.2019.00019.","short":"F. Pauck, S. Zhang, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.","apa":"Pauck, F., & Zhang, S. (2019). Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. In 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW). https://doi.org/10.1109/asew.2019.00019","ama":"Pauck F, Zhang S. Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW). ; 2019. doi:10.1109/asew.2019.00019","ieee":"F. Pauck and S. Zhang, “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up,” in 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.","chicago":"Pauck, Felix, and Shikun Zhang. “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up.” In 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019. https://doi.org/10.1109/asew.2019.00019."},"user_id":"477","department":[{"_id":"77"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"_id":"15838","file_date_updated":"2020-02-06T17:09:45Z","type":"conference","status":"public"},{"user_id":"23686","department":[{"_id":"34"},{"_id":"10"},{"_id":"90"}],"_id":"34672","status":"public","type":"journal_article","doi":"10.3934/dcdss.2020007","author":[{"first_name":"Tobias","full_name":"Black, Tobias","id":"23686","orcid":"0000-0001-9963-0800","last_name":"Black"}],"volume":13,"date_updated":"2022-12-21T10:04:44Z","citation":{"bibtex":"@article{Black_2019, title={Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity}, volume={13}, DOI={10.3934/dcdss.2020007}, number={2}, journal={Discrete &amp; Continuous Dynamical Systems - S}, publisher={American Institute of Mathematical Sciences (AIMS)}, author={Black, Tobias}, year={2019}, pages={119–137} }","short":"T. Black, Discrete &amp; Continuous Dynamical Systems - S 13 (2019) 119–137.","mla":"Black, Tobias. “Global Generalized Solutions to a Parabolic-Elliptic Keller-Segel System with Singular Sensitivity.” Discrete &amp; Continuous Dynamical Systems - S, vol. 13, no. 2, American Institute of Mathematical Sciences (AIMS), 2019, pp. 119–37, doi:10.3934/dcdss.2020007.","apa":"Black, T. (2019). Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity. Discrete &amp; Continuous Dynamical Systems - S, 13(2), 119–137. https://doi.org/10.3934/dcdss.2020007","chicago":"Black, Tobias. “Global Generalized Solutions to a Parabolic-Elliptic Keller-Segel System with Singular Sensitivity.” Discrete &amp; Continuous Dynamical Systems - S 13, no. 2 (2019): 119–37. https://doi.org/10.3934/dcdss.2020007.","ieee":"T. Black, “Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity,” Discrete &amp; Continuous Dynamical Systems - S, vol. 13, no. 2, pp. 119–137, 2019, doi: 10.3934/dcdss.2020007.","ama":"Black T. Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity. Discrete &amp; Continuous Dynamical Systems - S. 2019;13(2):119-137. doi:10.3934/dcdss.2020007"},"intvolume":" 13","page":"119-137","publication_status":"published","publication_identifier":{"issn":["1937-1179"]},"language":[{"iso":"eng"}],"keyword":["Applied Mathematics","Discrete Mathematics and Combinatorics","Analysis"],"publication":"Discrete & Continuous Dynamical Systems - S","title":"Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity","date_created":"2022-12-21T09:48:28Z","publisher":"American Institute of Mathematical Sciences (AIMS)","year":"2019","issue":"2"},{"year":"2019","citation":{"chicago":"Black, Tobias, Johannes Lankeit, and Masaaki Mizukami. “Stabilization in the Keller–Segel System with Signal-Dependent Sensitivity.” Applicable Analysis 99, no. 16 (2019): 2877–91. https://doi.org/10.1080/00036811.2019.1585534.","ieee":"T. Black, J. Lankeit, and M. Mizukami, “Stabilization in the Keller–Segel system with signal-dependent sensitivity,” Applicable Analysis, vol. 99, no. 16, pp. 2877–2891, 2019, doi: 10.1080/00036811.2019.1585534.","ama":"Black T, Lankeit J, Mizukami M. Stabilization in the Keller–Segel system with signal-dependent sensitivity. Applicable Analysis. 2019;99(16):2877-2891. doi:10.1080/00036811.2019.1585534","apa":"Black, T., Lankeit, J., & Mizukami, M. (2019). Stabilization in the Keller–Segel system with signal-dependent sensitivity. Applicable Analysis, 99(16), 2877–2891. https://doi.org/10.1080/00036811.2019.1585534","short":"T. Black, J. Lankeit, M. Mizukami, Applicable Analysis 99 (2019) 2877–2891.","bibtex":"@article{Black_Lankeit_Mizukami_2019, title={Stabilization in the Keller–Segel system with signal-dependent sensitivity}, volume={99}, DOI={10.1080/00036811.2019.1585534}, number={16}, journal={Applicable Analysis}, publisher={Informa UK Limited}, author={Black, Tobias and Lankeit, Johannes and Mizukami, Masaaki}, year={2019}, pages={2877–2891} }","mla":"Black, Tobias, et al. “Stabilization in the Keller–Segel System with Signal-Dependent Sensitivity.” Applicable Analysis, vol. 99, no. 16, Informa UK Limited, 2019, pp. 2877–91, doi:10.1080/00036811.2019.1585534."},"intvolume":" 99","page":"2877-2891","publication_status":"published","publication_identifier":{"issn":["0003-6811","1563-504X"]},"issue":"16","title":"Stabilization in the Keller–Segel system with signal-dependent sensitivity","doi":"10.1080/00036811.2019.1585534","publisher":"Informa UK Limited","date_updated":"2022-12-21T10:04:50Z","author":[{"last_name":"Black","orcid":"0000-0001-9963-0800","id":"23686","full_name":"Black, Tobias","first_name":"Tobias"},{"first_name":"Johannes","last_name":"Lankeit","full_name":"Lankeit, Johannes"},{"full_name":"Mizukami, Masaaki","last_name":"Mizukami","first_name":"Masaaki"}],"date_created":"2022-12-21T09:48:19Z","volume":99,"status":"public","type":"journal_article","publication":"Applicable Analysis","keyword":["Applied Mathematics","Analysis"],"language":[{"iso":"eng"}],"_id":"34671","user_id":"23686","department":[{"_id":"34"},{"_id":"10"},{"_id":"90"}]},{"issue":"4","year":"2019","date_created":"2021-12-13T09:50:25Z","title":"Plunging into a world? A novel approach to undergraduates’ metaphors of reading","publication":"Frontline Learning Research","abstract":[{"lang":"eng","text":"Although there is considerable research on and knowledge about students’ conceptual-izations of learning or academic practices and skills, the variability of these conceptu-alizations has been consistently neglected.In the present study, we address this varia-bility in the field of academic readingwith the help of a novel approach. Drawing on qualitative metaphor analysis, we report a detailed system of students’ conceptual met-aphors of reading. Ourspecific methodologicalapproach to identify the structure of these conceptual metaphorsallowsto analyze subjective agency on a lexical as well as grammatical level.The conceptual metaphors we identified by this method are markedly variable, although they create an overall impression of medium to low agency, that is a reader who is only weakly active or potent. Interrater reliability of the coding system was very good. We also report and analyze the frequency of the conceptual metaphors ina sample of 143 texts written by bachelor students."}],"language":[{"iso":"eng"}],"keyword":["metaphor","conceptual metaphor","metaphor analysis","academic reading","transitivity"],"publication_status":"published","publication_identifier":{"issn":["2295-3159"]},"citation":{"short":"I. Scharlau, M. Körber, A. Karsten, Frontline Learning Research 9 (2019) 25–57.","bibtex":"@article{Scharlau_Körber_Karsten_2019, title={Plunging into a world? A novel approach to undergraduates’ metaphors of reading}, volume={9}, DOI={10.14786/flr.v7i4.559}, number={4}, journal={Frontline Learning Research}, author={Scharlau, Ingrid and Körber, Miriam and Karsten, Andrea}, year={2019}, pages={25–57} }","mla":"Scharlau, Ingrid, et al. “Plunging into a World? A Novel Approach to Undergraduates’ Metaphors of Reading.” Frontline Learning Research, vol. 9, no. 4, 2019, pp. 25–57, doi:10.14786/flr.v7i4.559.","apa":"Scharlau, I., Körber, M., & Karsten, A. (2019). Plunging into a world? A novel approach to undergraduates’ metaphors of reading. Frontline Learning Research, 9(4), 25–57. https://doi.org/10.14786/flr.v7i4.559","ama":"Scharlau I, Körber M, Karsten A. Plunging into a world? A novel approach to undergraduates’ metaphors of reading. Frontline Learning Research. 2019;9(4):25-57. doi:10.14786/flr.v7i4.559","chicago":"Scharlau, Ingrid, Miriam Körber, and Andrea Karsten. “Plunging into a World? A Novel Approach to Undergraduates’ Metaphors of Reading.” Frontline Learning Research 9, no. 4 (2019): 25–57. https://doi.org/10.14786/flr.v7i4.559.","ieee":"I. Scharlau, M. Körber, and A. Karsten, “Plunging into a world? A novel approach to undergraduates’ metaphors of reading,” Frontline Learning Research, vol. 9, no. 4, pp. 25–57, 2019, doi: 10.14786/flr.v7i4.559."},"page":"25 - 57","intvolume":" 9","author":[{"last_name":"Scharlau","orcid":"0000-0003-2364-9489","full_name":"Scharlau, Ingrid","id":"451","first_name":"Ingrid"},{"full_name":"Körber, Miriam","last_name":"Körber","first_name":"Miriam"},{"last_name":"Karsten","full_name":"Karsten, Andrea","id":"53917","first_name":"Andrea"}],"volume":9,"date_updated":"2022-06-07T00:06:15Z","oa":"1","main_file_link":[{"open_access":"1","url":"https://journals.sfu.ca/flr/index.php/journal/article/view/559/597"}],"doi":"10.14786/flr.v7i4.559","type":"journal_article","status":"public","user_id":"42165","department":[{"_id":"424"}],"_id":"28687"},{"_id":"35398","department":[{"_id":"2"},{"_id":"315"}],"user_id":"466","keyword":["nematic liquid crystal","order parameter","Haller analysis","1H NMR"],"article_type":"original","language":[{"iso":"eng"}],"publication":"Chinese Journal of Magnetic Resonance","type":"journal_article","abstract":[{"text":"The Haller relationship was applied to estimate the nematic order parameter S from 1H NMR spectra of fully protonated liquid crystals aligned in the magnetic field. The NMR line shapes were approximated as doublets of very broad peaks. Both the temperature-dependent doublet Splitting and the full width at half maximum of the whole spectra were used for Haller extrapolation. The order parameters obtained with the proposed approach for 4-cyano-4'-pentylbiphenyl (5CB) and the nematic mixture E7 were found to be in good agreement with previously reports.","lang":"eng"}],"status":"public","date_updated":"2023-01-07T10:31:24Z","volume":36,"author":[{"first_name":"Ming-xue","last_name":"Tang","full_name":"Tang, Ming-xue"},{"first_name":"Claudia","orcid":"0000-0003-3179-9997","last_name":"Schmidt","full_name":"Schmidt, Claudia","id":"466"}],"date_created":"2023-01-06T17:29:26Z","title":"Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals ","doi":"10.11938/cjmr20182685 ","quality_controlled":"1","related_material":{"link":[{"url":"http://121.43.60.238/bpxzz/EN/10.11938/cjmr20182685","relation":"research_paper"}]},"year":"2019","intvolume":" 36","page":"138-147","citation":{"ama":"Tang M, Schmidt C. Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals . Chinese Journal of Magnetic Resonance. 2019;36:138-147. doi:10.11938/cjmr20182685 ","ieee":"M. Tang and C. Schmidt, “Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals ,” Chinese Journal of Magnetic Resonance, vol. 36, pp. 138–147, 2019, doi: 10.11938/cjmr20182685 .","chicago":"Tang, Ming-xue, and Claudia Schmidt. “Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals .” Chinese Journal of Magnetic Resonance 36 (2019): 138–47. https://doi.org/10.11938/cjmr20182685 .","apa":"Tang, M., & Schmidt, C. (2019). Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals . Chinese Journal of Magnetic Resonance, 36, 138–147. https://doi.org/10.11938/cjmr20182685 ","bibtex":"@article{Tang_Schmidt_2019, title={Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals }, volume={36}, DOI={10.11938/cjmr20182685 }, journal={Chinese Journal of Magnetic Resonance}, author={Tang, Ming-xue and Schmidt, Claudia}, year={2019}, pages={138–147} }","mla":"Tang, Ming-xue, and Claudia Schmidt. “Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals .” Chinese Journal of Magnetic Resonance, vol. 36, 2019, pp. 138–47, doi:10.11938/cjmr20182685 .","short":"M. Tang, C. Schmidt, Chinese Journal of Magnetic Resonance 36 (2019) 138–147."}},{"publication":"Proceedings of the Genetic and Evolutionary Computation Conference","abstract":[{"text":"We contribute to the theoretical understanding of randomized search heuristics for dynamic problems. We consider the classical graph coloring problem and investigate the dynamic setting where edges are added to the current graph. We then analyze the expected time for randomized search heuristics to recompute high quality solutions. This includes the (1+1) EA and RLS in a setting where the number of colors is bounded and we are minimizing the number of conflicts as well as iterated local search algorithms that use an unbounded color palette and aim to use the smallest colors and - as a consequence - the smallest number of colors. We identify classes of bipartite graphs where reoptimization is as hard as or even harder than optimization from scratch, i. e. starting with a random initialization. Even adding a single edge can lead to hard symmetry problems. However, graph classes that are hard for one algorithm turn out to be easy for others. In most cases our bounds show that reoptimization is faster than optimizing from scratch. Furthermore, we show how to speed up computations by using problem specific operators concentrating on parts of the graph where changes have occurred.","lang":"eng"}],"language":[{"iso":"eng"}],"keyword":["dynamic optimization","evolutionary algorithms","running time analysis","theory"],"year":"2019","date_created":"2023-11-14T15:58:52Z","publisher":"Association for Computing Machinery","title":"Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring","type":"conference","status":"public","series_title":"GECCO ’19","user_id":"102979","department":[{"_id":"819"}],"_id":"48843","extern":"1","publication_status":"published","publication_identifier":{"isbn":["978-1-4503-6111-8"]},"citation":{"bibtex":"@inproceedings{Bossek_Neumann_Peng_Sudholt_2019, place={New York, NY, USA}, series={GECCO ’19}, title={Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring}, DOI={10.1145/3321707.3321792}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Neumann, Frank and Peng, Pan and Sudholt, Dirk}, year={2019}, pages={1443–1451}, collection={GECCO ’19} }","mla":"Bossek, Jakob, et al. “Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring.” Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2019, pp. 1443–1451, doi:10.1145/3321707.3321792.","short":"J. Bossek, F. Neumann, P. Peng, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 1443–1451.","apa":"Bossek, J., Neumann, F., Peng, P., & Sudholt, D. (2019). Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring. Proceedings of the Genetic and Evolutionary Computation Conference, 1443–1451. https://doi.org/10.1145/3321707.3321792","chicago":"Bossek, Jakob, Frank Neumann, Pan Peng, and Dirk Sudholt. “Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring.” In Proceedings of the Genetic and Evolutionary Computation Conference, 1443–1451. GECCO ’19. New York, NY, USA: Association for Computing Machinery, 2019. https://doi.org/10.1145/3321707.3321792.","ieee":"J. Bossek, F. Neumann, P. Peng, and D. Sudholt, “Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2019, pp. 1443–1451, doi: 10.1145/3321707.3321792.","ama":"Bossek J, Neumann F, Peng P, Sudholt D. Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring. In: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO ’19. Association for Computing Machinery; 2019:1443–1451. doi:10.1145/3321707.3321792"},"page":"1443–1451","place":"New York, NY, USA","author":[{"last_name":"Bossek","orcid":"0000-0002-4121-4668","full_name":"Bossek, Jakob","id":"102979","first_name":"Jakob"},{"first_name":"Frank","full_name":"Neumann, Frank","last_name":"Neumann"},{"last_name":"Peng","full_name":"Peng, Pan","first_name":"Pan"},{"last_name":"Sudholt","full_name":"Sudholt, Dirk","first_name":"Dirk"}],"date_updated":"2023-12-13T10:42:37Z","doi":"10.1145/3321707.3321792"},{"department":[{"_id":"819"}],"user_id":"102979","series_title":"FOGA ’19","_id":"48870","extern":"1","type":"conference","status":"public","author":[{"last_name":"Bossek","orcid":"0000-0002-4121-4668","id":"102979","full_name":"Bossek, Jakob","first_name":"Jakob"},{"first_name":"Dirk","full_name":"Sudholt, Dirk","last_name":"Sudholt"}],"date_updated":"2023-12-13T10:46:12Z","doi":"10.1145/3299904.3340311","publication_identifier":{"isbn":["978-1-4503-6254-2"]},"publication_status":"published","page":"102–115","citation":{"ama":"Bossek J, Sudholt D. Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem. In: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. FOGA ’19. Association for Computing Machinery; 2019:102–115. doi:10.1145/3299904.3340311","chicago":"Bossek, Jakob, and Dirk Sudholt. “Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem.” In Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 102–115. FOGA ’19. New York, NY, USA: Association for Computing Machinery, 2019. https://doi.org/10.1145/3299904.3340311.","ieee":"J. Bossek and D. Sudholt, “Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem,” in Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 2019, pp. 102–115, doi: 10.1145/3299904.3340311.","apa":"Bossek, J., & Sudholt, D. (2019). Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem. Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 102–115. https://doi.org/10.1145/3299904.3340311","short":"J. Bossek, D. Sudholt, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 102–115.","bibtex":"@inproceedings{Bossek_Sudholt_2019, place={New York, NY, USA}, series={FOGA ’19}, title={Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem}, DOI={10.1145/3299904.3340311}, booktitle={Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Sudholt, Dirk}, year={2019}, pages={102–115}, collection={FOGA ’19} }","mla":"Bossek, Jakob, and Dirk Sudholt. “Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem.” Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, 2019, pp. 102–115, doi:10.1145/3299904.3340311."},"place":"New York, NY, USA","language":[{"iso":"eng"}],"keyword":["edge coloring problem","runtime analysis"],"publication":"Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms","abstract":[{"text":"The edge coloring problem asks for an assignment of colors to edges of a graph such that no two incident edges share the same color and the number of colors is minimized. It is known that all graphs with maximum degree {$\\Delta$} can be colored with {$\\Delta$} or {$\\Delta$} + 1 colors, but it is NP-hard to determine whether {$\\Delta$} colors are sufficient. We present the first runtime analysis of evolutionary algorithms (EAs) for the edge coloring problem. Simple EAs such as RLS and (1+1) EA efficiently find (2{$\\Delta$} - 1)-colorings on arbitrary graphs and optimal colorings for even and odd cycles, paths, star graphs and arbitrary trees. A partial analysis for toroids also suggests efficient runtimes in bipartite graphs with many cycles. Experiments support these findings and investigate additional graph classes such as hypercubes, complete graphs and complete bipartite graphs. Theoretical and experimental results suggest that simple EAs find optimal colorings for all these graph classes in expected time O({$\\Delta\\mathscrl$}2m log m), where m is the number of edges and {$\\mathscrl$} is the length of the longest simple path in the graph.","lang":"eng"}],"date_created":"2023-11-14T15:58:56Z","publisher":"Association for Computing Machinery","title":"Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem","year":"2019"},{"date_created":"2019-06-04T11:15:25Z","title":"Together Strong: Cooperative Android App Analysis","year":"2019","language":[{"iso":"eng"}],"keyword":["Android Taint Analysis","Cooperation","Precision","Tools"],"ddc":["004"],"publication":"Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","file":[{"content_type":"application/pdf","relation":"main_file","date_updated":"2019-08-20T08:47:20Z","date_created":"2019-08-20T08:47:20Z","creator":"fpauck","file_size":442603,"file_name":"fse19main-id44-p-ef9ce42-41855-final.pdf","file_id":"12947","access_level":"closed"}],"abstract":[{"lang":"eng","text":"Recent years have seen the development of numerous tools for the analysis of taint flows in Android apps. Taint analyses aim at detecting data leaks, accidentally or by purpose programmed into apps. Often, such tools specialize in the treatment of specific features impeding precise taint analysis (like reflection or inter-app communication). This multitude of tools, their specific applicability and their various combination options complicate the selection of a tool (or multiple tools) when faced with an analysis instance, even for knowledgeable users, and hence hinders the successful adoption of taint analyses.\r\n\r\nIn this work, we thus present CoDiDroid, a framework for cooperative Android app analysis. CoDiDroid (1) allows users to ask questions about flows in apps in varying degrees of detail, (2) automatically generates subtasks for answering such questions, (3) distributes tasks onto analysis tools (currently DroidRA, FlowDroid, HornDroid, IC3 and two novel tools) and (4) at the end merges tool answers on subtasks into an overall answer. Thereby, users are freed from having to learn about the use and functionality of all these tools while still being able to leverage their capabilities. Moreover, we experimentally show that cooperation among tools pays off with respect to effectiveness, precision and scalability."}],"author":[{"last_name":"Pauck","full_name":"Pauck, Felix","id":"22398","first_name":"Felix"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_updated":"2023-01-18T08:32:47Z","doi":"10.1145/3338906.3338915","has_accepted_license":"1","publication_identifier":{"isbn":["978-1-4503-5572-8"]},"publication_status":"published","page":"374-384","citation":{"ama":"Pauck F, Wehrheim H. Together Strong: Cooperative Android App Analysis. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ; 2019:374-384. doi:10.1145/3338906.3338915","ieee":"F. Pauck and H. Wehrheim, “Together Strong: Cooperative Android App Analysis,” in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–384, doi: 10.1145/3338906.3338915.","chicago":"Pauck, Felix, and Heike Wehrheim. “Together Strong: Cooperative Android App Analysis.” In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 374–84, 2019. https://doi.org/10.1145/3338906.3338915.","bibtex":"@inproceedings{Pauck_Wehrheim_2019, title={Together Strong: Cooperative Android App Analysis}, DOI={10.1145/3338906.3338915}, booktitle={Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, author={Pauck, Felix and Wehrheim, Heike}, year={2019}, pages={374–384} }","mla":"Pauck, Felix, and Heike Wehrheim. “Together Strong: Cooperative Android App Analysis.” Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–84, doi:10.1145/3338906.3338915.","short":"F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–384.","apa":"Pauck, F., & Wehrheim, H. (2019). Together Strong: Cooperative Android App Analysis. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 374–384. https://doi.org/10.1145/3338906.3338915"},"department":[{"_id":"77"}],"user_id":"22398","_id":"10108","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"file_date_updated":"2019-08-20T08:47:20Z","type":"conference","status":"public"}]