Cognitively Sensitive User Interface for Command and Control Applications

While there are broad guidelines for display or user interface design, creating effective human-computer interfaces for complex, dynamic systems control is challenging. Ad hoc approaches which consider the human as an afterthought are limiting. This research proposed a systematic approach to human / computer interface design that focuses on both the semantic and syntactic aspects of display design in the context of human-in-the-loop supervisory control of intelligent, autonomous multi-agent simulated unmanned aerial vehicles (UAVs). A systematic way to understand what needs to be displayed, how it should be displayed, and how the integrated system needs to be assessed is outlined through a combination of concepts from naturalistic decision making, semiotic analysis, and situational awareness literature. A new sprocket-based design was designed and evaluated in this research. For the practical designer, this research developed a systematic, iterative design process: design using cognitive sensitive principles, test the new interface in a laboratory situation; bring in subject matter experts to examine the interface in isolation; and finally, incorporate the resulting feedback into a full-size simulation. At each one of these steps, the operator, the engineer and the designer reexamined the results

Bowel cancer screening and people with intellectual disabilities: working in co-production and establishing principles for good practice initiatives

Bowel cancer is the fourth most common cancer in England, and with one in 20 people developing the condition, it is the second highest cause of cancer deaths. If diagnosed early, treatment can be more effective and bowel cancer screening programmes can reduce these mortality figures, yet for people with learning disabilities, the uptake of screening is significantly lower than the rest of the population. Aims To describe the process of co-production when working with a group of people with learning disabilities to explore why they may be reluctant to access bowel cancer screening. Methods A consultation meeting was held with one of the authors, six people with learning disabilities, an advocate and two specialist nurses. A feedback session was organised and a report using clear information was written in conjunction with the participants. Findings Participants discussed what gets in the way of attending for bowel screening and what might help to increase uptake, including awareness, support and clear information. Conclusion Working in co-production proved mutually beneficial as local clinicians also learned how to communicate more effectively with people who have learning disabilities

The impacts of higher education institutions on sustainable development: A review and conceptualization

Purpose: This paper aims to conceptualize impacts of higher education institutions (HEIs) on sustainable development (SD), complementing previous literature reviews by broadening the perspective from what HEIs do in pursuit of SD to how these activities impact society, the environment and the economy. Design/methodology/Approach: The paper provides a systematic literature review of peer-reviewed journal articles published between 2005 and 2017. Inductive content analysis was applied to identify major themes and impact areas addressed in the literature to develop a conceptual framework detailing the relationship between HEIs- activities and their impacts on SD. Findings: The paper identi fi es six impact areas where direct and indirect impacts of HEIs on SD may occur. The fi ndings indicate a strong focus on case studies dealing with speci fi c projects and a lack of studies analyzing impacts from a more holistic perspective. Practical implications: This systematic literature review enables decision-makers in HEIs, researchers and educators to better understand how their activities may affect society, the environment and the economy, and it provides a solid foundation to tackle these impacts. Social implications: The review highlights that HEIs have an inherent responsibility to make societies more sustainable. HEIs must embed SD into their systems while considering their impacts on society. Originality/value: This paper provides a holistic conceptualization of HEIs- impacts on SD. The conceptual framework can be useful for future research that attempts to analyze HEIs- impacts on SD from a holistic perspective

Detecting nitrogen-vacancy-hydrogen centers on the nanoscale using nitrogen-vacancy centers in diamond

In diamond, nitrogen defects like the substitutional nitrogen defect (Ns) or the nitrogen-vacancy-hydrogen complex (NVH) outnumber the nitrogen vacancy (NV) defect by at least one order of magnitude creating a dense spin bath. While neutral Ns has an impact on the coherence of the NV spin state, the atomic structure of NVH reminds of a NV center decorated with a hydrogen atom. As a consequence, the formation of NVH centers could compete with that of NV centers possibly lowering the N-to-NV conversion efficiency in diamond grown with hydrogen-plasma-assisted chemical vapor deposition (CVD). Therefore, monitoring and controlling the spin bath is essential to produce and understand engineered diamond material with high NV concentrations for quantum applications. While the incorporation of Ns in diamond has been investigated on the nano- and mesoscale for years, studies concerning the influence of CVD parameters and the crystal orientation on the NVH formation have been restricted to bulk N-doped diamond providing high-enough spin numbers for electron paramagnetic resonance and optical absorption spectroscopy techniques. Here, we investigate sub-micron-thick (100)-diamond layers with nitrogen contents of (13.8 +- 1.6) ppm and (16.7 +- 3.6) ppm, and exploiting the NV centers in the layers as local nano-sensors, we demonstrate the detection of NVH- centers using double-electron-electron-resonance (DEER). To determine the NVH- densities, we quantitatively fit the hyperfine structure of NVH- and confirm the results with the DEER method usually used for determining Ns0 densities. With our experiments, we access the spin bath composition on the nanoscale and enable a fast feedback-loop in CVD recipe optimization with thin diamond layers instead of resource- and time-intensive bulk crystals.Comment: 7 pages, 3 figure

Motivation for military service: A terror management perspective

This study examined the effects of mortality salience on the motivation for military service in Israel using the terror management theory framework. Shortly before conscription into the army, 156 young men completed a self-esteem scale and were then randomly assigned to either a mortality salience condition or a control condition. The dependent variables were self-reported motivation to serve in the army and anticipation of physical and mental hardships. Mortality salience was found to be associated with a higher level of motivation for military service and a higher anticipation of physical hardships in the army than the control condition, but only for high-self-esteem respondents. The results are discussed in view of the self-esteem and worldview defense mechanisms proposed by the terror management theory

The Racket Manifesto

The creation of a programming language calls for guiding principles that point the developers to goals. This article spells out the three basic principles behind the 20-year development of Racket. First, programming is about stating and solving problems, and this activity normally takes place in a context with its own language of discourse; good programmers ought to formulate this language as a programming language. Hence, Racket is a programming language for creating new programming languages. Second, by following this language-oriented approach to programming, systems become multi-lingual collections of interconnected components. Each language and component must be able to protect its specific invariants. In support, Racket offers protection mechanisms to implement a full language spectrum, from C-level bit manipulation to soundly typed extensions. Third, because Racket considers programming as problem solving in the correct language, Racket also turns extra-linguistic mechanisms into linguistic constructs, especially mechanisms for managing resources and projects. The paper explains these principles and how Racket lives up to them, presents the evaluation framework behind the design process, and concludes with a sketch of Racket\u27s imperfections and opportunities for future improvements

Towards Practical Gradual Typing

Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addresses this problem; it empowers programmers to annotate an existing system with sound type information on a piecemeal basis. This paper presents an implementation of a gradual type system for a full-featured class-based language as well as a novel performance evaluation framework for gradual typing

Blame for all

Conference paper presented at the Workshop on Script to Program Evolution (STOP)We present a language that integrates statically and dynamically typed components, similar to the gradual types of Siek and Taha (2006), and extend it to incorporate parametric polymorphism. Our system permits a dynamically typed value to be cast to a polymorphic type, with the type enforced by dynamic sealing along the lines proposed by Pierce and Sumii (2000), Matthews and Ahmed (2008), and Neis, Dreyer, and Rossberg (2009), in a way that ensures all terms satisfy relational parametricity. Our system includes a notion of blame, which allows us to show that when more-typed and less-typed portions of a program interact, that any type failures are due to the less-typed portion