| 1. |
- Korecka, A, et al.
(författare)
-
Bidirectional communication between the Aryl hydrocarbon Receptor (AhR) and the microbiome tunes host metabolism
- 2016
-
Ingår i: NPJ biofilms and microbiomes. - : Springer Science and Business Media LLC. - 2055-5008. ; 2, s. 16014-
-
Tidskriftsartikel (refereegranskat)abstract
- The ligand-induced transcription factor, aryl hydrocarbon receptor (AhR) is known for its capacity to tune adaptive immunity and xenobiotic metabolism—biological properties subject to regulation by the indigenous microbiome. The objective of this study was to probe the postulated microbiome-AhR crosstalk and whether such an axis could influence metabolic homeostasis of the host. Utilising a systems-biology approach combining in-depth 1H-NMR-based metabonomics (plasma, liver and skeletal muscle) with microbiome profiling (small intestine, colon and faeces) of AhR knockout (AhR−/−) and wild-type (AhR+/+) mice, we assessed AhR function in host metabolism. Microbiome metabolites such as short-chain fatty acids were found to regulate AhR and its target genes in liver and intestine. The AhR signalling pathway, in turn, was able to influence microbiome composition in the small intestine as evident from microbiota profiling of the AhR+/+ and AhR−/− mice fed with diet enriched with a specific AhR ligand or diet depleted of any known AhR ligands. The AhR−/− mice also displayed increased levels of corticosterol and alanine in serum. In addition, activation of gluconeogenic genes in the AhR−/− mice was indicative of on-going metabolic stress. Reduced levels of ketone bodies and reduced expression of genes involved in fatty acid metabolism in the liver further underscored this observation. Interestingly, exposing AhR−/− mice to a high-fat diet showed resilience to glucose intolerance. Our data suggest the existence of a bidirectional AhR-microbiome axis, which influences host metabolic pathways.
|
|
| 2. |
|
|
| 3. |
- Abbaspour Asadollah, Sara, et al.
(författare)
-
A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software
- 2018
-
Ingår i: Proceedings - 17th International Symposium on Parallel and Distributed Computing, ISPDC 2018. - : Institute of Electrical and Electronics Engineers Inc.. - 9781538653302 ; , s. 172-179
-
Konferensbidrag (refereegranskat)abstract
- This article presents a runtime verification tool for embedded software executing under the open source real-time operating system FreeRTOS. The tool detects and diagnoses concurrency bugs such as deadlock, starvation, and suspension based-locking. The tool finds concurrency bugs at runtime without debugging and tracing the source code. The tool uses the Tracealyzer tool for logging relevant events. Analysing the logs, our tool can detect the concurrency bugs by applying algorithms for diagnosing each concurrency bug type individually. In this paper, we present the implementation of the tool, as well as its functional architecture, together with illustration of its use. The tool can be used during program testing to gain interesting information about embedded software executions. We present initial results of running the tool on some classical bug examples running on an AVR 32-bit board SAM4S.
|
|
| 4. |
- Abbaspour Asadollah, Sara, et al.
(författare)
-
Concurrency bugs in open source software : a case study
- 2017
-
Ingår i: Journal of Internet Services and Applications. - : Springer London. - 1867-4828 .- 1869-0238. ; 8:1
-
Tidskriftsartikel (refereegranskat)abstract
- Concurrent programming puts demands on software debugging and testing, as concurrent software may exhibit problems not present in sequential software, e.g., deadlocks and race conditions. In aiming to increase efficiency and effectiveness of debugging and bug-fixing for concurrent software, a deep understanding of concurrency bugs, their frequency and fixing-times would be helpful. Similarly, to design effective tools and techniques for testing and debugging concurrent software, understanding the differences between non-concurrency and concurrency bugs in real-word software would be useful. This paper presents an empirical study focusing on understanding the differences and similarities between concurrency bugs and other bugs, as well as the differences among various concurrency bug types in terms of their severity and their fixing time, and reproducibility. Our basis is a comprehensive analysis of bug reports covering several generations of five open source software projects. The analysis involves a total of 11860 bug reports from the last decade, including 351 reports related to concurrency bugs. We found that concurrency bugs are different from other bugs in terms of their fixing time and severity while they are similar in terms of reproducibility. Our findings shed light on concurrency bugs and could thereby influence future design and development of concurrent software, their debugging and testing, as well as related tools.
|
|
| 5. |
- Abbaspour, S., et al.
(författare)
-
Real-Time and Offline Evaluation of Myoelectric Pattern Recognition for the Decoding of Hand Movements
- 2021
-
Ingår i: Sensors. - : MDPI AG. - 1424-8220. ; 21:16
-
Tidskriftsartikel (refereegranskat)abstract
- Pattern recognition algorithms have been widely used to map surface electromyographic signals to target movements as a source for prosthetic control. However, most investigations have been conducted offline by performing the analysis on pre-recorded datasets. While real-time data analysis (i.e., classification when new data becomes available, with limits on latency under 200-300 milliseconds) plays an important role in the control of prosthetics, less knowledge has been gained with respect to real-time performance. Recent literature has underscored the differences between offline classification accuracy, the most common performance metric, and the usability of upper limb prostheses. Therefore, a comparative offline and real-time performance analysis between common algorithms had yet to be performed. In this study, we investigated the offline and real-time performance of nine different classification algorithms, decoding ten individual hand and wrist movements. Surface myoelectric signals were recorded from fifteen able-bodied subjects while performing the ten movements. The offline decoding demonstrated that linear discriminant analysis (LDA) and maximum likelihood estimation (MLE) significantly (p < 0.05) outperformed other classifiers, with an average classification accuracy of above 97%. On the other hand, the real-time investigation revealed that, in addition to the LDA and MLE, multilayer perceptron also outperformed the other algorithms and achieved a classification accuracy and completion rate of above 68% and 69%, respectively.
|
|
| 6. |
|
|
| 7. |
- Derakhshan, M., et al.
(författare)
-
The pedagogical challenges of creating information literate librarians
- 2017
-
Ingår i: Library Review. - : Emerald Group Publishing Ltd.. - 0024-2535 .- 1758-793X. ; 66:6-7, s. 570-583
-
Tidskriftsartikel (refereegranskat)abstract
- Purpose: This study aims to investigate the challenges of developing information literacy (IL) competencies and approaches to overcome the challenges among library and information science (LIS) students in Iran. Design/methodology/approach: Taking an exploratory approach, the study used semi-structured interviews to gather the data. Using the 2000 ACRL standards as a framework, the fieldwork questions were designed around the five areas of IL competencies. A total of 15 academics teaching 18 different LIS courses from six universities were interviewed. They were asked the challenges they faced in teaching these competencies and the approaches they took or suggested in overcoming the challenge(s). A thematic approach was used to analyze the data. Findings: Some of the challenges for students mentioned by the interviewees were ambiguity about the discipline, inability to match subject relevance with appropriate sources of information and lack of familiarity with databases. Research limitations/implications: This study is limited to LIS academics; studying students’ reflections can bring broader perspectives to IL education in LIS programs. Owing to the nature of the design of this study, which is a single case study, the teaching experiences of IL are limited to the ones which emerged and were addressed in the context of the case. Although the case selection was made in a way that can be representative of the “general” in the “particular” bounded system of the case (Stake, 1998), studying more cases could certainly have brought broader perspectives to IL which could have been to wider contexts. Originality/value: The results of this study contribute to our understanding of challenges in teaching IL in the LIS discipline, an area that has not been researched directly. This contributes to IL teaching in disciplinary areas and it brings new perspectives to the elements of IL teaching which emerged from the experiences of people who are directly experienced in the context of the discipline.
|
|
| 8. |
|
|
| 9. |
|
|
| 10. |
|
|
