1. |
|
|
2. |
|
|
3. |
|
|
4. |
- Bello, Luciano, 1981, et al.
(author)
-
Value Sensitivity and Observable Abstract Values for Information Flow Control
- 2015
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783662488980 ; 9450, s. 63-78
-
Conference paper (peer-reviewed)abstract
- Much progress has recently been made on information flow control, enabling the enforcement of increasingly rich policies for increasingly expressive programming languages. This has resulted in tools for mainstream programming languages as JavaScript, Java, Caml, and Ada that enforce versatile security policies. However, a roadblock on the way to wider adoption of these tools has been their limited permissiveness (high number of false positives). Flow-, context-, and object-sensitive techniques have been suggested to improve the precision of static information flow control and dynamic monitors have been explored to leverage the knowledge about the current run for precision. This paper explores value sensitivity to boost the permissiveness of information flow control.We show that both dynamic and hybrid information flow mechanisms benefit from value sensitivity. Further, we introduce the concept of observable abstract values to generalize and leverage the power of value sensitivity to richer programming languages. We demonstrate the usefulness of the approach by comparing it to known disciplines for dealing with information flow in dynamic and hybrid settings.
|
|
5. |
|
|
6. |
- Farhadi-Khouzani, Masoud, et al.
(author)
-
Water as the Key to Proto-Aragonite Amorphous CaCO3
- 2016
-
In: Angewandte Chemie International Edition. - : Wiley. - 1433-7851 .- 1521-3773. ; 55:28, s. 8117-8120
-
Journal article (peer-reviewed)abstract
- Temperature and pH value can affect the short-range order of proto-structured and additive-free amorphous calcium carbonates (ACCs). Whereas a distinct change occurs in proto-vaterite (pv) ACC above 45 degrees C at pH 9.80, proto-calcite (pc) ACC (pH 8.75) is unaffected within the investigated range of temperatures (7-65 degrees C). IR and NMR spectroscopic studies together with EXAFS analysis showed that the temperature-induced change is related to the formation of proto-aragonite (pa) ACC. The data strongly suggest that the binding of water molecules induces dipole moments across the carbonate ions in pa-ACC as in aragonite, where the dipole moments are due to the symmetry of the crystal structure. Altogether, a (pseudo-)phase diagram of the CaCO3 polyamorphism in which water plays a key role can be formulated based on variables of state, such as the temperature, and solution parameters, such as the pH value.
|
|
7. |
- Gisterå, A., et al.
(author)
-
Vaccination against T-cell epitopes of native ApoB100 reduces vascular inflammation and disease in a humanized mouse model of atherosclerosis
- 2017
-
In: Journal of Internal Medicine. - : Wiley. - 0954-6820 .- 1365-2796. ; 281:4, s. 383-397
-
Journal article (peer-reviewed)abstract
- Background and Objectives: The T-cell response to low-density lipoprotein (LDL) in the vessel wall plays a critical role in atherosclerotic plaque formation and stability. In this study, we used a new translational approach to investigate epitopes from human apolipoprotein B100 (ApoB100), the protein component of LDL, which triggers T-cell activation. We also evaluated the potential of two selected native ApoB100 epitopes to modulate atherosclerosis in human ApoB100-transgenic Ldlr-/- (HuBL) mice. Methods and Results: HuBL mice were immunized with human atherosclerotic plaque homogenate to boost cellular autoimmune response to tissue-derived ApoB100 epitopes. In vitro challenge of splenocytes from immunized mice with a library of overlapping native peptides covering human ApoB100 revealed several sequences eliciting T-cell proliferation. Of these sequences, peptide (P) 265 and P295 were predicted to bind several human leucocyte antigen (HLA) haplotypes and induced high levels of interferon (IFN)-γ. Vaccination of HuBL mice with these peptides mounted a strong adaptive immune response to native ApoB100, including high levels of epitope-specific plasma IgGs. Interestingly, P265 and P295 vaccines significantly decreased plaque size, reduced macrophage infiltration and increased IgG1 deposition in the plaques. Purified IgGs from vaccinated mice displayed anti-inflammatory properties against macrophages in vitro, reducing their response to LPS in a dose-dependent manner. Conclusion: We identified two specific epitopes from human native ApoB100 that trigger T-cell activation and protect HuBL mice against atherosclerosis when used in a vaccine. Our data suggest that vaccination-induced protective mechanisms may be mediated at least in part through specific antibody responses to LDL that inhibit macrophage activation.
|
|
8. |
- Hedin, Björn, 1970-, et al.
(author)
-
A Systematic Review of Digital Behaviour Change Interventions for More Sustainable Food Consumption
- 2019
-
In: Sustainability. - : MDPI. - 2071-1050. ; 11:9
-
Research review (peer-reviewed)abstract
- Food production and consumption present major sustainability challenges, and finding ways to reduce the environmental impact of food, for example through behavioural changes by consumers, is becoming increasingly important. In recent years, digital interventions have become important tools to change behaviours in many areas. In this review, we evaluate the status of current scientific knowledge of digital behaviour change interventions for sustainable food consumption practices. Following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) checklist for how to conduct systematic reviews, we searched multiple databases for papers containing terms related to food, sustainability and digital behaviour change interventions. Only studies where the digital interventions were actually implemented and evaluated from a behaviour change perspective were included, resulting in 15 primary studies in the final review. The quality of the studies was evaluated from a behaviour change perspective, and the approaches used were categorised using two intervention frameworks, the Behaviour Change Wheel and the Behaviour Change Technique Taxonomy v1. The results show that all of the included studies had major quality issues when evaluated from a behaviour change perspective. This means that we could not find any evidence regarding whether the digital behaviour change interventions examined worked or not. Most studies further lacked theoretical grounding or a clear approach to how or why they should be effective for behaviour change for more sustainable food consumption practices. Our main recommendation for future research in the field is to expand from the current exploratory phase to conducting scientifically rigorous studies of higher quality, more thoroughly grounded in behaviour change theory and methods. Furthermore, based on our study, we suggest changes to the Behaviour Change Technique Taxonomy v1.
|
|
9. |
- Hedin, Björn, 1970-, et al.
(author)
-
Educational use of Social Annotation Systems for Peer Feedback
- 2015
-
In: KTH Scholarship of Teaching and Learning 2015. - : KTH Royal Institute of Technology.
-
Conference paper (peer-reviewed)abstract
- Social annotation systems provide a way for several students to annotate shared documents in an online environment (Novak, Razzouk & Johnson, 2012). We have for a number of years used social annotation systems in order to allow students to comment on each other's work, and have very positive experiences for using it in academic writing in bachelor theses (Hedin, 2012, Pargman, Hedin, Hrastinski, 2013). In this roundtable we present and demonstrate the method that is used, and add the experiences from using social annotation systems in two other courses, with more strict guidelines for what constitutes good feedback practice inspired by Nicol & Macfarlane-Dick (2006), and by De Bono’s Six thinking hats (De Bono, 1999). After introducing social annotation systems in bachelor thesis writing, the throughput has increased from 78% to almost 100%, even though a causal effect cannot be established. The attitudes of the students have been very positive, where both giving and receiving feedback to and from fellow students has been seen as activities well worth the effort. The feedback guidelines have increased the quality of the feedback given by freshmen students.
|
|
10. |
- Hedin, Björn, 1970-, et al.
(author)
-
En systematisk forskningsöversikt av digitala interventioner för mer hållbara beteenden kring livsmedelskonsumtion
- 2019
-
Reports (other academic/artistic)abstract
- Livsmedelsproduktion och livsmedelskonsumtion medför stora hållbarhetsutmaningar, och det blir allt viktigare att hitta sätt att minska miljöpåverkan orsakad av mat, till exempel genom beteendeförändringar hos konsumenterna. Under de senaste åren har digitala interventioner blivit viktiga verktyg för att förändra beteenden på många områden. I detta projekt har vi gjort en systematisk forskningsöversikt där vi gått igenom forskningsläget rörande digitala beteendeinterventioner för hållbar matkonsumtion. Vi har utgått från PRISMA-checklistan för hur sådana systematiska forskningsöversikter ska genomföras, och vi har genomsökt flera forskningsdatabaser för att hitta vetenskapliga artiklar som rör mat, hållbarhet och digitala beteendeinterventioner. Endast studier där de digitala interventionerna har implementerats och testats ur ett förändringsperspektiv har inkluderats, vilket resulterade i 15 primära studier som ingått i vår slutliga granskning. Kvaliteten på studierna utvärderades ur ett beteendeförändringssperspektiv, och de metoder för beteendeförändring som använts har kategoriserats med hjälp av två ramverk, “Behavior Change Wheel” och “Behavior Change Technique taxonomy v1”. Resultaten visade att alla inkluderade studier hade stora kvalitetsproblem när de utvärderades ur ett beteendeförändrings-perspektiv. Det innebär att vi inte kunde hitta några resultat som visade på om de digitala beteendeinterventionerna som undersöktes fungerade eller ej. De flesta studier saknade vidare en teoretisk bas för hur eller varför interventionerna skulle kunna leda till beteendeförändring för mer hållbar livsmedelskonsumtion. Vår huvudsakliga rekommendation för framtida forskning inom området är att gå vidare från en utforskande fas till att genomföra vetenskapliga studier med tydligare teoretisk bas och metodik.
|
|