![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
245 Result(s)
-
Chapter and Conference Paper
Model Construction for Modal Clauses
We present deterministic model construction algorithms for sets of modal clauses saturated with respect to three refinements of the modal-layered resolution calculus implemented in the prover
-
Chapter and Conference Paper
Indigenous-Led Yarning Circles Using Live Miro Boards: Encouraging Critical and Inclusive Discourse on Cultural Heritage
This position paper describes and reflects on two years of an iterative process of introducing Indigenous ways of knowledge sharing known as yarning, combined with visual thinking, and design futuring methods [9]...
-
Chapter and Conference Paper
Determination of Crack Healing Efficiency of Concrete Containing Crystalline Admixture in Experimental Procedures Using Image Analysis
Crystalline admixtures are often used as waterproofing agents added in the concrete mixture and have the capability of promoting self-healing of concrete. Sika WT-200 P is one of the examples of crystalline ad...
-
Chapter and Conference Paper
To Bot or Not to Bot?: Analysing Mental Health Data Disclosures
Disclosure of personal information about wellbeing and mental health is a nuanced situation requiring trust between agents. Current methods for initial mental health assessments are time and resource intensive...
-
Chapter and Conference Paper
A Comparative Analysis of Evolutionary Adversarial One-Pixel Attacks
Adversarial attacks pose significant challenges to the robustness of machine learning models. This paper explores the one-pixel attacks in image classification, a black-box adversarial attack that introduces c...
-
Chapter and Conference Paper
Utilizing Natural Language Processing for Automated Assessment of Classroom Discussion
Rigorous and interactive class discussions that support students to engage in high-level thinking and reasoning are essential to learning and are a central component of most teaching interventions. However, fo...
-
Chapter and Conference Paper
Analyzing Angiotensin II Receptor Type 1 Clustering in PC12 Cells in Response to Hypoxia Using Direct Stochastic Optical Reconstruction Microscopy (dSTORM)
Angiotensin II (Ang II) is a hormone that plays a major role in maintaining homeostasis. The Ang II receptor type 1 (AT1R) is expressed in acute O2 sensitive cells, including carotid body (CB) type I cells and ph...
-
Chapter and Conference Paper
Belfast's Hidden Architectures of Division and Cohesion
This paper draws on two recent research projects to provide a perspective on the overlooked role played by ‘everyday’ architecture in post-conflict Belfast. It first reveals the capacity of architecture to lat...
-
Chapter and Conference Paper
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
We are interested in widening the reasoning support for propositional modal logics in the so-called modal cube. The modal cube consists of extensions of the basic modal logic
-
Chapter and Conference Paper
Dialogue Explanations for Rule-Based AI Systems
The need for AI systems to explain themselves is increasingly recognised as a priority, particularly in domains where incorrect decisions can result in harm and, in the worst cases, death. Explainable Artifici...
-
Chapter and Conference Paper
Adaptive Cognitive Agents: Updating Action Descriptions and Plans
In this paper we present an extension of Belief-Desire-Intention agents which can adapt their performance in response to changes in their environment. We consider situations in which the agent’s actions no lon...
-
Chapter and Conference Paper
Predicting Molecular Traits from Tissue Morphology Through Self-interactive Multi-instance Learning
Previous efforts to learn histology features that correlate with specific genetic/molecular traits resort to tile-level multi-instance learning (MIL) which relies on a fixed pretrained model for feature extrac...
-
Chapter and Conference Paper
Learning Interpretable Regularized Ordinal Models from 3D Mesh Data for Neurodegenerative Disease Staging
We extend the sparse, spatially piecewise-contiguous linear classification framework for mesh-based data to ordinal logistic regression. The algorithm is intended for use with subcortical shape and cortical th...
-
Chapter and Conference Paper
Demythologising Envy in Interdependent Culture: A Pseudo Luxury Consumption Perspective: An Abstract
Consumer desire for luxury is driving consumption of luxury branded products in developed and develo** markets. Chinese consumers’ spending patterns have resulted in China becoming the most significant growt...
-
Chapter and Conference Paper
Multimodal-GuideNet: Gaze-Probe Bidirectional Guidance in Obstetric Ultrasound Scanning
Eye trackers can provide visual guidance to sonographers during ultrasound (US) scanning. Such guidance is potentially valuable for less experienced operators to improve their scanning skills on how to manipu...
-
Chapter and Conference Paper
Evaluating the Efficiency of Constructability Review Meetings for Highway Department Projects
Constructability review (CR) meetings are held before the completion of the project design to define potential site conflicts; reduce design errors, delays, and cost overruns; and improve construction site saf...
-
Chapter and Conference Paper
Local Reductions for the Modal Cube
The modal logic \({\mathsf {K}}\) K is commonly used to rep...
-
Chapter and Conference Paper
Journal-First: Formal Modelling and Runtime Verification of Autonomous Gras** for Active Debris Removal
Verifying that autonomous space robotic software behaves correctly is crucial, particularly since such software is often mission-critical, that is, a software failure can lead to mission failure. In this paper...
-
Chapter and Conference Paper
Towards Unsupervised Ultrasound Video Clinical Quality Assessment with Multi-modality Data
Video quality assurance is an important topic in obstetric ultrasound imaging to ensure that captured videos are suitable for biometry and fetal health assessment. Previously, one successful objective approach...
-
Chapter and Conference Paper
Implementing Durative Actions with Failure Detection in Gwendolen
We present an extension of the semantics for action execution in the Gwendolen BDI programming language. This extension firstly explicitly assumes that actions have durations and, moreover, that the reasoning cyc...