Abstract
The increased use of active power electronics for AC to DC conversion of electrical equipment causes emissions in the frequency range between 2-150kHz (Supraharmonic frequency range). Currently two different methods (IEC61000-4-30 and IEC61000-4-7) to measure supraharmonic emissions are used. In this study, the two methods are compared to each other by means of real measured signals. While other studies used synthesized signals, this study investigates real measured signals of a bi-directional electric vehicle (EV) charging station and a photovoltaic (PV) power plant. The signals indicate narrowband, wideband and time-varying emissions. The method described in IEC61000-4-30 Ed.3 offers benefits analyzing wideband emissions due to reduced data. Nevertheless, as the method is non-gapless, big deviations to IEC61000-4-7 and to a gapless method occur. Especially at time-varying signals the deviation reaches up to 50%. The method according to IEC61000-4-30 Ed.3 shows good results for constant level of emissions only. In reality, this is rarely the case, as emissions often get superimposed by other signals. The IEC 61000-4-7 method generates many data, but allows detailed investigations of narrowband emissions and as the measurement is gap-less time-varying emissions are detected properly. © 2022 IEEE.

Abstract
Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pomsets provide a more compact alternative by using a partial order over these actions and by not making explicit the possible interleaving of concurrent actions. However, pomsets offer no compact representation of choices. For example, if an agent Alice can send one of two possible messages to Bob three times, one would need a set of 2 x 2 x 2 distinct pomsets to represent all possible branches of Alice's behaviour. This paper proposes an extension of pomsets, named branching pomsets, with a branching structure that can represent Alice's behaviour using 2 + 2 + 2 ordered actions. We encode choreographies as branching pomsets and show that the pomset semantics of the encoded choreographies are bisimilar to their operational semantics.

Abstract

Abstract
The advantages associated with mobile ticketing solutions are undeniable; however, most of these solutions are designed for the local population without taking into account the specific needs of tourists. Therefore, this study fills an important research gap in the literature by assessing the adoption drivers of mobile ticketing services by tourists and pointing out possible directions to the design of such services. The proposed model includes constructs of the technology acceptance model (TAM), diffusion of innovations (DOI) theory, and others widely disseminated in the literature on mobile payments, such as mobility. The model was empirically tested through an online survey, and Structural Equation Modeling (SEM) was applied to analyze the data. The results show that the intention of tourists to use mobile ticketing services is positively affected by the perceived usefulness and mobility. The survey findings also describe additional services that respondents value in a mobile ticket service for tourists, both in normal and in pandemic contexts, useful to shape future mobile ticketing solutions for tourists.

Abstract
The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic programming, and the declarative semantics, which sees logic programs as formulas and its semantics as models. Here, we define a new operational semantics called TSLD-resolution, which stands for Typed SLD-resolution, where we include a value wrong, that corresponds to the detection of a type error at run-time. For this we define a new typed unification algorithm. Finally we prove the correctness of TSLD-resolution with respect to a typed declarative semantics.

Abstract
This study critically investigates and evaluates the childhood and adolescent year strategies, and efforts that parent-owners of family businesses incorporate to encourage and prepare children for a successful future succession. The sample consisted of six family businesses in the North East of Scotland: two successfully introduced a second-generation, two a third generation and one a fourth generation, with one still in the founder stage. The findings reveal that the succession planning process was an instantaneous event into generational bridging, where no formal planning process was commenced. Parent-owners influenced and facilitated knowledge transfer and education, leaving control to the child successors with career options. The research has also shown the difficulties in how the child successors of the future may find succession challenging and demanding with contextually complex issues. © 2022: Jahangir Wasim, Fernando Almeida.