SOLAR: a consequence finding system for advanced reasoning

H Nabeshima, K Iwanuma, K Inoue - International Conference on …, 2003 - Springer
SOLAR is an efficient first-order consequence finding system based on a connection tableau
format with Skip operation. Consequence finding 1, 2, 3, 4 is a generalization of refutation …

[HTML][HTML] Accessibility and applicability of currently available e-mental health programs for depression for people with poststroke aphasia: Scoping review

SJ Clunne, BJ Ryan, AJ Hill, C Brandenburg… - Journal of medical …, 2018 - jmir.org
Background Depression affects approximately 60% of people with aphasia 1 year post
stroke and is associated with disability, lower quality of life, and mortality. Web-delivered …

Using a logical model to predict the growth of yeast

KE Whelan, RD King - BMC bioinformatics, 2008 - Springer
Background A logical model of the known metabolic processes in S. cerevisiae was
constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented …

StammerApp: Designing a Mobile Application to Support Self-Reflection and Goal Setting for People Who Stammer

R McNaney, C Bull, L Mackie, F Dahman… - Proceedings of the …, 2018 - dl.acm.org
Stammering is a speech disorder affecting approximately 1% of the worldwide population. It
can have associated impacts on daily life, such as loss of confidence in social situations and …

Reading comprehension and processing time when people with aphasia use text-to-speech technology with personalized supports and features

K Knollman-Porter, JA Brown, K Hux, SE Wallace… - American Journal of …, 2022 - ASHA
Background: Person-centered approaches promote consistent use of supportive technology
and feelings of empowerment for people with disabilities. Feature personalization is an …

Assessing technology use in aphasia

A Roper, J Marshall, SM Wilson - Proceedings of the 16th international …, 2014 - dl.acm.org
We report a novel and accessible questionnaire designed to examine levels of technology
use in adults with severe aphasia and to assess the impact of a co-designed computer …

Discovering rules by meta-level abduction

K Inoue, K Furukawa, I Kobayashi… - … Logic Programming: 19th …, 2010 - Springer
This paper addresses discovery of unknown relations from incomplete network data by
abduction. Given a network information such as causal relations and metabolic pathways …

Motivation of persons with cerebral palsy through participatory design: where there is a will, there is a way

LCL de Faria Borges, APO Bertholdo… - Universal Access in the …, 2024 - Springer
Researchers and practitioners have been seeking the active participation of persons with
disabilities (PwD) in participatory design (PD) to assign a “sensitive value” to their assistive …

Nonverbal Communication through Expressive Objects

S Valencia, M Steidl, ML Rivera, CL Bennett… - Communications of the …, 2023 - dl.acm.org
Augmentative and alternative communication (AAC) devices enable speech-based
communication, but generating speech is not the only resource needed to have a successful …

Machine learning for systems biology

SH Muggleton - International Conference on Inductive Logic …, 2005 - Springer
In this paper we survey work being conducted at Imperial College on the use of machine
learning to build Systems Biology models of the effects of toxins on biochemical pathways …