bluuebunny/crossref_metadata_2025 huggingface dataset:
Nodal Security in the Ports of Rotterdam and Antwerp
Authors: van Sluis Arie  , Marks Peter  , Gilleir Fien  , Easton Marleen
Published: February 2025

In “Nodal security in the ports of Rotterdam and Antwerp” the authors explore the differences and similarities between the ports of Rotterdam and Antwerp in the way an integrated approach, the nodal approach of security, has been moulded. The authors clarify the concepts of the nodal orientation, of nodal strategies and of nodal security governance. They describe the way in which the key players in the ports of Rotterdam and Antwerp (port authorities, customs and the police) have put these concepts into practice and the governance-like structures that have evolved out of their mutual cooperation.
Collaborative Decision Making at the Client Interface: An Exploratory Case Study of Service Co-production
Authors: Grace Audrey  , Finnegan Patrick  , Butler Tom
Published: February 2025

Service co-production of a complex service is a type of collaborative decision making between a service professional and an individual client that necessitates high levels of interaction and information sharing between these two parties. This process culminates in a collaborative decision on an appropriate service to suit the individual needs and preferences of the client. These types of collaborative decisions are under-researched and this poses a significant constraint on organizations who are encountering a growing demand from clients to be involved in decisions about how services should be customized for them. In particular, there is a paucity of research on how information systems support these types of collaborative decisions. Our study involves an exploratory case study of collaborative decision making on complex financial services between service professionals and high-net-worth clients. The paper illustrates how such collaborative decisions are reached primarily through the service professional and the client learning from each other, building a trusting relationship and adjusting to each other – in a series of highly participative face-to-face service interactions. Our analysis exposes some limitations of information systems in supporting the type of learning, relationship building and adjustment that is required. We conclude by outlining the implications for IS research and practice.
An Environmentally Friendly DSS for Agricultural Production Planning
Authors: Bournaris Thomas  , Papathanasiou Jason
Published: February 2025

The EU Water Decision Support System has been developed in the context of the research project entitled EU Water (http://eu-water.eu, financed by the South East Europe Transnational Cooperation Programme). The DSS is designed bearing in mind the “ease of use” aspect and is based on the related GIS Maps created using LOS Indices developed for EU Water project. It is an important planning tool enabling regional authorities to design sustainable agricultural policies best applicable to the area. The implementation of the DSS optimizes the farm plan of the pilot area taking into account the available resources (land, labour, capital) and environmental parameters (nitrate reduction, water consumption, etc). It is further used to simulate different scenarios and policies due to changes on different social, economic and environmental parameters (e.g. different levels of chemicals or water consumption per crop). The model behind the DSS is an Optimization Multicriteria Mathematical Programming (OMMP) model based on Weighted Goal Programming techniques and the selected area for implementing the pilot action is a part of the Sarigkiol basin in Northern Greece.
Anti-Viral Immunotherapy After Allogeneic Hematopoietic Stem Cell Transplantation
Authors: Decot V.  , Bensoussan D.
Published: February 2025

Viral infections represent one of the main causes of morbidity and mortality following Hematopoietic Stem Cell Transplantation. Anti-viral treatment failure may be explained by absence of specific immune reconstitution. In the 1990s, anti-viral immunotherapy initially consisting in total donor lymphocyte infusion presented efficiency but was often associated with adverse effects. Specific antiviral immunotherapy emerged and relied on isolation of mono or multi-virus donor-derived-specific T cells with or without in vitro expansion. During the last ten years, such an adoptive transfer has been proved feasible, and helpful in specific anti-viral immune reconstitution, and rarely associated with advers events. Two main evolutions contributed to allow a good reactivity to propose immunotherapy in case of anti-viral treatment failure: development of allogeneic CTL banks and improvement of CTL isolation methods using immunomagnetic technology which presents the advantage to be fast.
Gene Therapy for the Treatment of Genetic Muscle Disease
Authors: Proto Jonathan D.  , Wang Bing
Published: February 2025

With decades of research completed, rAAV-based gene therapies for muscle diseases such as DMD have finally progressed to clinical trials. Multiple approaches, such as gene replacement with mini-dystrophin, gene correction by exon skipping, and reducing chronic inflammation, show promise for the future. Obstacles encountered during human trials have led to novel strategies, including the generation of rAAV pseudo-types, the construction of modified muscle specific promoters, and targeted capsid modifications.
Articular Cartilage Engineering
Authors: Huselstein C.  , de Isla N.  , Tritz J.  , Stoltz J.F.
Published: February 2025

Injuries to articular cartilage are one of the most challenging issues of musculoskeletal medicine due to the poor intrinsic ability of this tissue for repair. Despite progress in orthopaedic surgery, cell-based surgical therapies such as autologous chondrocyte transplantation (ACT) have been in clinical use for cartilage repair for over a decade but this approach has shown mixed results. Moreover, the lack of efficient modalities of treatment for large chondral defects has prompted research on tissue engineering combining chondrogenic cells, scaffold materials and environmental factors.
Cell Therapy of Burns
Authors: Alexaline Maïa  , Thepenier Cédric  , Trouillas Marina  , Leclerc Thomas  , Desmouliere Alexis  , Benderriter Marc  , Lataillade Jean-Jacques
Published: February 2025

Severe burns remain a life threatening local and general inflammatory disease with often heavy sequelae, despite remarkable progress in their treatment in the last three decades. Cultured epidermal autografts, the first and still up-to-date cell therapy of burns, played a key role in that progress, and their drawbacks should be reduced with cultured dermal-epidermal substitutes. This review focuses on what could be the next major breakthrough in cell therapy of burns: mesenchymal stromal cells (MSCs). After summarizing current knowledge, including our own clinical experience, about MSCs in the pioneer field of cell therapy in radiation-induced burns, we discuss the strong rationale supporting the potential interest of MSCs in the treatment of thermal burns, including limited but promising pre-clinical and clinical data in wound healing and other acute inflammatory diseases.
Circulating Stem Cells Including Endothelial Progenitor Cells
Authors: Decot Véronique  , Bensoussan Danièle  , Menu Patrick  , Stoltz Jean-Francois
Published: February 2025

One of the greatest challenges in cell therapy is to deliver viable stem cells to injured tissues with a high engraftment efficiency. Some studies have shown that under physiological conditions, stem cells may be mobilized by cytokines or growth factors which allow them to leave their niche and home into peripheral tissues. To improve this phenomenon, recombinant proteins or pharmacological agents are now widely used. In this review we will focused on the three main types of circulating stem cells: hematopoietic stem cells, endothelial progenitor cells and mesenchymal stem cells.
Three Semantics for the Core of the Distributed Ontology Language
Authors: Mossakowski Till  , Lange Christoph  , Kutz Oliver
Published: February 2025

The Distributed Ontology Language DOL, which is currently being standardised as ISO WD 17347 within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3, aims at providing a unified framework for (1) ontologies formalised in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies.
Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis
Authors: Umemura Masahiro  , Kaiya Haruhiko  , Ogata Shinpei  , Kaijiri Kenji
Published: February 2025

Quality requirements such as security, usability and performance should be defined in the early stage of the software development because they give large effects to the costs and efforts of the following stages. In addition, we have to confirm such quality requirements are correctly considered in the intermediate software artifacts such as design documents to avoid unnecessary redo of work. In this paper, we propose a method for confirming quality requirements considerations in a design document. The method enables software designers to avoid the oversight and the overabundance about the design related to quality requirements. To evaluate the method, we applied the method to several commercial software systems, and confirmed the method worked well.
NORMC: a Norm Compliance Temporal Logic Model Checker
Authors: Kaźmierczak Piotr  , Pedersen Truls  , ågotnes Thomas
Published: February 2025

We describe NORMC, a model checker for Norm Compliance CTL, a temporal logic for reasoning about compliance in normative systems, implemented in the Haskell programming language. NORMC is intended as a tool for students, researchers, and practitioners to learn about and understand normative systems, and as an exploratory tool for researchers in multi-agent systems. The objectives of the paper are twofold. First, to give a system description of NORMC. Second, to argue and demonstrate that the Haskell programming language is a natural and useful alternative for model checking multi-agent systems; in particular that the full power of Haskell makes it easy to describe arbitrary multi-agent state-transition models in a natural way.
Toward an Activity Theory Based Model of Spatio-Temporal Interactions
Authors: Suchan Jakob  , Bhatt Mehul
Published: February 2025

Spatial assistance systems designed to empower people in smart environments need to perceive their operational environment, recognize activities performed in the environment, and reason about the observed information in order to plan a course of action. Activities performed by humans are spatio-temporal interactions between a subject, objects, and the (potential) group-based context in which they are performed. Activities mediate and develop space and manifest in spatio-temporal interactions of humans with the environment and the artefacts within. We propose a human-centred activity-theoretic model for the description of activities by their motives and goals. The model itself is grounded with respect to the spatio-temporal interactional characteristics of the activities being modelled. This description serves as a first step towards bridging the gap between sensor readings and high-level reasoning about space, actions, and change within a logic-based commonsense reasoning framework. To illustrate our ideas we introduce a work-in-progress smart meeting scenario, an overarching scenario that provides a developmental basis for the ongoing doctoral research described in this contribution.
A Study of Local Minimum Avoidance Heuristics for SAT
Authors: Duong Thach-Thao  , Pham Duc Nghia  , Sattar Abdul
Published: February 2025

Stochastic local search for satisfiability (SAT) has successfully been applied to solve a wide range of problems. However, it still suffers from a major shortcoming, i.e. being trapped in local minima. In this study, we explore different heuristics to avoid local minima. The main idea is to proactively avoid local minima rather than reactively escape from them. This is worthwhile because it is time consuming to successfully escape from a local minimum in a deep and wide valley. In addition, revisiting an encountered local minimum several times makes it worse. Our new trap avoidance heuristics that operate in two phases: (i) learning of pseudo-conflict information at each local minimum, and (ii) using this information to avoid revisiting the same local minimum. We present a detailed empirical study of different strategies to collect pseudo-conflict information (using either static or dynamic heuristics) as well as to forget the outdated information (using naive or time window smoothing). We select a bench-mark suite that includes all random and structured instances used in the 2011 SAT competition and three sets of hardware and software verification problems. Our results show that the new heuristics significantly outperform existing stochastic local search solvers (including Sparrow2011 - the best local search solver for random instances in the 2011 SAT competition) on all tested benchmarks.
Knowledge-Based Programs as Plans
Authors: Lang Jérôme  , Zanuttini Bruno
Published: February 2025

Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly underlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more online computation time. Here we compare KBPs and standard plans according to succinctness and to the complexity of plan verification.
Efficient Norm Emergence through Experiential Dynamic Punishment
Authors: Mahmoud Samhar  , Griffiths Nathan  , Keppens Jeroen  , Luck Michael
Published: February 2025

Peer punishment has been an effective means to ensure that norms are complied with in a population of self-interested agents. However, current approaches to establishing norms have only considered static punishments, which do not vary with the magnitude or frequency of norm violation. Such static punishments are difficult to apply because it is difficult to identify an appropriate fixed penalty: one that is not too weak to disincentivise norm violations and not too strong to lead to significant deleterious effects on the system as a whole (such as those incurred by losing the benefits of a member of the population). This paper addresses this concern by developing an adaptive punishment technique that tailors penalty to norm violation. An experimental evaluation of the approach demonstrates its value compared to static punishment. In particular, the results show that our dynamic punishment technique is capable of achieving norm emergence, even when starting with an amount of punishment that is too low to achieve emergence in the traditional static approach.
Routing for Continuous Monitoring by Multiple Micro AVs in Disaster Scenarios
Authors: Mersheeva Vera  , Friedrich Gerhard
Published: February 2025

In disaster situation a quickly obtained and regularly updated overview image of an area provides essential information for the rescue mission planning. Such an overview image can be composed from the individual pictures taken by a fleet of Unmanned Aerial Vehicles (UAVs). However, currently drones are remotely controlled by humans during such missions. To the best of our knowledge, no research has been conducted on the problem of UAV routing for such task. Therefore, we propose a method based on the wellknown metaheuristic Variable Neighborhood Search. In particular, we developed two new heuristics to construct the initial solution and an additional neighborhood operator. Computational experiments indicate that solutions obtained by our metaheuristic do not exceed the optimum by more than 26.9% on small scenarios. For the large instances with hundreds of points (where no optimal solution is known) the proposed method constructs feasible solutions in less than one second.
LoCo — A Logic for Configuration Problems
Authors: Aschinger Markus  , Drescher Conrad  , Vollmer Heribert
Published: February 2025

LoCo is a fragment of classical first order logic tailored for expressing configuration problems. The core feature of LoCo is that the number of components used in configurations does not have to be finitely bounded explicitly, but instead is bounded implicitly through the axioms. Computing configurations reduces to model-finding. We present the language, related algorithms and complexity results as well as a prototypical implementation via answer set programming.
Sample-Based Policy Iteration for Constrained DEC-POMDPs
Authors: Wu Feng  , Jennings Nicholas R.  , Chen Xiaoping
Published: February 2025

We introduce constrained DEC-POMDPs — an extension of the standard DEC-POMDPs that includes constraints on the optimality of the overall team rewards. Constrained DEC-POMDPs present a natural framework for modeling cooperative multi-agent problems with limited resources. To solve such DEC-POMDPs, we propose a novel sample-based policy iteration algorithm. The algorithm builds on multi-agent dynamic programming and benefits from several recent advances in DEC-POMDP algorithms such as MB-DP [12] and TBDP [13]. Specifically, it improves the joint policy by solving a series of standard nonlinear programs (NLPs), thereby building on recent advances in NLP solvers. Our experimental results confirm the algorithm can efficiently solve constrained DEC-POMDPs that cause general DEC-POMDP algorithms to fail.
An Adaptive Clustering Model that Integrates Expert Rules and N-gram Statistics for Coreference Resolution
Authors: Bunescu Razvan
Published: February 2025

We present an adaptive clustering model for coreference resolution in which the expert rules of a state of the art deterministic system are used as features over pairs of clusters. A significant advantage of the new approach is that new features can be easily added to the system. We demonstrate this advantage by incorporating semantic compatibility features for neutral pronouns computed from web n-gram statistics. Experimental results show that the combination of the new features with the expert rules in the adaptive clustering approach results in an overall performance improvement and a substantial 5% improvement in F1 measure for the target pronouns.
CAKES: Cross-lingual Wikipedia Knowledge Enrichment and Summarization
Authors: Fionda Valeria  , Pirró Giuseppe
Published: February 2025

Wikipedia is a huge source of multilingual knowledge curated by human contributors. Wiki articles are independently written in the various languages and may cover different perspectives about a given subject. The aim of this paper is to exploit Wikipedia multilingual information for knowledge enrichment and summarization. Investigating the link structure of a Wiki article in a source language and comparing it with the structure of articles about the same subject written in other languages gives insights about the body of knowledge shared among languages. This investigation is also useful to identify knowledge perspectives not covered in the source language but covered in other languages. We implemented these ideas in CAKES, which: i) exploits Wikipedia information on the fly without requiring any data preprocessing; ii) enables to specify the set of languages to be considered and; iii) ranks subjects interesting for a given article on the basis of their popularity among languages.
Partially Observable Markov Decision Process for Closed-Loop Anesthesia Control
Authors: Borera Eddy C.  , Moore Brett L.  , Pyeatt Larry D.
Published: February 2025

Recently, researchers have favored computer-automated drug delivery system to reduce the risks of intraoperative awareness and postoperative morbidity, and their use is associated with a number of favorable patient outcomes. For example, Proportional-Integral-Derivative, maximum a posteriori (MAP) Bayesian approaches, fuzzy logic, and reinforcement learning, have been developed and applied successfully in simulated patients or volunteers. Despite the successes, variations of errors in the observed data are known to affect the performances of the controllers, especially when a patient state estimation is required. To have a better controller, we apply Partially Observable Markov Decision Process (POMDP) to achieve better drug delivery policy, even when there is incomplete information about patients' current states during operations. In this paper, a POMDP model for closed-loop anesthesia control is introduced. Then, a state-of-the-art POMDP solver is used to compute a good control policy, in other words, propofol rates to administer to a patient, in efforts to reduce the risk of intraoperative awareness and postoperative side effects in patients.
An Estimation of Distribution Algorithm for Solving the Quay Crane Scheduling Problem with Availability Constraints
Authors: Izquierdo Christopher Expósito  , Melián Batista Belén  , Moreno Vega J. Marcos
Published: February 2025

This work addresses the Quay Crane Scheduling Problem under availability constraints, whose main goal is to determine the work schedules of the quay cranes allocated to a container vessel in order to carry out its transhipment operations (loading and unloading operations). An Estimation of Distribution Algorithm with shaking procedure is proposed to solve it. The position of the tasks and the operative areas of quay cranes are considered in the initialization step in order to reach high-quality regions of the search space. Computational experiments show that this method improves previous state-of-art approaches.
Vertical Frequent Pattern Mining from Uncertain Data
Authors: Budhia Bhavek P.  , Cuzzocrea Alfredo  , Leung Carson K.
Published: February 2025

In many real-life advanced knowledge-based and intelligent information & engineering applications, data can be uncertain. This leads to the uncertain data mining. In recent years, Apriori-based, tree-based, and hyperlinked array structure based mining algorithms—namely, U-Apriori, UF-growth and CUF-growth, as well as UH-Mine, respectively—have been proposed to mine frequent patterns from probabilistic databases of uncertain data. All these algorithms treat the probabilistic databases “horizontally” as collections of transactions, and each transaction is considered as a set of items associated with existential probability values. In this paper, we consider an alternative representation (i.e., vertical format) of uncertain data such that the probabilistic databases can be viewed “vertically” as collections of items. Each item is associated with a vector that indicates the transactions containing such an item, and each vector entry is associated with an existential probability value. We also propose an advanced knowledge-based algorithm for discovering frequent patterns from this vertical representation of uncertain data.
Intelligent Texture Reconstruction of Missing Data in Video Sequences Using Neural Networks
Authors: Favorskaya Margarita  , Damov Mikhail  , Zotin Alexander
Published: February 2025

The missing data appear in video sequences after removal of non-disabled objects or artifacts. We have proposed an intelligent method of texture reconstruction which novelty consists in a mode of texture estimations using separated neural networks, a boundaries interpolation into a missing data region by a fast wave algorithm, and a texture inpainting considering spatio-temporal parameters of surrounding region. We suggest three strategies of wave algorithm for contour optimization into a missing data region. The proposed technique was tested for visual reconstruction of small missing regions such as sub-titles, logotypes and large regions (less 8-12% of frame area). In the first case we have a simplified decision without stage of boundaries approximation, in the second case a background complexity and motions in scene determine significantly the reconstruction results.
Supporting Intra-Team Communication based on Psychological Tagging and Indirect Communication
Authors: Oehlmann Ruediger  , Syed Zoya
Published: February 2025

Human-centered chance discovery typically is conducted in teams. TeamBond is a workbench-type system for analysing and improving the relationships in such teams. This paper describes TeamCom, the communication component of TeamBond, and its strategies for improving team relationships. These are psychological tagging of text exchange and indirect communication. The paper also describes first usability results that show the high acceptance of the approach.
Hybrid Precoding Scheme with Partial CSI at the Transmitter
Authors: Labrador Josmary  , Castro Paula M.  , Vazquez-Araujo Francisco J.  , Dapena Adriana
Published: February 2025

This work proposes an Hybrid Precoding (HP) method in a Multiple-Input/Multiple-Output (MIMO) system with the objective of reducing the computational complexity inherent to nonlinear precoding methods. We show that linear precoders work better for low Signal-to- Noise Ratio (SNR) while nonlinear precoders, as in the case of the nonlinear Tomlinson-Harashima (TH) precoders, are more adequate for high SNRs. For medium scenarios, we propose a decision scheme where the transmitter decides to implement either linear or TH precoding depending on the speed of channel variations. Therefore, if the channel is bad, i.e. channel variations are significant compared to a given threshold parameter, the transmitter decides to use TH precoding for pre-equalizing channel effects. Otherwise, in case of good channel conditions, i.e. slow channel variations according to such threshold, linear precoding is enough to ensure good performance with the advantage of avoiding the complexity inherent to TH precoding. The overall performance is evaluated considering the transmission of several images.
Acquisition of the Life Log Using Home Electric Appliances and its Application
Authors: Uesugi Yuya  , Sawamoto Jun  , Segawa Norihisa  , Sugino Eiji  , Yajima Hiroshi
Published: February 2025

A life log records man’s activity information as digital data. After these life logs are recorded, they are used in order to look back upon an individual’s life. There are some problems in the method of life log acquisition. The system needs to install many sensors in a house. In order to install sensors, much initial investment is needed and the user’s burden is heavy. Moreover, since the mental resistance is also strong to installing sensors in a house, introduction of the system takes time and effort. For the solution of these problems, we propose a method of acquiring and analyzing life log from Android based home electric appliances. In this study to develop an experimental system, the life log information which could be taken with Android home electric appliances is acquired by the simulated environment with home electric appliances with minimal sensors, and the life log is used and very rough life pattern is estimated. The reliability of the acquired log information is evaluated by getting subjects to live for one week in this system.
Evaluation of Gesture-Command Input Method for Pen-based Group KJ System
Authors: Nyu Takahiro  , Miura Motoki
Published: February 2025

The processes involved in carrying out collaborative creative work and the ability to record and circulate the results are important. Previously, we proposed a label-capturing system for the group KJ method that uses anoto-based pens. The system instantly digitizes the positions and contents of labels containing ideas and thoughts, and then generates KJ diagrams for distribution. We also proposed a method for editing the visual properties of KJ diagrams using pen-writing gestures with physical transparent sheets on target labels. However, when the number of functions increases, the management of the physical transparent sheet becomes difficult. In this study, we verified the suitability of the system by introducing a user-defined gesture command framework. This framework increases the flexibility of user operation as well as the number of functions acceptable by the system. We confirmed the suitability through preliminary evaluation of the system with respect to recognition.
A declarative approach for AGVs modeling and cyclic scheduling
Authors: Grzegorz Bocewicz  , Zbigniew Banaszak  , Paweł Pawlewski
Published: February 2025

In this paper, we deal with the cyclic scheduling problem usually observed in the FMS producing multi-type parts where the AGVS plays a role of a material handling system. Finding the conditions guaranteeing the AGVs dead-lock-free and collision-free movement policy is the aim of this work. The AGVs co-sharing the common parts of the transportation route while executing repetitive processes, i.e. being assigned to AGVs passing along machines in a cyclic way, can be modeled in terms of Cyclic Concurrent Process Systems (CCPS). Schedulability analysis for a given CCPS answers the question whether a cyclic schedule exists or not. The paper suggests a novel approach for schedulability analysis employing the declarative modeling. The sufficient conditions guaranteeing CCPS schedulability are discussed and the recursive approach to their designing is proposed.
Intelligent Tourism Information Consumption: A Push Semantic Rule-based System
Authors: Lamsfus Carlos  , Martín David  , Alzua-Sorzabal Aurkene  , López-de-Ipińa Diego  , Torres-Manzanera Emilio
Published: February 2025

Current state of the art of mobile devices allow visitors to be connected to sources of information in an anytime/anywhere manner. However, finding useful information as a tourist in an unknown place is not easy due to the lack of familiarity with the location on the one hand and to the interaction restrictions with mobile devices on the other. This paper presents a specific Intelligent Tourism Information Dissemination approach that comprehends the particular characteristics and requirements of knowledge management in tourism and thus, contextualizes the visitor and the visitor’s situation. The experiments carried out have focused on proving that digital broadcasting is an appropriate technology to disseminate tourism information and it can be processed by means of semantic-based rules with a lexicographic order. However, due to the high memory requirements and low performance of the CPU further research is needed in order to reduce the size of the ontology, and therefore, reduce the requirements in terms of memory and resource consumptions to perform the reasoning.
Message reply method by making use of node location advertisement in VANET
Authors: Miura Hirokazu  , Noguchi Muneyuki  , Matsuda Noriyuki  , Soga Masato  , Taki Hirokazu
Published: February 2025

In late years, the ITS which aims at improvement of convenience and the comfort in the road traffic using an information technology attracts attention, and service to deliver useful information quickly by communication among vehicles is flourishing research area. However, vehicles may be distributed sparsely by traffic conditions in VANET, and it is difficult to maintain stability of the communication. Therefore, DTN technology that communication is enabled by permitting a delay even if vehicles are distributed sparsely can be applied in such an environment. However, a delay occurs for the delivery of data when I apply DTN environment. Therefore, it becomes difficult to deliver a reply message to the requesting vehicle due to movement of the vehicle before message arrival. For such a problem, we aim at the arrival rate improvement of the reply message by while the requesting vehicle waits for a reply, advertising the own position on neighboring appropriate vehicles. Then, we evaluated our method which distribute an advertisement to vehicles nearby and suggested the method using the flooding and the method using geocast. We investigated that an arrival rate of the reply message is improved by our proposed method by computer simulation.
Accumulative Computation and Fuzzy Sets for Robust Fall Detection in Color Video
Authors: Serrano-Cuerda Juan  , Sokolova Marina V.  , Fernández-Caballero Antonio  , López María T.  , Carlos Castillo José
Published: February 2025

Vision-based fall detection is a challenging problem in pattern recognition. This paper introduces an approach to detect a fall as well as its type in color video sequences. Accumulative computation is used to segment the color videos for the sake of robustly detecting humans. The regions of interest of the segmented humans are examined through calculating geometrical and kinematic features. The fall indicators used as well as their fuzzy model are explained in detail. The fuzzy model has been tested for a wide number of static and dynamic falls.
Argumentation Dialogues for Two-Agent Conflict Resolution
Authors: Fan Xiuyi  , Toni Francesca
Published: February 2025

We present a method for (two) agents to resolve conflicts amongst themselves, when these conflicts arise from the agents suggesting different realizations of the same goal. The method uses generalpurpose dialogues to allow agents to exchange views. These are in the form of rules, assumptions and contraries of assumptions, in the format underlying Assumption-Based Argumentation (ABA). Thus, the dialogues amount to conducting an argumentation process in ABA. We define successful dialogues as those giving admissible sets of arguments and prove that these successful dialogues resolve conflicts. Thus, we provide a fully distributed, argumentation-based solution to conflict resolution while at the same time linking the computation of a well-known argumentation semantics and two-agent conflict resolution.
The Structure of Ad Hominem Dialogues
Authors: Budzynska Katarzyna  , Reed Chris
Published: February 2025

The paper proposes a new perspective on modelling ad hominem (AH) techniques in a dialogue. The approach is built upon the following assumptions: (i) that ad hominem is not an inferential, but undercutting structure; (ii) that it can be a non-fallacious dialectical technique in some communicative contexts; and (iii) that critical questions in Walton's AH scheme can be used to determine strategies of defending against AH attack. We aim to achieve two goals in this paper: first, to represent the deep ontological structure of dialogues with the speaker's character attacks and defense; and second, to design a game AdHD in which a personal attack, and defense against it, are legitimate dialogue moves.
dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool
Authors: Charwat Günther  , Dvořák Wolfgang
Published: February 2025

Most reasoning tasks in abstract argumentation are in general computationally hard. One approach of dealing with such problems stems from the field of parameterized complexity theory. For so-called fixed-parameter tractable algorithms, one identifies problem parameters, e.g. the graph parameter tree width, such that the run-time of algorithms heavily scales with the parameter but only polynomially with the input size. The dynPARTIX system turns these fixed-parameter tractability results into practice by implementing dynamic programming algorithms for the graph parameter tree width.
Enhancing Business Process Management with a Constraint-Based Approach
Authors: Runte Wolfgang
Published: February 2025

In the 1980s rule-based systems became very popular in the domain of expert systems. It soon became apparent, that large rule-based systems causes enormous maintenance problems, because of the lack of separation between domain knowledge an control strategy. Rules are declarative, weakly structured, difficult to manage and maintain and should be applied only in local contexts and with limited use. For large rule bases the user can not be sure if the problem is completely covered by the rules, modifications often result in unwanted consequences. For application in business process management (BPM) rules became popular again, but the known insufficiencies still remain. Today it seems to be quite ignored that techniques using rules have strucural drawbacks that limit their application significantly. We present a constraint-based approach to enhance process models with additional knowledge. Constraints allow compact modeling of decision processes to inference specific values in process models. Furthermore constraints may be used as mechanism for quality assurance (QA). Constraints also have a declarative paradigma but avoid the lack of separation between domain knowledge and control strategy. Constraint solvers used as black box by a process engine will merely compute an output based on the given domain knowledge and return these as new input for the process engine. The constraint solver will give control as soon as possible back to the process engine. The process engine exclusively has to decide how to proceed. So constraints support a process engine without competing for the control strategy.
Managing Word Form Variation of Text Retrieval in Practice – why Five Character Truncation Takes it all?
Authors: Kettunen Kimmo
Published: February 2025

This paper discusses different methods that have been used for management of word form variation in information retrieval during the history of textual information retrieval. The techniques have been characterized in many ways during the history of IR. We pinpoint the most meaningful features of the approaches and make comparisons that have practical value. In the discussion we characterize word form variation management methods in different ways and offer the reader an overall practical guide for choosing between different methods to be used.
A trivial method for choosing the right lemma
Authors: Kaalep Heiki-Jaan  , Kirt Riin  , Muischnek Kadri
Published: February 2025

This article presents a simple yet efficient method for solving lemma ambiguity as a part of morphological tagging of Estonian. By lemma ambiguity authors mean the situation when a word-form has several (mostly two) possible morphological readings and the only difference between these readings lies in the correct form of lemma, i.e. the POS and grammatical categories are the same, but possible lemmas are different. This type of ambiguity is characteristic of 1.5% of tokens in an otherwise morphologically disambiguated text. A text- and corpus-based method is used to disambiguate this kind of ambiguity. The precision of the method is 0.94 and recall 0.67.
Local e-Democracy in Five European Countries: Convergence and Divergence in Democratic Development
Authors: Pratchett Lawrence
Published: February 2025

Ten or so years ago local governments were failing to use ICTs to support their democratic missions. The mainstreaming of the internet into social and economic life has also led to its take-up by local governments to support different democratic practices. This chapter develops an analytical framework which situates e-democracy initiatives across two dimensions: delegation-participation and transmission-interaction. Using this framework, the chapter draws upon primary research into e-democracy developments in five European countries: Estonia, Hungary, Spain, Switzerland and the United Kingdom. It concludes that while e-democracy developments are converging around a few key applications, the ways in which these devices are being used, and their effects on democratic practices, varies considerably between countries. In effect, countries are enacting the same e-democracy devices for very different purposes.
Understanding Infocracies: Trends in the Transformation of Organizations
Authors: Zuurmond Arre
Published: February 2025

In the transition from the postindustrial society to the information society the ideal type of the rational legal bureaucracy, itself an artefact of the industrial age, begins to lose its heuristic value. The concept of bureaucracy does not help us to understand how and why modern organizations are structured and governed as they are. Information technology has enabled organizations to redesign (transform) themselves. We analyze some important classical writers on organization and question ourselves what the role of information and communication is in their theories. Then we introduce the ICT's and internet. Next we present modern writers on organizations, who have theories of organizational transformation caused by the use of new ICT's and internet. Then we introduce three case studies and analyze what we recognize empirically, using the theories of the modern writers. In our analysis we find that a new structure is evolving, using certain characteristics of information technology. We end with the conclusion that a new ideal type is needed, that helps us understand the new structure that emerges: horizontal, networked organizations that manage work processes instead of functional activities, using a shared information infrastructure.
Micro-Mobilization, New Media Power and the Management of Strategic Surprises
Authors: Bekkers Victor  , Edwards Arthur  , Moody Rebecca
Published: February 2025

New media offer individual and small groups of citizens powerful resources to mobilize political support in order to influence the policy process. Due to the rapid, massive and unseen nature of this mobilization process policy makers are confronted with strategic surprises, due to a strong focus on existing negotiation and consultation procedures. In order to meet these challenges policy makers have accommodated the existing routines to this new media environment, in a way the internet environment will be monitored more systematically. Moreover, policy-makers have developed counterbalancing media strategies.
A study of registration techniques for 6DoF SLAM
Authors: Morell Vicente  , Cazorla Miguel  , Viejo Diego  , Orts Sergio  , Garcia Jose
Published: February 2025

The task of registering three dimensional data sets with rigid motions is a fundamental problem in many areas as computer vision, medical images, mobile robotic, arising whenever two or more 3D data sets must be aligned in a common coordinate system. In this paper we make a study of registration methods for egomotion calculation on robotics. We are interested in determining which is the best method to apply depending on execution time and accuracy. We have selected two of the most used methods: Iterative Closest Point (ICP) and Ransac (with visual features), and we have developed a fast implementation of ICP in the GPU. Several experiments have been done in order to determine which method must be select depending of the input data.
A SAT-Based Approach to MinSAT
Authors: Ansótegui Carlos  , Li Chu Min  , Manyà Felip  , Zhu Zhu
Published: February 2025

A Partial MinSAT instance is a set of clauses where each clause is declared to be either hard or soft, and the Partial MinSAT problem consists in finding an assignment that satisfies all the hard clauses, and minimizes the number of satisfied soft clauses. In this paper we present an algorithm for solving Partial MinSAT that relies on solving a sequence of SAT instances, and report on an empirical investigation that provides evidence that our approach solves crafted and industrial instances that are beyond the reach of existing approaches to Partial MinSAT.
Warbler: A Lightweight Pseudorandom Number Generator for EPC C1 Gen2 Tags
Authors: Mandal Kalikinkar  , Fan Xinxin  , Gong Guang
Published: February 2025

A pseudorandom number generator is an important component for implementing security functionalities on RFID tags. Most previous proposals focus on true random number generators that are usually inefficient for low-cost tags in terms of power consumption, area, and throughput. In this contribution, we propose a lightweight pseudorandom number generator (PRNG) for EPC Class-1 Generation-2 (EPC C1 Gen2) RFID tags. The proposed PRNG fully exploits nonlinear feedback shift registers and provides 16-bit random numbers that are required in the tag identification protocol of the EPC C1 Gen2 standard. The generated sequences are able to pass the EPC C1 Gen2 standard's statistical tests as well as the NIST randomness test suite. Moreover, a detailed cryptanalysis shows that the proposed PRNG is resistant to the most common attacks such as algebraic attacks, cube attacks, and time-memory-data tradeoff attacks. In particular, the proposed PRNG can be implemented on low-cost Xilinx Spartan-3 FPGA devices with 46 slices.
An Empirical Approach to the Semantic Representation of Laws
Authors: Wyner Adam  , Bos Johan  , Basile Valerio  , Quaresma Paulo
Published: February 2025

To make legal texts machine processable, the texts may be represented as linked documents, semantically tagged text, or translated to formal representations that can be automatically reasoned with. The paper considers the latter, which is key to testing consistency of laws, drawing inferences, and providing explanations relative to input. To translate laws to a form that can be reasoned with by a computer, sentences must be parsed and formally represented. The paper presents the state-of-the-art in automatic translation of law to a machine readable formal representation, provides corpora, outlines some key problems, and proposes tasks to address the problems.
Exception-Aware (Information) Systems
Authors: Jaakkola Hannu  , Thalheim Bernhard
Published: February 2025

Exceptions are considered to be unusual states that can but must not be taken primarily into account. They form exclusions, represent cases to which a rule does not apply, form specific states that are not going to be handled at least by the current system, or might represent legal objections against the typical state. Exceptions are currently considered to be a sign of poor culture, wrong implementation, bugs in the code, bad understanding of the application domain area, wrong deployment of technology, or poor education of people. This understanding is completely different from the understanding and treatment of exceptions in real life.
A Knowledge System on an Ontology in the Topic Maps Format
Authors: Buřita Ladislav  , Do Petr  , Ondryhal Vojtěch
Published: February 2025

The paper describes the creation of a knowledge system about knowledge management on the basis of the Topic Maps theory, using the Ontopia open source software. Special attention is given to the ontology design and application processing to use the knowledge base. Applied components will be specified, as well as the architecture of the knowledge system. An example of the outcome application will be presented.
Big questions of e-government research
Authors: Yıldız Mete
Published: February 2025

Taking stock of an area of study and determining potential venues for further contributions by asking challenging big questions have been popular in the discipline of public administration for the last two decades. This has been done through asking “big questions”, which aim to encourage thinking “out of the box”, without attempting to provide a corresponding set of definitive “big answers”. Examples abound, such as articles published on the big questions of public management, public administration education, and public network management research.
Erlang as a High Performance Software Agent Platform
Authors: Turek Wojciech
Published: February 2025

Despite many years of work on multi-agent platforms development, the problem of their performance remains unsolved. Even most mature solutions still suffer from significant limitations in terms of message-passing services and the number of agents which can work simultaneously. Large overheads are caused mostly by unsuitability of technology used for implementing the agent platform itself. In this paper several measures of an agent platform performance are proposed. Two popular agent platforms are thoroughly tested and compared to Erlang technology. The results of the experiments show that different approach to the problem of creating agent platform can give significantly better performance.
Perceiving Speech Acts under Incomplete and Inconsistent Information
Authors: Dunin-Kęplicz Barbara  , Strachocka Alina  , Szałas Andrzej  , Verbrugge Rineke
Published: February 2025

This paper discusses an implementation of four speech acts: assert, concede, request and challenge in a paraconsistent framework. A natural four-valued model of interaction yields multiple new cognitive situations. They are analyzed in the context of communicative relations, which partially replace the concept of trust. These assumptions naturally lead to six types of situations, which often require performing conflict resolution and belief revision.