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
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
Reducing recidivism of individual offenders usually is a multifaceted task. Behavioural interventions, based on the ‘what works principles’ go along with interventions in the domains of education, work, housing and social networks. An integrative approach seems to improve the effectiveness of rehabilitation. In most accreditation panels for offender interventions, continuity in the planning and realization of the various services is one of the criteria. In the Dutch panel a distinction is made between synchronous continuity, that is integration of services at a given point in time, and diachronic, that is integration of the sequence of interventions in the course of the probation process. This contribution focuses on synchronous continuity.
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
The aim of the study is to investigate the influence of gender and gender pairing on students’ learning performances and knowledge elaboration processes in Computer-Supported Collaborative Learning (CSCL). A sample of ninety-six secondary school students, participated in a two-week experiment.Students were randomly paired and asked to solve several moderately structured problems concerning Newtonian mechanics. Students’ pretest and posttest performances were analyzed to see whether students’ gender and the gender pairing (mixed or single-gender) were significant factors in their problem solving learning in CSCL. Students’ online interactions were also analyzed to unravel the dynamic process of individual knowledge elaboration. The multilevel analyses revealed that a divergent pattern of knowledge elaboration was a significant predictor for students’ learning achievement, and in mixed-gender dyads students’ knowledge elaboration processes were more inclined to diverge from each other. Moreover, females in single-gender dyads significantly outperformed females in mixed-gender dyads. But this was not the case for male students.
DOCUMENT
With this contribution, the results of the measurement campaign performed with a synchronously distributed antenna array testbed operating at the center frequency of 3.686 GHz are presented. For the first time, to the best of the authors’ knowledge, the electric field distribution induced by coherent downlink transmission was experimentally assessed in the proximity of the target receiver using a calibrated electromagnetic field probe. This allowed to quantify the actual observed electric field gain and the shape of the electric field enhancement region around the target received. It was found that 16 transmitting antenna elements enhance the root-mean-square electric field level by about a factor of two, in a 2.5λ neighborhood of the target receiver. In addition, a possible disruption of the propagation environment due to the probe movement was assessed through the real-time channel state information feedback.
DOCUMENT
A case study and method development research of online simulation gaming to enhance youth care knowlegde exchange. Youth care professionals affirm that the application used has enough relevance as an additional tool for knowledge construction about complex cases. They state that the usability of the application is suitable, however some remarks are given to adapt the virtual environment to the special needs of youth care knowledge exchange. The method of online simulation gaming appears to be useful to improve network competences and to explore the hidden professional capacities of the participant as to the construction of situational cognition, discourse participation and the accountability of intervention choices.
DOCUMENT
The Internet and computers increasingly determine our daily lives. This goes for almost everyone in the Netherlands. Still, it is mostly teenagers who are well informed on how to use all the possibilities of new technologies. They are building a digital world of their own that parents usually know very little about. This booklet intends to inform teachers, parents and other interested parties on what teenagers are actually doing online and how important it is to keep abreast of the new developments that the Internet and computers bring into their world. On the basis of research into these issues in the Netherlands and abroad we attempt to indicate what the digital world of teenagers looks like and how it differs from that of grown-ups. What do they do, exactly, and why? We also look into teenagers’ ICT behaviour and into dangers and abuse of the Internet. Moreover we provide tips for parents and teachers on how to handle certain phenomena. This book does not pretend to provide an exhaustive overview of the digital world of teenagers. It is focused on some important characteristics and parts of that world. It reports on research of the INHOLLAND Centre for eLearning into various aspects of ICT behaviour among teenagers. The research was undertaken in the spring of 2006, focusing mainly on texting, networking, gaming, dangers and abuse on the Internet and the digital relation between school and the home. Ultimately we are especially concerned with the question of what teenagers really learn in their digital world, and how education can profit. This book also addresses that issue.
DOCUMENT
This case study illustrates the sequential process of the joint and individual knowledge elaboration in a computer-supported collaborative learning (CSCL) environment. The case comprised an Internet-based physics problem-solving platform. Six Dutch secondary school students (three males, three females) participated in the three-week experiment. They were paired based on self-selection. Each dyad was asked to collaborate on eight moderately structured problems concerning Newtonian mechanics. Their online interactions, including their textual and pictorial messages, were categorized and sequentially plotted. The three dyads showed three different collaboration patterns in terms of joint and individual knowledge elaboration.
DOCUMENT
