@article{SchachnerGrossHasletal.2021,
  author    = {Schachner, Theresa and Gross, Christoph and Hasl, Andrea and Wangenheim, Florian von and Kowatsch, Tobias},
  title     = {Deliberative and paternalistic interaction styles for conversational agents in digital health},
  series = {Journal of medical internet research : international scientific journal for medical research, information and communication on the internet ; JMIR},
  volume    = {23},
  journal   = {Journal of medical internet research : international scientific journal for medical research, information and communication on the internet ; JMIR},
  number    = {1},
  publisher = {Healthcare World},
  address   = {Richmond, Va.},
  issn      = {1438-8871},
  doi       = {10.2196/22919},
  pages     = {13},
  year      = {2021},
  abstract  = {Background: Recent years have witnessed a constant increase in the number of people with chronic conditions requiring ongoing medical support in their everyday lives. However, global health systems are not adequately equipped for this extraordinarily time-consuming and cost-intensive development. Here, conversational agents (CAs) can offer easily scalable and ubiquitous support. Moreover, different aspects of CAs have not yet been sufficiently investigated to fully exploit their potential. One such trait is the interaction style between patients and CAs. In human-to-human settings, the interaction style is an imperative part of the interaction between patients and physicians. Patient-physician interaction is recognized as a critical success factor for patient satisfaction, treatment adherence, and subsequent treatment outcomes. However, so far, it remains effectively unknown how different interaction styles can be implemented into CA interactions and whether these styles are recognizable by users. Objective: The objective of this study was to develop an approach to reproducibly induce 2 specific interaction styles into CA-patient dialogs and subsequently test and validate them in a chronic health care context. Methods: On the basis of the Roter Interaction Analysis System and iterative evaluations by scientific experts and medical health care professionals, we identified 10 communication components that characterize the 2 developed interaction styles: deliberative and paternalistic interaction styles. These communication components were used to develop 2 CA variations, each representing one of the 2 interaction styles. We assessed them in a web-based between-subject experiment. The participants were asked to put themselves in the position of a patient with chronic obstructive pulmonary disease. These participants were randomly assigned to interact with one of the 2 CAs and subsequently asked to identify the respective interaction style. Chi-square test was used to assess the correct identification of the CA-patient interaction style. Results: A total of 88 individuals (42/88, 48\% female; mean age 31.5 years, SD 10.1 years) fulfilled the inclusion criteria and participated in the web-based experiment. The participants in both the paternalistic and deliberative conditions correctly identified the underlying interaction styles of the CAs in more than 80\% of the assessments (X-1(,8)8(2)=38.2; P<.001; phi coefficient r(phi)=0.68). The validation of the procedure was hence successful. Conclusions: We developed an approach that is tailored for a medical context to induce a paternalistic and deliberative interaction style into a written interaction between a patient and a CA. We successfully tested and validated the procedure in a web-based experiment involving 88 participants. Future research should implement and test this approach among actual patients with chronic diseases and compare the results in different medical conditions. This approach can further be used as a starting point to develop dynamic CAs that adapt their interaction styles to their users.},
  language  = {en}
}
@article{BaerBandara2022,
  author    = {B{\"a}r, Christian and Bandara, Lashi},
  title     = {Boundary value problems for general first-order elliptic differential operators},
  series = {Journal of functional analysis},
  volume    = {282},
  journal   = {Journal of functional analysis},
  number    = {12},
  publisher = {Elsevier},
  address   = {Amsterdam [u.a.]},
  issn      = {0022-1236},
  doi       = {10.1016/j.jfa.2022.109445},
  pages     = {69},
  year      = {2022},
  abstract  = {We study boundary value problems for first-order elliptic differential operators on manifolds with compact boundary. The adapted boundary operator need not be selfadjoint and the boundary condition need not be pseudo-local.We show the equivalence of various characterisations of elliptic boundary conditions and demonstrate how the boundary conditions traditionally considered in the literature fit in our framework. The regularity of the solutions up to the boundary is proven. We show that imposing elliptic boundary conditions yields a Fredholm operator if the manifold is compact. We provide examples which are conveniently treated by our methods.},
  language  = {en}
}
@article{LambersOrejas2021,
  author    = {Lambers, Leen and Orejas, Fernando},
  title     = {Transformation rules with nested application conditions},
  series = {Theoretical computer science},
  volume    = {884},
  journal   = {Theoretical computer science},
  publisher = {Elsevier},
  address   = {Amsterdam},
  issn      = {0304-3975},
  doi       = {10.1016/j.tcs.2021.07.023},
  pages     = {44 -- 67},
  year      = {2021},
  abstract  = {Recently, initial conflicts were introduced in the framework of M-adhesive categories as an important optimization of critical pairs. In particular, they represent a proper subset such that each conflict is represented in a minimal context by a unique initial one. The theory of critical pairs has been extended in the framework of M-adhesive categories to rules with nested application conditions (ACs), restricting the applicability of a rule and generalizing the well-known negative application conditions. A notion of initial conflicts for rules with ACs does not exist yet. In this paper, on the one hand, we extend the theory of initial conflicts in the framework of M-adhesive categories to transformation rules with ACs. They represent a proper subset again of critical pairs for rules with ACs, and represent each conflict in a minimal context uniquely. They are moreover symbolic because we can show that in general no finite and complete set of conflicts for rules with ACs exists. On the other hand, we show that critical pairs are minimally M-complete, whereas initial conflicts are minimally complete. Finally, we introduce important special cases of rules with ACs for which we can obtain finite, minimally (M-)complete sets of conflicts.},
  language  = {en}
}