bluuebunny/crossref_metadata_2025 huggingface dataset:
How Standards will Degrade the Concepts of the Art of Medicine
Authors: Botin Lars
Published: February 2025

The paper is dealing with the problematic positioning of the whole health care system towards the concept of standard. There is a constant quest for standards, and a prediction of how everyday language gradually will disappear. It is the assumption and conjecture of this paper that as we outdo everyday language from our communication in the system we lose major part of meaning-construction concerning health and life of the patient/citizen. It is the normative and ethical aim of the discussion to frame how human factors are terminated as standards and bodies as machines replaces everyday language and bodies as carrier of health. Hans Georg Gadamer has led me on the way through inspiring essays on the Enigma of Health.
The Usability-Error Ontology
Authors: Elkin Peter L.  , Beuscart-Zephir Marie-Catherine  , Pelayo Sylvia  , Patel Vimla  , Nøhr Christian
Published: February 2025

Clinical Systems have become standard partners with clinicians in the care of patients. As these systems become integral parts of the clinical workflow, they have the potential to help improve patient outcomes, however they have also in some cases have led to adverse events and has resulted in patients coming to harm. Often the root cause analysis of these adverse events can be traced back to Usability Errors in the Health Information Technology (HIT) or its interaction with users. Interoperability of the documentation of HIT related Usability Errors in a consistent fashion can improve our ability to do systematic reviews and meta-analyses. In an effort to support improved and more interoperable data capture regarding Usability Errors, we have created the Usability Error Ontology (UEO) as a classification method for representing knowledge regarding Usability Errors. We expect the UEO will grow over time to support an increasing number of HIT system types. In this manuscript, we present this Ontology of Usability Error Types and specifically address Computerized Physician Order Entry (CPOE), Electronic Health Records (EHR) and Revenue Cycle HIT systems.
Die Aufklärung in the Age of Philosophical Engineering
Authors: Stiegler Bernard
Published: February 2025

Has today's digital society succeeded in becoming mature? If not, how might a new Enlightenment philosophy and practice for the digital age be constructed that could hope to address this situation? Such a philosophy must take into account the irreducibly ambivalent, ‘pharmacological’ character of all technics and therefore all grammatisation and tertiary retention, and would thus be a philosophy not only of lights but of shadows. Grammatisation is the process whereby fluxes or flows are made discrete; tertiary retention is the result of the spatialisation in which grammatisation consists, a process that began thirty thousand years ago. The relation between minds is co-ordinated via transindividuation, and transindividuation occurs according to conditions that are overdetermined by the characteristics of grammatisation. Whereas for several thousand years this resulted in the constitution of ‘reading brains’, today the conditions of knowledge and transindividuation result in a passage to the ‘digital brain’. For this reason, the attempt to understand the material or hyper-material condition of knowledge must be placed at the heart of a new discipline of ‘digital studies’. The pharmacological question raised by the passage from the reading to the digital brain is that of knowing what of the former must be preserved in the latter, and how this could be achieved. This means developing a ‘general organology’ through which the social, neurological and technical organs, and the way these condition the materialisation of thought, can be understood. Integral to such an organology must be consideration of the way in which neurological automatisms are exploited by technological automatisms, an exploitation that is destructive of what Plato called thinking for oneself. The task of philosophical engineering today should be to prevent this short-circuit of the psychosomatic and social organological layers, a task that implies the need for a thoroughgoing reinvention of social and educational organisations.
Development of Three Dimensional Measured Data Management System in Shipbuilding Manufacturing Process
Authors: Hiekata Kazuo  , Yamato Hiroyuki  , Kimura Shogo
Published: February 2025

In this paper, a data management system for measurement data and accuracy evaluation results of shipbuilding assemblies in shipbuilding manufacturing process is proposed. In the accuracy evaluation system, the accuracy of assemblies is calculated by comparing measurement data obtained by laser scanner to design data. The analysis process for the accuracy can be defined for each structural member. The system is evaluated in the empirical case study and some assumptions for improvement of the manufacturing process are found.
Finding Patterns in Cognitive Rehabilitation
Authors: García-Rudolph Alejandro  , Gibert Karina
Published: February 2025

Traumatic brain injury (TBI) is the leading cause of death and disability in children and young adults around the world. There is not enough on-field experience yet regarding which specific intervention (tasks or exercises assignation) is more appropriated to help therapists to design their cognitive rehabilitation (CR) plans. Our proposal is to consider the CR treatment as a sequence of tasks and to determine the associations between a CR treatment (or relevant subsequences of it) and the degree of response of the patient to it. In the proposed methodology, a clustering process is performed in such a way that treatment profiles (classes) are identified. Afterwards, responses to CR (improvements) of the patients placed in the different classes have been studied by means of conditional distributions of variables versus the classes. Analyzing CR tasks as treatment patterns offers a different perspective from the traditional single task focus, and may provide a comprehensive approach to therapists to design CR programs.
Anchor-Profiles for Ontology Mapping with Partial Alignments
Authors: Schadd Frederik C.  , Roos Nico
Published: February 2025

Ontology mapping is a crucial step for the facilitation of information exchange between knowledge sources. In the industry this process is often performed semi-automatically, with a domain expert supervising the process. Such an expert can supply a partial alignment, known as anchors, which can be exploited with more elaborate mapping techniques in order to identify the remaining correspondences. To do this we propose a novel approach, referred to as anchor-profiles. For each concept its degree of similarity to each anchor is gathered into a profile for comparison. We evaluated our approach on the Ontology Alignment Evaluation Initiative (OAEI) benchmark dataset using partial alignments that are randomly generated from the reference alignments. The evaluation reveals an overall high performance when compared with mapping systems that participated in the OAEI2012 campaign, where larger partial alignments lead to a higher f-measure.
Knowledge-Based Industrial Robotics
Authors: Stenmark Maj  , Malec Jacek
Published: February 2025

When robots are working in dynamic environments, close to humans lacking extensive knowledge of robotics, there is a strong need to simplify the user interaction and make the system execute as autonomously as possible. For industrial robots working side-by-side with humans in manufacturing industry, AI systems are necessary to lower the demand on programming time and expertise. We are convinced that only by building a system with appropriate knowledge and reasoning services, we can simplify the robot programming sufficiently to meet those demands and still get a robust and efficient task execution.
Incorporating Prior Knowledge when Learning Mixtures of Truncated Basis Functions from Data
Authors: Fernández Antonio  , Pérez-Bernabé Inmaculada  , Rumí Rafael  , Salmerón Antonio
Published: February 2025

Mixtures of truncated basis functions (MoTBFs) have been recently proposed as a generalisation of mixtures of truncated exponentials and mixtures of polynomials for modelling univariate and conditional distributions in hybrid Bayesian networks. In this paper we analyse the problem of incorporating prior knowledge when learning univariate MoTBFs. We consider scenarios where the prior knowledge is expressed as an MoTBF that is combined with another MoTBF density estimated from the available data. An important property, from the point of view of inference in hybrid Bayesian networks, is that the density yielded after the combination is again an MoTBF. We show the performance of the proposed method in a series of experiments with simulated data. The experiments suggest that the incorporation of prior knowledge improves the estimations, especially with scarce data.
One Step further towards Stochastic Semantic Sentence Generation
Authors: Bohnet Bernd  , Mille Simon  , Wanner Leo
Published: February 2025

Semantic stochastic sentence realization is still in its fledgling stage. Most of the available stochastic realizers start from syntactic structures or shallow semantic structures, which still contain numerous syntactic features. This is unsatisfactory since sentence generation traditionally starts from abstract semantic or conceptual structures. However, a change of this state of affairs requires first a change of the annotation of available corpora: even multilevel annotated corpora of the CoNLL competitions contain syntax-influenced semantic structures. We address both tasks – the amendment of an existing annotation with the purpose to make it more adequate for generation and the development of a semantic stochastic realizer. We work with the English CoNLL 2009 corpus, which we map onto an abstract semantic (predicate-argument) annotation and into which we introduce a novel “deep-syntactic” annotation, which serves as intermediate structure between semantics and (surface-)syntax. Our realizer consists of a chain of decoders for mappings between adjacent levels of annotation: semantic → deep-syntactic → syntactic → linearized → morphological.
Application of Generic Workflows for Disaster Management
Authors: Thalheim Bernhard  , Tropmann-Frick Marina  , Ziebermayr Thomas
Published: February 2025

Workflow management systems provide support for structured processes and help to follow the defined business process. Although their importance has been proved by various applications over the last decades they are not appropriate for all use cases. Such workflow management systems are only applicable for domains where the process is well structured and static. In various domains it is essential that the workflow is adapted to the current situation. In this case the traditional workflow systems are not applicable. A flexible approach is required.
Raven Surgical Robot Training in Preparation for da Vinci
Authors: Glassman Deanna  , White Lee  , Lewis Andrew  , King Hawkeye  , Clarke Alicia  , Glassman Thomas  , Comstock Bryan  , Hannaford Blake  , Lendvay Thomas S.
Published: February 2025

The rapid adoption of robotic assisted surgery challenges the pace at which adequate robotic training can occur due to access limitations to the da Vinci robot. Thirty medical students completed a randomized controlled trial evaluating whether the Raven robot could be used as an alternative training tool for the Fundamentals of Laparoscopic Surgery (FLS) block transfer task on the da Vinci robot. Two groups, one trained on the da Vinci and one trained on the Raven, were tested on a criterion FLS block transfer task on the da Vinci. After robotic FLS block transfer proficiency training there was no statistically significant difference between path length (p=0.39) and economy of motion scores (p=0.06) between the two groups, but those trained on the da Vinci did have faster task times (p=0.01). These results provide evidence for the value of using the Raven robot for training prior to using the da Vinci surgical system for similar tasks.
Real-Time Passive Tracking for Multi-Touch Medical Modeling and Simulation
Authors: Guerra Christopher J.  , Hackett Matthew  , Carrola Jr. John T.  , Couvillion Jr. Warren C.  , Chambers David R.  , Desai Sapna A.
Published: February 2025

The military medical community expects to minimize use of live tissue and cadavers for training purposes. This research demonstrates an innovative use of synthetic tissue and passive tracking computer vision to create a real-time, interactive environment for training medical staff.
Modular Simulator Building Blocks: Physiologic Signaling Requirements
Authors: Bergeron Bryan
Published: February 2025

Embedded microcontroller hardware has matured to the point that organ- and system-specific modules that can be assembled in various configurations are practical. Our work developing and interconnecting organ and system modules in the cardiovascular and pulmonary systems illustrates the signaling requirements necessary to fully leverage the technology. It also highlights the need for standard signaling protocols that parallel those under development for software-centric physiology simulation systems.
Modification of the Pelvic Examination Simulator for the Developing World
Authors: Kwan Calvin  , Cohen Elaine  , Salud Lawrence  , Pugh Carla
Published: February 2025

The clinical pelvic exam is a critical examination for external and internal inspection of female reproductive organs. A sensor enabled pelvic examination simulator was developed to provide immediate visual performance feedback. The simulator was modified for rural area usage, where electricity supply and PC display may not be available. We succeeded at replacing key components while maintaining functionality.
Initial Biomechanical Evaluation of Wearable Tactile Feedback System for Gait Rehabilitation in Peripheral Neuropathy
Authors: McKinney Zach  , Heberer Kent  , Fowler Eileen  , Greenberg Marcia  , Nowroozi Bryan  , Grundfest Warren
Published: February 2025

Peripheral neuropathy (PN) is a significant public health concern, resulting in abnormal gait biomechanics, diminished postural stability, and increased risk of falls. A wearable tactile feedback system previously developed for sensory augmentation of prosthetic limbs has been adapted for individuals with PN and evaluated in a pilot group of 4 participants with idiopathic bilateral PN, as well as one with Charcot-Marie-Tooth Disease. Participants were assessed both for their abilities to perceive tactile stimuli, and for the effect of tactile biofeedback on their gait. Preliminary data indicate that most participants could localize tactile stimuli and make meaningful modifications to their gait in real time, but that the effect of feedback on gait was highly variable from subject to subject, demanding further investigation.
Varying the Speed of Perceived Self-Motion Affects Postural Control during Locomotion
Authors: Pickhinke Josh  , Chien Jung Hung  , Mukherjee Mukul
Published: February 2025

Virtual reality environments have been used to show the importance of perception of self-motion in controlling posture and gait. In this study, the authors used a virtual reality environment to investigate whether varying optical flow speed had any effect on postural control during locomotion. Healthy young adult participants walked under two conditions, with optical flow matching their preferred walking speed, and with a randomly varying optic flow speed compared to their preferred walking speed. Exposure to the varying optic flow increased the variability in their postural control as measured by area of COP when compared with the matched speed condition. If perception of self-motion becomes less predictable, postural control during locomotion becomes more variable and possibly riskier.
A Framework for Modeling and Visualizing Cardiovascular Deformation Under Normal and Altered Circulatory Conditions
Authors: Santhanam Anand  , Benharash Peyman  , Frank Paul  , White Benjamin  , Min Yugang  , Ennis Daniel  , Kupelian Patrick  , Dutson Erik
Published: February 2025

The aim of this paper is to model and visualize cardiovascular deformations in order to better understand vascular movements inside the lung and heart caused by abnormal cardiac conditions. The modeling was performed in two steps: first step involved modeling the cardiac output taking into account of the heart rate and preload blood volume, contractility and systematic vascular resistance. The second step involved deforming a 3D cine cardiac gated Magnetic Resonance Volume to the corresponding cardiac output. Cardiac-gated MR imaging of 4 healthy volunteers were acquired. For each volunteer, a total of 24 short-axis and 18 radial planar views were acquired on a 1.5 T MR scanner during a series of 12–15 second breath-hold maneuvers. A 3D multi-resolution optical flow deformable image registration algorithm was used to quantify the volumetric cardiovascular displacements for known cardiac outputs. Results show that a real-time visualization of the vascular deformations inside both the lung as well as the heart can be seen for different cardiac outputs representing normal and abnormal cardiac conditions.
Real-Time Simulation of Transesophageal Echocardiography
Authors: Ullrich Sebastian  , Milner Jaques S.  , Moore John  , Evestedt Daniel  , Peters Terry M.
Published: February 2025

In this paper we describe an approach to interactively render ultrasound images for a transesophageal echocardiogram procedure. Our prototype features an animated 3D model of a human heart that is used to synthesize virtual ultrasound images in real-time. The user can control the probe and interact with the simulator via a GUI or with a haptics device. The ultrasound plane is rendered in a classical 2D view but can also be displayed in the context of the 3D heart model.
Outside Observer, an Enhanced Training Methodology: Bringing Back the Expert's Eye whilst Training Alone
Authors: Coles Timothy R.  , Dumas Cedric  , Fielding David  , Watson Marcus
Published: February 2025

Traditional surgical teaching requires an expert trainer to be present during training. This training model allows an expert to observe a novice's performance and provide corrective feedback as errors are made. Virtual simulations offer a much needed alternative to learning through error and allow the trainee to hone skills without the presence of a skilled surgical trainer. However, current simulations limit the scope of training to tool directed learning, focusing training around instrumented simulated tool tips. This paper identifies a need for trainee centered virtual training to complement current approaches. The Outside Observer training methodology provides training feedback based on the observation of surgical tool tip manipulations in conjunction with the external movements a trainee performs during a procedure. It is thought that integrating movement and posture training with current tool tracking methods will provide more effective and accelerated learning.
The Evolution of Design: A Novel Thoracoscopic Diaphragmatic Hernia Repair Simulator
Authors: Davis Lauren M.  , Hawkinson Ellie K.  , Barsness Katherine A.
Published: February 2025

As advanced minimally invasive techniques have become more prevalent, there has been an increase in the number of pediatric surgeons performing thoracoscopic repair of congenital diaphragmatic hernia (CDH). Opportunities to learn and practice this procedure are few. The use of a simulation model for thoracoscopic CDH repair may help reduce errors in the operating room. Prototypes for low and high fidelity CDH repair simulators were designed and built. These prototypes allow pediatric surgery trainees the opportunity to learn and practice thoracoscopic CDH repair before performing this operation on infants.
Evaluation Study for a Multi-User Oriented Medical Data Visualization Method
Authors: Kopanitsa Georgy
Published: February 2025

The chosen evaluation concept is based the Guideline for Good Evaluation Practice in Health Informatics (GEP-HI). The stages of the study were identified. Each stage got a detailed description. We also identified the participants and their required qualifications and responsibilities. The developed evaluation concept was used for the evaluation study of the developed medical data visualization method. The study was performed in Tomsk, Russia. This helped to involve more doctors and patients to the study. This also facilitated the involvement of patients, because they have already the experience of using patients' portal.
The Impact of Computerized Decision Aid on Mode of Delivery – A Study Protocol
Authors: Aslani Azam  , Tara Fatemeh  , Ghalichi Leila  , Eslami Saeid
Published: February 2025

The paper describes the design of computerized decision aid (DA) and a protocol for a cluster randomized controlled trial to study the effects of computerized DA on decisional conflict and knowledge of pregnant Iranian women pertaining to the mode of delivery: Caesarean section vs. vaginal delivery.
Case-based Visualization of a Patient Cohort using SEER Epidemiologic Data
Authors: Maier Christian  , Bürkle Thomas  , Prokosch Hans-Ulrich  , Ganslandt Thomas
Published: February 2025

Data from cancer registries can be used to track the epidemiology of cancer and can potentially serve to guide individual diagnostic and treatment decisions. Even though some cancer registry datasets have been made publicly available for scientific and clinical use, few applications have so far provided direct access to these data from within the patient context of an electronic patient record. The goal of this project was to implement a proof-of-concept integration of the public SEER (Surveillance, Epidemiology and End Results) cancer registry dataset with a digital breast cancer tumor board at a German university hospital and to determine its utility in the clinical settings. The integration was successfully established, using data from routine documentation to provide dynamic visualizations of cohort composition and Kaplan-Meier survival plots. Evaluation feedback was favorable regarding the concept and implementation, but highlighted that important data elements, e.g. receptor status data, were missing in the SEER dataset, limiting clinical value of the system.
Social Networks and Coordination of Expertise: A Qualitative Study
Authors: Kim-Chung Ye Ryung  , Hossain Liaquat  , Chung Kon Shing Kenneth  , Edwards Andrew
Published: February 2025

This preliminary research investigates the relationship between properties of social networks and coordination of sharing and access to expertise during disasters, which is extremely important in emergency response during disaster incidents. Therefore, knowing where specialized knowledge (expertise) is located, where it is needed and how it may be brought to bear in timely manner is extremely crucial. We also examine a theoretical model for the inherent role of social network structure, ties and position of actors for gaining access to and sharing of expertise. In this study, we explore specific questions such as –by: How centralization and efficiency in an individual's social network associate with coordination?, and Would network constraint and tie strength in an individual's social network negatively/positively associate with coordination?. The paper provides a theoretical account of how the social network-coordination model is developed and how the model has been preliminary validated by disaster management experts (CIO and managers) from State Emergency Services (SES), NSW, Australia. Results from semi-structured interviews with key managers from SES shows the significance of informal social network roles in their profession, especially for solving disaster management issues. Interviewees elaborate on the point of how social network directly enable their coordination at work. A research framework is also outlined in the conclusion section with directions for future social network analysis and research pathway.
Assessing the Mental Frame Syncing in the Elderly: A Virtual Reality Protocol
Authors: Serino Silvia  , Cipresso Pietro  , Gaggioli Andrea  , Riva Giuseppe
Published: February 2025

Decline in spatial memory in the elderly is often underestimated, and it is crucial to fully investigate the cognitive underpinnings of early spatial impairment. A virtual reality-based procedure was developed to assess deficit in the “mental frame syncing”, namely the cognitive ability that allows an effective orientation by synchronizing the allocentric view-point independent representation with the allocentric view-point dependent representation. A pilot study was carried out to evaluate abilities in the mental frame syncing in a sample of 16 elderly participants. Preliminary results indicated that the general cognitive functioning was associated with the ability in the synchronization between these two allocentric references frames.
Addressing Cultural Contexts in the Management of Stress via Narrative and Mobile Technology
Authors: Lee Matthew D  , Kang Xiao  , Hanrahan Nancy
Published: February 2025

In developing applications for stress management and mental health, developers have largely ignored cultural context in design, opting instead to produce apps for a general audience. However, apps designed without a specific population in mind actually have limited reach. Generally stress trackers and socalled “therapists in your pocket”, tend to be lost among a jungle of other generic apps that appeal only to the quantified self population and those already predisposed to help-seeking behavior. To reach a broader audience, designing for a specific population may have appeal. The AppHappy Project's Journey to the West is a mobile app being developed by a multidisciplinary group of students at the University of Pennsylvania. The objective is to promote better stress management and mental health among Asian international college students and facilitate their social integration with the general student population. With a prevalence of depression twice that of domestic college students, a reluctance to engage in help-seeking behavior due to stigma, and the challenge of cultural integration, creating interventions for this population requires a different approach to app-mediated therapy. Journey to the West packages bite-sized pieces of Cognitive Behavioral Therapy techniques within the framework of a role-playing game. Every element of its design–from its characters to its art style, from its narrative to its mechanics to its approach to community features—is rooted in a culturally appropriate context. An avatar serves as a surrogate of self while experiencing externalized stressors. Each quest blends therapeutic elements into gameplay with the goal of building resilience towards stressful events.
Cognitive Assessment of OCD Patients: NeuroVR vs Neuropsychological Test
Authors: La Paglia Filippo  , La Cascia Caterina  , Rizzo Rosalinda  , Cangialosi Flavia  , Sanna Margherita  , Riva Giuseppe  , La Barbera Daniele
Published: February 2025

This study aimed to evaluate the reliability and validity of the Neuro-Virtual Reality as tool for the neuropsychological assessment in OCD patients. We used the neuropsychological battery and a virtual version of the Multiple Errand Test (V-MET), developed using the NeuroVR software, in order to evaluate the executive functions, the ability to plan ahead on complex problem solving tasks in daily life in 30 obsessive compulsive disorder (OCD) patients and 30 healthy controls. The results showed the presence of difficulties of OCD patients: lower levels of divided attention and higher levels of errors; higher mean rank of inefficiencies, interpretation failures and rule breaks and longer time of execution of the whole task. By contrast, controls have higher level of efficiency and better performance. In addition, a significant correlation was found between the V-MET and the neuropsychological battery which confirms and supports the ecological validity of neurocognitive assessment through NeuroVirtual Reality.
Controlling a Stream of Paranoia Evoking Events in a Virtual Reality Environment
Authors: Isnanda Reza Giga  , Brinkman Willem-Paul  , Veling Wim  , van der Gaag Mark  , Neerincx Mark
Published: February 2025

Although virtual reality exposure has been reported as a method to induce paranoid thought, little is known about mechanisms to control specific virtual stressors. This paper reports on a study that examines the effect of controlling the stream of potential paranoia evoking events in a virtual restaurant world. A 2-by-2 experiment with a non-clinical group (n = 24) was conducted with as two within-subject factors: (1) the cycle time (short/long) for when the computer considers activation of a paranoia evoking event and (2) the probability that a paranoia-evoking event (low/high) would be triggered at the completion of a cycle. The results showed a significant main effect for the probability factor and two-way interaction effect with the cycle time factor on the number of paranoid comments participants made and their self-reported anxiety.
Quantifying the Effectiveness of Virtual Reality Pain Management: A Pilot Study
Authors: Sulea Camelia  , Soomro Ahmad  , Wiederhold Brenda K.  , Wiederhold Mark D.
Published: February 2025

Sensory pathways, consisting of chains of neurons, which spread from the receptor organ to the cerebral cortex, are responsible for the perception of sensations (including pain). In this study, we set out to determine how effective virtual reality (VR) could be in distracting patients from pain experienced through thermoreceptors on the skin. Six healthy subjects were exposed to uncomfortable pain stimuli with and without VR distraction. Subjects reported a drop in pain while in the VR environment, and mean pain rating was significantly lower than the session with no VR distraction. These results indicate that VR distraction can diminish pain experienced by subjects, thus we conclude by eliciting future directions for quantifying effectiveness of VR as a pain management solution.
Formal Processing of Informal Meaning by Abstract Interpretation
Authors: Kollár Ján
Published: February 2025

Understanding mutual relation between informal meaning in human mind and formalised semantics is crucial for formalizing human processes of thinking when performing them on computers. It is fictious to suppose machines are able to process informal meaning in the way as it is in human mind. On the other side, reflecting the requirements for rapid, flexible and automated changes in real world a new quality of informal processing with help of machines is needed. That is why binding an informal meaning and formal semantics is in the centre of many applications that have attributes of machine intelligence. Moreover, we are strongly interested in automating the production of these applications. By other words, we need rather to evolve them in an automated manner than to construct them mannually. This paper is devoted to mutual binding of metasemantics via semantics to informal meaning, with abstract interpretation as a central point, introducing simple example, how it works. We define mutual binding of informal meaning to abstract symbols of regular expression. We define the semantics of operations in terms of metaoperations inherited from EBNF metalevel, and finally, we derive the minimum-state deterministic finite state automaton, which reflects active bindings to informal meaning in its states.
On the Formal Assessment of Argumentation Support Systems
Authors: Karacapilidis Nikos  , Peppas Pavlos
Published: February 2025

The development of argumentation support systems for different types of groups and application areas has been receiving growing interest in the last twenty years. Such systems address the needs of a user to interpret and reason about knowledge during a discourse, and demonstrate diverse human and machine reasoning functionalities. However, methodologies to check whether the reasoning mechanisms of such systems adhere to broadly accepted argumentation theories are missing. Provision of such methodologies is of much value, especially in data intensive contexts. The approach described in this paper is a first step towards this direction. Specifically, we formally assess a specific argumentation support system, namely HERMES, against Dungs argumentation theory and prove its correctness as far as the acceptability of arguments is concerned.
Hand-gesture Description Based on Skeleton Representation and Hu Moments
Authors: Favorskaya Margarita  , Nosov Alexander
Published: February 2025

The techniques of Human-Computer Interaction (HCI) are rapidly developed for such application as virtual computer-aided design, human-robot interaction, virtual games, remote control of devices, smart house control, among others. In this research, all stages for visual-based static hand-gestures representation were improved. A hand tracker is built based on spatio-temporal data in a static scene and uses the results of pre-processing by filters, skin classifier, morphological processing, and visual tracking. The proposed robust hand-gesture description includes two main estimations: the topological (approximated skeleton representation) and geometric (Hu moments) descriptions of hand-gesture. The Hu moments provide the accurate gestures recognition with similar topological view. The recognition accuracy using the improved (approximated) skeleton and Hu moments calculation achieved 92–96 %.
Estimation of Student Functional State in Learning Management System by Heart Rate Variability Method
Authors: Lisitsyna L.  , Lyamin A.  , Skshidlevsky A.
Published: February 2025

In this paper considered the estimate of the functional state of the student based on the activity of regulatory systems. Degree of tension of regulatory systems is evaluated based on mathematical analysis of cardiac rhythm – the analysis of heart rate variability. During the student's work in the learning management system not only his answers are analyzed, but also the intension of the physiological system, determined by the method of heart rate variability analysis. Special software analyzes heart rate variability and transmits the results of analysis in the learning management system, where they are used in the algorithms of adaptive e-learning.
Evaluation of Use of Electronic Patient Controlled Analgesia Pumps to Improve Patient Safety in an Academic Medical Center
Authors: Ohashi Kumiko  , Dykes Patricia  , Mcintosh Kathleen  , Buckley Elizabeth  , Yoon Catherine  , Luppi Carol  , Bane Anne  , Bates David W.
Published: February 2025

Patient controlled analgesia (PCA) and Patient-controlled epidural analgesia (PCEA) pumps are methods of pain control with complex smart infusion devices and are widely used in hospitals. Smart PCA/PCEA pumps can be programmed with the dose and rate of medications within pre-set ranges. However, adverse effects have been reported associated with these pumps' use. In this paper, we describe a prevalence observational study where observers used an electronic data collection tool to record pump settings and medications with PCA pumps, corresponding medication orders to identify errors. The results showed that there were many labeling and tubing change tag errors, which were a violation of hospital policy. A few potential harmful medication errors were identified but no critical errors. Study results suggest the importance of a standard process of PCA pump use. Next steps include implementing a safety bundle for improving PCA practice to support safe and effective pain management.
Developing the Structured Knowledge Model to Navigate the Nurses' Thinking Process in their Professional Judgment and Action
Authors: Tsuru Satoko  , Wako Fumiko  , Omori Miho  , Watanabe Chitose  , Nakanishi Mutsuko  , Kawamura Sawako
Published: February 2025

Authors have defined the function of the nursing observation as “monitoring the onset and course of health problems” and that of nursing action as “preventing health problems”. We have also identified three foci of the nursing observation and nursing action respectively. The foci of nursing observation are: “signs and symptoms related to the diseases”, “complications related to the invasive medical procedures such as surgery” and “adverse effects related to the pharmacotherapy”. Those of nursing action are: “nursing care to fulfill the needs arising from the diseases and the medical interventions”, “nursing care to prevent the complications”, and “nursing care to prevent the adverse effects”. Finally, we have categorized hospitalized patients' conditions into “pre-surgery”, “post-surgery” and “rehabilitative phase” for the surgical patients and “severe”, “moderate” and “mild” for non-surgical ones. Using these frameworks, we have developed the structured knowledge model for a number of diseases and medical interventions.
Graph Based Model to Support Nurses' Work
Authors: Benedik Peter  , Rajkovič Uroš  , Šušteršič Olga  , Prijatelj Vesna  , Rajkovič Vladislav
Published: February 2025

Health care is a knowledge-based community that critically depends on knowledge management activities in order to ensure quality. Nurses are primary stakeholders and need to ensure that their information and knowledge needs are being met in such ways that enable them, to improve the quality and efficiency of health care service delivery for all subjects of health care. This paper describes a system to help nurses to create nursing care plan. It supports focusing nurse's attention on those resources/solutions that are likely to be most relevant to their particular situation/problem in nursing domain. System is based on multi-relational property graph representing a flexible modeling construct. Graph allows modeling a nursing domain (ontology) and the indices that partition domain into an efficient, searchable space where the solution to a problem is seen as abstractly defined traversals through its vertices and edges.
SAPPIRE: a Prototype Mobile Tool for Pressure Ulcer Risk Assessment
Authors: Kim Hyeoneui  , Chung Heejoon  , Wang Shuang  , Jiang Xiaoqian  , Choi Jeeyae
Published: February 2025

Accurate assessment and documentation of skin conditions facilitate communication among care providers and are critical to effective prevention and mitigation of pressure ulcer. We report developing a prototype mobile system called SAPPIRE (Skin Assessment for Pressure Ulcer Prevention, an Integrated Recording Environment) for an android device to assist nurses with skin assessment and documentation at bedside. SAPPIRE demonstrates (1) data documentation conforming to the relevant terminology standards, (2) data exchange using Continuity of Care Records (CCR) standard and (3) smart display of patient data relevant to risk parameters to promote accurate pressure ulcer risk assessment with the Braden scale. Challenges associated standardizing assessment data faced during this development and the approaches that SAPPIRE took to overcome them are described.
Enforcing Solutions in Constraint Networks
Authors: Grégoire Éric  , Lagniez Jean-Marie  , Mazure Bertrand
Published: February 2025

A method is proposed to enforce specific solutions in constraint networks. Contrary to previous approaches, it yields a set of constraints to be dropped whose cardinality is minimal.
An Intelligent Threat Prevention Framework with Heterogeneous Information
Authors: Ma Wenjun  , Liu Weiru
Published: February 2025

Three issues usually are associated with threat prevention intelligent surveillance systems. First, the fusion and interpretation of large scale incomplete heterogeneous information; second, the demand of effectively predicting suspects' intention and ranking the potential threats posed by each suspect; third, strategies of allocating limited security resources (e.g., the dispatch of security team) to prevent a suspect's further actions towards critical assets. However, in the literature, these three issues are seldomly considered together in a sensor network based intelligent surveillance framework. To address this problem, in this paper, we propose a multi-level decision support framework for in-time reaction in intelligent surveillance. More specifically, based on a multi-criteria event modeling framework, we design a method to predict the most plausible intention of a suspect. Following this, a decision support model is proposed to rank each suspect based on their threat severity and to determine resource allocation strategies. Finally, formal properties are discussed to justify our framework.
(Co)evolution Leads towards ROMAs
Authors: Paredis Jan
Published: February 2025

This paper investigates the dynamics of a simple coevolutionary system. It consists of a predator-prey system in which one population maximizes its distance to the members of the other population, while the second population tries to minimize the distance to the first population. This results in a coevolutionary pursuer-evader (PE) system whose dynamics can easily be visualised and studied.
Detection and Quantification of Hand Eczema by Visible Spectrum Skin Pattern Analysis
Authors: Suter Christoph  , Navarini Alexander  , Pouly Marc  , Arnold Ruedi  , Gutzwiller Florian S.  , Meier René  , Koller Thomas
Published: February 2025

Hand eczema is a frequent dermatosis with severe health and financial consequences to patients and society. It follows a chronic course and persists up to 15 years after onset. Early detection of an exacerbation followed by the application of specific drugs for a few days can considerably reduce disease activity and avoid temporary disability. However, dermatitis patients usually rely on their own perception in assessing their skin condition and therefore often miss the time point for effective treatment. In this paper we present a prototype-based feasibility study of automated detection and quantification of hand eczema using texton-based imaging and machine-learning techniques.
Local Image Descriptor Inspired by Visual Cortex
Authors: Wei Hui  , Dong Zheng
Published: February 2025

The ability of visual cortex to accomplish object recognition tasks accurately and effortlessly makes it an attractive goal of computer vision to emulate the mechanism of the cortex. The neural process of object recognition in the brain follows a hierarchical scheme. In this paper, we present a novel model inspired by the visual pathway in primate brains. This multi-layer neural network model imitates the hierarchical convergent processing mechanism of the visual pathway. We show experimentally that local image features generated by this model exhibit robust discrimination and even better generalization ability compared with some existing image descriptors. We also demonstrate the application of this model to object recognition tasks. The result provides strong support for the potential of this model.
Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games
Authors: Čermák Jiří  , Bošanský Branislav  , Lisý Viliam
Published: February 2025

Nash equilibrium (NE) is the best known solution concept used in game theory. It is known that NE is particularly weak even in zero-sum extensive-form games since it can prescribe irrational actions to play that do not exploit mistakes made by an imperfect opponent. These issues are addressed by a number of refinements of NE that strengthen the requirements for equilibrium strategies. However, a thorough experimental analysis of practical performance of the Nash equilibria refinement strategies is, to the best of our knowledge, missing. This paper aims to fill this void and provides the first broader experimental comparison of the quality of refined Nash strategies in zero-sum extensive-form games. The experimental results suggest that (1) there is a significant difference between the best and the worst NE strategy against imperfect opponents, (2) the existing refinements outperform the worst NE strategy, (3) they typically perform close to the best possible NE strategy, and (4) the difference in performance of all compared refinements is very small.
Mining Heterogeneous Multidimensional Sequential Patterns
Authors: Egho Elias  , Raïssi Chedy  , Jay Nicolas  , Napoli Amedeo
Published: February 2025

All domains of science and technology produce large and heterogeneous data. Although much work has been done in this area, mining such data is still a challenge. No previous research targets the mining of heterogeneous multidimensional sequential data. In this work, we present a new approach to extract heterogeneous multidimensional sequential patterns with different levels of granularity by relying on external taxonomies. We show the efficiency and interest of our approach with the analysis of trajectories of care for colorectal cancer using data from the French casemix information system.
Answer Set Programming as SAT modulo Acyclicity
Authors: Gebser Martin  , Janhunen Tomi  , Rintanen Jussi
Published: February 2025

Answer set programming (ASP) is a declarative programming paradigm for solving search problems arising in knowledge-intensive domains. One viable way to implement the computation of answer sets corresponding to problem solutions is to recast a logic program as a Boolean satisfiability (SAT) problem and to use existing SAT solver technology for the actual search. Such mappings can be obtained by augmenting Clark's completion with constraints guaranteeing the strong justifiability of answer sets. To this end, we consider an extension of SAT by graphs subject to an acyclicity constraint, called SAT modulo acyclicity. We devise a linear embedding of logic programs and study the performance of answer set computation with SAT modulo acyclicity solvers.
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus
Authors: De Giacomo Giuseppe  , Lespérance Yves  , Patrizi Fabio  , Vassos Stavros
Published: February 2025

We look at agents reasoning about actions from a first-person perspective. The agent has a representation of world as situation calculus action theory. It can perform sensing actions to acquire information. The agent acts “online”, i.e., it performs an action only if it is certain that the action can be executed, and collects sensing results from the actual world. When the agent reasons about its future actions, it indeed considers that it is acting online; however only possible sensing values are available. The kind of reasoning about actions we consider for the agent is verifying a first-order (FO) variant (without quantification across situations) of linear time temporal logic (LTL) . We mainly focus on bounded action theories, where the number of facts that are true in any situation is bounded. The main results of this paper are: (i) possible sensing values can be based on consistency if the initial situation description is FO; (ii) for bounded action theories, progression over histories that include sensing results is always FO; (iii) for bounded theories, verifying our FO LTL against online executions with sensing is decidable.
Uncorrelated Multilinear Nearest Feature Line Analysis
Authors: Liu Ye  , Zhang Liqing
Published: February 2025

In this paper, we propose a new subspace learning method, called uncorrelated multilinear nearest feature line analysis (UMNFLA), for the recognition of multidimensional objects, known as tensor objects. Motivated by the fact that existing nearest feature line (NFL) can effectively characterize the geometrical information of limited samples, and uncorrelated features are desirable for many pattern analysis applications since they contain minimum redundancy and ensure independence of features, we propose using the NFL metric to seek a feature subspace such that the within-class feature line (FL) distances are minimized and between-class FL distances are maximized simultaneously in the reduced subspace, and impose an uncorrelated constraint to extract statistically uncorrelated features directly from tensorial data. UMNFLA seeks a tensor-to-vector projection (TVP) that captures most of the variation in the original tensorial input, and employs sequential iterative steps based on the alternating projection method. Experimental results on the task of single trial electroencephalography (EEG) recognition suggest that UMNFLA is particularly effective in determining the low-dimensional projection space needed in such recognition tasks.