bluuebunny/crossref_metadata_2025 huggingface dataset:
Cost-Effectiveness of Sorafenib, Lenvatinib, and FOLFOX4 for Advanced Hepatocellular Carcinoma in China
Authors: Yang Jian , Zhao Min , Zhou Xiaolei , Yan Mu , Zhao Xuejuan , Li Fan
Published: February 2025

Objective: Liver cancer is the third leading cause of cancer mortality in China. This study assesses the cost-effectiveness of sorafenib, lenvatinib, and FOLFOX4 in the treatment of advanced hepatocellular carcinoma (HCC) to inform clinical decision-making.Material and Methods: We used a Markov model to simulate the progression of HCC and calculate Quality-Adjusted Life Years (QALYs) and Incremental Cost-Effectiveness Ratios (ICERs) under two scenarios. Costs were obtained from the Yaozhi Network, while transition probabilities and utilities were derived from the REFLECT, EACH, and CELESTIAL clinical trials. One-way sensitivity analysis and probabilistic sensitivity analysis were conducted to evaluate model robustness and parameter uncertainty.Results: In Scenario A, using market-listed prices, sorafenib, and lenvatinib were found to be more cost-effective than FOLFOX4, with ICERs of $11,635.28 and $1,499.93 per QALY, respectively, both below the cost-effectiveness threshold. In Scenario B, with centralized procurement prices, sorafenib had a negative ICER of -$7,351.26 per QALY, indicating cost savings with improved outcomes, while lenvatinib had an ICER of $2,685.99 per QALY. Sensitivity analysis revealed that drug costs, utilities of disease progression, and discount rates were key determinants of ICER values.Conclusion: Sorafenib and lenvatinib are significantly more cost-effective compared to FOLFOX4, particularly under centralized procurement pricing. These results support the inclusion of these treatments in public health policy to enhance healthcare outcomes and optimize resource allocation, thereby improving the economic and quality-of-life metrics for patients with HCC.
Perlindungan Hukum Terhadap Konsumen Atas Jaminan Produk Halal Pada Makanan Dan Minuman UMKM di Kota Bekasi
Authors: Ahmad Baihaki  , Rabiah Al Adawiah  , Naffa Rizky Hermawati
Published: February 2025

Guarantees for halal products in Indonesia are mandated by Law Number 33 of 2014 concerning Halal Product Guarantee which stipulates that every product that enters, circulates, and is traded in Indonesia must be guaranteed halal. Even according to Law Number 11 of 2020 concerning Job Creation, the obligation to fulfill halal product guarantees also applies to Micro, Small and Medium Enterprises (UMKM). This research uses a normative and empirical legal research method that seeks to examine and analyze the laws and regulations regarding halal product guarantees and the implementation of these laws on UMKM businessman in Bekasi City. Based on the results of the study, the laws and regulations regarding the guarantee of halal products have provided legal certainty for consumers. However, in implementation, the regulation has not been effective, it is proven that there are still many food and beverage products produced by UMKM in Bekasi City that do not have a halal certificate. This is due to many factors, including the relationship between the Halal Product Assurance Agency (BPJPH) with the Halal Inspection Agency (LPH) and the Indonesian Ulema Council (MUI) and related ministry institutions that have not been maximized, thus hampering the implementation of halal product guarantees. In addition, the lack of legal awareness for UMKM businessman about the importance of guaranteeing halal products has caused the rules regarding the obligation to guarantee halal products to have not been implemented optimally.
Paradigma Kedaulatan Pangan Sebagai Landasan Penanggulangan Krisis Pangan Global Dalam Perspektif Negara Hukum Kesejahteraan
Authors: Hotma P. Sibuea  , Indra Lorenly Nainggolan  , Jantarda Mauli Hutagalung
Published: February 2025

The Indonesian Constitution stipulates in Article 28H paragraph (1) as follows: “everyone has the right to live in physical and spiritual prosperity, to live and to have a good and healthy environment, and to have the right to health services”. The principle of a prosperous life as the right of every person is further regulated in Article 9 paragraph (2) of Law Number 39 of 1999 which stipulates as follows ” everyone has the right to live in peaceful, safe, peace, happy, physical and spiritual prosperity. One aspect of supporting a prosperous life is food. Food is one of the basic human needs that must be met in order to live a prosperous life. The Indonesian state and nation really understand the urgency of food in human life so that they can live in prosperity. Based on the idea of the urgency of food in a prosperous human life, Indonesia stipulates Law No. 18 of 2002 on Food. The Indonesian state is determined to achieve the ideals of "food sovereignty" as an ideal condition that is expected to support the welfare of the Indonesian nation. The Indonesian people are determined to be sovereign in the food sector in the sense of having the ability to determine food policies that guarantee the right to food so that the Indonesian people can live in prosperity. However, in reality, the world is experiencing a food crisis at this time. The reality of the food crisis that is hitting the world at this time is one of the agendas promoted by President Joko Widodo, who serves as the G-20 Presidency, as one of the main agendas of the G-20 meeting in the months ahead. Can President Joko Widodo as the G-20 Presidency garner the agreement of G-20 countries to cooperate and work together to overcome the world food crisis as one of the main agendas of the G-20 meeting? This research uses juridical-normative research methods and other research methods that are deemed necessary and can support the success of the research. According to the author, as the G-20 Presidency, President Joko Widodo will be able to forge an agreement with G-20 member countries to work together and work together to overcome the world food crisis that is happening at this time. The reason is that all G-20 member countries and all countries in the world will be affected by the global food crisis in due time, so if they do not want to be affected by the global food crisis, all G-20 member countries and the other countries on the surface of the earth must work together to tackle the global food crisis. All G-20 member countries are advised to take concrete steps to overcome the food crisis in their respective countries as has been done by Indonesia as stated in President Joko Widodo's program.
Architecture: explainable artificial intelligence and research into the creative process
Authors: Mondéjar Navarro Juan Manuel
Published: February 2025

Introduction: The Reconstruction and Assessment Methodology of the Architectural Design Process (RAM-ADP) extrapolates that used within the doctoral thesis on the Jesús Maestro Parish Group of Valencia to the study of other architectural projects, it has been systematically implemented by means of a hybrid open access digital entity as a research network and institutional repository (RN-IR), and the intervention of Explainable Artificial Intelligence (XAI) technologies whitin this virtual environment to optimise research (XAIRM) is studied. Methodology: Fundamentally, XAIRM strengthens the researcher, whose information and arguments introduction within the RN-IR trains a set of XIAs as agents, who then develop the research tasks, reviewed by the researcher before their validation within this virtual environment by documentary centres, universities, and the owning body. Results: The architectural design process organisation within an evolved and semi-automated virtual environment (XAIRM). Discussions: XAIRM involves promoting the use of AI guaranteeing information traceability from research on the creative process. Conclusions: XAI advanced applications within the RN-IR do not alter human control over the research process and allow the researcher time and effort to be optimised.
Literatura chilena y Derechos Humanos: nuevas formas de narrar la dictadura
Authors: Osorio Ureta Valeria , Pérez Seballos Simón
Published: February 2025

Introducción: Este artículo busca indagar en el rol que tiene la literatura en la construcción de la memoria colectiva de un país. En este caso, el estudio se circunscribe a Chile en el contexto de la dictadura cívico-militar (septiembre1973 a marzo 1990), un proceso complejo por su impacto y envergadura social, política y económica. Metodología: Se utilizó un análisis hermenéutico, que fue aplicado a las dos obras seleccionadas para este estudio: “Formas de volver a casa” (Alejandro Zambra) y “La dimensión desconocida” (Nona Fernández). Resultados: permitió indagar y reflexionar en conceptos que se cruzan en estas narrativas, como son la memoria e identidad. Discusión: Se estableció la relevancia que adquiere la literatura como una herramienta pedagógica para aproximar estos eventos traumáticos a las futuras generaciones. Conclusiones: Ambos textos ofrecen una profunda reflexión sobre este hito negativo en la historia de Chile, su influencia en la identidad de la sociedad y la importancia de abordar el trauma y el dolor para construir una sociedad más justa en pleno Siglo XXI.
Brand equity applied to the FMCG industry before and during the covid-19 pandemic: A case study of private label products in Ireland
Authors: Casanoves-Boix Javier , Cruz-García Ana , García-Lafuente Sonia
Published: February 2025

Introduction: This study aims to examine the significance of brand equity in private label products in Ireland, focusing on the period before and during the COVID-19 pandemic. Methodology: The sample consisted of 412 citizens of Cork (Ireland) who normally consume these kinds of products. Five-point Likert scales were used to measure the main elements of brand equity, based on the previous studies found in the literature. IBM-SPSS29 was used as a working tool. Results and discussion: The results show a positive relationship between perceptions of all variables related to brand equity both before and during COVID-19, with perceived quality being the most significant variable. There were also significant differences in mean brand equity before and during the COVID-19 pandemic. However, gender was not found to be an influential factor on mean brand equity and the other variables influencing it. Conclusions: This research, with its focus on empirical evidence, bridges the gap between theoretical concepts and real-world applications, positioning the findings as an important resource for decision-making in the competitive retail landscape.
Pengaruh Pembangunan Perpustakaan terhadap Kualitas Belajar Anak di Panti Asuhan Mizan Amanah Krukut
Authors: Rohman Dadan , Siva’ul Kamila Destin , Okta Yolanda Ranti
Published: February 2025

Tujuan penelitian ini adalah untuk menganalisis pengaruh pembangunan perpustakaan  terhadap kualitas belajar anak di Panti Asuhan Mizan Amanah Krukut. Dengan adanya perpustakaan, diharapkan anak-anak akan tertarik dan termotivasi untuk lebih giat belajar serta mengembangkan hobi membaca. Sasaran pembangunan perpustakaan ini adalah pengurus panti dan anak-anak panti agar perpustakaan dapat dijadikan tempat proses belajar mengajar, serta meningkatkan ilmu pengetahuan. Metode penelitian yang digunakan adalah metode kualitatif dengan studi pustaka, yang melibatkan pengumpulan dan analisis literatur yang relevan untuk mendapatkan pemahaman mendalam tentang pengaruh perpustakaan terhadap kualitas belajar. Hasil penelitian menunjukkan bahwa perpustakaan dapat meningkatkan proses kegiatan belajar, mendorong potensi, minat, dan bakat anak-anak, serta meningkatkan kemampuan membaca dan menulis mereka. Dengan demikian, perpustakaan memberikan dampak positif bagi anak-anak Panti Asuhan Mizan Amanah Krukut dalam menciptakan lingkungan belajar yang kondusif dan produktif.
Clinical Guidelines and Care Pathways: A Case Study Applying PROforma Decision Support Technology to the Breast Cancer Care Pathway
Authors: Patkar Vivek  , Fox John
Published: February 2025

PROforma is a formal language for modeling clinical processes that was developed by the Advanced Computation Laboratory of Cancer Research UK in 1996, together with associated tools, for creating decision support, care planning, clinical workflow management and other applications. The technology has been used to develop and evaluate a number of decision support applications in range of clinical settings. Clinical trials have been carried out and published for seven of these applications, all suggesting major positive benefits on a variety of outcome measures. The most recent and ongoing project called CREDO is an ambitious attempt to address the challenges in deploying sophisticated decision support systems in the intricate and convoluted management of chronic diseases, taking breast cancer as an example. In this chapter we describe the implementation of evidence based clinical guidelines within a complex care-pathway for patients with breast symptoms and analyse in detail the results of an evaluation study. Some important lessons learned during the process are shared and future directions are discussed.
A Genetic Model For Studying The Etiopathogenesis Of Late-Onset Idiopathic Scoliosis
Authors: Tang N.L.-S.  , Yeung H.Y.  , Lee K.M.  , Qiu X.  , Qiu Y.  , Cheng J.C.-Y.
Published: February 2025

Strong evidences support a genetic etiology of late-onset idiopathic scoliosis (IS). Previous studies showed that familial IS could account for about 10% of the disease population. Genetic predisposition for IS can be attributed to multiple genetic loci. This polygenic predisposition is supported by recent genetic linkage studies. Furthermore, we hypothesize that additional genetic and environmental factor are determinants of disease progression which may be different from those related to disease predisposition. Therefore, a genetic model of etiopathogenesis of IS is proposed. The role of variation in genes related to the skeletal growth was studied in 600 adolescent girls with IS and 300 healthy age-matched controls. These variations were investigated for association with disease predisposition and/or disease progression. For the disease predisposition, genotypes were compared between the cases and controls. For disease progression, genotypes of the severe IS patients were compared to mild non-progressive IS patients. Estrogen receptor alpha gene and growth hormone receptor gene were not associated with either occurrence or curve severity of IS. Melatonin receptor 2 and collagen type I alpha 2 genes were associated with predisposition to IS and not with the progression. Insulin-like growth factor I was a determinant of disease progression alone. Our ongoing genetic study strongly suggests that different sets of genes are responsible for the initiation and curve progression in late onset IS. It is likely that differential roles may be found for various environmental/anthropometric factors. The late-onset of IS fits to the model of complex trait disease.
A significant number of patients with AIS exhibit transverse plane pelvis deformation
Authors: Meunier J.E.  , Aubin C.-E.  , Labelle H.  , Sangole A.  , Jackson R.  , Lenke L.  , Newton P.
Published: February 2025

Normal pelvis is generally considered symmetric with respect to the sagittal plane. Although a scoliotic spine exhibits curve asymmetry in the coronal plane it is yet to be established whether it is also accompanied by pelvic deformity. Radiographic measurements in the coronal plane are not always aligned. It is therefore difficult to gauge if the apparent pelvic rotation is due to global rotation in the radiographic plane or a true pelvic deformation attributed to the scoliotic deformity. Our objective was therefore to examine pelvic deformity in the transverse plane after eliminating any orientation misalignment due to global rotation in the radiographic plane. 43 AIS patients (26 Lenke-1, 7 Lenke-5), and 29 normal controls, reviewed by the 3D Classification Committee of the SRS, were evaluated using 3D reconstructions of coronal and lateral standing radiographs. This allowed computing 3 vertical axes passing through the center of the pubis (CPVA), the middle of the femoral head axis (CHVA) and the central sacral vertical line (CSVL). Their coplanarity was analyzed with and without mathematically realigning the femoral heads in the coronal plane. If the 3 axes were inside a corridor of ±2 mm before and after realigning the femoral heads, the pelvis was considered as being ‘normal’ and symmetric. The pelvis was considered as deformed if the 3 axes were outside the ±2 mm limits (before and after realigning the femoral heads in the coronal plane). 35% of Lenke-1 patients had a deformed pelvis while it reaches 47% for Lenke-5 cases. Only two Lenke-1 patients were globally rotated with respect to the radiographic plane. No pelvis deformity was observed in 86% of the control group. Deformation of the pelvis is frequent, even in thoracic scoliosis. Asymmetry of the iliac wings in the transverse plane is a true deformity of the pelvis in AIS. The cause of this deformity and its link with the deformation of the scoliotic spine needs to be further investigated.
A Tripartite Scorecard for the Pay/No pay Decision-Making in the Retail Banking Industry
Authors: Sousa Maria Rocha  , da Costa Joaquim Pinto
Published: February 2025

Traditionally retail banks have supported the credit decision-making on scorecards developed for predicting default in a six-month period or more. However, the underlying pay/no pay cycles justify a decision in a 30-day period. In this work several classification models are built on this assumption. We start by assessing binary scorecards, assigning credit applicants to good or bad risk classes according to their record of defaulting. The detection of a critical region between good and bad risk classes, together with the opportunity of manually classifying some of the credit applicants, led us to develop a tripartite scorecard, with a third output class, the review class, in-between the good and bad classes. With this model 87% decisions are automated, which compares favourably with the 79% automation rate of the actual scorecards.
Word Sense Induction Using Graphs of Collocations
Authors: Klapaftis Ioannis P.  , Manandhar Suresh
Published: February 2025

Word Sense Induction (WSI) is the task of identifying the different senses (uses) of a target word in a given text. Traditional graph-based approaches create and then cluster a graph, in which each vertex corresponds to a word that co-occurs with the target word, and edges between vertices are weighted based on the co-occurrence frequency of their associated words. In contrast, in our approach each vertex corresponds to a collocation that co-occurs with the target word, and edges between vertices are weighted based on the co-occurrence frequency of their associated collocations. A smoothing technique is applied to identify more edges between vertices and the resulting graph is then clustered. Our evaluation under the framework of SemEval-2007 WSI task shows the following: (a) our approach produces less sense-conflating clusters than those produced by traditional graph-based approaches, (b) our approach outperforms the existing state-of-the-art results.
Optimizing Causal Link Based Web Service Composition
Authors: Lécué Freddy  , Delteil Alexandre  , Léger Alain
Published: February 2025

Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptions, it becomes conceivable to exploit causal links i.e., semantic matching between their functional parameters (i.e., outputs and inputs). The semantic quality of causal links involved in a composition can be then used as a innovative and distinguishing criterion to estimate its overall semantic quality. Therefore non functional criteria such as quality of service (QoS) are no longer considered as the only criteria to rank compositions satisfying the same goal. In this paper we focus on semantic quality of causal link based semantic Web service composition. First of all, we present a general and extensible model to evaluate quality of both elementary and composition of causal links. From this, we introduce a global causal link selection based approach to retrieve the optimal composition. This problem is formulated as an optimization problem which is solved using efficient integer linear programming methods. The preliminary evaluation results showed that our global selection based approach is not only more suitable than the local approach but also outperforms the naive approach.
SLIDE: A Useful Special Case of the CARDPATH Constraint
Authors: Bessiere Christian  , Hebrard Emmanuel  , Hnich Brahim  , Kiziltan Zeynep  , Walsh Toby
Published: February 2025

We study the CARDPATH constraint. This ensures a given constraint holds a number of times down a sequence of variables. We show that SLIDE, a special case of CARDPATH where the slid constraint must hold always, can be used to encode a wide range of sliding sequence constraints including CARDPATH itself. We consider how to propagate SLIDE and provide a complete propagator for CARDPATH. Since propagation is NP-hard in general, we identify special cases where propagation takes polynomial time. Our experiments demonstrate that using SLIDE to encode global constraints can be as efficient and effective as specialised propagators.
Compressing Pattern Databases with Learning
Authors: Samadi Mehdi  , Siabani Maryam  , Felner Ariel  , Holte Robert
Published: February 2025

A pattern database (PDB) is a heuristic function implemented as a lookup table. It stores the lengths of optimal solutions for instances of subproblems. Most previous PDBs had a distinct entry in the table for each subproblem instance. In this paper we apply learning techniques to compress PDBs by using neural networks and decision trees thereby reducing the amount of memory needed. Experiments on the sliding tile puzzles and the TopSpin puzzle show that our compressed PDBs significantly outperforms both uncompressed PDBs as well as previous compressing methods. Our full compressing system reduced the size of memory needed by a factor of up to 63 at a cost of no more than a factor of 2 in the search effort.
Hybrid tractable CSPs which generalize tree structure
Authors: Cooper Martin C.  , Jeavons Peter G.  , Salamon András Z.
Published: February 2025

The constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable progress has been made in identifying properties which ensure tractability in such problems, such as the property of being tree-structured. In this paper we introduce the broken-triangle property, which allows us to define a hybrid tractable class for this problem which significantly generalizes the class of problems with tree structure. We show that the broken-triangle property is conservative (i.e., it is preserved under domain reduction and hence under arc consistency operations) and that there is a polynomial-time algorithm to determine an ordering of the variables for which the broken-triangle property holds (or to determine that no such ordering exists). We also present a non-conservative extension of the broken-triangle property which is also sufficient to ensure tractability and can be detected in polynomial time.
A Practical Temporal Constraint Management System for Real-Time Applications
Authors: Hunsberger Luke
Published: February 2025

A temporal constraint management system (TCMS) is a temporal network together with algorithms for managing the constraints in that network over time. This paper presents a practical TCMS, called MYSYSTEM, that efficiently handles the propagation of the kinds of temporal constraints commonly found in real-time applications, while providing constant-time access to “all-pairs, shortest-path” information that is extremely useful in many applications. The temporal network in MYSYSTEM includes special time-points for dealing with the passage of time and eliminating the need for certain common forms of constraint propagation. The constraint propagation algorithm in MYSYSTEM maintains a restricted set of entries in the associated all-pairs, shortest-path matrix by incrementally propagating changes to the network either from adding a new constraint or strengthening, weakening or deleting an existing constraint. The paper presents empirical evidence to support the claim that MYSYSTEM is scalable to real-time planning, scheduling and acting applications.
Learning in Planning with Temporally Extended Goals and Uncontrollable Events
Authors: Ciré André A.  , Botea Adi
Published: February 2025

Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution plan. This paper introduces a planning model that combines temporally extended goals and uncontrollable events. The planning task is to reach a state such that all event sequences generated from that state satisfy the problem's temporally extended goal. A real-life application that motivates this work is to use planning to configure a system in such a way that its subsequent, non-deterministic internal evolution (nominal behavior) is guaranteed to satisfy a condition expressed in temporal logic.
A new CBR approach to the oil spill problem
Authors: Corchado Juan Manuel  , Mata Aitor  , De Paz Juan Francisco  , Del Pozo David
Published: February 2025

Oil spills represent one of the most destructing environmental disasters. Predicting the possibility of finding oil slicks in a certain area after an oil spill can be crucial in order to reduce the environmental risks. The system presented here forecasts the presence or not of oil slicks in a certain area of the open sea after an oil spill using Case-Based Reasoning methodology. CBR is a computational methodology designed to generate solutions to a certain problem by analysing previous solutions given to previous solved problems. The proposed system wraps other artificial intelligence techniques such as a Radial Basis Function Networks, Growing Cell Structures and Principal Components Analysis in order to develop the different phases of the CBR cycle. CBR systems have never been used before to solve oil slicks problems. The proposed system uses information obtained from various satellites such as salinity, temperature, pressure, number and area of the slicks... OSCBR system has been able to accurately predict the presence of oil slicks in the north west of the Galician coast, using historical data.
Intelligent adaptive monitoring for cardiac surveillance
Authors: Callens Lucie  , Carrault Guy  , Cordier Marie-Odile  , Fromont Elisa  , Portet François  , Quiniou René
Published: February 2025

Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the clinician operator. Deeper knowledge is needed to discriminate among alarms those that necessitate urgent therapeutic action. We propose an intelligent monitoring system that makes use of many artificial intelligence techniques: artificial neural networks for temporal abstraction, temporal reasoning, model based diagnosis, decision rule based system for adaptivity and machine learning for knowledge acquisition. To tackle the difficulty of taking context change into account, we introduce a pilot aiming at adapting the system behavior by reconfiguring or tuning the parameters of the system modules. A prototype has been implemented and is currently experimented and evaluated. Some results, showing the benefits of the approach, are given.
Using Natural Language Generation Technology to Improve Information Flows in Intensive Care Units
Authors: Hunter Jim  , Gatt Albert  , Portet François  , Reiter Ehud  , Sripada Somayajulu
Published: February 2025

In the drive to improve patient safety, patients in modern intensive care units are closely monitored with the generation of very large volumes of data. Unless the data are further processed, it is difficult for medical and nursing staff to assimilate what is important. It has been demonstrated that data summarization in natural language has the potential to improve clinical decision making; we have implemented and evaluated a prototype system which generates such textual summaries automatically. Our evaluation of the computer generated summaries showed that the decisions made by medical and nursing staff after reading the summaries were as good as those made after viewing the currently available graphical presentations with the same information content. Since our automatically generated textual summaries can be improved by including additional content and expert knowledge, they promise to enhance information exchange between the medical and nursing staff, particularly when integrated with the currently available graphical presentations. The main feature of this technology is that it brings together a diverse set of techniques such as medical signal analysis, knowledge based reasoning, medical ontology and natural language generation. In this paper we discuss the main components of our approach with a critical analysis of their strengths and limitations and present options for improvement to address these limitations.
Automating Accreditation of Medical Web Content
Authors: Karkaletsis Vangelis  , Karampiperis Pythagoras  , Stamatakis Konstantinos  , Labský Martin  , Ruring; žička Marek  , Svátek Vojtěch  , Cabrera Enrique Amigó  , Pöllä Matti  , Mayer Miquel Angel  , Leis Angela  , Villarroel Gonzales Dagmar
Published: February 2025

The increasing amount of freely available health-related web content generates, on one hand, excellent conditions for self-education of patients as well as physicians, but on the other hand entails substantial risks if such information is trusted irrespective of low competence or even bad intentions of its authors. This is why medical web resources accreditation by renowned authorities is of high importance. However, various health web content surveys show that the proportion of accredited web resources is insufficient due to the difficulty of the labeling authorities to cope with the amount and dynamics of the medical web. In this paper, we address the problem of automating the accreditation of medical web content. To this end, we present a system which provides the infrastructure and the means to organize and support various aspects of the daily work of labeling experts, exploiting web content collection and information extraction techniques.
A Formal Approach for RDF/S Ontology Evolution
Authors: Konstantinidis George  , Flouris Giorgos  , Antoniou Grigoris  , Christophides Vassilis
Published: February 2025

In this paper, we consider the problem of ontology evolution in the face of a change operation. We devise a general-purpose algorithm for determining the effects and side-effects of a requested elementary or complex change operation. Our work is inspired by belief revision principles (i.e., validity, success and minimal change) and allows us to handle any change operation in a provably rational and consistent manner. To the best of our knowledge, this is the first approach overcoming the limitations of existing solutions, which deal with each change operation on a per-case basis. Additionally, we rely on our general change handling algorithm to implement specialized versions of it, one per desired change operation, in order to compute the equivalent set of effects and side-effects.This work was partially supported by the EU projects CASPAR (FP6-2005-IST-033572) and KP-LAB (FP6-2004-IST-27490).
Propositional merging operators based on set-theoretic closeness
Authors: Everaere Patricia  , Konieczny Sébastien  , Marquis Pierre
Published: February 2025

In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile. Closeness is, in this context, measured as a number resulting from the aggregation of the distances to each base of the profile. In this work we define a new familly of propositional merging operators, close to such distance-based merging operators, but relying on a set-theoretic definition of closeness, already at work in several revision/update operators from the literature. We study a specific merging operator of this family, obtained by considering set-product as the aggregation function.
Improving robustness in consistency-based diagnosis using possible conflicts
Authors: Pulido Belarmino  , Bregon Anibal  , Alonso-González Carlos
Published: February 2025

Behaviour simulation in Consistency-based Diagnosis requires knowing the initial value. This assumption is not easily fulfilled in real systems, even in the presence of measurements related to state variables due to noise and parameter uncertainties.
Verifying the Conformance of Agents with Multiparty Protocols
Authors: Giordano Laura  , Martelli Alberto
Published: February 2025

The paper defines a notion of conformance of a set of k agents with a multiparty protocol with k roles, requiring the agents to be interoperable and to produce correct executions of the protocol. Conditions are introduced that enable each agent to be independently verified with respect to the protocol.
Addressing Temporal Aspects of Privacy-Related Norms
Authors: Piolle Guillaume  , Demazeau Yves
Published: February 2025

Agents interacting in open environments such as Internet are often in charge of personal information. In order to protect the privacy of human users, such agents have to be aware of the normative context regarding personal data protection (applicable laws and other regulations). These privacy-related norms usually refer to deadlines and durations. To represent these regulations, we introduce the Deontic Logic for Privacy; this logic represents privacy-related obligations while providing the required temporal expressiveness.
Trust Aware Negotiation Dissolution
Authors: Hormazábal Nicolás  , de la Rosa i Esteva Josep Lluis  , Aciar Silvana
Published: February 2025

In this paper we propose a recommender system that suggests the best moment to end a negotiation. The recommendation is made from a trust evaluation of every agent in the negotiation based on their past negotiation experiences. For this, we introduce the Trust Aware Negotiation Dissolution algorithm.
Symbolic Classification of General Multi-Player Games
Authors: Kissmann Peter  , Edelkamp Stefan
Published: February 2025

For general two-player turn-taking games, first solvers have been contributed. Algorithms for multi-player games like Maxn, however, cannot classify general games robustly, and its extension Soft-Maxn, which can play optimally against unknown and weak opponents, demands large amounts of memory. As RAM is a scarce resource, this paper proposes a memory-efficient implementation of the Soft-Maxnalgorithm, by exploiting the functional representation of state and evaluation sets with BDDs.
Redundancy in CSPs
Authors: Chmeiss Assef  , Krawczyk Vincent  , Sais Lakhdar
Published: February 2025

In this paper, we propose a new technique to compute irredundant sub-sets of constraint networks. Since, checking redundancy is Co-NP Complete problem, we use different polynomial local consistency entailments for reducing the computational complexity. The obtained constraint network is irredundant modulo a given local consistency. Redundant constraints are eliminated from the original instance producing an equivalent one with respect to satisfiability. Eliminating redundancy might help the CSP solver to direct the search to the most constrained (irredundant) part of the network.
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
Authors: Bercher Pascal  , Mattmüller Robert
Published: February 2025

In contrast to classical planning, in adversarial planning, the planning agent has to face an adversary trying to prevent him from reaching his goals. In this paper, we investigate a forwardchaining approach to adversarial planning based on the AO*algorithm. The exploration of the underlying AND/OR graph is guided by a heuristic evaluation function, inspired by the relaxed planning graph heuristic used in the FF planner. Unlike FF, our heuristic uses an adversarial planning graph with distinct proposition and action layers for the protagonist and antagonist. First results suggest that in certain planning domains, our approach yields results competitive with the state of the art.
The Lecture Contents with the Captions by Using Meaningful Reception Learning
Authors: Yaegashi Rihito  , Uenosono Kazuhiro  , Enokizu Hedezi  , Komiya Seiichi
Published: February 2025

There are some programs which give the Malaysian students the pre-education for studying in Japan such as JAD program (Japan Associate Degree Program) in Malaysia. In these programs, it is impossible for the lecturers who are dispatched from Japan to cover all the majors. Therefore, they often give some lessons by the distance learning from Japan, but they have not got the sufficient educational effect yet. Distance learning are the real-time lecture which Japanese lectures give to Japanese students, or the lecture contents which just record these lectures. It is very difficult for the students at JAD programs who are not Japanese natives to understand all the contents of these distance learning. From these background, JAD Program makes the lecture contents with the captions for all the sentences, and conducts the distance learning.
Knowledge-base representation and reasoning for the autonomic management of pervasive healthcare
Authors: Katsiri Eleftheria
Published: February 2025

Two recent programming paradigms, Body Area Networks (BAN) and Body Sensor Networks (BSNs) interact with a ubiquitous computing environment in order to monitor the health and well being of patients in hospitals or at home. Previous work in DSE, Imperial College, discusses the Self Managed Cell (SMC), as the basic architectural pattern of self-configuring and self-managing BAN networks. Devices in BANs become autonomic, by specifying their behavior reactively, in terms of the Ponder2 policy language. As a result, such networks require very little or no user input in order to adapt autonomously to changes in the users' environment, resulting from user activity, device failure, and the addition or loss of services.
Leveraging use cases in developing service-oriented systems
Authors: Takada Shingo
Published: February 2025

Service-oriented systems are systems that combine services that are dispersed over the Internet. System development is normally done by defining a business process or workflow which specifies which services are to be invoked in what order. The specification of the workflow can be done in a top down manner, i.e., the developer first develops an initial specification (workflow), searches for Web services, and then refines the workflow so that the Web services can be invoked. In this paper, we propose supporting the development of the workflow (specifically BPEL document) by suggesting previous development results that could be reused. We focus on requirements (specifically use cases) and correlate use case steps with BPEL activities. This information is stored in a repository. When developing a new service-oriented system, the developer first describes a new use case. This is used to search for similar use cases and their corresponding BPEL documents. The developer uses the information to define the new service-oriented system.
Error-Tolerant Data Mining
Authors: Wu Xindong
Published: February 2025

Data mining seeks to discover novel and actionable knowledge hidden in the data. As dealing with large, noisy data is a defining characteristic for data mining, where the noise in a data source comes from, whether the noisy items are randomly generated (called random noise) or they comply with some types of generative models (called systematic noise), and how we use these data errors to boost the succeeding mining process and generate better results, are all important and challenging issues that existing data mining algorithms can not yet directly solve.
Cognitive Systems in the Scope of Modern European Strategic Priorities
Authors: Chochliouros Ioannis P.  , Spiliopoulou Anastasia S.
Published: February 2025

Cognitive systems are a fundamental prospect of innovation and growth activities in the European Union (and worldwide) as they are able to perceive, reason and vigorously interact in modern digital operational environments by interpreting received information and acting purposefully (and autonomously) towards achieving specific goals. Their effective use will help open up new technological and business opportunities for industry and will affect an immense variety of the underlying market sectors-domains, especially by offering major innovative opportunities and facilities, aligned to the perspective of network and service convergence. Cognitive networks constitute a very significant strategic priority for the European Union policy context and actual corresponding research effort has been identified as one of the European key priority research areas. In the scope of the present work we discuss recent European initiatives and we assess the potential motivation for further development. We evaluate essential features of innovative cognitive systems, as outlined by the European strategic framework for growth. In addition, we identify several targeted areas where further progress is expected and we analyze the impact on the market sector, by identifying several categories of market players (users, network operators, manufacturers, service and application providers). As cognitive systems have the potential to address (and to satisfy) an extended variety of both modern technical- and business-related characteristics, while being fully in line with the European policies for development, they hold great promise for future wide-scale applications.
Technical Metadata and Standards for Digitisation of Cultural Heritage in Poland
Authors: Płoszajski Grzegorz
Published: February 2025

The digitisation of national heritage is supported in Poland by the government who want to establish standards and recommendations that could be used by all types of cultural institutions and organizations involved in digitisation process, including museums, libraries and archives. This paper describes an approach to establishing standards concerning technical aspects of digitisation, first of all technical and structural metadata and a set of rules, parameters and formats. The presented solutions are based on an unpublished report prepared by a working team.
Developing a Unique Collaborative System – “Optimization-Ware” Using a Novel Massive Data Retrieval/Management Approach
Authors: Maruta R.  , Hayashida S.  , Taniguchi N.  , Sugawara K.  , Sengoku M.  , Shoji W.
Published: February 2025

This paper describes a unique collaborative system based on a knowledge database. First its functional mechanisms, typical usages by users and the merits observed over long-term internal testing are described in detail. Then, the issues to overcome barriers for handling massive and growing volumes of data are discussed, and a novel and promising data handling method that can be used in place of conventional DBMS is presented. Performance evaluations in an actual environment using the proposed method demonstrated drastic improvements.
An Ontology-Driven Approach for Generating Assessments for the Scrum Software Process
Authors: Zualkernan Imran A.
Published: February 2025

It is important for software engineers to have a correct understanding of the software process they are following. Recently, standards for process modeling like OMG's Software Process Engineering Meta-Model (SPEM) and associated tools like the Eclipse Process Framework (EPF) have emerged. These standards allow a fine-grained description of a process to be conveyed to a software engineer in the form of specialized websites. However, a mechanism to determine how well a software engineer really understands a particular software process is still lacking. This paper presents a competency framework for software process understanding An ontology and a system that automatically generates such assessments for the Scrum software engineering process is also described. Protégé is used to construct the ontology while Jena 2 and Velocity are used to generate IMS QTI-based assessments that are automatically converted to Adobe Flash Lite format. The assessments are rendered over the internet and the results are directly stored in the Moodle learning management system.
Some Observations on Elusion, Enrichment and Domination
Authors: Davies Guy  , Ekenberg Love
Published: February 2025

Conceptual schemata each representing some component of a system in the making, can be integrated in a variety of ways. Herein, we explore some fundamental notions of this. More particularly, we investigate some ways in which integration through correspondence assertions affects the interrelationship of two component schemata. One of the consequences of combining schemata is the appearance of events, for the united schema, that allow spurious transitions between models, transitions that would not have been possible in one of the original schemata. Much previous work has focussed on dominance with regard to preservation of information capacity as a primary integration criterion. However, even though it is desirable that the information capacity of a combined schema dominate one or both of its constituent schemata, we here discuss some aspects of why domination based on information capacity is insufficient for the integration to be semantically satisfactory.
Experiments with a Creativity-Support System based on Perceptual Similarity
Authors: Indurkhya Bipin  , Kattalay Kailash  , Ojha Amitash  , Tandon Pradhee
Published: February 2025

Metaphors based on perceptual similarity are considered to be one of the hallmarks of creativity. We propose here an image-based retrieval system for generating pairs of perceptually similar images. A number of examples of images paired by the system are presented and discussed. Often, these images are conceptually very different, and hence can serve as anchors for perceptual metaphors that create new conceptual similarities.
Fragmented Programming of Library Parallel Numerical Subroutines
Authors: Malyshkin Victor
Published: February 2025

In the paper the technology of fragmented programming supporting the development of parallel library numerical subroutines is consideration.
A Data Protection Framework for Transeuropean genetic research projects
Authors: Claerhout Brecht  , Forgó Nikolaus  , Krügel Tina  , Arning Marian  , De Moor Georges
Published: February 2025

The paper proposes a data protection framework for trans-European medical research projects, which is based on a technical security infrastructure as well as on organizational measures and contractual obligations. It mainly relies on pseudonymization, an internal Data Protection Authority and on a Trusted Third Party. The outcome is an environment that combines both good research conditions and an extensive protection of patients' privacy.
Towards Principles for Ontology Integration
Authors: Özçep Özgür L.
Published: February 2025

Resolving conflicts based on ambiguities in the public vocabulary is one of the challenges in semantic integration. Though different suggestions for resolving (ambiguity) conflicts with semantic integration operators exist, there is still a need for clear formalizations of adequacy criteria for the operators. In this article, adequacy criteria for semantic integration similar to rationality postulates of classical belief revision but adjusted to the semantic integration scenario are formalized. The criteria are intended to capture integration settings in which the integration candidates are well developed ontologies with a shared public vocabulary. In such cases, both ontologies have to be preserved in some form in the integration result and have to be recoverable from the integration result. Additionally, the integration result has to be consistent and provide connections between the integrated ontologies. The criteria are applied by evaluating a small collection of integration operators that solve conflicts deriving from ambiguities in the public vocabulary.