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
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
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
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
In een hybride virtueel klaslokaal (HVC) zijn docenten en/of studenten zowel fysiek als digitaal synchroon bij een onderwijsonderdeel aanwezig. De online studenten danwel docenten kunnen thuis zijn, of bevinden zich bijvoorbeeld in een authentiek werksituatie of ergens in het buitenland. Hybride virtuele klaslokalen zijn ontworpen om studenten op locatie en studenten op afstand aan elkaar te verbinden. De fysieke en digitale onderwijsactiviteiten lopen synchroon aan elkaar. Het kan daarmee ook digitaal aanschuifonderwijs genoemd worden. Wat zijn de voordelen van het HVC? Wanneer gebruik je het en wanneer gebruik je het niet? Op welke manier gebruik je het dan en welke consequenties heeft dit voor het didactische repertoire? Welke technische opstellingen horen hierbij? Het lectoraat Teaching Learning & Technology heeft onderzoek gedaan naar de inzet van HVC in het onderwijs en vanuit interviews met docenten en ondersteuners praktische handvaten ontwikkeld op zowel didactisch als technisch niveau. Deze zijn te lezen in het onderzoeksrapport.
MULTIFILE
Abstract: Teledentistry offers possibilities for improving efficiency and quality of care and supporting cost-effective healthcare systems. This umbrella review aims to synthesize existing systematic reviews on teledentistry and provide a summary of evidence of its clinical- and cost-effectiveness. A comprehensive search strategy involving various teledentistry-related terms, across seven databases, was conducted. Articles published until 24 April 2023 were considered. Two researchers independently reviewed titles, abstracts and full-text articles. The quality of the included reviews was critically appraised with the AMSTAR-2 checklist. Out of 749 studies identified, 10 were included in this umbrella review. Two reviews focusing on oral-health outcomes revealed that, despite positive findings, there is not yet enough evidence for the long-term clinical effectiveness of teledentistry. Ten reviews reported on economic evaluations or costs, indicating that teledentistry is cost-saving. However, these conclusions were based on assumptions due to insufficient evidence on cost-effectiveness. The main limitation of our umbrella review was the critically low quality of the included reviews according to AMSTAR-2 criteria, with many of these reviews basing their conclusions on low-quality studies. This highlights the need for high-quality experimental studies (e.g., RCTs, factorial designs, stepped-wedge designs, SMARTs and MRTs) to assess teledentistry’s clinical- and cost-effectiveness.
DOCUMENT
For this exploratory study we aim to provide knowledge and insights concerning the processes of setting up, implementing and managing online communities as a part of the product/services offer of media companies. The goal is to increase their reach amongst target groups, to strengthen involvement with their audiences and to entice their audiences to participate. This information should help us to understand the many different aspects important for developing and managing online communities. The research question for this phase is: Which critical success factors play a role in the process of setting up and managing online communities using social media in order to activate and/or engage target audiences? In this exploratory first phase we looked into literature relating to general guidelines and critical success factors in setting up and managing online communities. These aspects include, communication and interaction options, functionalities for sharing information, the content structure given, the importance of socialization within the community, the policies used and the usability of the platform (Ning Shen & Khalifa, 2008).
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
