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
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
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
Citizens regularly search the Web to make informed decisions on daily life questions, like online purchases, but how they reason with the results is unknown. This reasoning involves engaging with data in ways that require statistical literacy, which is crucial for navigating contemporary data. However, many adults struggle to critically evaluate and interpret such data and make data-informed decisions. Existing literature provides limited insight into how citizens engage with web-sourced information. We investigated: How do adults reason statistically with web-search results to answer daily life questions? In this case study, we observed and interviewed three vocationally educated adults searching for products or mortgages. Unlike data producers, consumers handle pre-existing, often ambiguous data with unclear populations and no single dataset. Participants encountered unstructured (web links) and structured data (prices). We analysed their reasoning and the process of preparing data, which is part of data-ing. Key data-ing actions included judging relevance and trustworthiness of the data and using proxy variables when relevant data were missing (e.g., price for product quality). Participants’ statistical reasoning was mainly informal. For example, they reasoned about association but did not calculate a measure of it, nor assess underlying distributions. This study theoretically contributes to understanding data-ing and why contemporary data may necessitate updating the investigative cycle. As current education focuses mainly on producers’ tasks, we advocate including consumers’ tasks by using authentic contexts (e.g., music, environment, deferred payment) to promote data exploration, informal statistical reasoning, and critical web-search skills—including selecting and filtering information, identifying bias, and evaluating sources.
LINK
Cancer and its treatments cause significant changes in sexuality that affect the quality of life of both patients and their partners. As these issues are not always discussed with healthcare professionals, cancer patients turn to online health communities to find answers to questions or for emotional support pertaining to sexual issues. By using a discursive psychological perspective, we explore the social actions that participants in online health forums perform when discussing sexuality. Data were collected by entering search terms in the search bars of three online health forums. Our analysis of 213 threads, containing 1,275 posts, provides insight into how participants who present themselves as women with cancer account for their sexual issues and, in doing so, orient to two intertwined norms: Having untroubled sex is part of a couple’s relationship, and male partners are entitled to having untroubled sex. We discuss the potential harmful consequences of orienting to norms related to sexual behaviour. Yet, our findings can also help healthcare professionals in broaching the topic of sexuality in conversations with cancer patients. The insights of this study into what female patients themselves treat as relevant can assist health professionals in better aligning with patients’ interactional concerns.
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
Seven college lecturers and two senior support staff were interviewed during 2021 about their experiences teaching in hybrid virtual classrooms (HVC). These technology-rich learning environments allow teachers to simultaneously teach students who are in class (on campus) and students who are joining remotely (online). There were two reasons for this choice: first, ongoing experimentation from innovative teaching staff who were already using this format before the COVID-19 pandemic; secondly, as a possible solution to restrictions on classroom size imposed by the pandemic. Challenges lecturers faced include adjusting teaching practice and lesson delivery to serve students in the class and those online equally; engaging and linking the different student groups in structured and natural interactions; overcoming technical challenges regarding audio and visual equipment; suitably configuring teaching spaces and having sufficient pedagogical and technical support to manage this complex process. A set of practical suggestions is provided. Lecturers should make reasoned choices when teaching in this format since it requires continued experimentation and practice to enhance the teaching and learning opportunities. When external factors such as classroom size restrictions are the driving force, the specific type of synchronous learning activities should be carefully considered. The structure and approach to lessons needs to be rethought to optimise the affordances of the hybrid virtual and connected classroom. The complexity of using these formats, and the additional time needed to do it properly, should not be underestimated. These findings are consistent with previous literature on this subject. An ongoing dialogue with faculty, support staff and especially students should be an integral part of any further implementation in this format.
DOCUMENT
Deictic gestures are gestures we make during communication to point at objects or persons. Indicative acts of directing-to guide the addressee to an object, while placing-for acts place an object for the addressee’s attention. Commonly used presentation software tools, such as PowerPoint and Keynote, offer ample support for placing-for gestures, e.g. slide transitions, progressive disclosure of list items and animations. Such presentation tools, however, do not generally offer adequate support for the directing-to indicative act (i.e. pointing gestures). In this paper we argue the value of presenting deictic gestures to a remote audience. Our research approach is threefold: identify indicative acts that are naturally produced by presenters; design tangible gestures for multi-touch surfaces that replicate the intent of those indicative acts; and design a set of graphical effects for remote viewing that best represent these indicative acts for the audience. Clinton Jorge1, Jos P. van Leeuwen2, Dennis Dams3, Jan Bouwen4 1 University of Madeira, Madeira-ITI, Funchal, Portugal; 2 The Hague University of Applied Sciences, The Hague, Netherlands; 3,4 Bell Labs, Alcatel-Lucent, Antwerp, Belgium Copyright shared between: University of Madeira, Madeira-ITI, Funchal, Portugal; The Hague University of Applied Sciences, The Hague, Netherlands; Bell Labs, Alcatel-Lucent, Antwerp, Belgium
DOCUMENT
