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 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
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
Artikel van Judith Huis in het Veld, docent onderzoeker van de Hogeschool Inholland verschenen in Research in Gerontological Nursing ABSTRACT The current article discusses how and by whom family caregivers want to be supported in selfmanagement when managing changes in behavior and mood of relatives with dementia and whether family caregivers consider eHealth a useful tool for self-management support. Four asynchronous online focus groups were held with 32 family caregivers of individuals with dementia. Transcripts of the online focus groups were analyzed using qualitative thematic analysis. Family caregivers need support from professionals or peers in the form of (a) information about dementia and its symptoms, (b) tips and advice on managing changes in behavior and mood, (c) opportunities to discuss experiences and feelings, and (d) appreciation and acknowledgement of caregiving. The opinions of family caregivers about self-management support through eHealth were also reported. Findings suggest a personal approach is essential to self-management support for family caregivers managing changes in behavior and mood of relatives with dementia. In addition, self-management support can be provided to some extent through eHealth, but this medium cannot replace personal contacts entirely.
DOCUMENT
The COVID-19 pandemic has revealed the importance for university teachers to have adequate pedagogical and technological competences to cope with the various possible educational scenarios (face-to-face, online, hybrid, etc.), making use of appropriate active learning methodologies and supporting technologies to foster a more effective learning environment. In this context, the InnovaT project has been an important initiative to support the development of pedagogical and technological competences of university teachers in Latin America through several trainings aiming to promote teacher innovation. These trainings combined synchronous online training through webinars and workshops with asynchronous online training through the MOOC “Innovative Teaching in Higher Education.” This MOOC was released twice. The first run took place right during the lockdown of 2020, when Latin American teachers needed urgent training to move to emergency remote teaching overnight. The second run took place in 2022 with the return to face-to-face teaching and the implementation of hybrid educational models. This article shares the results of the design of the MOOC considering the constraints derived from the lockdowns applied in each country, the lessons learned from the delivery of such a MOOC to Latin American university teachers, and the results of the two runs of the MOOC.
DOCUMENT
Learning objects are bits of learning content. They may be reused 'as is' (simple reuse) or first be adapted to a learner's particular needs (flexible reuse). Reuse matters because it lowers the development costs of learning objects, flexible reuse matters because it allows one to address learners' needs in an affordable way. Flexible reuse is particularly important in the knowledge economy, where learners not only have very spefic demands but often also need to pay for their own further education. The technical problems to simple and flexible are rapidly being resolved in various learning technology standardisation bodies. This may suggest that a learning object economy, in which learning objects are freely exchanged, updated and adapted, is about to emerge. Such a belief, however, ignores the significant psychological, social and organizational barriers to reuse that still abound. An inventory of these problems is made and possible ways to overcome them are discussed.
DOCUMENT
As artificial intelligence (AI) reshapes hiring, organizations increasingly rely on AI-enhanced selection methods such as chatbot-led interviews and algorithmic resume screening. While AI offers efficiency and scalability, concerns persist regarding fairness, transparency, and trust. This qualitative study applies the Artificially Intelligent Device Use Acceptance (AIDUA) model to examine how job applicants perceive and respond to AI-driven hiring. Drawing on semi-structured interviews with 15 professionals, the study explores how social influence, anthropomorphism, and performance expectancy shape applicant acceptance, while concerns about transparency and fairness emerge as key barriers. Participants expressed a strong preference for hybrid AI-human hiring models, emphasizing the importance of explainability and human oversight. The study refines the AIDUA model in the recruitment context and offers practical recommendations for organizations seeking to implement AI ethically and effectively in selection processes.
MULTIFILE
When it comes to hard to solve problems, the significance of situational knowledge construction and network coordination must not be underrated. Professional deliberation is directed toward understanding, acting and analysis. We need smart and flexible ways to direct systems information from practice to network reflection, and to guide results from network consultation to practice. This article presents a case study proposal, as follow-up to a recent dissertation about online simulation gaming for youth care network exchange (Van Haaster, 2014).
DOCUMENT
Over the last two decades, institutions for higher education such as universities and colleges have rapidly expanded and as a result have experienced profound changes in processes of research and organization. However, the rapid expansion and change has fuelled concerns about issues such as educators' technology professional development. Despite the educational value of emerging technologies in schools, the introduction has not yet enjoyed much success. Effective use of information and communication technologies requires a substantial change in pedagogical practice. Traditional training and learning approaches cannot cope with the rising demand on educators to make use of innovative technologies in their teaching. As a result, educational institutions as well as the public are more and more aware of the need for adequate technology professional development. The focus of this paper is to look at action research as a qualitative research methodology for studying technology professional development in HE in order to improve teaching and learning with ICTs at the tertiary level. The data discussed in this paper have been drawn from a cross institutional setting at Fontys University of Applied Sciences, The Netherlands. The data were collected and analysed according to a qualitative approach.
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
