--- _id: '55429' abstract: - lang: eng text: A detailed understanding of the cognitive process underlying diagnostic reasoning in medical experts is currently lacking. While high-level theories like hypothetico-deductive reasoning were proposed long ago, the inner workings of the step-by-step dynamics within the mind remain unknown. We present a fully automated approach to elicit, monitor, and record diagnostic reasoning processes at a fine-grained level. A web-based user interface enables physicians to carry out a full diagnosis process on a simulated patient, given as a pre-defined clinical vignette. By collecting the physician’s information queries and hypothesis revisions, highly detailed diagnostic reasoning trajectories are captured leading to a diagnosis and its justification. Four expert epileptologists with a mean experience of 19 years were recruited to evaluate the system and share their impressions in semi-structured interviews. We find that the recorded trajectories validate proposed theories on broader diagnostic reasoning, while also providing valuable additional details extending previous findings. author: - first_name: Dominik full_name: Battefeld, Dominik id: '91864' last_name: Battefeld orcid: 0000-0002-5480-0594 - first_name: Sigrid full_name: Mues, Sigrid last_name: Mues - first_name: Tim full_name: Wehner, Tim last_name: Wehner - first_name: Patrick full_name: House, Patrick last_name: House - first_name: Christoph full_name: Kellinghaus, Christoph last_name: Kellinghaus - first_name: Jörg full_name: Wellmer, Jörg last_name: Wellmer - first_name: Stefan full_name: Kopp, Stefan last_name: Kopp citation: ama: 'Battefeld D, Mues S, Wehner T, et al. Revealing the Dynamics of Medical Diagnostic Reasoning as Step-by-Step Cognitive Process Trajectories. In: Proceedings of the 46th Annual Conference of the Cognitive Science Society. ; 2024.' apa: Battefeld, D., Mues, S., Wehner, T., House, P., Kellinghaus, C., Wellmer, J., & Kopp, S. (2024). Revealing the Dynamics of Medical Diagnostic Reasoning as Step-by-Step Cognitive Process Trajectories. Proceedings of the 46th Annual Conference of the Cognitive Science Society. The Annual Meeting of the Cognitive Science Society, Rotterdam, NL. bibtex: '@inproceedings{Battefeld_Mues_Wehner_House_Kellinghaus_Wellmer_Kopp_2024, title={Revealing the Dynamics of Medical Diagnostic Reasoning as Step-by-Step Cognitive Process Trajectories}, booktitle={Proceedings of the 46th Annual Conference of the Cognitive Science Society}, author={Battefeld, Dominik and Mues, Sigrid and Wehner, Tim and House, Patrick and Kellinghaus, Christoph and Wellmer, Jörg and Kopp, Stefan}, year={2024} }' chicago: Battefeld, Dominik, Sigrid Mues, Tim Wehner, Patrick House, Christoph Kellinghaus, Jörg Wellmer, and Stefan Kopp. “Revealing the Dynamics of Medical Diagnostic Reasoning as Step-by-Step Cognitive Process Trajectories.” In Proceedings of the 46th Annual Conference of the Cognitive Science Society, 2024. ieee: D. Battefeld et al., “Revealing the Dynamics of Medical Diagnostic Reasoning as Step-by-Step Cognitive Process Trajectories,” presented at the The Annual Meeting of the Cognitive Science Society, Rotterdam, NL, 2024. mla: Battefeld, Dominik, et al. “Revealing the Dynamics of Medical Diagnostic Reasoning as Step-by-Step Cognitive Process Trajectories.” Proceedings of the 46th Annual Conference of the Cognitive Science Society, 2024. short: 'D. Battefeld, S. Mues, T. Wehner, P. House, C. Kellinghaus, J. Wellmer, S. Kopp, in: Proceedings of the 46th Annual Conference of the Cognitive Science Society, 2024.' conference: end_date: 2024-07-27 location: Rotterdam, NL name: The Annual Meeting of the Cognitive Science Society start_date: 2024-07-24 date_created: 2024-07-30T08:17:35Z date_updated: 2025-09-23T15:11:19Z ddc: - '000' department: - _id: '660' file: - access_level: closed content_type: application/pdf creator: doba2 date_created: 2024-07-30T08:21:13Z date_updated: 2024-07-30T08:21:13Z file_id: '55430' file_name: Battefeld_2024_Revealing-the-dynamics.pdf file_size: 486513 relation: main_file success: 1 file_date_updated: 2024-07-30T08:21:13Z has_accepted_license: '1' keyword: - Differential Diagnosis - Diagnostic Reasoning - Reasoning Process Analysis - Seizure - Epilepsy language: - iso: eng project: - _id: '128' name: 'TRR 318 - C5: TRR 318 - Subproject C5' publication: Proceedings of the 46th Annual Conference of the Cognitive Science Society publication_status: published quality_controlled: '1' status: public title: Revealing the Dynamics of Medical Diagnostic Reasoning as Step-by-Step Cognitive Process Trajectories type: conference user_id: '91864' year: '2024' ... --- _id: '47522' abstract: - lang: eng text: Artificial benchmark functions are commonly used in optimization research because of their ability to rapidly evaluate potential solutions, making them a preferred substitute for real-world problems. However, these benchmark functions have faced criticism for their limited resemblance to real-world problems. In response, recent research has focused on automatically generating new benchmark functions for areas where established test suites are inadequate. These approaches have limitations, such as the difficulty of generating new benchmark functions that exhibit exploratory landscape analysis (ELA) features beyond those of existing benchmarks.The objective of this work is to develop a method for generating benchmark functions for single-objective continuous optimization with user-specified structural properties. Specifically, we aim to demonstrate a proof of concept for a method that uses an ELA feature vector to specify these properties in advance. To achieve this, we begin by generating a random sample of decision space variables and objective values. We then adjust the objective values using CMA-ES until the corresponding features of our new problem match the predefined ELA features within a specified threshold. By iteratively transforming the landscape in this way, we ensure that the resulting function exhibits the desired properties. To create the final function, we use the resulting point cloud as training data for a simple neural network that produces a function exhibiting the target ELA features. We demonstrate the effectiveness of this approach by replicating the existing functions of the well-known BBOB suite and creating new functions with ELA feature values that are not present in BBOB. author: - first_name: Raphael Patrick full_name: Prager, Raphael Patrick last_name: Prager - first_name: Konstantin full_name: Dietrich, Konstantin last_name: Dietrich - first_name: Lennart full_name: Schneider, Lennart last_name: Schneider - first_name: Lennart full_name: Schäpermeier, Lennart last_name: Schäpermeier - first_name: Bernd full_name: Bischl, Bernd last_name: Bischl - first_name: Pascal full_name: Kerschke, Pascal last_name: Kerschke - first_name: Heike full_name: Trautmann, Heike id: '100740' last_name: Trautmann orcid: 0000-0002-9788-8282 - first_name: Olaf full_name: Mersmann, Olaf last_name: Mersmann citation: ama: 'Prager RP, Dietrich K, Schneider L, et al. Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features. In: Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. FOGA ’23. Association for Computing Machinery; 2023:129–139. doi:10.1145/3594805.3607136' apa: Prager, R. P., Dietrich, K., Schneider, L., Schäpermeier, L., Bischl, B., Kerschke, P., Trautmann, H., & Mersmann, O. (2023). Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features. Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 129–139. https://doi.org/10.1145/3594805.3607136 bibtex: '@inproceedings{Prager_Dietrich_Schneider_Schäpermeier_Bischl_Kerschke_Trautmann_Mersmann_2023, place={New York, NY, USA}, series={FOGA ’23}, title={Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features}, DOI={10.1145/3594805.3607136}, booktitle={Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms}, publisher={Association for Computing Machinery}, author={Prager, Raphael Patrick and Dietrich, Konstantin and Schneider, Lennart and Schäpermeier, Lennart and Bischl, Bernd and Kerschke, Pascal and Trautmann, Heike and Mersmann, Olaf}, year={2023}, pages={129–139}, collection={FOGA ’23} }' chicago: 'Prager, Raphael Patrick, Konstantin Dietrich, Lennart Schneider, Lennart Schäpermeier, Bernd Bischl, Pascal Kerschke, Heike Trautmann, and Olaf Mersmann. “Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features.” In Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 129–139. FOGA ’23. New York, NY, USA: Association for Computing Machinery, 2023. https://doi.org/10.1145/3594805.3607136.' ieee: 'R. P. Prager et al., “Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features,” in Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 2023, pp. 129–139, doi: 10.1145/3594805.3607136.' mla: Prager, Raphael Patrick, et al. “Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features.” Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, 2023, pp. 129–139, doi:10.1145/3594805.3607136. short: 'R.P. Prager, K. Dietrich, L. Schneider, L. Schäpermeier, B. Bischl, P. Kerschke, H. Trautmann, O. Mersmann, in: Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2023, pp. 129–139.' date_created: 2023-09-27T15:43:17Z date_updated: 2023-10-16T12:33:02Z department: - _id: '34' - _id: '819' doi: 10.1145/3594805.3607136 keyword: - Benchmarking - Instance Generator - Black-Box Continuous Optimization - Exploratory Landscape Analysis - Neural Networks language: - iso: eng page: 129–139 place: New York, NY, USA publication: Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms publication_identifier: isbn: - '9798400702020' publisher: Association for Computing Machinery series_title: FOGA ’23 status: public title: Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features type: conference user_id: '15504' year: '2023' ... --- _id: '48872' abstract: - lang: eng text: Quality diversity (QD) is a branch of evolutionary computation that gained increasing interest in recent years. The Map-Elites QD approach defines a feature space, i.e., a partition of the search space, and stores the best solution for each cell of this space. We study a simple QD algorithm in the context of pseudo-Boolean optimisation on the "number of ones" feature space, where the ith cell stores the best solution amongst those with a number of ones in [(i - 1)k, ik - 1]. Here k is a granularity parameter 1 {$\leq$} k {$\leq$} n+1. We give a tight bound on the expected time until all cells are covered for arbitrary fitness functions and for all k and analyse the expected optimisation time of QD on OneMax and other problems whose structure aligns favourably with the feature space. On combinatorial problems we show that QD finds a (1 - 1/e)-approximation when maximising any monotone sub-modular function with a single uniform cardinality constraint efficiently. Defining the feature space as the number of connected components of a connected graph, we show that QD finds a minimum spanning tree in expected polynomial time. author: - first_name: Jakob full_name: Bossek, Jakob id: '102979' last_name: Bossek orcid: 0000-0002-4121-4668 - first_name: Dirk full_name: Sudholt, Dirk last_name: Sudholt citation: ama: 'Bossek J, Sudholt D. Runtime Analysis of Quality Diversity Algorithms. In: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO’23. Association for Computing Machinery; 2023:1546–1554. doi:10.1145/3583131.3590383' apa: Bossek, J., & Sudholt, D. (2023). Runtime Analysis of Quality Diversity Algorithms. Proceedings of the Genetic and Evolutionary Computation Conference, 1546–1554. https://doi.org/10.1145/3583131.3590383 bibtex: '@inproceedings{Bossek_Sudholt_2023, place={New York, NY, USA}, series={GECCO’23}, title={Runtime Analysis of Quality Diversity Algorithms}, DOI={10.1145/3583131.3590383}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Sudholt, Dirk}, year={2023}, pages={1546–1554}, collection={GECCO’23} }' chicago: 'Bossek, Jakob, and Dirk Sudholt. “Runtime Analysis of Quality Diversity Algorithms.” In Proceedings of the Genetic and Evolutionary Computation Conference, 1546–1554. GECCO’23. New York, NY, USA: Association for Computing Machinery, 2023. https://doi.org/10.1145/3583131.3590383.' ieee: 'J. Bossek and D. Sudholt, “Runtime Analysis of Quality Diversity Algorithms,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2023, pp. 1546–1554, doi: 10.1145/3583131.3590383.' mla: Bossek, Jakob, and Dirk Sudholt. “Runtime Analysis of Quality Diversity Algorithms.” Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2023, pp. 1546–1554, doi:10.1145/3583131.3590383. short: 'J. Bossek, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 1546–1554.' date_created: 2023-11-14T15:58:57Z date_updated: 2023-12-13T10:48:26Z department: - _id: '819' doi: 10.1145/3583131.3590383 extern: '1' keyword: - quality diversity - runtime analysis language: - iso: eng page: 1546–1554 place: New York, NY, USA publication: Proceedings of the Genetic and Evolutionary Computation Conference publication_identifier: isbn: - '9798400701191' publisher: Association for Computing Machinery series_title: GECCO’23 status: public title: Runtime Analysis of Quality Diversity Algorithms type: conference user_id: '102979' year: '2023' ... --- _id: '48886' abstract: - lang: eng text: 'Generating new instances via evolutionary methods is commonly used to create new benchmarking data-sets, with a focus on attempting to cover an instance-space as completely as possible. Recent approaches have exploited Quality-Diversity methods to evolve sets of instances that are both diverse and discriminatory with respect to a portfolio of solvers, but these methods can be challenging when attempting to find diversity in a high-dimensional feature-space. We address this issue by training a model based on Principal Component Analysis on existing instances to create a low-dimension projection of the high-dimension feature-vectors, and then apply Novelty Search directly in the new low-dimension space. We conduct experiments to evolve diverse and discriminatory instances of Knapsack Problems, comparing the use of Novelty Search in the original feature-space to using Novelty Search in a low-dimensional projection, and repeat over a given set of dimensions. We find that the methods are complementary: if treated as an ensemble, they collectively provide increased coverage of the space. Specifically, searching for novelty in a low-dimension space contributes 56% of the filled regions of the space, while searching directly in the feature-space covers the remaining 44%.' author: - first_name: Alejandro full_name: Marrero, Alejandro last_name: Marrero - first_name: Eduardo full_name: Segredo, Eduardo last_name: Segredo - first_name: Emma full_name: Hart, Emma last_name: Hart - first_name: Jakob full_name: Bossek, Jakob id: '102979' last_name: Bossek orcid: 0000-0002-4121-4668 - first_name: Aneta full_name: Neumann, Aneta last_name: Neumann citation: ama: 'Marrero A, Segredo E, Hart E, Bossek J, Neumann A. Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space. In: Proceedings of the Genetic} and Evolutionary Computation Conference. GECCO’23. Association for Computing Machinery; 2023:312–320. doi:10.1145/3583131.3590504' apa: Marrero, A., Segredo, E., Hart, E., Bossek, J., & Neumann, A. (2023). Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space. Proceedings of the Genetic} and Evolutionary Computation Conference, 312–320. https://doi.org/10.1145/3583131.3590504 bibtex: '@inproceedings{Marrero_Segredo_Hart_Bossek_Neumann_2023, place={New York, NY, USA}, series={GECCO’23}, title={Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space}, DOI={10.1145/3583131.3590504}, booktitle={Proceedings of the Genetic} and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Marrero, Alejandro and Segredo, Eduardo and Hart, Emma and Bossek, Jakob and Neumann, Aneta}, year={2023}, pages={312–320}, collection={GECCO’23} }' chicago: 'Marrero, Alejandro, Eduardo Segredo, Emma Hart, Jakob Bossek, and Aneta Neumann. “Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space.” In Proceedings of the Genetic} and Evolutionary Computation Conference, 312–320. GECCO’23. New York, NY, USA: Association for Computing Machinery, 2023. https://doi.org/10.1145/3583131.3590504.' ieee: 'A. Marrero, E. Segredo, E. Hart, J. Bossek, and A. Neumann, “Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space,” in Proceedings of the Genetic} and Evolutionary Computation Conference, 2023, pp. 312–320, doi: 10.1145/3583131.3590504.' mla: Marrero, Alejandro, et al. “Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space.” Proceedings of the Genetic} and Evolutionary Computation Conference, Association for Computing Machinery, 2023, pp. 312–320, doi:10.1145/3583131.3590504. short: 'A. Marrero, E. Segredo, E. Hart, J. Bossek, A. Neumann, in: Proceedings of the Genetic} and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 312–320.' date_created: 2023-11-14T15:58:59Z date_updated: 2023-12-13T10:49:32Z department: - _id: '819' doi: 10.1145/3583131.3590504 extern: '1' keyword: - evolutionary computation - instance generation - instance-space analysis - knapsack problem - novelty search language: - iso: eng page: 312–320 place: New York, NY, USA publication: Proceedings of the Genetic} and Evolutionary Computation Conference publication_identifier: isbn: - '9798400701191' publisher: Association for Computing Machinery series_title: GECCO’23 status: public title: Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space type: conference user_id: '102979' year: '2023' ... --- _id: '48871' abstract: - lang: eng text: 'Most runtime analyses of randomised search heuristics focus on the expected number of function evaluations to find a unique global optimum. We ask a fundamental question: if additional search points are declared optimal, or declared as desirable target points, do these additional optima speed up evolutionary algorithms? More formally, we analyse the expected hitting time of a target set OPT{$\cup$}S where S is a set of non-optimal search points and OPT is the set of optima and compare it to the expected hitting time of OPT. We show that the answer to our question depends on the number and placement of search points in S. For all black-box algorithms and all fitness functions with polynomial expected optimisation times we show that, if additional optima are placed randomly, even an exponential number of optima has a negligible effect on the expected optimisation time. Considering Hamming balls around all global optima gives an easier target for some algorithms and functions and can shift the phase transition with respect to offspring population sizes in the (1,{$\lambda$}) EA on OneMax. However, for the one-dimensional Ising model the time to reach Hamming balls of radius (1/2-{$ϵ$})n around optima does not reduce the asymptotic expected optimisation time in the worst case. Finally, on functions where search trajectories typically join in a single search point, turning one search point into an optimum drastically reduces the expected optimisation time.' author: - first_name: Jakob full_name: Bossek, Jakob id: '102979' last_name: Bossek orcid: 0000-0002-4121-4668 - first_name: Dirk full_name: Sudholt, Dirk last_name: Sudholt citation: ama: Bossek J, Sudholt D. Do Additional Target Points Speed Up Evolutionary Algorithms? Theoretical Computer Science. Published online 2023:113757. doi:10.1016/j.tcs.2023.113757 apa: Bossek, J., & Sudholt, D. (2023). Do Additional Target Points Speed Up Evolutionary Algorithms? Theoretical Computer Science, 113757. https://doi.org/10.1016/j.tcs.2023.113757 bibtex: '@article{Bossek_Sudholt_2023, title={Do Additional Target Points Speed Up Evolutionary Algorithms?}, DOI={10.1016/j.tcs.2023.113757}, journal={Theoretical Computer Science}, author={Bossek, Jakob and Sudholt, Dirk}, year={2023}, pages={113757} }' chicago: Bossek, Jakob, and Dirk Sudholt. “Do Additional Target Points Speed Up Evolutionary Algorithms?” Theoretical Computer Science, 2023, 113757. https://doi.org/10.1016/j.tcs.2023.113757. ieee: 'J. Bossek and D. Sudholt, “Do Additional Target Points Speed Up Evolutionary Algorithms?,” Theoretical Computer Science, p. 113757, 2023, doi: 10.1016/j.tcs.2023.113757.' mla: Bossek, Jakob, and Dirk Sudholt. “Do Additional Target Points Speed Up Evolutionary Algorithms?” Theoretical Computer Science, 2023, p. 113757, doi:10.1016/j.tcs.2023.113757. short: J. Bossek, D. Sudholt, Theoretical Computer Science (2023) 113757. date_created: 2023-11-14T15:58:56Z date_updated: 2023-12-13T10:51:07Z department: - _id: '819' doi: 10.1016/j.tcs.2023.113757 keyword: - Evolutionary algorithms - pseudo-Boolean functions - runtime analysis language: - iso: eng page: '113757' publication: Theoretical Computer Science publication_identifier: issn: - 0304-3975 status: public title: Do Additional Target Points Speed Up Evolutionary Algorithms? type: journal_article user_id: '102979' year: '2023' ... --- _id: '37058' abstract: - lang: eng text: "Digital technologies have made the line of visibility more transparent, enabling customers to get deeper insights into an organization’s core operations than ever before. This creates new challenges for organizations trying to consistently deliver high-quality customer experiences. In this paper we conduct an empirical analysis of customers’ preferences and their willingness-to-pay for different degrees of process transparency, using the example of digitally-enabled business-to-customer delivery services. Applying conjoint analysis, we quantify customers’ preferences and willingness-to-pay for different service attributes and levels. Our contributions are two-fold: For research, we provide empirical measurements of customers’ preferences and their willingness-to-pay for process transparency, suggesting that more is not always better. Additionally, we provide a blueprint of how conjoint analysis can be applied to study design decisions regarding changing an organization’s digital line of visibility. For practice, our findings enable service managers to make decisions about process transparency and establishing different levels of service quality.\r\n" author: - first_name: Katharina full_name: Brennig, Katharina id: '51905' last_name: Brennig - first_name: Oliver full_name: Müller, Oliver id: '72849' last_name: Müller citation: ama: 'Brennig K, Müller O. More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency. In: Hawaii International Conference on System Sciences. ; 2023.' apa: Brennig, K., & Müller, O. (2023). More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency. Hawaii International Conference on System Sciences. 56th Hawaii International Conference on System Sciences, Lāhainā. bibtex: '@inproceedings{Brennig_Müller_2023, title={More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency}, booktitle={Hawaii International Conference on System Sciences}, author={Brennig, Katharina and Müller, Oliver}, year={2023} }' chicago: Brennig, Katharina, and Oliver Müller. “More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency.” In Hawaii International Conference on System Sciences, 2023. ieee: K. Brennig and O. Müller, “More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency,” presented at the 56th Hawaii International Conference on System Sciences, Lāhainā, 2023. mla: Brennig, Katharina, and Oliver Müller. “More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency.” Hawaii International Conference on System Sciences, 2023. short: 'K. Brennig, O. Müller, in: Hawaii International Conference on System Sciences, 2023.' conference: end_date: '20230106' location: Lāhainā name: ' 56th Hawaii International Conference on System Sciences' start_date: '20230103' date_created: 2023-01-17T11:34:56Z date_updated: 2024-01-11T11:21:28Z department: - _id: '196' has_accepted_license: '1' keyword: - Digital Services - Line of Visibility - Process Transparency - Customer Preferences - Conjoint Analysis language: - iso: eng publication: Hawaii International Conference on System Sciences publication_identifier: unknown: - 978-0-9981331-6-4 publication_status: published status: public title: More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency type: conference user_id: '51905' year: '2023' ... --- _id: '52662' abstract: - lang: eng text: Static analysis tools support developers in detecting potential coding issues, such as bugs or vulnerabilities. Research emphasizes technical challenges of such tools but also mentions severe usability shortcomings. These shortcomings hinder the adoption of static analysis tools, and user dissatisfaction may even lead to tool abandonment. To comprehensively assess the state of the art, we present the first systematic usability evaluation of a wide range of static analysis tools. We derived a set of 36 relevant criteria from the literature and used them to evaluate a total of 46 static analysis tools complying with our inclusion and exclusion criteria - a representative set of mainly non-proprietary tools. The evaluation against the usability criteria in a multiple-raters approach shows that two thirds of the considered tools off er poor warning messages, while about three-quarters provide hardly any fix support. Furthermore, the integration of user knowledge is strongly neglected, which could be used for instance, to improve handling of false positives. Finally, issues regarding workflow integration and specialized user interfaces are revealed. These findings should prove useful in guiding and focusing further research and development in user experience for static code analyses. author: - first_name: Marcus full_name: Nachtigall, Marcus id: '41213' last_name: Nachtigall - first_name: Michael full_name: Schlichtig, Michael id: '32312' last_name: Schlichtig orcid: 0000-0001-6600-6171 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: 'Nachtigall M, Schlichtig M, Bodden E. Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. In: Software Engineering 2023. Gesellschaft für Informatik e.V.; 2023:95–96.' apa: Nachtigall, M., Schlichtig, M., & Bodden, E. (2023). Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. In Software Engineering 2023 (pp. 95–96). Gesellschaft für Informatik e.V. bibtex: '@inbook{Nachtigall_Schlichtig_Bodden_2023, place={Bonn}, title={Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2023}, pages={95–96} }' chicago: 'Nachtigall, Marcus, Michael Schlichtig, and Eric Bodden. “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale.” In Software Engineering 2023, 95–96. Bonn: Gesellschaft für Informatik e.V., 2023.' ieee: 'M. Nachtigall, M. Schlichtig, and E. Bodden, “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale,” in Software Engineering 2023, Bonn: Gesellschaft für Informatik e.V., 2023, pp. 95–96.' mla: Nachtigall, Marcus, et al. “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 95–96. short: 'M. Nachtigall, M. Schlichtig, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 95–96.' date_created: 2024-03-20T09:26:29Z date_updated: 2024-03-20T09:27:41Z department: - _id: '76' keyword: - Automated static analysis - Software usability language: - iso: eng main_file_link: - url: https://dl.gi.de/items/5afe477f-2f6a-4b3d-b391-f024baf0b7a5 page: 95–96 place: Bonn publication: Software Engineering 2023 publication_identifier: isbn: - 978-3-88579-726-5 publisher: Gesellschaft für Informatik e.V. status: public title: Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale type: book_chapter user_id: '32312' year: '2023' ... --- _id: '52660' abstract: - lang: eng text: Application Programming Interfaces (APIs) are the primary mechanism developers use to obtain access to third-party algorithms and services. Unfortunately, APIs can be misused, which can have catastrophic consequences, especially if the APIs provide security-critical functionalities like cryptography. Understanding what API misuses are, and how they are caused, is important to prevent them, eg, with API misuse detectors. However, definitions for API misuses and related terms in literature vary. This paper presents a systematic literature review to clarify these terms and introduces FUM, a novel Framework for API Usage constraint and Misuse classification. The literature review revealed that API misuses are violations of API usage constraints. To address this, we provide unified definitions and use them to derive FUM. To assess the extent to which FUM aids in determining and guiding the improvement of an API misuses detector’s capabilities, we performed a case study on the state-of the-art misuse detection tool CogniCrypt. The study showed that FUM can be used to properly assess CogniCrypt’s capabilities, identify weaknesses and assist in deriving mitigations and improvements. author: - first_name: Michael full_name: Schlichtig, Michael id: '32312' last_name: Schlichtig orcid: 0000-0001-6600-6171 - first_name: Steffen full_name: Sassalla, Steffen last_name: Sassalla - first_name: Krishna full_name: Narasimhan, Krishna last_name: Narasimhan - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: 'Schlichtig M, Sassalla S, Narasimhan K, Bodden E. Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. In: Software Engineering 2023. Gesellschaft für Informatik e.V.; 2023:105–106.' apa: 'Schlichtig, M., Sassalla, S., Narasimhan, K., & Bodden, E. (2023). Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. In Software Engineering 2023 (pp. 105–106). Gesellschaft für Informatik e.V.' bibtex: '@inbook{Schlichtig_Sassalla_Narasimhan_Bodden_2023, place={Bonn}, title={Introducing FUM: A Framework for API Usage Constraint and Misuse Classification}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}, year={2023}, pages={105–106} }' chicago: 'Schlichtig, Michael, Steffen Sassalla, Krishna Narasimhan, and Eric Bodden. “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification.” In Software Engineering 2023, 105–106. Bonn: Gesellschaft für Informatik e.V., 2023.' ieee: 'M. Schlichtig, S. Sassalla, K. Narasimhan, and E. Bodden, “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification,” in Software Engineering 2023, Bonn: Gesellschaft für Informatik e.V., 2023, pp. 105–106.' mla: 'Schlichtig, Michael, et al. “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 105–106.' short: 'M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 105–106.' date_created: 2024-03-20T09:22:27Z date_updated: 2024-03-20T09:25:46Z department: - _id: '76' keyword: - API misuses API usage constraints - classification framework - API misuse detection - static analysis language: - iso: eng main_file_link: - url: https://dl.gi.de/items/c4825557-cf3d-4038-933a-d8f95fd324a2 page: 105–106 place: Bonn publication: Software Engineering 2023 publication_identifier: isbn: - 978-3-88579-726-5 publisher: Gesellschaft für Informatik e.V. status: public title: 'Introducing FUM: A Framework for API Usage Constraint and Misuse Classification' type: book_chapter user_id: '32312' year: '2023' ... --- _id: '53320' author: - first_name: Michael full_name: Winkler, Michael last_name: Winkler citation: ama: Winkler M. A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion. Annales de l’Institut Henri Poincaré C, Analyse non linéaire. Published online 2023. doi:10.4171/aihpc/73 apa: Winkler, M. (2023). A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion. Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire. https://doi.org/10.4171/aihpc/73 bibtex: '@article{Winkler_2023, title={A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion}, DOI={10.4171/aihpc/73}, journal={Annales de l’Institut Henri Poincaré C, Analyse non linéaire}, publisher={European Mathematical Society - EMS - Publishing House GmbH}, author={Winkler, Michael}, year={2023} }' chicago: Winkler, Michael. “A Quantitative Strong Parabolic Maximum Principle and Application to a Taxis-Type Migration–Consumption Model Involving Signal-Dependent Degenerate Diffusion.” Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire, 2023. https://doi.org/10.4171/aihpc/73. ieee: 'M. Winkler, “A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion,” Annales de l’Institut Henri Poincaré C, Analyse non linéaire, 2023, doi: 10.4171/aihpc/73.' mla: Winkler, Michael. “A Quantitative Strong Parabolic Maximum Principle and Application to a Taxis-Type Migration–Consumption Model Involving Signal-Dependent Degenerate Diffusion.” Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire, European Mathematical Society - EMS - Publishing House GmbH, 2023, doi:10.4171/aihpc/73. short: M. Winkler, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire (2023). date_created: 2024-04-07T12:34:35Z date_updated: 2024-04-07T12:36:00Z doi: 10.4171/aihpc/73 keyword: - Mathematical Physics - Analysis - Applied Mathematics language: - iso: eng publication: Annales de l'Institut Henri Poincaré C, Analyse non linéaire publication_identifier: issn: - 0294-1449 - 1873-1430 publication_status: published publisher: European Mathematical Society - EMS - Publishing House GmbH status: public title: A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion type: journal_article user_id: '31496' year: '2023' ... --- _id: '53318' author: - first_name: Genglin full_name: Li, Genglin last_name: Li - first_name: Michael full_name: Winkler, Michael last_name: Winkler citation: ama: Li G, Winkler M. Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities. Applicable Analysis. 2023;103(1):45-64. doi:10.1080/00036811.2023.2173183 apa: Li, G., & Winkler, M. (2023). Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities. Applicable Analysis, 103(1), 45–64. https://doi.org/10.1080/00036811.2023.2173183 bibtex: '@article{Li_Winkler_2023, title={Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities}, volume={103}, DOI={10.1080/00036811.2023.2173183}, number={1}, journal={Applicable Analysis}, publisher={Informa UK Limited}, author={Li, Genglin and Winkler, Michael}, year={2023}, pages={45–64} }' chicago: 'Li, Genglin, and Michael Winkler. “Refined Regularity Analysis for a Keller-Segel-Consumption System Involving Signal-Dependent Motilities.” Applicable Analysis 103, no. 1 (2023): 45–64. https://doi.org/10.1080/00036811.2023.2173183.' ieee: 'G. Li and M. Winkler, “Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities,” Applicable Analysis, vol. 103, no. 1, pp. 45–64, 2023, doi: 10.1080/00036811.2023.2173183.' mla: Li, Genglin, and Michael Winkler. “Refined Regularity Analysis for a Keller-Segel-Consumption System Involving Signal-Dependent Motilities.” Applicable Analysis, vol. 103, no. 1, Informa UK Limited, 2023, pp. 45–64, doi:10.1080/00036811.2023.2173183. short: G. Li, M. Winkler, Applicable Analysis 103 (2023) 45–64. date_created: 2024-04-07T12:32:55Z date_updated: 2024-04-07T12:36:11Z doi: 10.1080/00036811.2023.2173183 intvolume: ' 103' issue: '1' keyword: - Applied Mathematics - Analysis language: - iso: eng page: 45-64 publication: Applicable Analysis publication_identifier: issn: - 0003-6811 - 1563-504X publication_status: published publisher: Informa UK Limited status: public title: Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities type: journal_article user_id: '31496' volume: 103 year: '2023' ... --- _id: '53324' article_number: '180' author: - first_name: Jaewook full_name: Ahn, Jaewook last_name: Ahn - first_name: Michael full_name: Winkler, Michael last_name: Winkler citation: ama: Ahn J, Winkler M. A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system. Calculus of Variations and Partial Differential Equations. 2023;62(6). doi:10.1007/s00526-023-02523-5 apa: Ahn, J., & Winkler, M. (2023). A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system. Calculus of Variations and Partial Differential Equations, 62(6), Article 180. https://doi.org/10.1007/s00526-023-02523-5 bibtex: '@article{Ahn_Winkler_2023, title={A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system}, volume={62}, DOI={10.1007/s00526-023-02523-5}, number={6180}, journal={Calculus of Variations and Partial Differential Equations}, publisher={Springer Science and Business Media LLC}, author={Ahn, Jaewook and Winkler, Michael}, year={2023} }' chicago: Ahn, Jaewook, and Michael Winkler. “A Critical Exponent for Blow-up in a Two-Dimensional Chemotaxis-Consumption System.” Calculus of Variations and Partial Differential Equations 62, no. 6 (2023). https://doi.org/10.1007/s00526-023-02523-5. ieee: 'J. Ahn and M. Winkler, “A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system,” Calculus of Variations and Partial Differential Equations, vol. 62, no. 6, Art. no. 180, 2023, doi: 10.1007/s00526-023-02523-5.' mla: Ahn, Jaewook, and Michael Winkler. “A Critical Exponent for Blow-up in a Two-Dimensional Chemotaxis-Consumption System.” Calculus of Variations and Partial Differential Equations, vol. 62, no. 6, 180, Springer Science and Business Media LLC, 2023, doi:10.1007/s00526-023-02523-5. short: J. Ahn, M. Winkler, Calculus of Variations and Partial Differential Equations 62 (2023). date_created: 2024-04-07T12:40:02Z date_updated: 2024-04-07T12:40:06Z doi: 10.1007/s00526-023-02523-5 intvolume: ' 62' issue: '6' keyword: - Applied Mathematics - Analysis language: - iso: eng publication: Calculus of Variations and Partial Differential Equations publication_identifier: issn: - 0944-2669 - 1432-0835 publication_status: published publisher: Springer Science and Business Media LLC status: public title: A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system type: journal_article user_id: '31496' volume: 62 year: '2023' ... --- _id: '53329' article_number: '103820' author: - first_name: Youshan full_name: Tao, Youshan last_name: Tao - first_name: Michael full_name: Winkler, Michael last_name: Winkler citation: ama: 'Tao Y, Winkler M. Analysis of a chemotaxis-SIS epidemic model with unbounded infection force. Nonlinear Analysis: Real World Applications. 2023;71. doi:10.1016/j.nonrwa.2022.103820' apa: 'Tao, Y., & Winkler, M. (2023). Analysis of a chemotaxis-SIS epidemic model with unbounded infection force. Nonlinear Analysis: Real World Applications, 71, Article 103820. https://doi.org/10.1016/j.nonrwa.2022.103820' bibtex: '@article{Tao_Winkler_2023, title={Analysis of a chemotaxis-SIS epidemic model with unbounded infection force}, volume={71}, DOI={10.1016/j.nonrwa.2022.103820}, number={103820}, journal={Nonlinear Analysis: Real World Applications}, publisher={Elsevier BV}, author={Tao, Youshan and Winkler, Michael}, year={2023} }' chicago: 'Tao, Youshan, and Michael Winkler. “Analysis of a Chemotaxis-SIS Epidemic Model with Unbounded Infection Force.” Nonlinear Analysis: Real World Applications 71 (2023). https://doi.org/10.1016/j.nonrwa.2022.103820.' ieee: 'Y. Tao and M. Winkler, “Analysis of a chemotaxis-SIS epidemic model with unbounded infection force,” Nonlinear Analysis: Real World Applications, vol. 71, Art. no. 103820, 2023, doi: 10.1016/j.nonrwa.2022.103820.' mla: 'Tao, Youshan, and Michael Winkler. “Analysis of a Chemotaxis-SIS Epidemic Model with Unbounded Infection Force.” Nonlinear Analysis: Real World Applications, vol. 71, 103820, Elsevier BV, 2023, doi:10.1016/j.nonrwa.2022.103820.' short: 'Y. Tao, M. Winkler, Nonlinear Analysis: Real World Applications 71 (2023).' date_created: 2024-04-07T12:43:49Z date_updated: 2024-04-07T12:43:53Z doi: 10.1016/j.nonrwa.2022.103820 intvolume: ' 71' keyword: - Applied Mathematics - Computational Mathematics - General Economics - Econometrics and Finance - General Engineering - General Medicine - Analysis language: - iso: eng publication: 'Nonlinear Analysis: Real World Applications' publication_identifier: issn: - 1468-1218 publication_status: published publisher: Elsevier BV status: public title: Analysis of a chemotaxis-SIS epidemic model with unbounded infection force type: journal_article user_id: '31496' volume: 71 year: '2023' ... --- _id: '53341' 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 is considered for the Keller–Segel system

$$\\begin{aligned} \\left\\{ \\begin{array}{l}u_t = \\Delta u - \\nabla \\cdot (u\\nabla v), \\\\ 0 = \\Delta v + u, \\end{array} \\right. \\qquad \\qquad (\\star ) \\end{aligned}$$

\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 \ u\r\n t\r\n \ \r\n =\r\n \ Δ\r\n u\r\n \ -\r\n ∇\r\n \ ·\r\n \r\n \ (\r\n u\r\n \ ∇\r\n v\r\n \ )\r\n \r\n \ ,\r\n \r\n \ \r\n \r\n \ \r\n \r\n \ \r\n \r\n 0\r\n =\r\n \ Δ\r\n v\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 \ )\r\n \r\n \ \r\n \r\n \ \r\n \r\n \r\n \ with a focus on a detailed description of behavior in the presence of nonnegative radially symmetric initial data

$$u_0$$

\r\n \r\n \ u\r\n 0\r\n \ \r\n with non-integrable behavior at spatial infinity. It is shown that if

$$u_0$$

\r\n \r\n \ u\r\n 0\r\n \ \r\n is continuous and bounded, then (

$$\\star $$

\r\n \ ⋆\r\n ) admits a local-in-time classical solution, whereas if

$$u_0(x)\\rightarrow +\\infty $$

\r\n \ \r\n \r\n u\r\n \ 0\r\n \r\n \ \r\n (\r\n \ x\r\n )\r\n \ \r\n →\r\n \ +\r\n ∞\r\n \ \r\n as

$$|x|\\rightarrow \\infty $$

\r\n \ \r\n |\r\n x\r\n \ |\r\n →\r\n \ ∞\r\n \r\n , then no such solution can be found. Furthermore, a collection of three sufficient criteria for either global existence or global nonexistence indicates that with respect to the occurrence of finite-time blow-up, spatial decay properties of an explicit singular steady state plays a critical role. In particular, this underlines that explosions in (

$$\\star $$

\r\n \ ⋆\r\n ) need not be enforced by initially high concentrations near finite points, but can be exclusively due to large tails." author: - first_name: Michael full_name: Winkler, Michael last_name: Winkler citation: ama: Winkler M. Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity. Journal of Elliptic and Parabolic Equations. 2023;9(2):919-959. doi:10.1007/s41808-023-00230-y apa: Winkler, M. (2023). Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity. Journal of Elliptic and Parabolic Equations, 9(2), 919–959. https://doi.org/10.1007/s41808-023-00230-y bibtex: '@article{Winkler_2023, title={Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity}, volume={9}, DOI={10.1007/s41808-023-00230-y}, number={2}, journal={Journal of Elliptic and Parabolic Equations}, publisher={Springer Science and Business Media LLC}, author={Winkler, Michael}, year={2023}, pages={919–959} }' chicago: 'Winkler, Michael. “Solutions to the Keller–Segel System with Non-Integrable Behavior at Spatial Infinity.” Journal of Elliptic and Parabolic Equations 9, no. 2 (2023): 919–59. https://doi.org/10.1007/s41808-023-00230-y.' ieee: 'M. Winkler, “Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity,” Journal of Elliptic and Parabolic Equations, vol. 9, no. 2, pp. 919–959, 2023, doi: 10.1007/s41808-023-00230-y.' mla: Winkler, Michael. “Solutions to the Keller–Segel System with Non-Integrable Behavior at Spatial Infinity.” Journal of Elliptic and Parabolic Equations, vol. 9, no. 2, Springer Science and Business Media LLC, 2023, pp. 919–59, doi:10.1007/s41808-023-00230-y. short: M. Winkler, Journal of Elliptic and Parabolic Equations 9 (2023) 919–959. date_created: 2024-04-07T12:52:52Z date_updated: 2024-04-07T12:52:55Z doi: 10.1007/s41808-023-00230-y intvolume: ' 9' issue: '2' keyword: - Applied Mathematics - Numerical Analysis - Analysis language: - iso: eng page: 919-959 publication: Journal of Elliptic and Parabolic Equations publication_identifier: issn: - 2296-9020 - 2296-9039 publication_status: published publisher: Springer Science and Business Media LLC status: public title: Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity type: journal_article user_id: '31496' volume: 9 year: '2023' ... --- _id: '53342' author: - first_name: Michael full_name: Winkler, Michael last_name: Winkler - first_name: Tomomi full_name: Yokota, Tomomi last_name: Yokota citation: ama: Winkler M, Yokota T. Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems. Journal of Differential Equations. 2023;374:1-28. doi:10.1016/j.jde.2023.07.029 apa: Winkler, M., & Yokota, T. (2023). Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems. Journal of Differential Equations, 374, 1–28. https://doi.org/10.1016/j.jde.2023.07.029 bibtex: '@article{Winkler_Yokota_2023, title={Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems}, volume={374}, DOI={10.1016/j.jde.2023.07.029}, journal={Journal of Differential Equations}, publisher={Elsevier BV}, author={Winkler, Michael and Yokota, Tomomi}, year={2023}, pages={1–28} }' chicago: 'Winkler, Michael, and Tomomi Yokota. “Avoiding Critical Mass Phenomena by Arbitrarily Mild Saturation of Cross-Diffusive Fluxes in Two-Dimensional Keller-Segel-Navier-Stokes Systems.” Journal of Differential Equations 374 (2023): 1–28. https://doi.org/10.1016/j.jde.2023.07.029.' ieee: 'M. Winkler and T. Yokota, “Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems,” Journal of Differential Equations, vol. 374, pp. 1–28, 2023, doi: 10.1016/j.jde.2023.07.029.' mla: Winkler, Michael, and Tomomi Yokota. “Avoiding Critical Mass Phenomena by Arbitrarily Mild Saturation of Cross-Diffusive Fluxes in Two-Dimensional Keller-Segel-Navier-Stokes Systems.” Journal of Differential Equations, vol. 374, Elsevier BV, 2023, pp. 1–28, doi:10.1016/j.jde.2023.07.029. short: M. Winkler, T. Yokota, Journal of Differential Equations 374 (2023) 1–28. date_created: 2024-04-07T12:53:32Z date_updated: 2024-04-07T12:53:38Z doi: 10.1016/j.jde.2023.07.029 intvolume: ' 374' keyword: - Analysis - Applied Mathematics language: - iso: eng page: 1-28 publication: Journal of Differential Equations publication_identifier: issn: - 0022-0396 publication_status: published publisher: Elsevier BV status: public title: Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems type: journal_article user_id: '31496' volume: 374 year: '2023' ... --- _id: '53346' author: - first_name: Michael full_name: Winkler, Michael last_name: Winkler citation: ama: Winkler M. Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing. Advances in Differential Equations. 2023;28(11/12). doi:10.57262/ade028-1112-921 apa: Winkler, M. (2023). Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing. Advances in Differential Equations, 28(11/12). https://doi.org/10.57262/ade028-1112-921 bibtex: '@article{Winkler_2023, title={Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing}, volume={28}, DOI={10.57262/ade028-1112-921}, number={11/12}, journal={Advances in Differential Equations}, publisher={Khayyam Publishing, Inc}, author={Winkler, Michael}, year={2023} }' chicago: Winkler, Michael. “Absence of Collapse into Persistent Dirac-Type Singularities in a Keller-Segel-Navier-Stokes System Involving Local Sensing.” Advances in Differential Equations 28, no. 11/12 (2023). https://doi.org/10.57262/ade028-1112-921. ieee: 'M. Winkler, “Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing,” Advances in Differential Equations, vol. 28, no. 11/12, 2023, doi: 10.57262/ade028-1112-921.' mla: Winkler, Michael. “Absence of Collapse into Persistent Dirac-Type Singularities in a Keller-Segel-Navier-Stokes System Involving Local Sensing.” Advances in Differential Equations, vol. 28, no. 11/12, Khayyam Publishing, Inc, 2023, doi:10.57262/ade028-1112-921. short: M. Winkler, Advances in Differential Equations 28 (2023). date_created: 2024-04-07T12:57:19Z date_updated: 2024-04-07T12:57:23Z doi: 10.57262/ade028-1112-921 intvolume: ' 28' issue: 11/12 keyword: - Applied Mathematics - Analysis language: - iso: eng publication: Advances in Differential Equations publication_identifier: issn: - 1079-9389 publication_status: published publisher: Khayyam Publishing, Inc status: public title: Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing type: journal_article user_id: '31496' volume: 28 year: '2023' ... --- _id: '53540' abstract: - lang: eng text: "AbstractThis note is concerned with two families of operators related to the fractional Laplacian, the first arising from the Caffarelli-Silvestre extension problem and the second from the fractional heat equation. They both include the Poisson semigroup. We show that on a complete, connected, and non-compact Riemannian manifold of non-negative Ricci curvature, in both cases, the solution with

$$L^1$$

\r\n \r\n \ L\r\n 1\r\n \ \r\n initial data behaves asymptotically as the mass times the fundamental solution. Similar long-time convergence results remain valid on more general manifolds satisfying the Li-Yau two-sided estimate of the heat kernel. The situation changes drastically on hyperbolic space, and more generally on rank one non-compact symmetric spaces: we show that for the Poisson semigroup, the convergence to the Poisson kernel fails -but remains true under the additional assumption of radial initial data." author: - first_name: Efthymia full_name: Papageorgiou, Efthymia id: '100325' last_name: Papageorgiou citation: ama: Papageorgiou E. Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds. Potential Analysis. Published online 2023. doi:10.1007/s11118-023-10109-1 apa: Papageorgiou, E. (2023). Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds. Potential Analysis. https://doi.org/10.1007/s11118-023-10109-1 bibtex: '@article{Papageorgiou_2023, title={Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds}, DOI={10.1007/s11118-023-10109-1}, journal={Potential Analysis}, publisher={Springer Science and Business Media LLC}, author={Papageorgiou, Efthymia}, year={2023} }' chicago: Papageorgiou, Efthymia. “Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds.” Potential Analysis, 2023. https://doi.org/10.1007/s11118-023-10109-1. ieee: 'E. Papageorgiou, “Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds,” Potential Analysis, 2023, doi: 10.1007/s11118-023-10109-1.' mla: Papageorgiou, Efthymia. “Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds.” Potential Analysis, Springer Science and Business Media LLC, 2023, doi:10.1007/s11118-023-10109-1. short: E. Papageorgiou, Potential Analysis (2023). date_created: 2024-04-17T13:17:37Z date_updated: 2024-04-17T13:19:59Z department: - _id: '555' doi: 10.1007/s11118-023-10109-1 keyword: - Analysis language: - iso: eng publication: Potential Analysis publication_identifier: issn: - 0926-2601 - 1572-929X publication_status: published publisher: Springer Science and Business Media LLC status: public title: Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds type: journal_article user_id: '100325' year: '2023' ... --- _id: '53539' abstract: - lang: eng text: "AbstractThe infinite Brownian loop on a Riemannian manifold is the limit in distribution of the Brownian bridge of length T around a fixed origin when

$$T \\rightarrow +\\infty $$

\r\n \ \r\n T\r\n →\r\n \ +\r\n ∞\r\n \ \r\n . The aim of this note is to study its long-time asymptotics on Riemannian symmetric spaces G/K of noncompact type and of general rank. This amounts to the behavior of solutions to the heat equation subject to the Doob transform induced by the ground spherical function. Unlike the standard Brownian motion, we observe in this case phenomena which are similar to the Euclidean setting, namely

$$L^1$$

\r\n \r\n \ L\r\n 1\r\n \ \r\n asymptotic convergence without requiring bi-K-invariance for initial data, and strong

$$L^{\\infty }$$

\r\n \ \r\n L\r\n ∞\r\n \ \r\n convergence." author: - first_name: Efthymia full_name: Papageorgiou, Efthymia id: '100325' last_name: Papageorgiou citation: ama: Papageorgiou E. Asymptotics for the infinite Brownian loop on noncompact symmetric spaces. Journal of Elliptic and Parabolic Equations. Published online 2023. doi:10.1007/s41808-023-00250-8 apa: Papageorgiou, E. (2023). Asymptotics for the infinite Brownian loop on noncompact symmetric spaces. Journal of Elliptic and Parabolic Equations. https://doi.org/10.1007/s41808-023-00250-8 bibtex: '@article{Papageorgiou_2023, title={Asymptotics for the infinite Brownian loop on noncompact symmetric spaces}, DOI={10.1007/s41808-023-00250-8}, journal={Journal of Elliptic and Parabolic Equations}, publisher={Springer Science and Business Media LLC}, author={Papageorgiou, Efthymia}, year={2023} }' chicago: Papageorgiou, Efthymia. “Asymptotics for the Infinite Brownian Loop on Noncompact Symmetric Spaces.” Journal of Elliptic and Parabolic Equations, 2023. https://doi.org/10.1007/s41808-023-00250-8. ieee: 'E. Papageorgiou, “Asymptotics for the infinite Brownian loop on noncompact symmetric spaces,” Journal of Elliptic and Parabolic Equations, 2023, doi: 10.1007/s41808-023-00250-8.' mla: Papageorgiou, Efthymia. “Asymptotics for the Infinite Brownian Loop on Noncompact Symmetric Spaces.” Journal of Elliptic and Parabolic Equations, Springer Science and Business Media LLC, 2023, doi:10.1007/s41808-023-00250-8. short: E. Papageorgiou, Journal of Elliptic and Parabolic Equations (2023). date_created: 2024-04-17T13:16:39Z date_updated: 2024-04-17T13:17:10Z department: - _id: '555' doi: 10.1007/s41808-023-00250-8 keyword: - Applied Mathematics - Numerical Analysis - Analysis language: - iso: eng publication: Journal of Elliptic and Parabolic Equations publication_identifier: issn: - 2296-9020 - 2296-9039 publication_status: published publisher: Springer Science and Business Media LLC status: public title: Asymptotics for the infinite Brownian loop on noncompact symmetric spaces type: journal_article user_id: '100325' year: '2023' ... --- _id: '43105' article_number: '103868' author: - first_name: Tobias full_name: Black, Tobias id: '23686' last_name: Black orcid: 0000-0001-9963-0800 - first_name: Mario full_name: Fuest, Mario last_name: Fuest - first_name: Johannes full_name: Lankeit, Johannes last_name: Lankeit - first_name: Masaaki full_name: Mizukami, Masaaki last_name: Mizukami citation: ama: 'Black T, Fuest M, Lankeit J, Mizukami M. Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source. Nonlinear Analysis: Real World Applications. 2023;73. doi:10.1016/j.nonrwa.2023.103868' apa: 'Black, T., Fuest, M., Lankeit, J., & Mizukami, M. (2023). Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source. Nonlinear Analysis: Real World Applications, 73, Article 103868. https://doi.org/10.1016/j.nonrwa.2023.103868' bibtex: '@article{Black_Fuest_Lankeit_Mizukami_2023, title={Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source}, volume={73}, DOI={10.1016/j.nonrwa.2023.103868}, number={103868}, journal={Nonlinear Analysis: Real World Applications}, publisher={Elsevier BV}, author={Black, Tobias and Fuest, Mario and Lankeit, Johannes and Mizukami, Masaaki}, year={2023} }' chicago: 'Black, Tobias, Mario Fuest, Johannes Lankeit, and Masaaki Mizukami. “Possible Points of Blow-up in Chemotaxis Systems with Spatially Heterogeneous Logistic Source.” Nonlinear Analysis: Real World Applications 73 (2023). https://doi.org/10.1016/j.nonrwa.2023.103868.' ieee: 'T. Black, M. Fuest, J. Lankeit, and M. Mizukami, “Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source,” Nonlinear Analysis: Real World Applications, vol. 73, Art. no. 103868, 2023, doi: 10.1016/j.nonrwa.2023.103868.' mla: 'Black, Tobias, et al. “Possible Points of Blow-up in Chemotaxis Systems with Spatially Heterogeneous Logistic Source.” Nonlinear Analysis: Real World Applications, vol. 73, 103868, Elsevier BV, 2023, doi:10.1016/j.nonrwa.2023.103868.' short: 'T. Black, M. Fuest, J. Lankeit, M. Mizukami, Nonlinear Analysis: Real World Applications 73 (2023).' date_created: 2023-03-27T07:25:58Z date_updated: 2023-03-27T07:27:03Z department: - _id: '34' - _id: '10' - _id: '90' doi: 10.1016/j.nonrwa.2023.103868 intvolume: ' 73' keyword: - Applied Mathematics - Computational Mathematics - General Economics - Econometrics and Finance - General Engineering - General Medicine - Analysis language: - iso: eng publication: 'Nonlinear Analysis: Real World Applications' publication_identifier: issn: - 1468-1218 publication_status: published publisher: Elsevier BV status: public title: Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source type: journal_article user_id: '23686' volume: 73 year: '2023' ... --- _id: '44390' abstract: - lang: eng text: The development of autonomous vehicles and their introduction in urban traffic offer many opportunities for traffic improvements. In this paper, an approach for a future traffic control system for mixed autonomy traffic environments is presented. Furthermore, a simulation framework based on the city of Paderborn is introduced to enable the development and examination of such a system. This encompasses multiple elements including the road network itself, traffic lights, sensors as well as methods to analyse the topology of the network. Furthermore, a procedure for traffic demand generation and routing is presented based on statistical data of the city and traffic data obtained by measurements. The resulting model can receive and apply the generated control inputs and in turn generates simulated sensor data for the control system based on the current system state. author: - first_name: Christopher full_name: Link, Christopher id: '38249' last_name: Link - first_name: Kevin full_name: Malena, Kevin id: '36303' last_name: Malena orcid: 0000-0003-1183-4679 - first_name: Sandra full_name: Gausemeier, Sandra id: '17793' last_name: Gausemeier - first_name: Ansgar full_name: Trächtler, Ansgar id: '552' last_name: Trächtler citation: ama: 'Link C, Malena K, Gausemeier S, Trächtler A. Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios. In: Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems. SCITEPRESS - Science and Technology Publications; 2023. doi:10.5220/0011987600003479' apa: Link, C., Malena, K., Gausemeier, S., & Trächtler, A. (2023). Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios. Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems. 9th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2023), Prague, Czech Republic. https://doi.org/10.5220/0011987600003479 bibtex: '@inproceedings{Link_Malena_Gausemeier_Trächtler_2023, title={Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios}, DOI={10.5220/0011987600003479}, booktitle={Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems}, publisher={SCITEPRESS - Science and Technology Publications}, author={Link, Christopher and Malena, Kevin and Gausemeier, Sandra and Trächtler, Ansgar}, year={2023} }' chicago: Link, Christopher, Kevin Malena, Sandra Gausemeier, and Ansgar Trächtler. “Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios.” In Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems. SCITEPRESS - Science and Technology Publications, 2023. https://doi.org/10.5220/0011987600003479. ieee: 'C. Link, K. Malena, S. Gausemeier, and A. Trächtler, “Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios,” presented at the 9th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2023), Prague, Czech Republic, 2023, doi: 10.5220/0011987600003479.' mla: Link, Christopher, et al. “Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios.” Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems, SCITEPRESS - Science and Technology Publications, 2023, doi:10.5220/0011987600003479. short: 'C. Link, K. Malena, S. Gausemeier, A. Trächtler, in: Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems, SCITEPRESS - Science and Technology Publications, 2023.' conference: end_date: 2023-04-28 location: Prague, Czech Republic name: 9th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2023) start_date: 2023-04-26 date_created: 2023-05-03T08:57:10Z date_updated: 2023-05-03T09:15:19Z department: - _id: '153' doi: 10.5220/0011987600003479 keyword: - Traffic Simulation - Traffic Control - Car2X - Mixed Autonomy - Autonomous Vehicles - SUMO - Sensor Simulation - Traffic Demand Generation - Routing - Traffic Lights - Graph Analysis - Traffic Observer language: - iso: eng main_file_link: - url: https://www.scitepress.org/Link.aspx?doi=10.5220/0011987600003479 publication: Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems publication_identifier: isbn: - 978-989-758-652-1 publication_status: published publisher: SCITEPRESS - Science and Technology Publications quality_controlled: '1' status: public title: Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios type: conference user_id: '38249' year: '2023' ... --- _id: '29240' abstract: - lang: eng text: "The principle of least action is one of the most fundamental physical principle. It says that among all possible motions connecting two points in a phase space, the system will exhibit those motions which extremise an action functional. Many qualitative features of dynamical systems, such as the presence of conservation laws and energy balance equations, are related to the existence of an action functional. Incorporating variational structure into learning algorithms for dynamical systems is, therefore, crucial in order to make sure that the learned model shares important features with the exact physical system. In this paper we show how to incorporate variational principles into trajectory predictions of learned dynamical systems. The novelty of this work is that (1) our technique relies only on discrete position data of observed trajectories. Velocities or conjugate momenta do not need to be observed or approximated and no prior knowledge about the form of the variational principle is assumed. Instead, they are recovered using backward error analysis. (2) Moreover, our technique compensates discretisation errors when trajectories are computed from the learned system. This is important when moderate to large step-sizes are used and high accuracy is required. For this,\r\nwe introduce and rigorously analyse the concept of inverse modified Lagrangians by developing an inverse version of variational backward error analysis. (3) Finally, we introduce a method to perform system identification from position observations only, based on variational backward error analysis." article_type: original author: - first_name: Sina full_name: Ober-Blöbaum, Sina id: '16494' last_name: Ober-Blöbaum - first_name: Christian full_name: Offen, Christian id: '85279' last_name: Offen orcid: 0000-0002-5940-8057 citation: ama: Ober-Blöbaum S, Offen C. Variational Learning of Euler–Lagrange Dynamics from Data. Journal of Computational and Applied Mathematics. 2023;421:114780. doi:10.1016/j.cam.2022.114780 apa: Ober-Blöbaum, S., & Offen, C. (2023). Variational Learning of Euler–Lagrange Dynamics from Data. Journal of Computational and Applied Mathematics, 421, 114780. https://doi.org/10.1016/j.cam.2022.114780 bibtex: '@article{Ober-Blöbaum_Offen_2023, title={Variational Learning of Euler–Lagrange Dynamics from Data}, volume={421}, DOI={10.1016/j.cam.2022.114780}, journal={Journal of Computational and Applied Mathematics}, publisher={Elsevier}, author={Ober-Blöbaum, Sina and Offen, Christian}, year={2023}, pages={114780} }' chicago: 'Ober-Blöbaum, Sina, and Christian Offen. “Variational Learning of Euler–Lagrange Dynamics from Data.” Journal of Computational and Applied Mathematics 421 (2023): 114780. https://doi.org/10.1016/j.cam.2022.114780.' ieee: 'S. Ober-Blöbaum and C. Offen, “Variational Learning of Euler–Lagrange Dynamics from Data,” Journal of Computational and Applied Mathematics, vol. 421, p. 114780, 2023, doi: 10.1016/j.cam.2022.114780.' mla: Ober-Blöbaum, Sina, and Christian Offen. “Variational Learning of Euler–Lagrange Dynamics from Data.” Journal of Computational and Applied Mathematics, vol. 421, Elsevier, 2023, p. 114780, doi:10.1016/j.cam.2022.114780. short: S. Ober-Blöbaum, C. Offen, Journal of Computational and Applied Mathematics 421 (2023) 114780. date_created: 2022-01-11T13:24:00Z date_updated: 2023-08-10T08:42:39Z ddc: - '510' department: - _id: '636' doi: 10.1016/j.cam.2022.114780 external_id: arxiv: - '2112.12619' file: - access_level: open_access content_type: application/pdf creator: coffen date_created: 2022-06-28T15:25:50Z date_updated: 2022-06-28T15:25:50Z description: |- The principle of least action is one of the most fundamental physical principle. It says that among all possible motions connecting two points in a phase space, the system will exhibit those motions which extremise an action functional. Many qualitative features of dynamical systems, such as the presence of conservation laws and energy balance equa- tions, are related to the existence of an action functional. Incorporating variational structure into learning algorithms for dynamical systems is, therefore, crucial in order to make sure that the learned model shares important features with the exact physical system. In this paper we show how to incorporate variational principles into trajectory predic- tions of learned dynamical systems. The novelty of this work is that (1) our technique relies only on discrete position data of observed trajectories. Velocities or conjugate momenta do not need to be observed or approximated and no prior knowledge about the form of the variational principle is assumed. Instead, they are recovered using backward error analysis. (2) Moreover, our technique compensates discretisation errors when trajectories are computed from the learned system. This is important when moderate to large step-sizes are used and high accuracy is required. For this, we introduce and rigorously analyse the concept of inverse modified Lagrangians by developing an inverse version of variational backward error analysis. (3) Finally, we introduce a method to perform system identification from position observations only, based on variational backward error analysis. file_id: '32274' file_name: ShadowLagrangian_revision1_journal_style_arxiv.pdf file_size: 3640770 relation: main_file title: Variational Learning of Euler–Lagrange Dynamics from Data file_date_updated: 2022-06-28T15:25:50Z has_accepted_license: '1' intvolume: ' 421' keyword: - Lagrangian learning - variational backward error analysis - modified Lagrangian - variational integrators - physics informed learning language: - iso: eng oa: '1' page: '114780' publication: Journal of Computational and Applied Mathematics publication_identifier: issn: - 0377-0427 publication_status: epub_ahead publisher: Elsevier quality_controlled: '1' related_material: link: - relation: software url: https://github.com/Christian-Offen/LagrangianShadowIntegration status: public title: Variational Learning of Euler–Lagrange Dynamics from Data type: journal_article user_id: '85279' volume: 421 year: '2023' ...