Depression is a highly prevalent and seriously impairing disorder. Evidence suggests that music therapy can decrease depression, though the music therapy that is offered is often not clearly described in studies. The purpose of this study was to develop an improvisational music therapy intervention based on insights from theory, evidence and clinical practice for young adults with depressive symptoms. The Intervention Mapping method was used and resulted in (1) a model to explain how emotion dysregulation may affect depressive symptoms using the Component Process Model (CPM) as a theoretical framework; (2) a model to clarify as to how improvisational music therapy may change depressive symptoms using synchronisation and emotional resonance; (3) a prototype Emotion-regulating Improvisational Music Therapy for Preventing Depressive symptoms (EIMT-PD); (4) a ten-session improvisational music therapy manual aimed at improving emotion regulation and reducing depressive symptoms; (5) a program implementation plan; and (6) a summary of a multiple baseline study protocol to evaluate the effectiveness and principles of EIMT-PD. EIMT-PD, using synchronisation and emotional resonance may be a promising music therapy to improve emotion regulation and, in line with our expectations, reduce depressive symptoms. More research is needed to assess its effectiveness and principles.
DOCUMENT
Introduction: Depression can be a serious problem in young adult students. There is a need to implement and monitor prevention interventions for these students. Emotion-regulating improvisational music therapy (EIMT) was developed to prevent depression. The purpose of this study was to evaluate the feasibility of EIMT for use in practice for young adult students with depressive symptoms in a university context. Method: A process evaluation was conducted embedded in a larger research project. Eleven students, three music therapists and five referrers were interviewed. The music therapists also completed evaluation forms. Data were collected concerning client attendance, treatment integrity, musical components used to synchronise, and experiences with EIMT and referral. Results: Client attendance (90%) and treatment integrity were evaluated to be sufficient (therapist adherence 83%; competence 84%). The music therapists used mostly rhythm to synchronise (38 of 99 times). The students and music therapists reported that EIMT and its elements evoked changes in all emotion regulation components. The students reported that synchronisation elicited meaningful experiences of expressing joy, feeling heard, feeling joy and bodily responses of relaxation. The music therapists found the manual useful for applying EIMT. The student counsellors experienced EIMT as an appropriate way to support students due to its preventive character. Discussion: EIMT appears to be a feasible means of evoking changes in emotion regulation components in young adult students with depressive symptoms in a university context. More studies are needed to create a more nuanced and evidence-based understanding of the feasibility of EIMT, processes of change and treatment integrity.
DOCUMENT
In this paper, the performance gain obtained by combining parallel peri- odic real-time processes is elaborated. In certain single-core mono-processor configurations, for example, embedded control systems in robotics comprising many short processes, process context switches may consume a considerable amount of the available processing power. For this reason, it can be advantageous to combine processes, to reduce the number of context switches and thereby increase the performance of the application. As we consider robotic applications only, often consisting of processes with identical periods, release times and deadlines, we restrict these configurations to periodic real-time processes executing on a single-core mono-processor. By graph-theoretical concepts and means, we provide necessary and sufficient conditions so that the number of context switches can be reduced by combining synchronising processes.
DOCUMENT
Reading and writing is modelled in CSP using actions containing the sym- bols ? and !. These reading and writing actions are synchronous and there is a one- to-one relationship between occurrences of pairs of these actions. It is cumbersome to ease the restriction of synchronous execution of the read and write actions. For this reason we introduce the half-asynchronous parallel operator that acts on actions con- taining the symbols ¿ and ¡ and study the impact on a Vertex Removing Synchronised Product.
DOCUMENT
In bepaalde single-core configuraties met één processor, b.v. embedded control systems zoals robotic applications die uit vele korte processen bestaan, kunnen de context switches van een proces een aanzienlijke hoeveelheid van de beschikbare processing power verbruiken. Het verminderen van het aantal context switches vermindert de executietijd en verhoogt daardoor de prestaties van de toepassing. Bovendien is de end-to-end executietijd van de processen langer dan strict noodzakelijk, b.v. omdat de processen moeten wachten op controllers die een taak uitvoeren. Door de regels voor synchrone communicatie via kanalen in de procesalgebraïsche specificatietaal Communicating Sequential Processes te versoepelen, kunnen we de end-to-end executietijd verkorten. In ons onderzoek definiëren we verschillende graafproducten, bewijzen we dat deze producten een prestatiewinst opleveren (onder bepaalde voorwaarden) en we werken de numerieke en combinatorische aspecten van deze graafproducten uit.
DOCUMENT
Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2016, we introduced the half-synchronous alphabetised parallel operator X ⇓ Y , which disconnects the writing to and reading from a channel in time. We introduce in this paper an extension of X ⇓ Y , where the definition of X ⇓ Y is relaxed; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the asynchronous writes and reads. Furthermore, we allow multiple writers to the same channel and we study the impact on a Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ⇓ Y gives more flexibility by indexing the reading actions and allowing multiple write actions to the same channel. Furthermore, the extension of X ⇓Y reduces the end-to-end processing time of the processor or coprocessor in a distributed computing system. We show the effects of these advantages in a case study describing a Controlled Emergency Stop for a processor-coprocessor combination.
DOCUMENT
Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2017, we introduced the extended half-synchronous al- phabetised parallel operator X ⇕ Y , which disconnects the writing to and reading from a channel in time; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the reads. In this paper, we allow multiple writers to write to the same channel set-wise asynchronously, but intra-set-wise synchronously and we study the impact on our (Extended) Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ⇕ Y gives more flexibility by indexing the writing actions and the reading actions, leading to a straightforward majority vote design. Furthermore, the extension of X ⇕ Y preserves the advantages of the X ⇕ Y operator.
DOCUMENT
Companies today are in the continuous improvement game continuously anticipating customer needs at the same time as reducing transaction costs. It’s a tough game, in which techniques evolve so fast that an organisation with rigid management cannot hope to keep up. Indeed, requirements for management seem almost contradictory: customer-focused, flexible, structured, innovative and cost sensitive.This article describes the approach used by KPN to give management more control over continuous improvement whilst remaining flexible in operational detail. Moreover, this approach helps bridge the gap between business and IT people by providing them with a single language to discuss the many projects they are jointly engaged in.
DOCUMENT
This paper describes the concept of a new algorithm to control an Unmanned Aerial System (UAS) for accurate autonomous indoor flight. Inside a greenhouse, Global Positioning System (GPS) signals are not reliable and not accurate enough. As an alternative, Ultra Wide Band (UWB) is used for localization. The noise is compensated by combining the UWB with the delta position signal from a novel optical flow algorithm through a Kalman Filter (KF). The end result is an accurate and stable position signal with low noise and low drift.
DOCUMENT
Purpose: This study, a conceptual paper, analyses the growth of curation in tourism and hospitality and the curator role in selecting and framing products and experiences. It considers the growth of expert, algorithmic, social and co-creative curation modes and their effects. Design/methodology/approach: Narrative and integrative reviews of literature on curation and tourism and hospitality are used to develop a typology of curation and identify different curation modes. Findings: Curational techniques are increasingly used to organise experience supply and distribution in mainstream fields, including media, retailing and fashion. In tourism and hospitality, curated tourism, curated hospitality brands and food offerings and place curation by destination marketing organisations are growing. Curation is undertaken by experts, algorithms and social groups and involves many of destination-related actors, producing a trend towards “hybrid curation” of places. Research limitations/implications: Research is needed on different forms of curation, their differential effects and the power roles of different curational modes. Practical implications: Curation is a widespread intermediary function in tourism and hospitality, supporting better consumer choice. New curators influence experience supply and the distribution of consumer attention, shaping markets and co-creative activities. Increased curatorial activity should stimulate aesthetic and stylistic innovation and provide the basis for storytelling and narrative in tourism and hospitality. Originality/value: This is the first study of curational strategies in tourism and hospitality, providing a definition and typology of curation, and linking micro and macro levels of analysis. It suggests the growth of choice-based logic alongside service-dominant logic in tourism and hospitality.
MULTIFILE
