bluuebunny/crossref_metadata_2025 huggingface dataset:
Understanding Resistance towards Electronic Patient Health Data in South Australian Family Practice
Authors: Knight John  , Patrickson Margaret  , Gurd Bruce
Published: February 2025

This paper reports the results from a survey of 131medical practitioners in South Australian General Practice concerning adoption of a computerised system for storing and potentially amalgamating health information from several practices. Practitioners were primarily influenced by the positively perceived potential for such technology use to improve patient health and well-being outcomes and secondarily by the negatively perceived potential for unwanted change in the status, control and autonomy of their professional role. Practitioner attitude reflected how they resolved the competing influences. The data suggest that strategies for implementing such systems should address individual perceptions by increasing belief in the potential for patient improvement or by decreasing belief of the inevitability of unwanted role change.
A Self-organizing map based morphological analysis of oral glucose tolerance test curves in women with gestational diabetes mellitus
Authors: Gaetano Laura  , Di Benedetto Giacomo  , Tura Andrea  , Balestra Gabriella  , Montevecchi Franco M.  , Kautzky-Willer Alexandra  , Pacini Giovanni  , Morbiducci Umberto
Published: February 2025

Gestational diabetes mellitus (GDM) makes women at risk of type 2 diabetes during their life. In order to predict this later abnormal glucose intolerance, several antepartum and postpartum predictors have been identified. In this study we conjecture that future evolution is predictable from morphology of the oral glucose tolerance test (OGTT) curves at baseline. To test our hypothesis, as a first step we evaluated the association between the curve morphologies of normal and diabetic patient condition at baseline. In particular, we analysed glucose and insulin curves of a group of women with a history of GDM. A Self-organizing map (SOM) was proposed to evaluate shape differences among control, normal, impaired glucose tolerance and diabetic curves shape. We compared our results with the currently applied clinical classification. We found that morphology contains information about the current status of the patient, because the SOM analysis clearly allows to discriminate subjects belonging to healthy or diabetic group. Moreover, SOMs highlighted additional information that could be used for prognostic purposes.
The IT-Infrastructure of a Biobank for an Academic Medical Center
Authors: Dangl Andrea  , Demiroglu Sara Y.  , Gaedcke Jochen  , Helbing Krister  , Jo Peter  , Rakebrandt Fabian  , Rienhoff Otto  , Sax Ulrich
Published: February 2025

For high quality research in biomedicine an operable biobank is essential. In order to make optimal use of the material and the huge amount of data a sustainable IT-infrastructure is indispensable. Therefore, we developed a concept for the IT-infrastructure of a biobank for an academic medical center. The conclusions for this concept are deduced from our experience with the biobank and IT-infrastructure of a clinical research unit. Our results indicate that the IT-infrastructure plays a pivotal role in successfully establishing a biobank. Several aspects of the IT-infrastructure are similarly found in other areas as, e.g. data protection and storage and quality management. Finally, we conclude that although a research database is not required for operating a biobank, the need for it will definitely emerge, especially with regard to personalized medicine and high-throughput gene expression analysis.
Diffusion and use of Electronic Health Record Systems in Norway
Authors: Heimly Vigdis  , Grimsmo Anders  , Henningsen Trond Palmer  , Faxvaag Arild
Published: February 2025

This paper sums up some of the findings from a national survey on the diffusion and use of Electronic Health Record (EHR) systems in the Norwegian health sector. The survey shows that almost all hospitals and GPs use their EHR systems on a daily basis, while the municipalities are lagging behind, All three view costs and missing functionality as the most important challenges. The GPs are very concerned with the complexity of the daily operation of the systems, while the hospitals are mostly concerned with costs of daily operations, maintenance and further development of the systems. Better integration with support systems is requested. User involvement and ownership seem to have contributed to the development and diffusion of the most successful EHR systems. National diffusion processes require good planning and are time consuming. It has taken 15 years from the first EHR systems were introduced until 90% of the actors used the systems. This has to be taken into account in national strategy processes in the health sector.
Cell Phone Short Messaging Service (SMS) for HIV/AIDS in South Africa: A literature review
Authors: Mukund Bahadur Khatry-Chhetry  , Murrayb Peter J.
Published: February 2025

The HIV/AIDS pandemic is one of the most serious threats to global health. HIV/AIDS is a chronic illness, requiring patient empowerment to enhance adherence to treatment regimes if it is to be managed effectively. While healthcare costs are rising, people still have expectations of high-quality care. This literature review-based study explored the use of cell phone (mobile phone) short messaging services (SMS) in health care, in particular for HIV/AIDS in South Africa.
Augmented notebooks for pervasive learning in medical practice
Authors: Bricon-Souf Nathalie  , Leroy Nicolas  , Renard Jean-Marie
Published: February 2025

Medical e-learning can benefit from the new technologies, and pervasive learning resources and tools worth to be introduced in the medical context. Micro-learning seems to be an interesting way for pervasive learning. But it is still difficult to propose pedagogical resources that are built by learners, from meaningful experiments. We conducted an analysis of the exchanges performed by Health care professionals in the hospital in order to understand where and when educational exchanges appear. We analyzed the type of documents exchanged. The residents' paper notebooks caught our attention first because it answers some clinician-needs and second because the computerization of such a notebook could add a collaborative dimension to the pedagogical resources. We propose a model of an augmented resident's notebook and we briefly describe an implementation using Content Management System and WIKI, before setting the discussion and the conclusion sections.
Advancing the State-of-the-Art for Virtual Autopsies – Initial Forensic Workflow Study
Authors: Scandurra Isabella  , Forsell Camilla  , Ynnerman Anders  , Ljung Patric  , Lundström Claes  , Persson Anders
Published: February 2025

There are numerous advantages described of how imaging technology can support forensic examinations. However, postmortem examinations of bodies are mainly performed to address demands which differ from those of traditional clinical image processing. This needs to be kept in mind when gathering information from image data sets for forensic purposes. To support radiologists and forensic clinicians using Virtual Autopsy technologies, an initial workflow study regarding post-mortem imaging has been performed, aiming to receive an improved understanding of how Virtual Autopsy workstations, image data sets and processes can be adjusted to support and improve conventional autopsies. This paper presents potential impacts and a current forensic Virtual Autopsy workflow aiming to form a foundation for collaborative procedures that increase the value of Virtual Autopsy. The workflow study will provide an increased and mutual understanding of involved professionals. In addition, insight into future forensic workflows based on demands from both forensic and radiologist perspectives bring visualization and medical informatics researchers together to develop and improve the technology and software needed.
Applying a User Centered Design Methodology in a Clinical Context
Authors: Kashfi Hajar
Published: February 2025

A clinical decision support system (CDSS) is an interactive application that is used to facilitate the process of decisionmaking in a clinical context. Developing a usable CDSS is a challenging process; mostly because of the complex nature of domain knowledge and the context of use of those systems. This paper describes how a user centered design (UCD) approach can be used in a clinical context for developing a CDSS. In our effort, a design-based research methodology has been used. The outcomes of this work are as follow; a customized UCD approach is suggested that combines UCD and openEHR. Moreover, the GUI developed in the design phase and the result of the GUI evaluation is briefly presented.
Preference-Based Argumentation Framework with Varied-Preference Intensity
Authors: Kaci Souhila  , Labreuche Christophe
Published: February 2025

Recently, Dung's argumentation has been extended in order to consider the strength of the defeat relation, i.e., to quantify the degree to which an argument defeats another one. We construct an argumentation framework with varied-strength defeats from a preference-based argumentation framework with an intensity degree in the preference relation. We also consider the case when the preference over the arguments is constructed from a valued logic.
Complexity in Analogy Tasks: An Analysis and Computational Model
Authors: Stahl Philip  , Ragni Marco
Published: February 2025

In this article, we introduce a complexity measure for matrix tasks which occur in IQ-tests with respect to the kind of functions necessary to solve such tasks. The aim is to capture human reasoning difficulty. We implemented a program which is able to solve matrix tasks and to evaluate their complexity by our measure. The results of the evaluation are compared with the empirical difficulty ranking from Cattell's Culture Fair Test.
A constructive conditional logic for access control: a preliminary report
Authors: Genovese Valerio  , Giordano Laura  , Gliozzi Valentina  , Pozzato Gian Luca
Published: February 2025

We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICLis based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL, and we prove that the axiomatization is sound and complete with respect to the semantics.
Drift Severity Metric
Authors: Kosina Petr  , Gama João  , Sebastião Raquel
Published: February 2025

Concept drift in data is usually considered only as abrupt or gradual thus referring to the speed of change. Such simple distinguishing by speed is sufficient for most of the problems, but there might be situations for which a finer representation would be of use.
Reliable Predictive Intervals for the Critical Frequency of the F2 Ionospheric Layer
Authors: Papadopoulos Harris  , Haralambous Haris
Published: February 2025

This paper addresses the problem of reliably predicting an important HF communication systems parameter, the critical frequency of the F2 ionospheric layer, with the use of a new machine learning technique, called Conformal Prediction (CP). CP accompanies the predictions of traditional machine learning algorithms with measures of confidence. The proposed approach is based on the wellknown Ridge Regression technique, but instead of the point predictions produced by the original method, it produces predictive intervals that satisfy a given confidence level. Our experimental results on an extended critical frequency dataset show that the obtained intervals are well-calibrated and narrow enough to be useful in practice.
Decentralised Supply Chain Formation: A Belief Propagation-based Approach
Authors: Winsper Michael  , Chli Maria
Published: February 2025

Decentralised supply chain formation involves determining the set of producers within a network able to supply goods to one or more consumers at the lowest cost. This problem is frequently tackled using auctions and negotiations. In this paper we show how it can be cast as an optimisation of a pairwise cost function. Optimising this class of functions is NP-hard but good approximations to the global minimum can be obtained using Loopy Belief Propagation (LBP). Here we detail a LBP-based approach to the supply chain formation problem, involving decentralised message-passing between potential participants. Our approach is evaluated against a well-known double-auction method and an optimal centralised technique, showing several improvements: it obtains better solutions for most networks that admit a competitive equilibriumCompetitive equilibrium as defined in [3] is used as a means of classifying results on certain networks to allow for minor inefficiencies in their auction protocol and agent bidding strategies.
Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods
Authors: Bouveret Sylvain  , Endriss Ulle  , Lang Jérôme
Published: February 2025

We study the problem of fairly dividing a set of goods amongst a group of agents, when those agents have preferences that are ordinal relations over alternative bundles of goods (rather than utility functions) and when our knowledge of those preferences is incomplete. The incompleteness of the preferences stems from the fact that each agent reports their preferences by means of an expression of bounded size in a compact preference representation language. Specifically, we assume that each agent only provides a ranking of individual goods (rather than of bundles). In this context, we consider the algorithmic problem of deciding whether there exists an allocation that is possibly (or necessarily) envy-free, given the incomplete preference information available, if in addition some mild economic efficiency criteria need to be satisfied. We provide simple characterisations, giving rise to simple algorithms, for some instances of the problem, and computational complexity results, establishing the intractability of the problem, for others.
Opinion Question Answering: Towards a Unified Approach
Authors: Balahur Alexandra  , Boldrini Ester  , Montoyo Andrés  , Martínez-Barco Patricio
Published: February 2025

Nowadays, the Web contains large amounts of heterogeneous (factual and opinionated) data, which is becoming equally important for users to access. The need to efficiently manage this information leads to the necessity of building automatic systems that efficiently process it. In this paper, we propose and evaluate a series of techniques whose aim is to improve the performance of an Opinion Question Answering (OQA) system. We include additional resources and processes with the objective of limiting the sources of errors in the different stages involved - question analysis, answer retrieval and filtering, answer re-ranking. We propose new elements that are significant in these stages and show that their use improves the performance of the system. We conclude that the suggested techniques help to influences the task in a positive manner.
Introducing Personality into Team Dynamics
Authors: Prada Rui  , Camilo João  , Nunes Maria Augusta
Published: February 2025

If autonomous agents interact with people, they should achieve the suspension of disbelief in order to offer a good interaction experience to users. To achieve this it is important that the agents' behaviours are consistent with a given personality since people have a tendency to attribute personality to interactive artifacts. The concept of personality is also useful to create diversity in multi-agent simulations even if users do not directly engage in the interactions, for example, to explore different strategies in simulated societies. This paper presents a computational model of personality based on the Five Factor Model of personality for the behaviour of social autonomous agents that interact in teamwork scenarios.
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
Authors: Bresolin D.  , Della Monica D.  , Goranko V.  , Montanari A.  , Sciavicco G.
Published: February 2025

Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entities and truth of formulae is defined relative to time intervals, rather than time points. In this paper, we introduce and study Metric Propositional Neighborhood Logic (MPNL) over natural numbers. MPNL features two modalities referring, respectively, to an interval that is “met by” the current one and to an interval that “meets” the current one, plus an infinite set of length constraints, regarded as atomic propositions, to constrain the lengths of intervals. We argue that MPNL can be successfully used in different areas of artificial intelligence to combine qualitative and quantitative interval temporal reasoning, thus providing a viable alternative to well-established logical frameworks such as Duration Calculus. We show that MPNL is decidable in double exponential time and expressively complete with respect to a well-defined subfragment of the two-variable fragment FO2[N, =, <, s] of first-order logic for linear orders with successor function, interpreted over natural numbers. Moreover, we show that MPNL can be extended in a natural way to cover full FO2[N, =, <, s], but, unexpectedly, the latter (and hence the former) turns out to be undecidable.
Adaptive Branching for Constraint Satisfaction Problems
Authors: Balafoutis Thanasis  , Stergiou Kostas
Published: February 2025

The two standard branching schemes for CSPs are d-way and 2-way branching. Although it has been shown that in theory the latter can be exponentially more effective than the former, there is a lack of empirical evidence showing such differences. To investigate this, we initially make an experimental comparison of the two branching schemes over a wide range of benchmarks. Experimental results verify the theoretical gap between d-way and 2-way branching as we move from a simple variable ordering heuristic like dom to more sophisticated ones like dom/ddeg. However, perhaps surprisingly, experiments also show that when state-of-the-art variable ordering heuristics like dom/wdeg are used then d-way can be clearly more efficient than 2-way branching in many cases. Motivated by this observation, we develop two generic heuristics that can be applied at certain points during search to decide whether 2-way branching or a restricted version of 2-way branching, which is close to d-way branching, will be followed. The application of these heuristics results in an adaptive branching scheme. Experiments with instantiations of the two generic heuristics confirm that search with adaptive branching outperforms search with a fixed branching scheme on a wide range of problems.
Min-based causal possibilistic networks: Handling interventions and analyzing the possibilistic counterpart of Jeffrey's rule of conditioning
Authors: Benferhat Salem  , Tabia Karim
Published: February 2025

This paper deals with two important issues related to the handling of uncertain and causal information in a qualitative (or min-based) possibility theory framework. The first issue addresses encoding interventions using the possibilistic conditioning under uncertain inputs problem. More precisely, we analyze the min-based possibilistic counterpart of Jeffrey's rule of conditioning and point out that contrary to the probabilistic setting, this rule does not guarantee the existence of a solution satisfying the kinematics conditions. Then we show that this rule can naturally encode the concept of interventions in causal graphical models. Surprisingly enough, we show that when dealing with interventions the min-based counterpart of Jeffrey's rule provides a unique solution. The second issue deals with the efficient handling of sets of observations and interventions in min-based possibilistic networks, where we propose a solution based on a series of equivalent and efficient transformations on the initial causal graph.
Sequentially Greedy Unsupervised Learning of Gaussian Mixture Models by Means of A Binary Tree Structure
Authors: Greggio Nicola  , Bernardino Alexandre  , Santos-Victor José
Published: February 2025

We propose an unsupervised learning algorithm for the estimation of the number of components and the parameters of a mixture model. It starts from a single mixture component covering the whole data set (therefore avoiding the ill-posed problem of the components' initialization, saving also computational burden). Then, it incrementally splits that component during expectation maximization steps, thus exploiting the full space of solutions following a binary tree structure. After each component insertion it evaluates whether accepting this new solution or discarding it according with the chosen information criterion. We show that the method is faster that state-of-the-art alternatives, is insensitive to initialization (deterministic initialization strategy), and has better data fits in average. This is illustrated through a series of experiments, both with synthetic and real images.
XML-Based Approach for Reporting and Exchanging Experimental Data Sets Using Metadata Model
Authors: Liu Fang  , Bardet Jean-Pierre  , Mokarram Nazila
Published: February 2025

Growing collaborative research projects prompted the development of metadata models for documenting voluminous data sets produced by experiments and computer simulations. Herein we demonstrate the usefulness of a recently proposed metadata model for reporting and exchanging experimental data sets. The object-oriented metadata model is expressed in terms of XML schemas, which allows researchers to exchange their data sets with XML metadata explaining how data were obtained. The XML metadata can also be used to generate automatically reports which present data comprehensively. The present approach, which fully takes advantage of XML technologies, helps pave the ways for the acceptance of metadata in earthquake engineering.
A system for remote monitoring information management and risk control in the underground engineering
Authors: Long Xiaodong  , Wang Rong  , Chen Bo  , Wu Nan
Published: February 2025

A remote supervisory control system for subway construction is introduced. The system provides a way for all kinds of information, such as the geologic, design, construction, environmental information, the monitoring point and monitoring data of projects, to be managed intergratedly and shared with the project parties. The key function of the system is the embedded early-warning mechanism and emergence commanding, which alert management personnel to analyze the potential risk reflected by abnormal data and give the corresponding measures and emergence response plans when necessary. Furthermore, a new mode of project safety management in subway construction is established based on the system. With the application of this system, engineering accidents have been reduced obviously, which proves that it is a powerful tool for engineering risk control during the project construction.
Quality Evaluation and Numerical Simulation of the Rock Mass of the Assembling Chamber of Shenxigou Hydropower Station
Authors: Wand Lehua  , Chen Xing  , Li Jianlin  , Qin Yuhong
Published: February 2025

Surrounding rock of the assembling chamber of Shenxigou Hydropower Station was classified with the “RMR” method. A finite difference model based on the latest Hoek-Brown criterion was used to analysis the stability of the assembling chamber and the calculation results were compared with the monitoring data. It was demonstrated that according to the RMR classify method there was surrounding rock of class IV and III in every section of the assembling chamber. Terrane Zbdn1belonged to surrounding rock of class IV which was of poor quality, and terrane Zbdn2, Zbdn3belonged to surrounding rock of class III which was of average quality. Based on the latest Hoek-Brown criterion, the parameters of rock mass were estimated, in which the influence of the structure of the rock mass, the strength of rock block, state of stress and other factors were taken into account. It was efficient, fast and economic. Excavation process of the assembling chamber was simulated using finite difference technique FLAC3D, whose calculation results showed to be compatible with the monitoring data.
Reasoning about Preferences in Structured Extended Argumentation Frameworks
Authors: Modgil Sanjay  , Prakken Henry
Published: February 2025

This paper combines two recent extensions of Dung's abstract argumentation frameworks in order to define an abstract formalism for reasoning about preferences in structured argumentation frameworks. First, extended argumentation frameworks extend Dung frameworks with attacks on attacks, thus providing an abstract dialectical semantics that accommodates argumentation-based reasoning about preferences over arguments. Second, a recent extension of the ASPIC framework (ASPIC+) instantiates Dung frameworks with accounts of the structure of arguments, the nature of attack and the use of preferences to resolve attacks. In this paper, ASPIC+ is further developed in order to define attacks on attacks, resulting in a dialectical semantics that accommodates argumentation based reasoning about preferences in structured argumentation. Then, some recently proposed rationality postulates for structured extended argumentation are proven to hold.
Argumentation Mechanism Design for Preferred Semantics
Authors: Pan Shengying  , Larson Kate  , Rahwan Iyad
Published: February 2025

Recently Argumentation Mechanism Design (ArgMD) was introduced as a paradigm for studying argumentation using game-theoretic techniques. To date, this framework has been used to study under what conditions a direct mechanism based on Dung's grounded semantics is strategy-proof (i.e. truth-enforcing) when knowledge of arguments is private to self-interested agents. In this paper, we study Dung's preferred semantics in order to understand under what conditions it is possible to design strategy-proof mechanisms. This is challenging since, unlike with the grounded semantics, there may be multiple preferred extensions, forcing a mechanism to select one. We show that this gives rise to interesting strategic behaviour, and we show that in general it is not possible to have a strategy-proof mechanism that selects amongst the preferred extensions in a non-biased manner. We also investigaet refinements of preferred semantics which induce unique outcomes, namely the skeptical-preferred and ideal semantics.
Arguing in Groups
Authors: Wardeh Maya  , Coenen Frans  , Bench-Capon Trevor
Published: February 2025

We have previously introduced the notion of arguing from experience, whereby agents debate a classification problem using arguments based on association rules mined “on the fly” from their individual datasets. In this paper we extend PISA, which allows for n agents to argue about cases which have n possible classifications. By allowing any number of agents to participate all the agents supporting a given classification can form a collaborative group for the purposes of the dialogue. We describe how the system is organised, give an example, and report results which suggest that allowing groups in this way has a beneficial effect on the quality of the result.
An Integrated System to Support Electricity Tariff Contract Definition
Authors: Rodrigues Fátima  , Figueiredo Vera  , Vale Zita
Published: February 2025

This paper presents an integrated system that helps both retail companies and electricity consumers on the definition of the best retail contracts and tariffs. This integrated system is composed by a Decision Support System (DSS) based on a Consumer Characterization Framework (CCF). The CCF is based on data mining techniques, applied to obtain useful knowledge about electricity consumers from large amounts of consumption data. This knowledge is acquired following an innovative and systematic approach able to identify different consumers' classes, represented by a load profile, and its characterization using decision trees. The framework generates inputs to use in the knowledge base and in the database of the DSS. The rule sets derived from the decision trees are integrated in the knowledge base of the DSS. The load profiles together with the information about contracts and electricity prices form the database of the DSS. This DSS is able to perform the classification of different consumers, present its load profile and test different electricity tariffs and contracts. The final outputs of the DSS are a comparative economic analysis between different contracts and advice about the most economic contract to each consumer class. The presentation of the DSS is completed with an application example using a real data base of consumers from the Portuguese distribution company.
The Estonian Reference Corpus: Its Composition and Morphology-aware User Interface
Authors: Kaalep Heiki-Jaan  , Muischnek Kadri  , Uiboaed Kristel  , Veskis Kaarel
Published: February 2025

This paper gives a brief overview of the composition as well as technical and morphological annotation of the Reference Corpus of Estonian. A user interface using the morphological information about lemmas and grammatical categories of word-forms is presented.
Toward a Unified Catalog of Implemented Cognitive Architectures
Authors: Samsonovich Alexei V.
Published: February 2025

This work is a review of the online Comparative Table of Cognitive Architectures (the version that was available at http://bicasymposium.com/cogarch on September 20, 2010). This continuously updated online resource is a collective product of many researchers and developers of cognitive architectures. Names of its contributors (sorted alphabetically by the represented architecture name) are: James S. Albus (4D/RCS), Christian Lebiere and Andrea Stocco (ACT-R), Stephen Grossberg (ART), Brandon Rohrer (BECCA), Balakrishnan Chandrasekaran and Unmesh Kurup (biSoar), Raul Arrabales (CERA-CRANIUM), Fernand Gobet and Peter Lane (CHREST), Ron Sun (CLARION), Ben Goertzel (CogPrime), Frank Ritter and Rick Evertsz (CoJACK), George Tecuci (Disciple), Shane Mueller (EPIC), Susan L. Epstein (FORR), Stuart C. Shapiro (GLAIR), Alexei Samsonovich (GMU BICA), Jeff Hawkins (HTM), David C. Noelle (Leabra), Stan Franklin (LIDA), Pei Wang (NARS), Akshay Vashist and Shoshana Loeb (Nexting), Cyril Brom (Pogamut), Nick Cassimatis (Polyscheme), L. Andrew Coward (Recommendation Architecture), Ashok Goel, J. William Murdock and Spencer Rugaber (REM), John Laird (Soar), and Kristinn Thórisson (Ymir). All these contributions are summarized in this work in a form that makes the described architectures easy to compare against each other.
Architecture of The Mind with Artificial Neurons
Authors: Nath Deepak J.
Published: February 2025

ATMAN in Sanskrit means “The Self”. ATMAN is an architecture of the mind developed by observing the different anomalies of the brain and hypothesizing a system that would display such behavior. This paper introduces a system demo for the use of “ATMAN” model to play a game of tic-tac-toe and some of its side effect discoveries.
Attention in the ASMO Cognitive Architecture
Authors: Novianto Rony  , Johnston Benjamin  , Williams Mary-Anne
Published: February 2025

The ASMO Cognitive Architecture has been developed to support key capabilities: attention, awareness and self-modification. In this paper we describe the underlying attention model in ASMO. The ASMO Cognitive Architecture is inspired by a biological attention theory, and offers a mechanism for directing and creating behaviours, beliefs, anticipation, discovery, expectations and changes in a complex system. Thus, our attention based architecture provides an elegant solution to the problem of behaviour development and behaviour selection particularly when the behaviours are mutually incompatible.
The Decidability of RPTL
Authors: Khan Fahad
Published: February 2025

In this paper we look at regular path temporal logic, RPTL, a modal logic which combines the ability to quantify over (finite) paths described by regular expressions (a property which characterises PDL) with the addition of temporal operators. The formulation of RPTL was inspired by agent programming verification considerations. In this paper we prove the decidabilty of RPTL and establish complexity bounds on the satisfiability problem for RPTL by translating it into the theory of alternating tree automata on infinite trees.
Domain Independent Goal Recognition
Authors: Pattison David  , Long Derek
Published: February 2025

Goal recognition is generally considered to follow plan recognition. The plan recognition problem is typically defined to be that of identifying which plan in a given library of plans is being executed, given a sequence of observed actions. Once a plan has been identified, the goal of the plan can be assumed to follow. In this work, we address the problem of goal recognition directly, without assuming a plan library. Instead, we start with a domain description, just as is used for plan construction, and a sequence of action observations. The task, then, is to identify which possible goal state is the ultimate destination of the trajectory being observed.
Cancer Classification using SVM-boosted Multiobjective Differential Fuzzy Clustering
Authors: Saha Indrajit  , Maulik Ujjwal  , Bandyopadhyay Sanghamitra  , Plewczynski Dariusz
Published: February 2025

Microarray technology facilitates the monitoring of the expression profile of a large number of genes across different experimental conditions or tissue samples simultaneously. Microarray technology is being utilized in cancer diagnosis through the classification of the tissue samples. In this article, we have presented an integrated unsupervised technique for cancer classification. The proposed method is based on multiobjective differential fuzzy clustering of the tissue samples. In this regard, real coded encoding of the cluster centres is used and two fuzzy cluster validity indices are simultaneously optimized. The resultant set of near-Pareto-optimal solutions contains a number of non-dominated solutions. Each such solution has been improved by a novel technique based on Support Vector Machine (SVM) classification. Thereafter, the final clustering solution is produced by majority voting ensemble technique of all improved solutions. The performance of the proposed multiobjective clustering method has been compared to several other microarray clustering algorithms for three publicly available benchmark cancer data sets, viz., leukemia, Colon cancer and Lymphoma data to establish its superiority. Also statistical significance tests have been conducted to establish the statistical superiority of the proposed clustering method.
Performance Analysis of Class Noise Detection Algorithms
Authors: Sluban Borut  , Gamberger Dragan  , Lavrač Nada
Published: February 2025

In real-world datasets noisy instances and outliers require special attention of domain experts. While noise filtering algorithms are usually used to improve the accuracy of induced classification models, our aim is to detect noisy instances to be inspected by human experts in the phase of data understanding, data cleaning and outlier detection. As a result, new algorithms for explicit noise detection have been developed aiming at highest possible precision of noise detection within a reasonable recall threshold. The best performing noise detection algorithms are therefore selected based on a variant of the F-measure combining precision and recall. We use the F0.5-score, which weights precision twice as much as recall. New variants of ensemble noise filtering approaches to noise detection, using a consensus voting scheme, have been developed. They proved to be significantly better than elementary noise filters in supporting the domain expert at identifying potential outliers and/or erroneous data instances.
Interagency data exchange protocols as computational data protection law
Authors: Buchanan William  , Fan Lu  , Lawson Alistair  , Schafer Burkhard  , Scott Russel  , Thuemmler Christoph  , Uthmani Omair
Published: February 2025

The paper describes a collaborative project between computer scientists, lawyers, police officers, medical professionals and social workers to develop a communication infrastructure that allows information sharing while observing Data Protection law “by design”, through a formal representation of legal rules in a firewall type system.
The Quadrupel – A Model for Automating Intermediary Selection in Supply Chain Management
Authors: Flatt Remy  , Kirchberg Markus  , Link Sebastian
Published: February 2025

The selection of intermediaries is a fundamental and challenging problem in supply chain management. We propose a conceptual process model to guide the supply chain coordinator through the selection process. Besides the support of our model for the agility, adaptability and alignment of the target supply chain, it also provides extensive automated assistance for the selection of tactics by off-the-shelf tools from the area of artificial intelligence.
A Description-based Approach to Mashup of Web Applications, Web Services and Mobile Phone Applications
Authors: Chaisatien Prach  , Tokuda Takehiro
Published: February 2025

Recent developments in mobile technology have enabled mobile phones to work as mobile Web servers. However, the composition of mobile phone applications and Web resources to form new mashup applications requires mobile programming knowledge ranging from how to create user interfaces, network connections and access to Web resources. Furthermore, the unique capabilities of mobile phone applications such as access to camera inputs or sensor data are often limited to local use only. To address these problems, we present a description-based approach and an Integration Model for the composition of mobile mashup applications combining Web applications, Web services and mobile phone applications (i.e., generic components). The compositions appear to require less native mobile programming knowledge. In the current work, to leverage access to these services and applications, an Interface Wrapper was used to transform generic components into mashup components. Composers were able to transform and reuse form-based query results from Web applications and integrate them with wrapped output from users' interaction with mobile phone applications, and other Web services. The final applications can be configured to work two ways: 1) as native mobile phone applications or 2) as a Web application accessible externally via a mobile Web server application.
Performance Forecasting for Performance Critical Huge Databases
Authors: Thalheim Bernhard  , Tropmann Marina
Published: February 2025

Fast databases are no longer nice-to-have – they are a necessity. Many modern applications are becoming performance critical. At the same time, the size of some databases has been increasing to levels that cannot be well supported by current technology. Performance engineering is now becoming a buzzword for database systems. At first physical and partially logical tuning methods have been used for support of high performance systems, but they are mainly based on large and not well understood performance and tuning parameters. Nowadays it becomes obvious that we need methods for systematic performance design.
Modelling Contexts in Cross-Cultural Communication Environments
Authors: Heimbürger Anneli  , Nurminen Miika  , Venäläinen Teijo  , Kinnunen Suna
Published: February 2025

In our research, context is defined as a situation a user has at hand. The focus in our study is on modelling contexts in cross-cultural communication environments. These environments can be physical, virtual or hybrid. Cross-cultural communication environment – user – situation is the key triplet in our context research. In our paper we discuss context as a key to situation-specific computing. We introduce our cross-cultural communication context tree and context flow architecture and an example of implementation i.e. Context-Based e-Assistant for Cross-Cultural Communication (CeACCC).
NULL ‘Value’ Algebras and Logics
Authors: Thalheim Bernhard  , Schewe Klaus-Dieter
Published: February 2025

NULL is a special marker used in SQL to indicate that a value for an attribute of an object does not exist in the database. Its aim is a representation of “missing information and inapplicable information”. Although NULL is called null ‘value’ is not at all a value. It is a marker. It is only an annotation of incomplete data. Since it is typically interpreted as a value, NULL has led to controversies and and debates because of its treatment by 3-valued logics, of its special requirements for its use in SQL joins, and the special handling required by aggregate functions and SQL grouping operators.
Modelling the Molecular Interactions in the Flower Developmental Network of Arabidopsis thaliana
Authors: Kaufmann Kerstin  , Nagasaki Masao  , Jáuregui Ruy
Published: February 2025

We present a dynamical model of the gene network controlling flower development in Arabidopsis thaliana. The network is centered at the regulation of the floral organ identity genes (AP1, AP2, AP3, PI and AG) and ends with the transcription factor complexes responsible for differentiation of floral organs. We built and simulated the regulatory interactions that determine organ specificity using an extension of hybrid Petri nets as implemented in Cell Illustrator. The network topology is characterized by two main features: (1) the presence of multiple autoregulatory feedback loops requiring the formation of protein complexes, and (2) the role of spatial regulators determining floral patterning. The resulting network shows biologically coherent expression patterns for the involved genes, and simulated mutants produce experimentally validated changes in organ expression patterns. The requirement of heteromeric higher-order protein complex formation for positive autoregulatory feedback loops attenuates stochastic fluctuations in gene expression, enabling robust organ-specific gene expression patterns. If autoregulation is mediated by monomers or homodimers of proteins, small variations in initial protein levels can lead to biased production of homeotic proteins, ultimately resulting in homeosis. We also suggest regulatory feedback loops involving miRNA loci by which homeotic genes control the activity of their spatial regulators.
Modification of Commercial Force Feedback Hardware for Needle Insertion Simulation
Authors: Coles Timothy R.  , John Nigel W.  , Sofia Giuseppe  , Gould Derek A.  , Caldwell Darwin G.
Published: February 2025

A SensAble Omni force feedback device has been modified to increase the face validity of a needle insertion simulation. The new end effector uses a real needle hub and shortened needle shaft in place of the Omni's pre-fitted pen shaped end effector. This modification facilitates correct procedural training through the simulation of co-located visual and haptic cues in an augmented reality approach to simulation. The development of the new end effector is described and a pictorial guide to its manufacture and the fitting process is provided. Initial results from face validation studies bode well for the fidelity of this low cost device.
Web-based Stereoscopic Visualization for the Global Anatomy Classroom
Authors: Kaspar Mathias  , Dech Fred  , Parsad Nigel M.  , Silverstein Jonathan C.
Published: February 2025

Many projects have focused on the improvement of virtual education. We have contributed with the global virtual anatomy course for teaching students in multiple locations with stereoscopic volume rendering, audio/video conferencing and additional materials. This year we focused on further simplifying the deployment of the classroom by using the new collaborative and web-based visualization system CoWebViz, to transfer stereoscopic visualization to the classrooms. Besides the necessary hardware installations for stereoscopy, only a web browser is necessary to view and to interact with the remote 3D stereo visualization. This system proved stable, gave higher quality images and increased ease of deployment. Its success within our classroom at the University of Chicago and Cardiff University has motivated us to continue CoWebViz development.
Fundamentals of Gas Phase Plasmas for Treatment of Human Tissue
Authors: Kushner Mark J.  , Babaeva Natalia Yu.
Published: February 2025

The use of gas phase plasmas for treating human tissue is at the intersection of two disciplines – plasma physics and engineering, and medicine. In this paper, a primer will be provided for the medical practitioner on the fundamentals of generating gas phase plasmas at atmospheric pressure in air for the treatment of human tissue. The mechanisms for gas phase plasmas interacting with tissue and biological fluids will also be discussed using results from computer modeling.
CvhSlicer: An Interactive Cross-Sectional Anatomy Navigation System Based on High-Resolution Chinese Visible Human Data
Authors: Meng Q.  , Chui Y.P.  , Qin J.  , Kwok W.H.  , Karmakar M.  , Heng P.A.
Published: February 2025

We introduce the design and implementation of an interactive system for the navigation of cross-sectional anatomy based on Chinese Visible Human (CVH) data, named CvhSlicer. This system is featured in real-time computation and rendering of high-resolution anatomical images on standard personal computers (PCs) equipped with commodity Graphics Processing Units (GPUs). In order to load the whole-body dataset into the memory of a common PC, several processing steps are first applied to compress the huge CVH data. Thereafter, an adaptive CPU-GPU balancing scheme is performed to dynamically distribute rendering tasks among CPU and GPU based on parameters of computing resources. Experimental results demonstrate that our system can achieve real-time performance and has great potential to be used in anatomy education.
A Cost Effective Simulator for Education of Ultrasound Image Interpretation and Probe Manipulation
Authors: Nicolau S.A.  , Vemuri A.  , Wu H.S.  , Huang M.H.  , Ho Y.  , Charnoz A.  , Hostettler A.  , Forest C.  , Soler L.  , Marescaux J.
Published: February 2025

Ultrasonography is the lowest cost no risk medical imaging technique. However, reading an ultrasonographic (US) image as well as performing a good US probe positioning remain difficult tasks. Education in this domain is today performed on patients, thus limiting it to the most common cases. In this paper, we present a cost effective simulator that allows US image practice and realistic probe manipulation from CT data. More precisely, we tackle the issue of providing a realistic interface for the probe manipulation with a basic haptic feedback.
A Simulation Framework for Wound Closure by Suture for the Endo Stitch Suturing Instrument
Authors: Punak Sukitti  , Kurenov Sergei
Published: February 2025

Our simulation framework for wound closure by suture is designed for education and training purposes. Currently, it is designed specifically to support a simulation of the Endo StitchTMsuturing instrument by Covidien, and could be extended for other surgical instruments designed for intracorporeal suturing. The framework allows the user to perform a virtual wound closure by suture with real surgical instrument handles customized to fit on haptic devices. The wound simulation is based on a triangular surface mesh embedded in a linear hexahedral finite element mesh, whereas the suture simulation is based on a simplified Cosserat theory of elastic rods. The simulation utilizes a combination of physically-based and control-based simulations.