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
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
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 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
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
From the article: "Whilst the importance of online peer feedback and writing argumentative essays for students in higher education is unquestionable, there is a need for further research into whether and the extent to which female and male students differ with regard to their argumentative feedback, essay writing, and content learning in online settings. The current study used a pre-test, post-test design to explore the extent to which female and male students differ regarding their argumentative feedback quality, essay writing and content learning in an online environment. Participants were 201 BSc biotechnology students who wrote an argumentative essay, engaged in argumentative peer feedback with learning partners in the form of triads and finally revised their original argumentative essay. The findings revealed differences between females and males in terms of the quality of their argumentative feedback. Female students provided higher-quality argumentative feedback than male students. Although all students improved their argumentative essay quality and also knowledge content from pre-test to post-test, these improvements were not significantly different between females and males. Explanations for these findings and recommendations are provided"
MULTIFILE
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
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
