The double-edged effects of explanation prompts

Explanation prompts usually foster conceptual understanding. However, it has been claimed within cognitive load theory that prompts can take cognitive load to the upper limit when learning complex contents. Under such circumstances, prompts focusing the learners’ attention on specific aspects (e.g., conceptual aspects such as elaborations on domain principles) might have some costs: Other important aspects (e.g., procedural aspects such as how to calculate) cannot be processed deeply. Thus, we expected that conceptually-oriented explanation prompts would foster the detailedness of explanations, the number of elaborations on domain principles, and conceptual knowledge. In addition, we tested the influence of such prompts on the number of calculations performed during learning and procedural knowledge. We conducted an experiment in which we employed conceptually-oriented explanation prompts in a complex e-learning module on tax law. Tax law university students (N = 40) worked on this e-learning module under two conditions: (a) conceptually-oriented explanation prompts, (b) no prompts. The prompts led to double-edged effects: positive effects on the detailedness of explanations and on the number of elaborations on domain principles, as well as on conceptual knowledge and simultaneously negative effects on the number of calculations performed during learning as well as on procedural knowledge.     

Effects of differences in office chair controls, seat and backrest angle design in relation to tasks

In this study the influence of chair characteristics on comfort, discomfort, adjustment time and seat interface pressure is investigated during VDU and non-VDU tasks: The two investigated office chairs, both designed according to European and Dutch standards are different regarding: 1) seat cushioning and shape, 2) backrest angle and 3) controls. Thirty subjects in total, both male and female, participated in two experiments: twenty in the first and ten in the second.Significant differences are found for ease of adjustment and adjustment time of controls, independent of the tasks. Related to tasks, a significant difference was found for the backrest range of motion. For non-VDU tasks a larger range of backrest motion was preferred by 70% of the subjects. The chair design differences were most clear for comfort and adjustment time of controls, followed by comfort of backrest angle. No differences are found between seat pan comfort and discomfort, first impressions and peak interface pressure.     

Model checking action system refinements

Action systems provide a formal approach to modelling parallel and reactive systems. They have a well established theory of refinement supported by simulation-based proof rules. This paper introduces an automatic approach for verifying action system refinements utilising standard CTL model checking. To do this, we encode each of the simulation conditions as a simulation machine, a Kripke structure on which the proof obligation can be discharged by checking that an associated CTL property holds. This procedure transforms each simulation condition into a model checking problem. Each simulation condition can then be model checked in isolation, or, if desired, together with the other simulation conditions by combining the simulation machines and the CTL properties.     

Contrast-optimal k out of n secret sharing schemes in visual cryptography

Visual cryptography and (k,n)-visual secret sharing schemes were introduced by Naor and Shamir (Advances in Cryptology — Eurocrypt 94, Springer, Berlin, 1995, pp. 1–12). A sender wishing to transmit a secret message distributes n transparencies amongst n recipients, where the transparencies contain seemingly random pictures. A (k,n)-scheme achieves the following situation: If any k recipients stack their transparencies together, then a secret message is revealed visually. On the other hand, if only k−1 recipients stack their transparencies, or analyze them by any other means, they are not able to obtain any information about the secret message. The important parameters of a scheme are its contrast, i.e., the clarity with which the message becomes visible, and the number of subpixels needed to encode one pixel of the original picture. Naor and Shamir constructed (k,k)-schemes with contrast 2^−(k−1). By an intricate result from Linial (Combinatorica 10 (1990) 349–365), they were also able to prove the optimality of these schemes. They also proved that for all fixed kn, there are (k,n)-schemes with contrast . For k=2,3,4 the contrast is approximately and . In this paper, we show that by solving a simple linear program, one is able to compute exactly the best contrast achievable in any (k,n)-scheme. The solution of the linear program also provides a representation of a corresponding scheme. For small k as well as for k=n, we are able to analytically solve the linear program. For k=2,3,4, we obtain that the optimal contrast is at least and . For k=n, we obtain a very simple proof of the optimality of Naor's and Shamir's (k,k)-schemes. In the case k=2, we are able to use a different approach via coding theory which allows us to prove an optimal tradeoff between the contrast and the number of subpixels.     

Cognitive Factors in Programming with Diagrams

Visual programming languages aim to broaden the use ofdiagrams within the software industry, to the extentthat they are integrated into the programming languageitself. As a result, they provide an ideal opportunityto study the benefits of diagrams as an externalrepresentation during problem solving: not only isprogramming a challenging problem-solving activity,but the effect of diagram usage can be directlyassessed by comparing performance while using a visualprogramming language to performance with a standardtextual language. There have been severalmisconceptions amongst visual language researchersregarding the role of diagrams in software design, butthese are being addressed by empirical studies and bynew theories of notation design derived from studiesof visual programming. Based on this research, theauthors are able to recommend several new directionsfor research into thinking with diagrams.     

Human-factors engineering for smart transport: design support for car drivers and train traffic controllers

The theme Smart Transport can be described as adequate human-system symbiosis to realize effective, efficient and human-friendly transport of goods and information. This paper addresses how to attune automation to human (cognitive) capacities (e.g. to take care of information uncertainty, operator trust and mutual man-machine adaptations). An introduction to smart transport is presented, including examples of best practice for engineering human factors in the vehicle ergonomics and train traffic control domain. The examples are representative of an ongoing trend in automation and they show how the human role changes from controller to supervisor. Section 2 focuses on the car driver and systems that support, or sometimes even take over, critical parts of the driving task. Due to the diversity of driver ability, driving context and dependence between driver and context factors, there is a need for personalised, adaptive and integrated support. Systematic research is needed to establish sound systems. Section 3 focuses on the train dispatcher support systems that predict train movements, detect potential conflicts and show the dispatcher the possibilities available to solve the detected problems. Via thorough analysis of both the process to be controlled and the dispatcher's tasks and cognitive needs, support functions were developed as part of an already very complex supervision and control system. The two examples, although from a different field, both show the need for further development in cognitive modelling as well as for the value of sound ergonomics task analysis in design practice.     

Problems with India ink skin markings

India ink skin markings allow consistently reproducible radiation field setups. The authors report a case in which a facial tattoo was applied with an injection, resulting in permanent "black eyes." The vaccination technique has not been associated with this complication.     

Value of bone marrow biopsy in the diagnosis of amyloidosis

Amyloid involvement of the bone marrow is not commonly diagnosed before necropsy. Paraffin sections of the trephine bone biopsy specimen are superior to marrow aspiration cell smears for the antemortem diagnosis. Thirteen cases of amyloidosis were diagnosed from the bone biopsy specimen during a ten-year period. Amyloid was detected in only two of the corresponding aspirates. Three morphologic patterns of marrow involvement were found: vascular, focal extravascular/perivascular, and diffuse. Five (38%) of the cases were associated with multiple myeloma. An abnormal immunoglobulin was detected in the serum or urine or both in ten of 11 cases when determined. Although the bone marrow may not be the best site for the diagnosis of amyloidosis, it should not be neglected and marrow biopsies taken for other diagnostic reasons may "incidentally" reveal amyloid. Amyloidosis should be included in the list of non-primary hematologic conditions of the bone marrow in which the trephine biopsy may prove useful for diagnosis.     

Office task effects on comfort and body dynamics in five dynamic office chairs

In the present study, we investigated the effect of office tasks on posture and movements in field settings, and the comfort rating for chair characteristics and correlation with type of task. The tasks studied were: computer work, telephoning, desk work and conversation. Postures, movements, chair part inclinations and comfort rating data were collected from 12 subjects. Computer work showed the lowest physical activity, together with upright trunk and head position and low backrest inclination. Conversation shows the highest activity of head legs and low back together with the highest cervical spine extension. In contrast, desk work provoked the most cervical spine flexion and showed the second lowest activity. The telephoning tasks showed medium activity and the highest kyphosis. Conversation showed the highest backrest inclination. Positive comfort relations were found for computer work and a "swing system" chair, for telephoning and an active longitudinal seat rotation, and for desk work and a chair with a three-dimensionally moveable seat.