| 1. |
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
-
2011 Baltic Congress on Future Internet and Communications
- 2011
-
Proceedings (redaktörskap) (refereegranskat)abstract
- The proceedings contain 36 papers. The topics discussed include: evolutionary future Internet service platforms enabling seamless cross layer interoperability; taxonomical approach to the deployment of traceback mechanisms; a novel model for social networks; quality of experience based optimization of heterogeneous multimedia sessions in IMS; aquarema in action: improving the YouTube QoE in wireless mesh networks; on synthesis of dependable MAC protocol for two real-world WSN applications; enterprise security perimeter - e-mail server protection; an ontology approach to development of inter IHS communication subsystem ontology for intrusion handling systems in wireless LANs; a comparative study on cost-benefit analysis of fiber-to-the-home telecommunications systems in Europe; calculation of transmission probability in heterogeneous ad hoc networks; and performance analysis of non-beaconed IEEE 802.15.4 for high-confidence wireless communications.
|
|
| 5. |
-
2012 2nd Baltic Congress on Future Internet Communications
- 2012
-
Proceedings (redaktörskap) (refereegranskat)abstract
- The following topics are dealt with: smart applications; next generation WLAN; broadband infrastructure; network performance; network security; user-centric solutions; wireless systems; Internet of things; smart spaces; analog integrated circuits; traffic analysis; SoC; routing; and protocols. © 2012 IEEE
|
|
| 6. |
|
|
| 7. |
- Aagerup, Ulf, 1969-
(författare)
-
Accessible luxury fashion brand building via fat discrimination
- 2018
-
Ingår i: Journal of Fashion Marketing and Management. - Bingley : Emerald Group Publishing Limited. - 1361-2026 .- 1758-7433. ; 22:1, s. 2-16
-
Tidskriftsartikel (refereegranskat)abstract
- Purpose: To investigate if accessible luxury fashion brands discriminate overweight and obese consumers.Design/methodology/approach: The physical sizes of garments are surveyed in-store and compared to the body sizes of the population. A gap analysis is carried out in order to determine whether the supply of clothes match the demand of each market segment.Findings: The surveyed accessible luxury garments come in very small sizes compared to the individuals that make up the population.Research limitations/implications: The survey is limited to London while the corresponding population is British. It is therefore possible that the mismatch between assortments and the population is in part attributable to geographic and demographic factors. The study’s results are however so strikingly clear that even if some of the effect were due to extraneous variables, it would be hard to disregard the poor match between overweight and obese women and the clothes offered to them.Practical implications: For symbolic/expressive brands that are conspicuously consumed, that narrowly target distinct and homogenous groups of people in industries where elitist practices are acceptable, companies can build brands via customer rejection.Social implications: The results highlight ongoing discrimination of overweight and obese fashion consumers.Originality/value: The study is the first to provide quantitative evidence for brand building via customer rejection, and it delineates under which conditions this may occur. This extends the theory of typical user imagery.
|
|
| 8. |
|
|
| 9. |
- Aagerup, Ulf, 1969-, et al.
(författare)
-
Building a warm and competent B2B brand personality
- 2022
-
Ingår i: European Journal of Marketing. - Bingley : Emerald Group Publishing Limited. - 0309-0566 .- 1758-7123. ; 56:13, s. 167-193
-
Tidskriftsartikel (refereegranskat)abstract
- Purpose This study aims to investigate how business-to-business (B2B) companies build brand personality via the products they provide and via their interactions with customers. Design/methodology/approach A multiple case study, which spans 10 years, investigates via interviews, observations, workshops and document analysis how two fast-growing B2B companies selling industrial equipment to manufacturers build brand personality. Findings The studied companies concentrate on different brand personality dimensions depending on the activities in which they engage. By focusing on brand competence in the realm of the actual product and brand warmth in the realm of the augmented product, the companies manage to create a complete and consistent brand personality. Research limitations/implications The research approach provides in-depth knowledge on how the companies build brands for a specific type of B2B product. However, the article's perspective is limited to that of management and therefore does not take customer reactions into account. Practical implications The study describes how firms can build strong B2B brands by emphasizing competence in product design and R&D and warmth in activities related to sales and customer service. Originality/value The study introduces a conceptually consistent view of brand personality in the form of warm and competent brands to the B2B marketing literature. It builds on and contributes to the emerging research on B2B brand personality. By relating the companies' brand-building activities to the type of products they sell, this study illustrates how context affects B2B brand building, and by integrating brand personality theory with product levels and marketing philosophy, it extends previous theory on B2B branding.
|
|
| 10. |
- Aagerup, Ulf, 1969-
(författare)
-
Building nightclub brand personality via guest selection
- 2020
-
Ingår i: International Journal of Hospitality Management. - Oxford : Elsevier. - 0278-4319 .- 1873-4693.
-
Tidskriftsartikel (refereegranskat)abstract
- This paper identifies that guest selection at exclusive nightclubs is a brand building process, and that the guests’ primary value to the clubs therefore is the image they bestow on the brand. The paper contributes to theory by providing empirical support for several mechanisms that have previously been stipulated in literature. It validates that companies build brand personality by controlling typical user imagery, and that for self-expressive product categories, negative user stereotypes are particularly powerful. It supports the theory of symbolic brand avoidance, as well as the notion that social rejection encourages people to elevate their perceptions of their rejecters and strengthens their predilection to affiliate with them. For practitioners, the paper shows managers in the hospitality industry that it is possible to build brands by controlling who is allowed to become a brand-user, and under which conditions this applies.
|
|
| 11. |
- Aagerup, Ulf, 1969, et al.
(författare)
-
Green consumer behavior: Being good or seeming good?
- 2016
-
Ingår i: Journal of Product & Brand Management. - Bingley : Emerald Group Publishing Limited. - 1061-0421. ; 25:3, s. 274-284
-
Tidskriftsartikel (refereegranskat)abstract
- Purpose This paper aims to expand the emerging field of symbolic green consumer behavior (GCB) by investigating the impact of anticipated conspicuousness of the consumption situation on consumers’ choice of organic products. In addition, the paper also explores whether self-monitoring ability and attention to social comparison information (ATSCI) influence GCB in situations of anticipated high conspicuousness. Design/methodology/approach Two experiments test the study’s hypotheses. Findings The results of both experiments show that the anticipation of conspicuousness has a significant effect on GCB. Moreover, in Experiment 2, this effect is moderated by consumers’ level of ATSCI but not by their self-monitoring ability. Research limitations/implications Because ATSCI significantly interacts with green consumption because of the anticipation of a conspicuous setting, although self-monitoring ability does not, we conclude that social identification is an important determinant of green consumption. Practical implications Marketers who focus on building green brands could consider designing conspicuous consumption situations to increase GCB. Social implications Policymakers could enact change by making the environmental unfriendliness of non-eco-friendly products visible to the public and thus increase the potential for GCB. Originality/value The results validate the emerging understanding that green products are consumed for self-enhancement, but also expand the literature by highlighting that a key motivating factor of GCB is the desire to fit in.
|
|
| 12. |
- Aagerup, Ulf, 1969-, et al.
(författare)
-
How image and awareness relates to internal and external stakeholders' acceptance of B2B rebranding
- 2023
-
Konferensbidrag (refereegranskat)abstract
- The acquisitions of brands by companies have become more frequent, representing a significant and effective way for firms to reach international new markets. This recent trend has led to a rise in rebranding, particularly in the business-to-business (B2B) sector. Since marketing literature primarily focuses on B2C brand strategies, literature on the field constantly overlooks B2B characteristics. This is sorely needed, because, despite massive investments, many acquisitions fail, especially international acquisitions where one faces cross-country differences. This is unsurprising because most companies' M&A considerations do not place much weight on brand strategy, and brand equity is typically not handled very well but is often treated as an after-thought compared to more pressing financial matters (e.g. how rebranding affects stock returns) and operational matters (e.g. descriptions of enablers and barriers to the rebranding process). Previous studies in this field emphasise how to do rebranding. However, they treat the brand itself as a black box —it is only how you execute the B2B rebranding process that is investigated, not which dimensions of the customer's brand knowledge should be prioritised. This is unfortunate, because rebranding an acquired brand without an idea of the desired end result is like navigating without a destination —even if you execute well, you will most likely not end up where you need to be. This paper addresses this gap by providing insights into the significant factors that drive B2B rebranding strategies, focusing on the transfer of brand equity from the acquired B2B brand to the acquiring company's brand.This study was conducted in one B2B firm going through rebranding process in the life science sector. Getinge was founded in 1904 in Sweden and is a global medical technology firm. The company provides equipment and systems in the healthcare and life sciences sector and has become a global leader in the field of Surgical Workflow. The international growth has been possible through incorporating new innovative offerings. These have been both internally developed, but also acquired internationally. A significant number of international acquisitions have been made throughout the years. In 2021 the company employed over 10,000 people worldwide, with products marketed in over 135 countries.Besides being one of the most valued companies in the sector, Getinge was chosen since the firm has initiated a rebranding process after a long-time international growth strategy, including acquisitions of many different international brands. Moreover, since B2B companies commonly rely on corporate, rather than product branding. Getinge is an appropriate choice since this study, therefore, focuses on a company that uses the same name for its company and its products.By examining an in-depth single case study of a multinational B2B company in the life sciences industry, this paper contributes to the research in international rebranding by validating that brand equity is a relevant consideration for B2B rebranding processes. Specifically, it argues that brand awareness transfer plays an essential role during the rebranding process, especially when it comes to external branding. Customers generally accept the new brand if the value proposition remains unchanged. However, they need to be made aware of the change to avoid confusion. Internally by contrast, the most significant challenge seems to be the transfer of brand image. Awareness is easy; during a rebranding process employees immediately become aware of the change. They however exhibit strong opinions for or against rebranding depending on their emotional connections to the old brand.These results extend the theory on international rebranding after M&As by demonstrating that the B2B context requires different prioritizations than consumer goods rebranding. The study shows how various stakeholders respond throughout the rebranding process. Firms can plan their rebranding process in mind that both brand image and brand awareness are important for brand equity during the rebranding process. However, firms need to prioritise one over the other depending on their specific audience (internal and external). Moreover, the realisation that awareness is a crucial success factor in B2B rebranding might help companies leverage brand equity in international M&As.
|
|
| 13. |
- Aagerup, Ulf, 1969-
(författare)
-
Intermediate Luxury Fashion : Brand Building via Fat Discrimination
- 2016
-
Ingår i: 11th Global Brand Conference. - Saltaire, UK : Greenleaf Publishing. ; , s. 23-28
-
Konferensbidrag (refereegranskat)abstract
- Purpose: The purpose of this paper is to investigate if intermediate luxury fashion brands discriminate overweight and obese consumers.Design/methodology/approach: 1,454 intermediate luxury garments were tallied and measured in-store in London. The physical sizes of the garments were matched to the body sizes of the population, and a gap analysis was carried out in order to determine whether the supply of clothes match the relative importance of each market segment.Findings: While previous research shows that mass-market fashion companies do not discriminate overweight and obese consumers, intermediate luxury garments come in very small sizes compared to the individuals that make up the population.Research limitations/implications: The findings show that purveyors of intermediate luxury fashion limit assortments of garments so they avoid fat typical user imagery.Practical implications: Companies that market products that are sensitive to the typical user imagery can optimize their brands by limiting undesirable customer types access to their brands, provided that 1) they have the financial strength to reject customers whose image would be detrimental to the brand, 2) the companies are active in an industry in which people would tolerate customer rejection, and 3) they sell a product that actually can be denied undesirable customers.Social implications: The study shows that fat consumers are relegated to mass-market fashion but are excluded from intermediate luxury fashion. This constitutes a social inequality.Originality/value: The result of this study provides quantitative evidence that companies control assortments to exclude undesirable typical user imagery. It also delineates under which conditions they do it. This adds to the theory of user imagery.
|
|
| 14. |
- Aagerup, Ulf, 1969-
(författare)
-
Men’s and women’s implicit negativity towards obese fashion models
- 2022
-
Ingår i: Journal of Global Fashion Marketing. - Singapore : Taylor & Francis. - 2325-4483 .- 2093-2685. ; 13:3, s. 273-288
-
Tidskriftsartikel (refereegranskat)abstract
- The purpose of this article is to investigate whether women’s relatively positive response to obese models is the result of social desirability bias on the part of women rather than deep seated attitudes. 60 university students in Sweden underwent an Implicit Associations Test (IAT) to reveal attitudes towards obese models that the participants were not able or willing to openly express. The study shows that even though women express significantly more positive attitudes towards obese models than men do, women and men display similar implicit negativity towards obese models. The study replicates a previously shown explicit gender effect, but also extends theory on gender preferences towards models of different sizes and body types by introducing measurements of implicit attitudes. Finally, the paper provides a possible explanation for why the fashion industry largely refrains from using obese models even though women express relatively positive attitudes towards them. © 2021 The Author(s). Published by Informa UK Limited, trading as Taylor & Francis Group.
|
|
| 15. |
- Aagerup, Ulf, 1969-
(författare)
-
Obese models’ effect on fashion brand attractiveness
- 2018
-
Ingår i: Journal of Fashion Marketing and Management. - Bingley : Emerald Group Publishing Limited. - 1361-2026 .- 1758-7433. ; 22:4, s. 557-570
-
Tidskriftsartikel (refereegranskat)abstract
- Purpose: To investigate the effect of obese models vs. normal weight models on fashion brands’ attractiveness.Design/methodology/approach: An experiment was carried out in which 1,225 university students in Sweden and Brazil rated the attractiveness of a fashion brand worn by a normal weight model and an obese model.Findings: The overall effect of obese models’ effect on fashion brand attractiveness was insignificant. Further, neither culture, nor the consumer’s own weight had a significant effect. There was, however, a significant effect of the participant’s own gender; women rate fashion brands worn by obese models significantly higher on attractiveness than they did fashion brands worn by normal weight models. Men displayed the inverse response.Research limitations/implications: The effect of the model’s ethnicity was beyond the scope of the experiment, and the brand attractiveness scale captured only one aspect of brand character, leaving other potential brand effects for future studies.Practical implications: Companies can use obese models with no overall brand attractiveness penalty across markets and for marketing to women of all sizes. Given men’s negative reactions, such models might however be unsuitable for the male-to-female gift market.Social implications: The results support the use of obese models, which can lead to greater representation of larger women in the media, and consequently, reduced fat stigma.Originality/value: The study validates the theory of user imagery, and it extends the theory by examining how different target consumers react to user imagery traits and thus provides evidence for gender bias towards obese models.
|
|
| 16. |
- Aagerup, Ulf, 1969-
(författare)
-
The Impact of User Weight on Brands and Business Practices in Mass Market Fashion
- 2010
-
Licentiatavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Overweight people claim to be mistreated by the fashion industry. If they were, it would be in line with branding theory supporting the idea of rejecting fat consumers to improve user imagery for fashion brands. However, fashion companies do not confess to such practices.To shed some light on the subject, I have conducted two studies.The first attempts to illustrate what effect, if any, user imagery has on fashion brands. It is an experiment designed to show how the weight of users affects consumers’ perceptions of mass market fashion brands. The findings show that consumers’ impressions of mass market fashion brands are significantly affected by the weight of its users. The effect of male user imagery is ambiguous. For women’s fashion on the other hand, slender users are to be preferred.In the second study I examine what effects these effects have on assortments. I compare the sizes of mass market clothes to the body sizes of the population. No evidence of discrimination of overweight or obese consumers was found -quite the contrary.The reasons for these unexpected findings may be explained by the requirements a brand must fulfil to make management of the customer base for user imagery purposes viable. The brand must be sensitive to user imagery; a requirement that mass market fashion fulfils. However, it must also be feasible for a company to exclude customers, and while garment sizes can be restricted to achieve this, the high volume sales strategy of mass market fashion apparently cannot.
|
|
| 17. |
- Aagerup, Ulf, 1969-
(författare)
-
The influence of real women in advertising on mass market fashion brand perception
- 2011
-
Ingår i: Journal of Fashion Marketing and Management. - Bingley : Emerald Group Publishing Limited. - 1361-2026 .- 1758-7433. ; 15:4, s. 486-502
-
Tidskriftsartikel (refereegranskat)abstract
- Purpose: The purpose of this paper is to investigate how the weight of ideal users affects the perception of mass market fashion brands. Design/methodology/approach: An experiment was carried out in which 640 university students replied to a web survey, rating the brand personality of jeans and shirts according to Aaker's Big Five construct. The garments were worn by thin, overweight, and obese models. Findings: The findings show that consumers' impressions of mass market fashion brands are significantly affected by the weight of ideal users. Slender models lead to the most positive brand perception followed by obese models. Overweight user imagery is for pure fashion brand building the least attractive kind. Research limitations/implications: A limitation of this study is the use of convenient student samples. Consequently, the generalization of the results beyond this convenience sample may be limited. It is further possible, even probable, that high fashion would suffer more from the negative imagery of overweight and obese users than mass market fashion. It would therefore be interesting to replicate this experiment using clothes of higher fashion grade and price. Practical implications: The demonstrated effects of user imagery support the industry practice of slim ideal female imagery. Social implications: The results inform the debate over skinny models vs real women in advertising. Originality/value: Previous research regarding the effectiveness of real women in advertising has been inconclusive. This paper demonstrates not only that model weight affects consumers' brand perception, but also how.
|
|
| 18. |
- Aagerup, Ulf, 1969-, et al.
(författare)
-
The persuasive effects of emotional green packaging claims
- 2019
-
Ingår i: British Food Journal. - Bingley : Emerald Group Publishing Limited. - 0007-070X .- 1758-4108. ; 121:12, s. 3233-3246
-
Tidskriftsartikel (refereegranskat)abstract
- Purpose - The purpose of this paper is to investigate the effects of rational green packaging claims vs emotional green packaging claims on consumers' purchase propensity for organic coffee.Design/methodology/approach - Three within-subjects experiment were carried out (N=87, N=245, N=60). The experimental design encompasses packaging with rational green claims, emotional green claims, as well as a neutral (control) claim. Measured variables are introduced to assess participants' environmental commitment and information processing ability. A manipulated between-subjects variable is introduced to test how distraction interacts with preference for the claims.Findings - Overall, consumers prefer products with green claims over those with neutral (control) claims, and products with emotional green claims to those with rational green claims. The studies also reveal that this effect is moderated by participants' environmental commitment, information processing ability and by distraction. The findings were statistically significant (p<0.05).Research limitations/implications - As a lab experiment, the study provides limited generalizability and external validity. Practical implications - For most organic FMCG products, it is advisable to employ emotional packaging claims.Social implications - The presented findings provide marketers with tools to influence consumer behavior toward sustainable choices.Originality/value - The paper validates previous contributions on the effects of product claim types, and extends them by introducing comprehensive empirical data on all the Elaboration Likelihood Model's criteria for rational decision-making; motivation, opportunity and ability.
|
|
| 19. |
- Aagerup, Ulf, 1969-
(författare)
-
To sell or not to sell : Overweight users’ effect on fashion assortments
- 2010
-
Ingår i: Journal of Brand Management. - Basingstoke : Palgrave Macmillan. - 1350-231X .- 1479-1803. ; 18:1, s. 66-78
-
Tidskriftsartikel (refereegranskat)abstract
- Overweight people claim to be mistreated by the fashion industry. Fashion companies disagree. Despite the controversy, actual research has been scarce. This study compares the sizes of clothes that the four leading mass-marketing fashion retailers in Sweden offer to the body sizes of the population. Although branding theory would support the idea of rejecting fat consumers to improve user imagery for fashion brands, such practices were not evident. The main contribution of this article is that it provides the first quantified empirical evidence on the theory of typical user imagery. In the discussion, it is posited that, although mass-market fashion brands should be susceptible to negative user imagery related to overweight and obese users, the companies avoid such problems by making garments that are not directly attributable to a specific brand, thus mitigating the negative effect of overweight and obese user imagery. © 2010 Macmillan Publishers Ltd.
|
|
| 20. |
- Aagerup, Ulf, 1969-
(författare)
-
To sell or not to sell: overweight users’ effect on fashion assortments
-
Annan publikation (övrigt vetenskapligt/konstnärligt)abstract
- Overweight people claim to be mistreated by the fashion industry. Fashion companies disagree. Despite the controversy, actual research has been scarce. This study compares the sizes of clothes the four leading mass marketing fashion retailers in Sweden offer to the body sizes of the population. Although branding theory would support the idea of rejecting fat consumers to improve user imagery for fashion brands, such practices were not evident. The main contribution of this paper is that it provides the first quantified empirical evidence on the theory of typical user imagery.In the discussion, it is posited that although mass market fashion brands should be susceptible to negative user imagery related to overweight and obese users, the companies avoid such problems by making garments that are not directly attributable to a specific brand, thus mitigating the negative effect of overweight and obese user imagery.
|
|
| 21. |
- Aagerup, Ulf, 1969-
(författare)
-
User BMI effects on mass market fashion brands
-
Annan publikation (övrigt vetenskapligt/konstnärligt)abstract
- Purpose: The purpose of this paper is to investigate how the weight of users affects the perception of mass market fashion brands.Design/methodology/approach: This study attempts to show effects of typical - as well as ideal user imagery on fashion brands. An experiment was carried out in which 1848 university students replied to a web survey, rating the brand personality of jeans and shirts according to Aaker’s Big Five construct. The garments were worn by digitally manipulated versions of one person as thin, overweight, and obese.Findings: The findings show that consumers’ impressions of mass market fashion brands are significantly affected by the weight of its users. The effect of male user imagery is ambiguous. For women’s fashion on the other hand, slender users are to be preferred.Research limitations/implications: It is possible, even probable, that high fashion would suffer more from negative typical user imagery than would mass market fashion. It would therefore be interesting to replicate this experiment using clothes of higher fashion grade and price.Practical implications: The demonstrated effects of user imagery support the industry practice of slim ideal female imagery. However, excluding customers to boost brand perception should not be an option for these brands.Social implications: The results inform the debate over skinny models vs. “real women” in advertising as well as the debate over discrimination of overweight consumers through assortment decisions.Originality/value: This is the first time typical user imagery effects are included in a study of this type, and it is the first study to test user imagery effects on fashion.
|
|
| 22. |
|
|
| 23. |
- Abalo, Ernesto, 1982-, et al.
(författare)
-
Digitalisering och social exklusion : Om medborgares användning av och attityder till Arbetsförmedlingens digitala tjänster
- 2008
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- This research report focuses on the users of e-government in a social science perspective. Our aim is to study how different social groups, registered at the Swedish Public Employment Service, relate to the internet, the agency and the services offered on its website (www.ams.se). The field of e-government research is dominated by studies that centre attention on the supply side (videlicet research investigating the entrance of IT in organizations and the implications that new technology have to these), while usercentred research (demand side) is still scarce. Our study, focusing on how citizens relate to the internet in general and e-government in particular, therefore helps to bridge a knowledge gap within the field. Our survey is based on a questionnaire sent to 2 000 randomly selected persons, all registered at the Swedish Public Employment Service. Of these, 762 job seekers responded, which gives us a frequency rate of 40 percent. The questions asked were related to the job seekers’ usage of and attitudes towards the internet in general and the agency’s webpage in particular, but also to their attitudes to the Swedish Public Employment Service. The main results show that social factors, particularly education, play a major role for the job seekers’ ability to use the web based services offered by the agency. People with a lower educational level are less inclined to use the agency’s website, and at the same time they experience the site as more complicated to use. We also found a strong link between the relations to the internet (access, usage, experience and attitudes) and the relations to the agency’s website. Those with advantaged internet relations – mostly well educated people, white collars and people living in bigger cities – also use the agency’s website more diligently and tend to have more positive attitudes towards it (and vice versa). Thus, its necessary to talk in terms of digitally well equipped and less well equipped groups. The unequal relations to the internet in general and the agency’s website in particular not only indicate that e-government is more suitable for the digitally well equipped, but that it in fact exclude those with less digital resources. This new kind of exclusion has great implications for the job seekers’ possibilities to enter the labour market, and to act their role as citizens. If e government also means a reformation of the citizen role – in the sense of increased individual responsibility towards the government - not bridging the digital divide will carry even more exclusion to those that’s already excluded.
|
|
| 24. |
|
|
| 25. |
- Abalo, Ernesto, et al.
(författare)
-
Emerging Patterns of Inclusion and Exclusion in the Era of E-government : A Study of Users of ‘Swedish Public Employment Service’ on the Internet
- 2008
-
Ingår i: Media and Global Divides. - Stockholm : Organizing Committee for the IAMCR Congress 2008. - 918835430X ; , s. 44-45
-
Konferensbidrag (refereegranskat)abstract
- In the area of governmental information for and services to citizens digitalization has certainly become a buzzword. Framed within the discourses on e-government or e-governance – or different mixtures of the two – various analyses have tried to point out, or even anticipate possible consequences of the appropriation of digital technologies, mainly the internet, in governmental services.On the one hand, these analyses have pointed out a great deal of opportunities connected to the incorporation of the internet into governmental information and services. Policy makers have been quick to point to the increased accessibility as a great opportunity for the citizens; in Sweden this vision of accessibility has even been referred to as ‘24:7-governmental agencies’. Academics, among others, have also suggested that the digitalization of information and services opens up new possibilities for citizen control of governments.On the other hand, a number of problems have also been identified. For instance, the digitalization of public registers holding personal information has been interpreted as a threat to the citizens’ integrity: Will digitalization bring a new surveillance society? The most frequently debated problem, however, at least within research, has been the fear of digital divides. Will the internet create digital cleavages between different groups of citizens?So far, however, neither the hopeful nor the dystopian analyses have made enough efforts to critically evaluate their claims. Such evaluations can start from different points of departure, and in this paper the starting point is the citizens as users of governmental information and services through the internet: What patterns of inclusion and exclusion emerge as a governmental agency digitalizes its information and services by making them increasingly internet based?The paper presents statistical data from a survey of 762 unemployed citizens using the Swedish Public Employment Service, a governmental agency that has come to rely specifically heavy on internet based information and service. The initial analysis of data reveals interesting differences between social groups in terms of both perception and use of the internet – in general – and the resources offered by SPES in particular. For instance, the users’ various degrees of education is a strong, determining factor when it comes to use of internet SPES’ services.The paper starts from a conceptual elaboration of various notions of e-government and e-governance. Thereafter, the survey data is described and elaborated on before moving into a discussion of the wider significance of the findings: What does data suggest in terms of patterns of inclusion in and exclusion from a society in which governmental agencies, to an increasing extent, use the internet for their information and services?
|
|
| 26. |
- Abalo, Ernesto, 1982-, et al.
(författare)
-
Olika publiker, olika livsstilar : Om idrott, kultur och regional utveckling
- 2008
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- I föreliggande rapport studeras vilka sociala värden som elitidrotten och kulturen genererar för invånarna i landsortspräglade län som Blekinge, Halland, Kalmar och Kronoberg. Studien syftar till att lämna ett bidrag till den samhällsvetenskapliga idrottsforskningen, och ge ökad kunskap om idrottens och kulturens betydelse för den regionala utvecklingen. Studiens material vilar på en postenkät skickad till 1500 slumpmässigt utvalda personer i respektive län. Det sammanlagda antalet besvarade enkäter uppgick till 3181 stycken, vilket ger en nettosvarsfrekvens på 54 procent. Rapporten visar bland annat att både idrott och kultur värderas relativt högt och konsumeras i relativt stor utsträckning. Beträffande idrott konsumeras främst breddidrottsliga evenemang, och vad gäller kultur besöks bibliotek och biografer oftare än exempelvis teatrar. Studien visar också att de kultur- respektive idrottsintresserade skiljer sig åt vad gäller demografi, men även vad gäller livsstil. De idrottsintresserade har en mer folklig och lantlig prägel, medan de kulturintresserade är att betrakta som en välutbildad kosmopolitisk grupp. Med tanke på de sistnämndas ökade rörlighet är satsningar på kultur ej att förringa. Denna typ av satsningar kan få denna resursstarka grupp att dels stanna kvar i landsorten, dels flytta in till densamma.
|
|
| 27. |
- Abbas, Antragama Ewa, et al.
(författare)
-
Beyond control over data : Conceptualizing data sovereignty from a social contract perspective
- 2024
-
Ingår i: Electronic Markets. - Heidelberg : Springer. - 1019-6781 .- 1422-8890. ; 34
-
Tidskriftsartikel (refereegranskat)abstract
- In the data economy, data sovereignty is often conceptualized as data providers’ ability to control their shared data. While control is essential, the current literature overlooks how this facet interrelates with other sovereignty facets and contextual conditions. Drawing from social contract theory and insights from 31 expert interviews, we propose a data sovereignty conceptual framework encompassing protection, participation, and provision facets. The protection facets establish data sharing foundations by emphasizing baseline rights, such as data ownership. Building on this foundation, the participation facet, through responsibility divisions, steers the provision facets. Provision comprises facets such as control, security, and compliance mechanisms, thus ensuring that foundational rights are preserved during and after data sharing. Contextual conditions (data type, organizational size, and business data sharing setting) determine the level of difficulty in realizing sovereignty facets. For instance, if personal data is shared, privacy becomes a relevant protection facet, leading to challenges of ownership between data providers and data subjects, compliance demands, and control enforcement. Our novel conceptualization paves the way for coherent and comprehensive theory development concerning data sovereignty as a complex, multi-faceted construct. © The Author(s) 2024.
|
|
| 28. |
- Abbas, Taimoor, et al.
(författare)
-
A Measurement Based Shadow Fading Model for Vehicle-to-Vehicle Network Simulations
- 2015
-
Ingår i: International Journal of Antennas and Propagation. - : Hindawi Publishing Corporation. - 1687-5869 .- 1687-5877.
-
Tidskriftsartikel (refereegranskat)abstract
- The vehicle-to-vehicle (V2V) propagation channel has significant implications on the design and performance of novel communication protocols for vehicular ad hoc networks (VANETs). Extensive research efforts have been made to develop V2V channel models to be implemented in advanced VANET system simulators for performance evaluation. The impact of shadowing caused by other vehicles has, however, largely been neglected in most of the models, as well as in the system simulations. In this paper we present a shadow fading model targeting system simulations based on real measurements performed in urban and highway scenarios. The measurement data is separated into three categories, line-of-sight (LOS), obstructed line-of-sight (OLOS) by vehicles, and non-line-of-sight due to buildings, with the help of video information recorded during the measurements. It is observed that vehicles obstructing the LOS induce an additional average attenuation of about 10 dB in the received signal power. An approach to incorporate the LOS/OLOS model into existing VANET simulators is also provided. Finally, system level VANET simulation results are presented, showing the difference between the LOS/OLOS model and a channel model based on Nakagami-m fading.
|
|
| 29. |
- Abdeljaber, Osama, et al.
(författare)
-
Analysis of the Trajectories of Left-turning Vehicles at Signalized Intersections
- 2020
-
Ingår i: Transportation Research Procedia. - : Elsevier BV. ; , s. 1288-1295, s. 1288-1295
-
Konferensbidrag (refereegranskat)abstract
- Internationally, an annual number of more than a million fatalities are caused by road traffic crashes, with particularly signalized intersections being crash prone locations within the highway system. An accumulation of conflicts between drivers is caused by the different movements (through and turning) from different directions at the intersection; hence, studying the trajectories of turning vehicles is an important step towards improving traffic safety performance of these facilities. In view of that, the current paper aims at providing further insight into the behaviour of left-turning vehicles (right-hand traffic rule) at signalized intersections in the State of Qatar. At first, a total of 44 trajectories of free-flowing vehicles were manually extracted from a recorded video for a single approach of Lekhwair signalized intersection in Doha City, State of Qatar. After that, the extracted trajectories were statistically analysed in an attempt to explore the factors affecting the path of left-turning vehicles at signalized intersections. The results suggest that the characteristics of the extracted paths are significantly related to the vehicle’s entry speed, minimum speed throughout its turning manoeuvre, and the lateral distance between the exit point and the curb (i.e., targeted exit lane). Provided that the speed parameters can be fairly an indication to the driving behaviour, it can be concluded that the driver’s attitude plays an important role in drawing the manoeuvre of a turning vehicle as does the pre-selection of the exit lane. Finally, the effort presented in this paper can be regarded as a way forward towards understanding the behaviour of turning vehicles at signalised intersection in the State of Qatar.
|
|
| 30. |
- Abdeljaber, Osama, et al.
(författare)
-
Dynamic Testing of a Laboratory Stadium Structure
- 2016
-
Ingår i: Geotechnical and Structural Engineering Congress 2016. - Reston, VA : American Society of Civil Engineers (ASCE). - 9780784479742 ; , s. 1719-1728
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Studies with large physical models are a vital link between the theoretical work and field applications provided that these models are designed to represent real structures where various types and levels of uncertainties can be incorporated. While comprehensive analytical and laboratory joint studies are ongoing at Qatar University, University of Central Florida and University of Alberta, this paper presents the initial findings of dynamic testing at Qatar University. A laboratory stadium structure (grandstand simulator) has been constructed at Qatar University. Capable of housing thirty spectators, Qatar University grandstand simulator is arguably the largest laboratory stadium in the world. The structure is designed in a way that several different structural configurations can be tested in laboratory conditions to enable researchers to test newly developed damage detection algorithms. The study presented in this paper covers the finite element modeling and modal testing of the test structure.
|
|
| 31. |
- Abdeljaber, Osama, et al.
(författare)
-
Extraction of Vehicle Turning Trajectories at Signalized Intersections Using Convolutional Neural Networks
- 2020
-
Ingår i: Arabian Journal for Science and Engineering. - Heidelberg : Springer. - 2193-567X .- 2191-4281 .- 1319-8025. ; 45, s. 8011-8025
-
Tidskriftsartikel (refereegranskat)abstract
- This paper aims at developing a convolutional neural network (CNN)-based tool that can automatically detect the left-turning vehicles (right-hand traffic rule) at signalized intersections and extract their trajectories from a recorded video. The proposed tool uses a region-based CNN trained over a limited number of video frames to detect moving vehicles. Kalman filters are then used to track the detected vehicles and extract their trajectories. The proposed tool achieved an acceptable accuracy level when verified against the manually extracted trajectories, with an average error of 16.5 cm. Furthermore, the trajectories extracted using the proposed vehicle tracking method were used to demonstrate the applicability of the minimum-jerk principle to reproduce variations in the vehicles’ paths. The effort presented in this paper can be regarded as a way forward toward maximizing the potential use of deep learning in traffic safety applications.
|
|
| 32. |
- Abebe, Solomon Akele, et al.
(författare)
-
Unfolding the Dynamics of Refugees’ Entrepreneurial Journey in the Aftermath of Forced Displacement
- 2023
-
Ingår i: The Palgrave Handbook of Global Migration in International Business. - Cham : Palgrave Macmillan. ; , s. 465-499
-
Bokkapitel (refereegranskat)abstract
- Despite their detrimental circumstances, the number of refugee-owned businesses is on the rise-a situation referred to as “the paradox of refugee entrepreneurship.” However, a key question is how refugees, having undergone extreme life disruption due to war, conflict, and forced displacement, fare as entrepreneurs in their host country. Extant studies do not address this question, as they primarily focus on factors determining refugees’ entrepreneurial entry. We extend current research, which predominantly focuses on the antecedents of refugee entrepreneurship, with a processual approach that captures refugees’ entrepreneurial journey. Drawing on inductive theory-building analysis and extensive data gathered from 40 in-depth interviews with 21 recently arrived Syrians in Sweden, our dynamic model provides a thorough examination of the tactics and procedures that refugees employ to create and grow their businesses. This research contributes to the advancement of existing theory by introducing a comprehensive model that delves into the intricacies of refugee entrepreneurship, outlining the distinct phases, detailing the underlying mechanisms for each phase, and identifying the critical factors that drive progress from one stage to the next. Our findings offer valuable insights for initiatives seeking to provide support and encouragement to refugee entrepreneurs, thereby fostering their success and empowering them to reach their full potential. © 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
|
|
| 33. |
- Abella, Jaume, et al.
(författare)
-
SAFEXPLAIN : Safe and Explainable Critical Embedded Systems Based on AI
- 2023
-
Ingår i: DATE 23: Design, Automation And Test In Europe. - 9783981926378 ; , s. 1-6
-
Konferensbidrag (refereegranskat)abstract
- Deep Learning (DL) techniques are at the heart of most future advanced software functions in Critical Autonomous AI-based Systems (CAIS), where they also represent a major competitive factor. Hence, the economic success of CAIS industries (e.g., automotive, space, railway) depends on their ability to design, implement, qualify, and certify DL-based software products under bounded effort/cost. However, there is a fundamental gap between Functional Safety (FUSA) requirements on CAIS and the nature of DL solutions. This gap stems from the development process of DL libraries and affects high-level safety concepts such as (1) explainability and traceability, (2) suitability for varying safety requirements, (3) FUSA-compliant implementations, and (4) real-time constraints. As a matter of fact, the data-dependent and stochastic nature of DL algorithms clashes with current FUSA practice, which instead builds on deterministic, verifiable, and pass/fail test-based software. The SAFEXPLAIN project tackles these challenges and targets by providing a flexible approach to allow the certification - hence adoption - of DL-based solutions in CAIS building on: (1) DL solutions that provide end-to-end traceability, with specific approaches to explain whether predictions can be trusted and strategies to reach (and prove) correct operation, in accordance to certification standards; (2) alternative and increasingly sophisticated design safety patterns for DL with varying criticality and fault tolerance requirements; (3) DL library implementations that adhere to safety requirements; and (4) computing platform configurations, to regain determinism, and probabilistic timing analyses, to handle the remaining non-determinism. © 2023 EDAA.
|
|
| 34. |
- Abiri, Najmeh, et al.
(författare)
-
Establishing strong imputation performance of a denoising autoencoder in a wide range of missing data problems
- 2019
-
Ingår i: Neurocomputing. - Amsterdam : Elsevier BV. - 0925-2312 .- 1872-8286. ; 365, s. 137-146
-
Tidskriftsartikel (refereegranskat)abstract
- Dealing with missing data in data analysis is inevitable. Although powerful imputation methods that address this problem exist, there is still much room for improvement. In this study, we examined single imputation based on deep autoencoders, motivated by the apparent success of deep learning to efficiently extract useful dataset features. We have developed a consistent framework for both training and imputation. Moreover, we benchmarked the results against state-of-the-art imputation methods on different data sizes and characteristics. The work was not limited to the one-type variable dataset; we also imputed missing data with multi-type variables, e.g., a combination of binary, categorical, and continuous attributes. To evaluate the imputation methods, we randomly corrupted the complete data, with varying degrees of corruption, and then compared the imputed and original values. In all experiments, the developed autoencoder obtained the smallest error for all ranges of initial data corruption.
|
|
| 35. |
- Abiri, Najmeh, et al.
(författare)
-
Variational auto-encoders with Student’s t-prior
- 2019
-
Ingår i: ESANN 2019 - Proceedings : The 27th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning - The 27th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. - Bruges : ESANN. - 9782875870650
-
Konferensbidrag (refereegranskat)abstract
- We propose a new structure for the variational auto-encoders (VAEs) prior, with the weakly informative multivariate Student’s t-distribution. In the proposed model all distribution parameters are trained, thereby allowing for a more robust approximation of the underlying data distribution. We used Fashion-MNIST data in two experiments to compare the proposed VAEs with the standard Gaussian priors. Both experiments showed a better reconstruction of the images with VAEs using Student’s t-prior distribution.
|
|
| 36. |
- Aboelwafa, Mariam M. N., et al.
(författare)
-
A Machine-Learning-Based Technique for False Data Injection Attacks Detection in Industrial IoT
- 2020
-
Ingår i: IEEE Internet of Things Journal. - Piscataway : Institute of Electrical and Electronics Engineers (IEEE). - 2327-4662. ; 7:9, s. 8462-8471
-
Tidskriftsartikel (refereegranskat)abstract
- The accelerated move toward the adoption of the Industrial Internet-of-Things (IIoT) paradigm has resulted in numerous shortcomings as far as security is concerned. One of the IIoT affecting critical security threats is what is termed as the false data injection (FDI) attack. The FDI attacks aim to mislead the industrial platforms by falsifying their sensor measurements. FDI attacks have successfully overcome the classical threat detection approaches. In this article, we present a novel method of FDI attack detection using autoencoders (AEs). We exploit the sensor data correlation in time and space, which in turn can help identify the falsified data. Moreover, the falsified data are cleaned using the denoising AEs (DAEs). Performance evaluation proves the success of our technique in detecting FDI attacks. It also significantly outperforms a support vector machine (SVM)-based approach used for the same purpose. The DAE data cleaning algorithm is also shown to be very effective in recovering clean data from corrupted (attacked) data. © 2014 IEEE.
|
|
| 37. |
- Abrahamsson, Cristian, et al.
(författare)
-
Content, interest and the role of engagement : experienced science teachers discuss
- 2023
-
Ingår i: Physics Education. - Bristol : Institute of Physics Publishing (IOPP). - 0031-9120 .- 1361-6552. ; 58:6
-
Tidskriftsartikel (refereegranskat)abstract
- How do science teachers perceive student engagement and its importance for teaching and what strategies do they use to create it? When 21 experienced science teachers in 4 focus groups discussed these questions, they brought up behavioural aspects, but also less visible emotional and cognitive aspects, as well as reciprocal aspects of teacher and student engagement. One teacher described engagement as 'the oil in the machinery' during lessons. Which role does the curricular content play? Well aware that some topics are seen as more directly interesting by students, teachers connect to these, but also use hooks, including lively demonstrations, role play and connections to the outside world. In this way, they aim to generate situational interest and engagement also in topics that are often viewed as less interesting, including atoms and molecules. These experienced teachers describe how they adapt their teaching to the group also in real time, based on the degree of engagement exhibited by the students. © 2023 The Author(s). Published by IOP Publishing Ltd.
|
|
| 38. |
- Abrahamsson, Cristian, et al.
(författare)
-
En Delfistudie om lärares uppfattning av elevengagemang i NO-undervisningen
- 2019
-
Ingår i: NorDiNa. - Oslo : Naturfagsenteret / Norwegian Centre for Science Education. - 1504-4556 .- 1894-1257. ; 15:2, s. 128-144
-
Tidskriftsartikel (refereegranskat)abstract
- What happens in a science classroom where students are engaged and how do teachers observe and interpret student engagement? This article highlights teachers’ perspective on students’ engagement in science education and to what extent it is connected to the scientific content. This approach complements earlier research which focuses mostly on students’ attitude towards science education and their interest in various topics in science.The findings are based on a three-stage Delphi survey distributed to 39 expert science teachers. The results shows science education with a range of different perspectives and that most teachers do not perceive any direct connection between specific science topics and the students’ engagement. The survey also shows that teachers to a high level interpret students’ emotional expressions and academic behavior as engagement rather than their cognitive behavior.
|
|
| 39. |
- Abrahamsson, Kajsa H., 1956, et al.
(författare)
-
Patients´views on periodontal disease; attitutes to oral health and expectancy of periodontal treatment: a qualitative interview study
- 2008
-
Ingår i: Oral Health & Preventive Dentistry. - New Malden, Surry : Quintessence Publishing Co. Ltd.. - 1602-1622 .- 1757-9996. ; 6:3, s. 209-216
-
Tidskriftsartikel (refereegranskat)abstract
- Purpose: The aim of the study was to explore and gain an understanding of patients' views on their periodontal conditions, their perceived impact of periodontitis on daily life, as well as their attitudes to oral health and expectations of treatment. Materials and Methods: The study subjects were patients with chronic periodontitis, who had been referred to a specialist clinic. The constant comparative method for grounded theory was used to collect and analyse the data. Audiotaped, open-ended interviews were conducted after periodontal examination, but before treatment. The interviews were transcribed verbatim and consecutively analysed in hierarchical coding processes and continued until saturation was reached (n = 17). In the analysis, a conceptual model that outlined the steps involved in the diagnosis of periodontitis was generated. The core concept of the model, keeping up appearance and self-esteem, was related to the following four additional categories and their dimensions; doing what you have to do - trying to live up to the norm, suddenly having a shameful and disabling disease, feeling deserted and in the hands of an authority, and investing all in a treatment with an unpredictable outcome. Results: The results illustrated that subjects diagnosed with chronic periodontitis felt ashamed and were willing to invest all they had in terms of time, effort and financial resources to become healthy and to maintain their self-esteem. However, they perceived a low degree of control over treatment decisions and treatment outcome. Conclusions: The results demonstrate the vulnerability of patients diagnosed with chronic periodontitis and emphasise the importance of communication in dentistry.
|
|
| 40. |
|
|
| 41. |
|
|
| 42. |
- Abuella, Mohamed, 1980-, et al.
(författare)
-
Data-Driven Explainable Artificial Intelligence for Energy Efficiency in Short-Sea Shipping
- 2023
-
Ingår i: Machine Learning and Knowledge Discovery in Databases. - Cham : Springer. - 9783031434297 - 9783031434303 ; , s. 226-241
-
Konferensbidrag (refereegranskat)abstract
- The maritime industry is under pressure to increase energy efficiency for climate change mitigation. Navigational data, combining vessel operational and environmental measurements from onboard instruments and external sources, are critical for achieving this goal. Short-sea shipping presents a unique challenge due to the significant influence of surrounding landscape characteristics. With high-resolution onboard data increasingly accessible through IoT devices, appropriate data representations and AI/ML analytical tools are needed for effective decision support. The aim of this study is to investigate the fuel consumption estimation model’s role in developing an energy efficiency decision support tool. ML models that lacking explainability may neglect important factors and essential constraints, such as the need to meet arrival time requirements. Onboard weather measurements are compared to external forecasts, and our findings demonstrate the necessity of eXplainable Artificial Intelligence (XAI) techniques for effective decision support. Real-world data from a short-sea passenger vessel in southern Sweden, consisting of 1754 voyages over 15 months (More of data description and code sources of this study can be found in the GitHub repository at https://github.com/MohamedAbuella/ST4EESSS), are used to support our conclusions. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
|
|
| 43. |
- Abuella, Mohamed, Postdoktor, 1980-, et al.
(författare)
-
Spatial Clustering Approach for Vessel Path Identification
- 2024
-
Ingår i: IEEE Access. - Piscataway, NJ : IEEE. - 2169-3536. ; 12, s. 66248-66258
-
Tidskriftsartikel (refereegranskat)abstract
- This paper addresses the challenge of identifying the paths for vessels with operating routes of repetitive paths, partially repetitive paths, and new paths. We propose a spatial clustering approach for labeling the vessel paths by using only position information. We develop a path clustering framework employing two methods: a distance-based path modeling and a likelihood estimation method. The former enhances the accuracy of path clustering through the integration of unsupervised machine learning techniques, while the latter focuses on likelihood-based path modeling and introduces segmentation for a more detailed analysis. The result findings highlight the superior performance and efficiency of the developed approach, as both methods for clustering vessel paths into five clusters achieve a perfect F1-score. The approach aims to offer valuable insights for route planning, ultimately contributing to improving safety and efficiency in maritime transportation. © 2013 IEEE.
|
|
| 44. |
- Aceto, Luca, et al.
(författare)
-
A Rule Format for Unit Elements
- 2009
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.
|
|
| 45. |
- Aceto, Luca, et al.
(författare)
-
A rule format for unit elements
- 2010
-
Ingår i: SOFSEM 2010. - Berlin : Springer Berlin/Heidelberg. - 9783642112652 - 9783642112669 ; , s. 141-152
-
Konferensbidrag (refereegranskat)abstract
- This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.
|
|
| 46. |
- Aceto, Luca, et al.
(författare)
-
Algebraic properties for free!
- 2009
-
Ingår i: Bulletin of the European Association for Theoretical Computer Science. - : European Association for Theoretical Computer Science. - 0252-9742. ; 99, s. 81-103
-
Tidskriftsartikel (refereegranskat)abstract
- Algebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational semantics.
|
|
| 47. |
- Aceto, Luca, et al.
(författare)
-
Decompositional Reasoning about the History of Parallel Processes
- 2010
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Decompositional reasoning aims at automatically decomposing a global property of a composite system into local properties of (possibly unknown) components. In concurrency theory, decompositional reasoning techniques date back to the seminal work of Larsen and Liu in the late 1980s and early 1990s. However, we are not aware of any such decomposition technique that applies to reasoning about the "past". In this paper, we address this problem and present a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. As a language for processes, we use a subset of Milner's CCS with parallel composition, non-deterministic choice, action prefixing and the inaction constant. We focus on developing decompositional reasoning techniques for parallel contexts in that language.
|
|
| 48. |
- Aceto, L., et al.
(författare)
-
Decompositional Reasoning about the History of Parallel Processes
- 2011
-
Ingår i: Fundamentals of software engineering. - Heidelberg : Springer Berlin/Heidelberg. - 1611-3349 .- 0302-9743. - 9783642293191 - 9783642293207 ; , s. 32-47
-
Konferensbidrag (refereegranskat)abstract
- This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language. © 2012 Springer-Verlag.
|
|
| 49. |
- Aceto, Luca, et al.
(författare)
-
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
- 2013
-
Ingår i: Algebra and Coalgebra in Computer Science. - Berlin : Springer Berlin/Heidelberg. - 9783642402067 - 9783642402050 ; , s. 36-50
-
Konferensbidrag (refereegranskat)abstract
- In the field of structural operational semantics (SOS), there have been several proposals both for syntactic rule formats guaranteeing the validity of algebraic laws, and for algorithms for automatically generating ground-complete axiomatizations. However, there has been no synergy between these two types of results. This paper takes the first steps in marrying these two areas of research in the meta-theory of SOS and shows that taking algebraic laws into account in the mechanical generation of axiomatizations results in simpler axiomatizations. The proposed theory is applied to a paradigmatic example from the literature, showing that, in this case, the generated axiomatization coincides with a classic hand-crafted one. © 2013 Springer-Verlag Berlin Heidelberg.
|
|
| 50. |
- Aceto, Luca, et al.
(författare)
-
Impossibility results for the equational theory of timed CCS
- 2007
-
Ingår i: Algebra and Coalgebra in Computer Science. - Berlin : Springer Berlin/Heidelberg. - 9783540738572 - 9783540738596 ; , s. 80-95
-
Konferensbidrag (refereegranskat)abstract
- We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR'90. Common to Wang Yi's paper, we particularly focus on a class of linearly-ordered time domains exemplified by the positive real or rational numbers. We show that, even when the set of basic actions is a singleton, there are parallel Timed CCS processes that do not have any sequential equivalent and thus improve on the Gap Theorem for Timed CCS presented by Godskesen and Larsen in FSTTCS'92. Furthermore, we show that timed bisimilarity is not finitely based both for single-sorted and two-sorted presentations of Timed CCS. We further strengthen this result by showing that, unlike in some other process algebras, adding the untimed or the timed left-merge operator to the syntax and semantics of Timed CCS does not solve the axiomatizability problem.
|
|
