Human Factors and Innovation with Mobile Devices

Advancements in technology are a significant driving force in educational innovation, but a strong focus on technology means that human aspects and implications may not be given the attention they deserve. This chapter examines usability issues surrounding the use of mobile devices in learning. A key aim is to empower educators and learners to take control of personal devices and realise their potential in relation to teaching and learning. The background section reviews the development of usability studies and explores why mobile device usability presents specific new challenges. The impact of changing requirements in education, and new visions for ways of thinking and competences that learners should be acquiring, are also examined. Finally, the chapter provides a set of concepts that can inform conversations between educators and learners, mobile system engineers, developers, support staff, and others

Between Sense and Sensibility: Declarative narrativisation of mental models as a basis and benchmark for visuo-spatial cognition and computation focussed collaborative cognitive systems

What lies between `\emph{sensing}' and `\emph{sensibility}'? In other words, what kind of cognitive processes mediate sensing capability, and the formation of sensible impressions ---e.g., abstractions, analogies, hypotheses and theory formation, beliefs and their revision, argument formation--- in domain-specific problem solving, or in regular activities of everyday living, working and simply going around in the environment? How can knowledge and reasoning about such capabilities, as exhibited by humans in particular problem contexts, be used as a model and benchmark for the development of collaborative cognitive (interaction) systems concerned with human assistance, assurance, and empowerment? We pose these questions in the context of a range of assistive technologies concerned with \emph{visuo-spatial perception and cognition} tasks encompassing aspects such as commonsense, creativity, and the application of specialist domain knowledge and problem-solving thought processes. Assistive technologies being considered include: (a) human activity interpretation; (b) high-level cognitive rovotics; (c) people-centred creative design in domains such as architecture & digital media creation, and (d) qualitative analyses geographic information systems. Computational narratives not only provide a rich cognitive basis, but they also serve as a benchmark of functional performance in our development of computational cognitive assistance systems. We posit that computational narrativisation pertaining to space, actions, and change provides a useful model of \emph{visual} and \emph{spatio-temporal thinking} within a wide-range of problem-solving tasks and application areas where collaborative cognitive systems could serve an assistive and empowering function.Comment: 5 pages, research statement summarising recent publication

Information Flow to Front-line Employees

This research is a case study within a large bureaucracy; the physical plant operations of a Tier-one university in the United States. The organization of study received low scores for internal communication in their all-employee surveys in 2012 and 2014 and was cited for “lack of information flow to front-line employees” in a peer audit conducted in 2011. Root causes for these deficiencies are investigated through (1) Activity Theory analysis, (2) Leader-Member Exchange Theory and (3) linear regression analysis of all-employee survey data. No formal initiatives addressing internal communications had been initiated when this study was launched so the research was used to identify areas for improvement within the organization.Human Dimensions of Organization

A formal verification framework and associated tools for enterprise modeling : application to UEML

The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties

Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support

A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable means for the control and governance of intelligent autonomous systems. LogiKEy's unifying formal framework is based on semantical embeddings of deontic logics, logic combinations and ethico-legal domain theories in expressive classic higher-order logic (HOL). This meta-logical approach enables the provision of powerful tool support in LogiKEy: off-the-shelf theorem provers and model finders for HOL are assisting the LogiKEy designer of ethical intelligent agents to flexibly experiment with underlying logics and their combinations, with ethico-legal domain theories, and with concrete examples---all at the same time. Continuous improvements of these off-the-shelf provers, without further ado, leverage the reasoning performance in LogiKEy. Case studies, in which the LogiKEy framework and methodology has been applied and tested, give evidence that HOL's undecidability often does not hinder efficient experimentation.Comment: 50 pages; 10 figure