| 51. |
- Aceto, Luca, et al.
(författare)
-
On Rule Formats for Zero and Unit Elements
- 2010
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.
|
|
| 52. |
- Aceto, Luca, et al.
(författare)
-
Rule formats for determinism and idempotence
- 2012
-
Ingår i: Science of Computer Programming. - Amsterdam : Elsevier BV. - 0167-6423 .- 1872-7964. ; 77:7-8, s. 889-907
-
Tidskriftsartikel (refereegranskat)abstract
- Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature.
|
|
| 53. |
- Aceto, Luca, et al.
(författare)
-
Rule Formats for Distributivity
- 2012
-
Ingår i: Theoretical Computer Science. - : Elsevier BV. - 0304-3975 .- 1879-2294. ; 458, s. 1-28
-
Tidskriftsartikel (refereegranskat)abstract
- This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered. © 2012 Elsevier B.V. All rights reserved.
|
|
| 54. |
- Aceto, Luca, et al.
(författare)
-
Rule Formats for Distributivity
- 2011
-
Ingår i: Language and Automata Theory and Applications. - Heidelberg : Springer Berlin/Heidelberg. - 9783642212536 ; , s. 79-90
-
Konferensbidrag (refereegranskat)abstract
- This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. © 2011 Springer-Verlag.
|
|
| 55. |
- Aceto, Luca, et al.
(författare)
-
Rule Formats for Distributivity
- 2010
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats.
|
|
| 56. |
- Aceto, Luca, et al.
(författare)
-
SOS Rule Formats for Zero and Unit Elements
- 2011
-
Ingår i: Theoretical Computer Science. - Amsterdam : Elsevier. - 0304-3975 .- 1879-2294. ; 412:28, s. 3045-3071
-
Tidskriftsartikel (refereegranskat)abstract
- This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study. © 2011 Elsevier B.V. All rights reserved.
|
|
| 57. |
- Achard, Paola Olimpia, et al.
(författare)
-
Risk Identification in the Infrastructure Construction Industry : A Supply Chain Case Study
- 2008
-
Ingår i: International Journal of Logistics Economics and Globalisation. - Olney, Bucks : InderScience Publishers. - 1741-5373 .- 1741-5381. ; 1:3–4, s. 343-356
-
Tidskriftsartikel (refereegranskat)abstract
- The objective of this article is to describe the risk identification within a supply chain of an infrastructure construction project. This research is based on a case study of risk management within a supply chain in the infrastructure construction industry. Data have been collected from an international company emphasising the stage of risk identification. A particular view of risk management has been adopted. More specifically, a way to identify risk within the construction industry has been given. Technical and operational evidences have been revised and organised in order to take a first step in the direction of a systematic treatment. It has highlighted some crucial issues dealing with risk identification, while risk assessment and risk response provide an opportunity for further research. The article has underlined how risk management can be seen as the way to discover existing risks that are preventing firms from advancing their strategy. Main insights that emerged dealt with five categories: strategic objectives; critical success factors; environment and stakeholder influences; key performance indicators and principal risks; principal risk response strategies.
|
|
| 58. |
- Achtenhagen, Leona, 1969-, et al.
(författare)
-
Frühe Internationalisierung eines Unternehmens im Hochtechnologiebereich - Treiber und Hindernisse
- 2011
-
Ingår i: Zeitschrift für KMU und Entrepreneurship. - Berlin : Duncker & Humblot. - 1860-4633 .- 1865-5114. ; 59:2, s. 125-140
-
Tidskriftsartikel (refereegranskat)abstract
- SMEs in high-technology industries, such as life sciences, face a fundamental challenge. On the one hand, i.a. high product development costs push firms to early-stage internationalization to speed up the amortization of those investments. On the other hand, a number of factors constitute hinders to internationalization, such as insufficient endowments with financial resources and the need to adapt to local regulations, which differ between countries. To date, little is known about how SMEs in practice master this challenge. Based on a longitudinal, in-depth case study of a young company from a high-technology sector, this paper aims at providing a better understanding of early internationalization processes of startups in these industries. This paper is closely linked to practice, while at the same time is contributing to the literature on international entrepreneurship.
|
|
| 59. |
- Adam, Rania Elhadi, 1978-, et al.
(författare)
-
Graphene-based plasmonic nanocomposites for highly enhanced solar-driven photocatalytic activities
- 2019
-
Ingår i: RSC Advances. - Cambridge : Royal Meteorological Society. - 2046-2069. ; 9:52, s. 30585-30598
-
Tidskriftsartikel (refereegranskat)abstract
- High-efficiency photocatalysts are crucial for the removal of organic pollutants and environmental sustainability. In the present work, we report on a new low-temperature hydrothermal chemical method, assisted by ultrasonication, to synthesize disruptive plasmonic ZnO/graphene/Ag/AgI nanocomposites for solar-driven photocatalysis. The plasmonic nanocomposites were investigated by a wide range of characterization techniques, confirming successful formation of photocatalysts with excellent degradation efficiency. Using Congo red as a model dye molecule, our experimental results demonstrated a photocatalytic reactivity exceeding 90% efficiency after one hour simulated solar irradiation. The significantly enhanced degradation efficiency is attributed to improved electronic properties of the nanocomposites by hybridization of the graphene and to the addition of Ag/AgI which generates a strong surface plasmon resonance effect in the metallic silver further improving the photocatalytic activity and stability under solar irradiation. Scavenger experiments suggest that superoxide and hydroxyl radicals are responsible for the photodegradation of Congo red. Our findings are important for the fundamental understanding of the photocatalytic mechanism of ZnO/graphene/Ag/AgI nanocomposites and can lead to further development of novel efficient photocatalyst materials.
|
|
| 60. |
- Adams, Kweku, et al.
(författare)
-
Female board representation and coupled open innovation: Evidence from emerging market multinational enterprises
- 2023
-
Ingår i: Technovation. - Oxford : Elsevier. - 0166-4972 .- 1879-2383. ; 124
-
Tidskriftsartikel (refereegranskat)abstract
- Little research has been done on female board representation in emerging market multinational enterprises (EMNEs). Our paper considers the role of female board representation and its impact on open innovation (OI) in the unique context of emerging markets. We draw on upper echelons and institutional theories to understand how female board representation and cross-country institutional contexts influence coupled OI. Combining a 10-year (2009–2019) dataset with a rich in-depth content analysis of 183 (EMNEs) engaged in OI, our results reveal a significant positive association between female board representation and a firm's commitment to coupled OI initiatives. We also find that country-level institutional factors affect and positively moderate the relationship between female board representation and coupled OI. In emerging market environments where managerial perception and cultural beliefs sometimes hinder the promotion of females into top positions, our work has implications for EMNEs regarding how they harness diversity. We contribute to the OI literature by showing that female board representation enhances corporate OI investment within EMNEs.
|
|
