Applications

Volume 3 describes how resource-aware machine learning methods and techniques are used to successfully solve real-world problems. The book provides numerous specific application examples: in health and medicine for risk modelling, diagnosis, and treatment selection for diseases in electronics, steel production and milling for quality control during manufacturing processes in traffic, logistics for smart cities and for mobile communications

Applications

Volume 3 describes how resource-aware machine learning methods and techniques are used to successfully solve real-world problems. The book provides numerous specific application examples: in health and medicine for risk modelling, diagnosis, and treatment selection for diseases in electronics, steel production and milling for quality control during manufacturing processes in traffic, logistics for smart cities and for mobile communications

THE CONSTRUCTION OF LOCAL ROAD SAFETY ISSUES: WHEN LAY AND PROFESSIONAL DISCOURSES COLLIDE

Highway Authorities in the United Kingdom have jurisdiction to control, maintain and improve the local highway network, and the Road Traffic Act 1988 places a duty on such authorities to take preventative measures to reduce road casualties. As such, engineers working for the Highway Authority are on the ‘front-line,’ and are required to deal directly with lay concerns relating to road safety. This study investigates the nature and characteristics of how local road safety issues are raised and how engineers respond to such issues in a local authority setting. A grounded theory methodology was applied in the collection and analysis of this data, and in the generation of subsequent emergent themes. Datasets were established containing textual data from correspondence between the lay public and the authority, and from local press reporting. This was augmented by 47 semi-structured interviews with engineers. The analysis demonstrates that road safety issues and their construction, form a distinct genre. There are certain characteristic structural elements and argumentative approaches, which are oft repeated, in lay formulations of road safety. Road safety issues are played out in a contested field, although engineers may have, in theory, the ‘expertise’ that grants them authority to assess, diagnose and implement mitigation measures; in practice they have little autonomy or control. Regulatory restrictions, political interference, resource impoverishment and a volatile public, severely limit engineers’ independence and discretion. In dealing with the exigencies and pressures of day-to-day front-line public service, engineers deploy certain strategies for ‘managing’ the public. These pragmatic strategies are examined in order to establish how engineers can best effect practical action, in the face of competing and often conflicting demands. In examining the rhetorical organisation of lay argumentative strategies, a ‘popular epidemiology’ of road safety is recreated. This term, borrowed from Brown (1992), encapsulates a folk philosophy with respect to accident causation and the measures that are considered necessary or appropriate to ameliorate/eliminate identified issues. It is suggested that in vivo formulations of road safety issues, such as the ‘accident waiting to happen’ are founded on vague premises, and constitute a category mistake. Projections from phenomenally troubling, yet largely unsubstantiable events, to those with profound material consequences, are neither necessary nor certain. In making decisions on substantial capital investments, engineers, by necessity, are required to assess competing sites on a more epistemically secure metric, namely the police road casualty record

Semantic discovery and reuse of business process patterns

Patterns currently play an important role in modern information systems (IS) development and their use has mainly been restricted to the design and implementation phases of the development lifecycle. Given the increasing significance of business modelling in IS development, patterns have the potential of providing a viable solution for promoting reusability of recurrent generalized models in the very early stages of development. As a statement of research-in-progress this paper focuses on business process patterns and proposes an initial methodological framework for the discovery and reuse of business process patterns within the IS development lifecycle. The framework borrows ideas from the domain engineering literature and proposes the use of semantics to drive both the discovery of patterns as well as their reuse

If it ain’t broke, don’t fix it : An Abductive and Contextual Exploration of Maintenance Deferral

Objective: To create academic insights into how organisations approach and manage the maintenance of vendor-supplied information systems software. Approach: Three iterations of the Peircean Abduction methodology lead to the identification, conceptualisation, and application of new knowledge in vendor-supplied Information Systems (IS) maintenance deferral by means of undertaking a qualitative multiple-case study. The research goals are achieved through the appropriation and application of theories from Peircean Abduction and Systemic Functional Linguistics. Research questions: The following abductive statement is created through the application of the Peircean Abduction methodology: The surprising observation, “some organisations, having invested in a vendor-supplied IS software solution, defer the implementation of vendor-supplied maintenance”, is made; However, if “the existence of deterrents to maintenance, requiring a trigger event before the implementation of maintenance” were true, then “maintenance deferral” would be a matter of course. Hence there is a reason to suspect that “the existence of both deterrents, and of triggers” is true. From this abductive statement, three research questions are deduced. The first research question investigates the existence, characteristics and influence of deterrents; the second question investigates the existence, characteristics and influence of triggers. As a consequence of this approach, the final question provides a general understanding of IS maintenance deferral. Methodology: Following the implementation of a systematic literature review methodology, six themes are identified: 1. an acknowledgement that problems exist when considering vendor-supplied software maintenance; 2. deterrents as a driver in behaviour; 3. the occurrence of tipping-points which require vendor-supplied maintenance to be undertaken; 4. the consequences of deferral; 5. the value of maintenance; and 6. the formalisation of a maintenance lifecycle. Taking the insights arising from the systematic literature review, a multiple-case study following the pragmatic framework is constructed from data collected interviewing twelve participants across a diverse set of ten organisations. An abductive approach to this research topic creates opportunities for a comprehensive, well-grounded exploratory contribution to a scarcely investigated research domain. Major findings: The translation of Peircean abduction to an interpretative context generates a rich and substantive contribution to theory and practice. The existence of both deterrents and triggers are strongly supported, leading to the conclusion that maintenance deferral is a matter of course. The development of a new abductive and Systemic Functional Linguistic model enhances the knowledge of maintenance deferral and allows refinement of historical IS maintenance models. Finally, the application of Systems Thinking situates insights from the application of their mode within their respective organisational environments

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000

Bowel symptom management following sphincter-sparing surgery for rectal cancer

Aims: The aim of this study is to determine the content, format and mode of delivery of an intervention for patients following sphincter-sparing surgery who have experienced altered bowel function. Background: The treatment of rectal cancer often causes the development of life-altering bowel symptoms. Healthcare professionals play a pivotal role in supporting patients in their management of symptoms but increasingly it is recognised that care often becomes the patients’ sole responsibility. Numerous studies have identified the need to support patients in the self-care of their bowel symptoms and to develop interventions to facilitate same. Yet there is a dearth of literature around interventions to support patients with the symptoms specific to rectal cancer treatment, to self-care for their bowel symptoms, which do not involve the use of invasive techniques or continuous health-care professional input. Design: A qualitative descriptive design. Methods: To determine the content, format and mode of delivery of an intervention a purposeful sample of five patients and ten healthcare professionals were interviewed through individual semi-structured, audio-recorded interviews. Participants included those who had undergone sphincter-sparing surgery for rectal cancer and those involved in their care. An initial pilot study was carried out prior to conducting the main study. Data were analysed utilising deductive content analysis and data coded according to pre-determined categories. The research was underpinned by the Symptom Management Theory and also utilised the Medical Research Council Framework Guidance for the Development of Complex Interventions. Findings: Participants acknowledged the existence and impact of bowel dysfunction following surgery for rectal cancer, often continuing for a number of years post-treatment and varying from frequency, urgency and tenesmus to skin irritation and pain, in addition data analysis revealed multiple symptoms which occurred and in addition the variability of these symptoms in relation to severity, duration and associated degree of bother. The psychological and social impact of symptoms was also evident. All participants (n=15) acknowledged issues within the current practice around educating patients about the incidence, treatment and self-care of bowel symptoms, often resulting in prolonged periods of symptom experience or use of unhelpful or unsafe self-care strategies. Additionally, participants identified the need for the development of an intervention to support patients. Patients and healthcare professionals identified a phone application as a convenient and accessible method but also acknowledged the need for a booklet/written mode to cater for those less able to utilise technological formats. Of interest some healthcare professionals felt that a leaflet format would be preferable as a means of intervention delivery, this contrasted with the views of patients who felt an online or phone application format would allow greater accessibility and convenience. The intervention proposed is a multi-modal format which provided patients with information around medication, diet, skin care, resources, alternative therapies and pelvic floor exercises. Finally, throughout all interviews the need for a human contact, i.e. ability to access a healthcare professional, was highlighted as a pivotal and important feature of any intervention. Conclusion: This research has provided insights into the bowel symptoms experienced by patients following sphincter-sparing surgery for rectal cancer, the impact of these symptoms, the strategies utilised to manage these symptoms. Importantly, this study identified the need to create an intervention to allow patients to manage their symptoms in a safe and evidence-based manner and determined the appropriate content, format and mode of delivery using the findings of interviews with both affected patients and those involved in their care

Excavating Feminist Phenomenology: Lived-Experiences and Wellbeing of Indigenous Students at Western University

The Truth and Reconciliation Commission underscores the need to incorporate narrative accounts of Indigenous students’ experiences as part of wide-scale de-colonizing efforts. This dissertation asks; how do Indigenous students experience their identities at Western University? What is at stake for phenomenology, feminist methods, and Indigenous theory, in the post Truth and Reconciliation era? There is a gap between theories centering on reflective cognition in philosophy and the embodiment of land, prevalent across Indigenous cultures. However, phenomenology can provide a method to facilitate dialogues with discourses outside Eurocentric domains that empathize with marginalized communities’ struggles, through an understanding of location-based knowledge. I will explore how Indigenous learners’ experiences inform concepts in phenomenology, Haudenosaunee, Cree, and Anishinaabe thinking, before they become marked literary categories. I undertake a ‘two-eyed seeing’ approach, from Eurocentric and Indigenous perspectives, to connect non-hierarchal epistemologies across nation-specific expressions. In chapter two, I discuss relational, land-based methods, through Dolleen Manning’s Anishinaabe ‘mnidoo’ concept, Merleau-Pontian phenomenology, and feminist epistemologies, in terms of dialogues with Indigenous students and Elders. In our discussions, I explore concepts about community, home, health, and belonging, in relation to lived theories of embodiment, places, and beings, within an interpretive circle. Chapter three discusses the impacts of language, reflexivity, emotion, oppression, environmental repossession, and experience, within feminist research methods and Indigenous paradigms, through anthropology’s ontological turn. Chapter four discusses how experiences influence Indigenous artists, in their efforts to create work that is emergent from, and reflexive of culture and identity. Chapter five surveys concepts that include, citizenship, human rights, and freedom, through Indigenous scholars’ episodes of wellbeing and theories about emergent governance. I conclude, by offering Indigenous students’ reflections about education, ally-ship, and reconciliation. Indigenous subjectivities are unique, not homogenously categorized. This project’s interviews bring forth information missing from research involving community-based wellness services, without statistical representation in government and university strategic plan reports. Hearing individuals articulate desires to instigate healing in their communities is a powerful gesture and offers teachable moments, for the listener. I hope that when interviewees speak their gifts and insights, in our interactions, it inspires continued activist incentives that foster community-wide changes