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
Peer assisted study sessions (PASS), also known as Supplemental instruction, are structured peer guided sessions linked to a specific course, led by experienced and trained students called PASS-leaders. These PASS-leaders undergo several days of training before running their first session and receive supervision and feedback ‘on the job’. Research suggests that training improves student outcomes whereby supervision is considered best practice, as required by PASS protocols. However, it is unclear what type of supervision best supports PASS-leaders. Thus far, studies have not compared different methods for on-the-job interventions. Current practice involves supervisors observing PASS sessions without intervening but providing post hoc feedback. While this prevents undermining the PASS leaders, it delays their ability to act on feedback immediately. This study, carried out at an institution for initial teacher education, developed and tested a method for providing immediate feedback using a bug-in-ear device linked to a live-stream. Six PASS-leaders were observed during 4-6 sessions each, receiving either synchronous feedback with a bug-in-ear or in-person asynchronous post hoc feedback. In group interviews PASS-leaders reported appreciating the immediacy of synchronous feedback which allowed them to act on it in real-time. The surveys after each lesson indicated that they felt significantly more confident about teaching following live feedback. They described the supervisor as an invisible helper, providing support or assistance. Because the bug-in-ear method could only provide feedback on visible instructional and pedagogical actions, both PASS-leaders and PASS-supervisors recommended using this as a supplement to a pre-session briefing and a post-session debrief.
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
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
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
Over the past few decades, education systems, especially in higher education, have been redefined. Such reforms inevitably require reconsideration of operational notions and definitions of quality, along with a number of related concepts. This reconsideration aligns with the core of higher education reforms: improving efficacy and compatibility with emerging social demands while adapting to competitiveness and accountability trends. As primary players in the teaching and learning process, online tutors have a protagonistic role and, therefore, must be equipped with a suitable set of competencies and attributes in addition to content knowledge. This quantitative research aims to analyze the perceptions of 250 online tutors working in European higher education institutions, distributed in 5 knowledge areas: Business, Education, Humanities, Sciences and Health. This descriptive and exploratory nonexperimental study reveals the technological and pedagogical skills and competencies that online tutors consider fundamental for effective online teaching and proposes professional development actions to ensure quality online teaching.
DOCUMENT
The application of DC grids is gaining more attention in office applications. Especially since powering an office desk would not require a high power connection to the main AC grid but could be made sustainable using solar power and battery storage. This would result in fewer converters and further advanced grid utilization. In this paper, a sustainable desk power application is described that can be used for powering typical office appliances such as computers, lighting, and telephones. The desk will be powered by a solar panel and has a battery for energy storage. The applied DC grid includes droop control for power management and can either operate stand-alone or connected to other DC-desks to create a meshed-grid system. A dynamic DC nano-grid is made using multiple self-developed half-bridge circuit boards controlled by microcontrollers. This grid is monitored and controlled using a lightweight network protocol, allowing for online integration. Droop control is used to create dynamic power management, allowing automated control for power consumption and production. Digital control is used to regulate the power flow, and drive other applications, including batteries and solar panels. The practical demonstrative setup is a small-sized desktop with applications built into it, such as a lamp, wireless charging pad, and laptop charge point for devices up to 45W. User control is added in the form of an interactive remote wireless touch panel and power consumption is monitored and stored in the cloud. The paper includes a description of technical implementation as well as power consumption measurements.
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
