| 1. |
- Aryani, Amir, et al.
(författare)
-
Change propagation analysis using domain information
- 2009
-
Ingår i: Proceedings of the Australian Software Engineering Conference, ASWEC. - 9780769535999 ; , s. 34-43
-
Konferensbidrag (refereegranskat)abstract
- We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis is feasible based purely on the information visible and understandable to domain experts, trading some accuracy for productivity. Such a method is independent of formal architectural representations and may be practical for applications with heterogeneous subsystems, or missing or undocumented source code. In this paper we introduce the first phase of the methodology: creating and evaluating a connection graph of conceptual relationships between user interface components. We provide results of case studies on two web-based systems which illustrate how our methodology can be applied, and how discovered conceptual relationships match the architectural dependencies.
|
|
| 2. |
- Calvaresi, Davide, et al.
(författare)
-
Preface
- 2021
-
Ingår i: Lecture Notes in Computer Science. - : Springer. - 0302-9743 .- 1611-3349. ; 12688, s. v-vi
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
|
|
| 3. |
- Calvaresi, Davide, et al.
(författare)
-
Preface
- 2022
-
Ingår i: Explainable and transparent AI and multi-agent systems. - : Springer Nature. - 9783031155642 - 9783031155659 ; , s. vi-vi
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)
|
|
| 4. |
- Dawaigher, Sami, et al.
(författare)
-
Mono endo-6- And bis endo,endo-12-N,N-diethylcarbamoyl derivatives of Tröger’s Base. Synthesis and exo-endo isomerization study
- 2020
-
Ingår i: Arkivoc. - 1551-7004. ; 2020:7
-
Tidskriftsartikel (refereegranskat)abstract
- An efficient synthetic route to the mono-endo-6- and bis-endo,endo-6,12-N,N-diethylcarbamoyl derivatives of Tröger’s base (TB), endo-7 and endo-8, is reported. Studies of reaction time, proton source, and additive allowed establishment of optimized conditions for the conversion of exo-7 into the corresponding isomer endo-7. With a longer reaction time, the exo,exo-6,12 bis-carbamoyl derivative exo-8 was converted into the corresponding endo,endo-bis-carbamoyl product endo-8. Single crystal X-ray crystallographic analysis confirmed the structural and stereochemical assignments made on the basis of 1H NMR, mechanistic, and calculational studies. Deuterium quench experiments using LDA, CD3ONa/CD3OD and DCl/CD3OD conditions of both exo-7 and exo-8 afforded exo-7d1 and exo-8d2, respectively (> 95% deuterium incorporation), supporting an enolate mechanism for the isomerization. In contrast, when repeating the experiment with DCl/CD3OD, no deuterium was incorporated, suggesting the traditional ring-opening mechanism involving an iminium ion.
|
|
| 5. |
- Ferrando, Angelo, et al.
(författare)
-
On Enactability of Agent Interaction Protocols : Towards a Unified Approach
- 2019
-
Ingår i: AAMAS '19. - : ACM Digital Library. - 9781450363099 ; , s. 1955-1957
-
Konferensbidrag (refereegranskat)abstract
- Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce problems. For instance, it is possible to specify protocols from a global viewpoint that cannot be implemented as a collection of individual agents. This leads naturally to the question of whether a given (global) protocol is enactable. We consider this question in a powerful setting (trace expressions), considering a range of message ordering interpretations (specifying what it means to say that an interaction step occurs before another), and a range of possible constraints on the semantics of message delivery, corresponding to different properties of the underlying communication middleware.
|
|
| 6. |
- Holm, Elena, et al.
(författare)
-
Changes in bleeding patterns in von Willebrand disease after institution of long-term replacement therapy: results from the von Willebrand Disease Prophylaxis Network.
- 2015
-
Ingår i: Blood Coagulation and Fibrinolysis. - 1473-5733. ; 26:4, s. 383-388
-
Tidskriftsartikel (refereegranskat)abstract
- Clinically, the leading symptom in von Willebrand disease (VWD) is bleeding, chiefly of mucosal type, for example, epistaxis, gingival, or gastrointestinal bleeding, and menorrhagia. In severe forms of VWD with secondary deficiency of factor VIII, spontaneous joint bleeding, resembling that observed in severe haemophilia A, may also be observed. The bleeding patterns of VWD can affect quality of life, and may be life-threatening. The von Willebrand Disease Prophylaxis Network is an international study group formed with the goal of investigating the role of prophylaxis in clinically severe VWD. The objective of the present study is to investigate the response to prophylaxis focusing primarily on epistaxis, joint bleeding, gastrointestinal bleeding, and heavy bleeding associated with menses. Data from 105 subjects, 10 enrolled in a prospective study and 95 in a retrospective study between 2008 and 2013, were available for analysis. The median annualized rate reductions in bleeding were significant for epistaxis (P < 0.0001), gastrointestinal bleeding (P = 0.0003), joint bleeding (P < 0.0001), and menorrhagia (P = 0.008). Doses on a group level were approximately the same prior to and during prophylaxis, but more patients with gastrointestinal bleeding had prophylaxis three or more times per week as well as higher dosages. Our study, which primarily used retrospective data, indicates that prospective studies are needed to better delineate the doses and dose intervals that should be used for prophylactic treatment of VWD.
|
|
| 7. |
- Winikoff, Michael, et al.
(författare)
-
Evaluating a Mechanism for Explaining BDI Agent Behaviour
- 2023
-
Ingår i: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. - Richland, SC : The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). - 9781450394321 ; , s. 2283-2285
-
Konferensbidrag (refereegranskat)abstract
- We conducted a survey to evaluate a previously proposed mechanism for explaining Belief-Desire-Intention (BDI) agents using folk psychological concepts (belief, desires, and valuings). We also consider the relationship between trust in the specific autonomous system, and general trust in technology. We find that explanations that include valuings are particularly likely to be preferred by the study participants. We also found evidence that single-factor explanations, as used in some previous work, are too short. © 2023 International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.
|
|
| 8. |
- Winikoff, Michael, et al.
(författare)
-
Evaluating a Mechanism for Explaining BDI Agent Behaviour
- 2023
-
Ingår i: Proceedings of the 5th International Workshop on EXTRAAMAS 2023. - Heidelberg : Springer. - 9783031408779 ; , s. 18-37
-
Konferensbidrag (refereegranskat)abstract
- Explainability of autonomous systems is important to supporting the development of appropriate levels of trust in the system, as well as supporting system predictability. Previous work has proposed an explanation mechanism for Belief-Desire-Intention (BDI) agents that uses folk psychological concepts, specifically beliefs, desires, and valuings. In this paper we evaluate this mechanism by conducting a survey. We consider a number of explanations, and assess to what extent they are considered believable, acceptable, and comprehensible, and which explanations are preferred. We also consider the relationship between trust in the specific autonomous system, and general trust in technology. We find that explanations that include valuings are particularly likely to be preferred by the study participants, whereas those explanations that include links are least likely to be preferred. We also found evidence that single-factor explanations, as used in some previous work, are too short. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
|
|
| 9. |
- Winikoff, Michael, et al.
(författare)
-
Why Bad Coffee? : Explaining Agent Plans with Valuings
- 2018
-
Ingår i: Computer Safety, Reliability, and Security. - Cham : Springer International Publishing. ; , s. 521-534
-
Konferensbidrag (refereegranskat)abstract
- An important issue in deploying an autonomous system is how to enable human users and stakeholders to develop an appropriate level of trust in the system. It has been argued that a crucial mechanism to enable appropriate trust is the ability of a system to explain its behaviour. Obviously, such explanations need to be comprehensible to humans. We argue that it makes sense to build on the results of extensive research in social sciences that explores how humans explain their behaviour. Using similar concepts for explanation is argued to help with comprehensibility, since the concepts are familiar. Following work in the social sciences, we propose the use of a folk-psychological model that utilises beliefs, desires, and “valuings”. We propose a formal framework for constructing explanations of the behaviour of an autonomous system, present an (implemented) algorithm for giving explanations, and present evaluation results.
|
|
| 10. |
- Winikoff, Michael, et al.
(författare)
-
Why bad coffee? Explaining BDI agent behaviour with valuings
- 2021
-
Ingår i: Artificial Intelligence. - Amsterdam : Elsevier. - 0004-3702 .- 1872-7921. ; 300
-
Tidskriftsartikel (refereegranskat)abstract
- An important issue in deploying an autonomous system is how to enable human users and stakeholders to develop an appropriate level of trust in the system. It has been argued that a crucial mechanism to enable appropriate trust is the ability of a system to explain its behaviour. Obviously, such explanations need to be comprehensible to humans. Due to the perceived similarity in functioning between humans and autonomous systems, we argue that it makes sense to build on the results of extensive research in social sciences that explores how humans explain their behaviour. Using similar concepts for explanation is argued to help with comprehensibility, since the concepts are familiar. Following work in the social sciences, we propose the use of a folk-psychological model that utilises beliefs, desires, and “valuings”. We propose a formal framework for constructing explanations of the behaviour of an autonomous system, present an (implemented) algorithm for giving explanations, and present evaluation results. © 2021 Elsevier B.V.
|
|
