bluuebunny/crossref_metadata_2025 huggingface dataset:
Algorithms for Finding Oscillation Period of Fuzzy Tensors
Authors: Chen Ling  , Lu Lin-Zhang
Published: February 2025

In this paper, we focus on describing the oscillation period and index of fuzzy tensor. The definition of the induced third-order fuzzy tensor is proposed. By using this notion, firstly, the oscillation period and index of fuzzy tensor are obtained on the basis of Power Method with max-min operation. Secondly, we rely on Minimal Strong Component to find the oscillation period of fuzzy tensor. It is a more practical graph theory method that the number of nonzero elements is less than half of the sum of fuzzy tensor elements. Furthermore, numerical results demonstrate the Power Method and the Minimal Strong Component two algorithms for solving the period and index of fuzzy tensor which are effective and promising.
Research on the Application of Data Mining in the Field of Electronic Commerce
Authors: Song Xia  , Huang Fang
Published: February 2025

E-Commerce is a business mode based on internet and information technology. Data mining techniques are widely used in E-Commerce for digging out patterns and retrieving information from large scale noisy datasets. The booming of E-Commerce enables businesses to collect large amount of data which could be analyzed for enhancing revenues. The abundant data collected online is the foundation of big data analysis. How to employ data mining models on strategizing and making business decisions is an important topic in recent years. This paper talks about data mining and its application in E-Commerce. The application of data mining in electronic commerce developed based on data mining technology of electronic commerce system to strengthen the ability of business information analysis, it is concluded that the intrinsic relationship between data and extract the useful information, to provide the expected information of the electronic commerce for the business management personnel, to ensure the effective operation of the electronic commerce. Data mining techniques could be used for automated data analysis, pattern identification, information retrieving, business strategizing as well as providing personalized services.
Faster ECC over
Authors: Seo Hwajung
Published: February 2025

In this paper, we show efficient elliptic curve cryptography implementations over advanced ARMv8 processor. We improve the previous binary field multiplication over the processor with finely aligned multiplication and incomplete reduction techniques by taking advantages of advanced 64-bit polynomial multiplication (PMULL). This approach shows performance enhancements by a factor of 1.34 times than previous implementation of binary field multiplication. For the point addition and doubling, the special types of multiplication, squaring and addition operations are combined together and optimized, where one reduction operation is optimized in each case. The scalar multiplication is implemented in constant-time window method, which is secure against timing attacks. Finally the proposed implementations achieved 759,630/331,944 clock cycles for random/fixed scalar multiplications for B-571 curve over ARMv8, respectively.
Study on Prediction of the Shanghai Composite Index Based on EMD and NARX Neural Network
Authors: Xiu Yan  , Chen Xinye
Published: February 2025

The prediction of Shanghai composite index is one of the hot topics in financial research. In this paper, based on empirical mode decomposition (EMD) algorithm combined with nonlinear autoregressive models with exogenous inputs (NARX) neural network theory, an EMD-NARX combination forecasting model is proposed. Firstly, the EMD algorithm is used to decompose the time series data into the intrinsic mode function components of different scales, and then the NARX neural network is used to predict the future index with multi step rolling forecast. The experiments show that the presented method not only can make accurate short-term prediction of Shanghai stock index, but also can predict the Shanghai index directly on the long-run trend. The method breaks through the limitations of traditional forecasting methods in long-term prediction.
Towards Developing an Approach to Confluence Innovative in Requirements Engineering
Authors: Hassan Sa'adah  , Kamaruddin Azrina  , Admodisastro Novia  , Jabar Marzanah A.
Published: February 2025

Often, in producing software product it rely on stakeholders' needs and desires (i.e., requirements) where it can be captured from the stakeholders' thoughts using common requirements engineering techniques. However, to gain competitive advantage, the software product should not only develop based on the stakeholders' requirements. It does need to comprise features that will make it ‘special’ among other products. Emphasize can be given in software development process to include innovative attributes in software requirements towards useful, usable, and competitive software product. Hence, our work aims to propose an approach to confluence innovative in software development for producing innovative software products. In particular, to support at requirements engineering stage, where the innovative requirements can be discovered and identified for a better software product's solution. In this paper, various approaches for developing innovative product were explored in order to identify their potential adoption and their possible contributions in software requirements engineering. A discussion towards a proposed conceptual approach is also outlined and the main steps are illustrated with an example of a mobile navigation application.
Evaluation of Image Descriptors for Urban-Rural Classification of Aerial Images
Authors: Cortés Daniel  , Nakano Mariko  , Koga Hisashi  , Perez Hector
Published: February 2025

In this paper, fourteen descriptors are evaluated for urban-rural classification of aerial images. Among these fourteen descriptors, eleven descriptors consist of texture-based, color-based con combination of these two descriptors. Rest three descriptors are based on dictionaries generated using the Lempel-Ziv-Welch (LZW) data compression algorithm. The classification is carried out using Support Vector Machine (SVM) with radial basis function as kernel function and KNN algorithm. The performance of these images descriptors are evaluated using accuracy, precision, sensitivity and specificity. From evaluation results, we conclude the Gabor descriptor combined with Dominant Color descriptor provides better performance, obtaining its accuracy more than 91%.
Time Deformable Segmentation Model Based on the Active Contour Driven by Gaussian Energy Distribution: Extraction and Modeling of Early Articular Cartilage Pathological Interuptions
Authors: Kubicek Jan  , Vicianova Veronika  , Penhaker Marek  , Augustynek Martin
Published: February 2025

In the clinical orthopaedics, the articular cartilage monitoring is an important task having especially preventive effect. The magnetic resonance (MR) is commonly used clinical standard allowing for the effective differentiation of articular cartilage from surrounding tissues (bones, soft tissues). Nevertheless, the early pathological interruptions are often badly recognizable from the native MR records. This fact significantly influences clinical diagnosis. We have carried out the analysis of the segmentation method based on the active contour with the aim of autonomous modelling articular cartilage and indication of the early cartilage interruptions. The active contour model represents time deformable model adopting the articular cartilage geometrical features with respect to cartilage interruptions. Model of the articular cartilage reflects area of the physiological cartilage in the form of binary segmentation while the active contour model is terminated in the spot of the early pathological sign. Therefore, this time deformable model has ambitions to be used as a feedback to subjective physician's opinion because the model clearly differentiates the physiological cartilage structure from the early cartilage loss.
The Software Using Digital Databases and GIS Interface for Detecting Geodynamic Structures
Authors: Vazhenin Alexandr  , Mikheeva Anna  , Dyadkov Petr  , Marchuk Andrey
Published: February 2025

This paper presents a tool for studying a seismic, volcanic and impact natural disasters [1-3] of GIS-ENDDB (the “Earth's natural disasters Databases”) [4]. The algorithms implemented in GIS-ENDDB allow visualizing a selected part of a current catalog of events in a pseudo-3D background map, to plot frequency dependences of magnitudes or sizes (crater diameters) and other parameters relationships of events from various samples. This high-tech expert system allows solving a wide range of seismological and geodynamic research tasks updated by including successively various mathematical methods for natural disasters data processing, characteristics of seismogeodynamic regime (b, A, EO, KAVG), and advanced representation tools. The paper shows examples of mapping these characteristics and studying their anomalies (slope of magnitude-recurrence curves, seismic quiescence, energy stability) and of revealing the grouping events (aftershocks, clusters, etc.). The detailed study on seismogeodynamic regime of the linear and ring structures revealed by seismic grouping methods and in the anomalies of geophysical fields can give a lot of prognostic information to seismologists
Learning Daily Routines in Smart Office Environments
Authors: De Carolis Berardina  , Ferilli Stefano
Published: February 2025

One of the goals of smart environments is satisfying proactively its users' needs. To do so, it should understand what they are doing and what are their habits and preferences. In turn, this requires recognizing, at a lower level, single activities (e.g., reading, sitting, looking for books, …) and, at a higher one, how these activities are organized into daily routines. For these purposes we exploit the WoMan system. Using a process mining approach, it is able to incrementally learn a user's activities and daily routines as workflow models. Then, such models are exploited by WoGue (“Workflow Guesser”) system to recognize the current routine or activity of the user. The approach has been tested in a real-world setting, a smart office environment, equipped with a sensor network based on Arduino. We collected an annotated dataset of 45 days, and learned from it the workflow models of the user's daily routines and of his activities performed in the office. Results of some experiments show that how our approach is quite effective to learn and recognize activities and routines. Indeed, it achieves an average accuracy of 82% for activities and 98% for transitions among activities. Also the real-time recognition performance was tested, using sensor data coming from the smart office environment. In 82% of the cases the system correctly recognized the current activity and routine after just four events.
Generating Complete Menus from Nutritional Prescriptions by Using Advanced CBR and Real Food Databases
Authors: Sevilla-Villanueva Beatriz  , Gibert Karina  , Sànchez-Marrè Miquel
Published: February 2025

Prevention and nutrition are key issues to guarantee a healthy lifestyle and are in the kernel of the new paradigm of patient-centered medicine. A healthy diet protects against risk factors of a large number of chronic diseases and contribute to delay the disease appearance in the general population. More and more, making right diets is becoming essential from the health point of view. However, nutritionists design diets on the specific needs of each patient, using their accumulated experience and there are no well-formalized support mechanisms for such activity. The project Diet4You proposes the creation of an intelligent decision support system oriented to the adaptive and dynamic preparation of personalized diets for the specific individuals of general population, having or not, one or more diseases, by taking into account all the information available on the person. The diets will be built by considering the characteristics of the person, their health conditions, their habits and eventual drugs intake and their genetic information, which until now were not taken into account. The Diet4You tool is a hybrid system interacting several components in a complex way. One of those components is a subsystem able to compose complete menus, for a certain period of time, based on the nutritional prescriptions given by the nutritionists, in terms of balance of different families of nutrients. This component is based on a a Case-Based Reasoning (CBR) engine that adaptively creates menus with breakfast, lunch and dinner on the bases of real food databases containing dishes with their nutritional composition. In this work, this component of the whole system is presented, described and tested.
Logo Recognition by Consensus for Enabling Blockchain Implementations
Authors: de la Rosa Josep L.  , El-Fakdi Andres  , Torres Victor  , Amengual Xesca
Published: February 2025

We propose a novel method to detect, locate and classify logos in images, based on consensus to enable Blockchain implementations. An incremental learning algorithm is proposed to detect logos by just using a synthetic image template, without the need of annotating a training set. Then, a crowdsourced solution is generated to carry out the consensus of the executions of the incremental learning.
Developing scenarios for product longevity and sufficiency
Authors: Dewberry E.L.  , Sheldrick L.  , Sinclair M.  , Moreno M.  , Makatsoris C.
Published: February 2025

This paper explores the narrative of peoples' relationships with products as a window on understanding the types of innovation that may inform a culture of sufficiency. The work forms part of the ‘Business as Unusual: Designing Products with Consumers in the Loop’ [BaU] project, funded as part of the UK EPSRC-ESRC RECODE network (RECODE, 2016) that aims to explore the potential of re-distributed manufacturing (RdM) in a context of sustainability. This element of the project employed interviews, mapping and workshops as methods to investigate the relationship between people and products across the product lifecycle. A focus on product longevity and specifically the people-product interactions is captured in conversations around product maintenance and repair. In exploring ideas of ‘broken’ we found different characteristics of, and motivations for, repair. Mapping these and other product-people interactions across the product lifecycle indicated where current activity is, who owns such activity (i.e. organisation or individual) where gaps in interactions occur. These issues were explored further in a workshop which grouped participants to look at products from the perspective of one of four scenarios; each scenario represented either short or long product lifespans and different types of people engagement in the design process. The findings help give shape to new scenarios for designing sufficiency-based social models of material flows.
Strategies for food longevity
Authors: van Genuchten E.J.S.  , Mulder I.J.  , Schaaf N.
Published: February 2025

Although food has been circular by nature, the current food supply chain has turned into an unfortunate linear system. The challenges of transitioning towards a sustainable food eco-system requires radical changes and new perspectives, where things are done differently. Starting with related work in the field of design for product longevity, the current work explores the role of design in developing food systems on eco-systemic level that work as efficient as possible, and create a world without waste. Eight local initiatives in Rotterdam have been studied. From the lessons learned, nine strategies were formulated. Although these strategies seem to work well and are promising starting points for innovation, it remains difficult to build sustainable business models around these strategies that can be scaled and sustained. Initiatives oftentimes keep struggling with the current system and finding the proper scale for their business. It can be concluded that design promises to play an important role in accelerating this transition towards a circular and future-proof food system.
Object Therapy: critical design and methodologies of human research in transformative repair
Authors: Keulemans G.  , Rubenis N.  , Marks A.
Published: February 2025

This paper outlines the framework, development, methodologies and objectives of ‘Object Therapy’, a collaborative human research project and participatory exhibition concerning the public perception of broken objects and their transformative repair, which we define as repair that changes an object's appearance, function or perception. The process by which owners of broken objects were interviewed and their possessions collected for distribution to Australian and international, emerging and established artists, designers and other specialists, for response, is described. This methodology is framed as an approach of critical design that connects a community with another, mediated and traced by the researchers, for the purposes of ‘constructing publics’, a concept developed from John Dewey by Carl DiSalvo and new materialism theorist Jane Bennet. The critical design aspect in this regard corresponds to making public the problems and perception of broken objects – problems of ownership, obsolescence, and lack of options for conventional repair – within a public exhibition presenting alternative, experimental approaches to repair and reuse. The paper argues that the process of commissioning transformative repair processes thereby constructs a public and, via a new materialist approach, reframes human/non-human relations in ways that acknowledge the agency of materiality in social ecologies.
Design for the wise consumer
Authors: Luchs M.
Published: February 2025

In response to dominant patterns of mainstream consumption evident in developed economies, Consumer Wisdom offers a positive alternative whose objective is to simultaneously promote the well-being of the individual, society, and the natural environment. The current research has two objectives. First, through a series of in-depth interviews with individuals nominated for their wisdom, we provide an empirically grounded theory of Consumer Wisdom. Our theory of Consumer Wisdom is composed of five interdependent facets: Contemplation, Intentionality, Emotional Mastery, Openness, and Transcendence. Next, we synthesize design principles from existing design frameworks and philosophies that align with the facets of consumer wisdom, and we build on these to reflect new insights derived from our theory.
Redefining retail experiences: formulating ideas for the future of retail design to promote product longevity
Authors: Matheny R.
Published: February 2025

This paper is a descriptive case study of a multi-disciplinary retail design studio's educational process and the resulting ideas for designing a sustainably focused retail experience. The key participants are undergraduate seniors in Industrial Design, Interior Design, and Visual Communication Design. The objective of this studio is to explore the future of retail where sustainability and product longevity drives customer experience and behaviors. Through this exploration, students evaluated current retail service models and product lifecycle journeys in order to propose a more sustainable business practice, reaching beyond simply selling a product and maximizing sales per square foot, to foster a community of consumers who want to change the world. Examining the successes or missed opportunities of current generous brands' retail environments, from programmatic components to storytelling elements, students were able to develop strategies for designing a deeply meaningful connection between the product, the brand, and customer beliefs. Through redefining the purpose of the retail environment, students formulated ideas of the future of sustainable retail based on research and their beliefs as Millennials. As a generation of conscious consumers, these principles informed the overall customer experience, customer journey, and service model to change consumer behaviors towards slower product consumption.
Sustainable fashion tailoring: an approach for creating a heightened emotional attachment to garment apparel at undergraduate level, through pedagogy, story telling, digital technologies and traditional craftsmanship
Authors: Morrish D.
Published: February 2025

Higher Education undergraduate programmes of study have a responsibility to educate learners within their discipline, bridging the gap between education and the real world. Never before has it been so important to equip learners who can adapt and accommodate change within their practice responding to external socio-economic, cultural, political and environmental concerns. With sustainability a key global concern, it is imperative that educational institutions educate its learners to help change the direction of a throwaway and environmentally unsustainable industry.
Measuring the historical change in the actual lifetimes of consumer durables
Authors: Oguchi M.  , Daigo I.
Published: February 2025

Product lifetime extension would contribute to establishing a circular economy and reducing the environmental impacts of mass consumption. Showing the situation of the historical change in the product lifetimes with quantitative data is needed for evaluating the contribution of product lifetime extension. The present study observed the historical change in the actual lifetimes of consumer durables in Japan by three different ways; direct observation; model calculation; simple indicator calculation. The average lifetimes of common consumer durables including home appliances, electronics, and passenger cars have been increasing in Japan over the past few decades. To evaluate the trend of the product lifetimes accurately, product lifetimes need to be observed or estimated based on actual data of discarded, collected, or in-use products. A questionnaire survey that relies on respondents' memory would not provide precise results enough to detect the historical change in the actual product lifetimes. Calculating the ratio of the number of in-use products against the sales would generally be useful to understand the common trend in the product lifetimes over the years when the penetration of the products is saturated. The ratio could also be used as substitutes of the average of the lifetime distribution that is approximated by a statistical distribution function.
Room for change: impact of building-level innovations to facilitate product reuse among residents
Authors: Ordóñez I.  , Hagy S.  , Bard F.  , Wahlgren L.  , Ringstrand B.
Published: February 2025

This article explores the importance of building spaces in residential areas to encourage waste prevention through product reuse. First, a short review is made over five existing spaces that allow residents to leave and take products to be used again by others. Then, the initial experiences of establishing such a space in the HSB Living Lab in Gothenburg are presented to complement the review. In general, the experiences of establishing these rooms for change are positive, with users making use of the space frequently. Aspects such as location and open hours are crucial to make the change-stations convenient for residents to use. Making the space available to a large group of people is important to ensure good product flow and renewal. Even though these spaces enable product exchange between users, it is not always possible to link this exchange to a measurable effect on reduced waste generation or consumption. It is not always true that the items exchanged would have been discarded or purchased if the space to change them was not available. There is an exception when the exchanged items are food, since the food made available for others to take would have been wasted otherwise.
Considering optimal lifetimes for LED lamps: a mixed approach and policy implications
Authors: Richter J.L.  , Dalhammar C.  , Tähkämö L.
Published: February 2025

Ecodesign policy for energy-using products so far has tended to focus on the energy efficiency requirements, but there is increasing interest in durability requirements as well. This exploratory study analyses whether and when long lifetimes are preferable when considering the trade-offs between durability and other important parameters such as costs and environmental impacts, examining the case of LED lamps. This is an interesting product group to examine because of the improving lumen efficiency of the technology as well as the increasing emphasis on lifetimes by both producers and policymakers. This research integrates both economic and environmental approaches to examine optimal lifetimes in the case of LED lamps. The first part of the research utilised an optimised least lifecycle cost (LCC) model of LED household lamps for sale in a Swedish online market, finding that optimal lifetimes were in the range of 25000–30000 hours for these lamps. However, this modelling did not consider dynamic factors such as changing prices and efficiencies. This study took the case of 800 lumen lamps to consider these factors, utilising both LCC scenarios, varying lifetime, purchase prices, energy cost and efficiency as well as LCA scenarios, varying electricity mix and lifetimes. The mixed approach demonstrates that different conclusions can be reached depending on the approach and the assumptions used. The merits and possible future improvements of these approaches for approximating optimal lifetimes of LED lamps are discussed based on preliminary findings. Lastly, the implications of the findings for further development of durability requirements and other policies are briefly discussed.
Deconstructing cultural values of products: implications for sustainable design
Authors: Dhadphale T.
Published: February 2025

In a global era where products are reaching across international boundaries, designers are increasingly challenged to design for diverse cultural context. Designers are agents of cultural change and should be cognizant of the impact their products have on local markets. The key for developing culturally appropriate products lies in understanding how cultural objects acquire and communicate cultural meanings. The goal of this paper is to deconstruct and categorize cultural meanings associated with objects and highlight the key determinants that contribute to cultural values. Cultural product images and phrases were analysed using a four-layered model for classifying cultural meanings. Participants were then engaged in a laddering interview to understand the key determinants of cultural values. The analysis reveals eight key determinants of cultural values. The determinants are mapped across four key continuums: appearance-representation, self-identity-group affiliation, personalization-shared belongingness, and stories-memories. In addition, the determinants of cultural values are compared with the key determinants of product attachment. Findings of the study reveal a strong overlap between the determinants of cultural values and product attachment. The paper also outlines a framework for achieving culturally sustainable design. The outcomes of this study have several implications for designers and educators that aim to achieve culturally sustainable design. This study believes that products that reflect cultural values have a higher emotional attachment to consumers resulting in longer life-spans and culturally sustainable consumption.
A double diffusion of innovations: the case of electric automobility product service system
Authors: Catulli M.  , Cook M.  , Potter S.
Published: February 2025

This paper explores the double diffusion of an electric vehicle Product Service System (PSS). The research is based on a case study of a use orientated PSS run by UK-based e-car club.
Carative factors to guide design development process for object-owner detachment in enabling an object's longevity
Authors: Choi Y.  , Stevens J.  , Brass C.
Published: February 2025

During the 20th century the cultural and economic value of products dramatically changed as the availability and affordability of mass-produced, low cost goods increased in the marketplace (Walker, 2006). We buy things that end up never used, we store objects that are never needed, find the extra storage space for the object that doesn't fit in our house. Most of the things we own just sit there gathering dust, eventually to be thrown away although they are still perfectly functional. The exploration of ways to let go of objects has important implications beyond the conventional interpretation of object-user detachment. To care for one's possessions is as much about maintaining and repairing objects to keep as it is about letting objects go to a good home. In this sense, carative factors are a useful way to address ways of object-user detachment and help to promote re-use and repair to sustain and extend product lifespan.
Topic Extraction from Millions of Tweets Based on Community Detection in Bipartite Networks
Authors: Hashimoto Takako  , Kuboyama Tetsuji  , Okamoto Hiroshi  , Shin Kilho
Published: February 2025

Social media offers a wealth of insight into how significant topics such as the Great East Japan Earthquake, the Arab Spring, and the Boston Bombing affect individuals. The scale of available data, however, can be intimidating: during the Great East Japan Earthquake, over 8 million tweets were sent each day from Japan alone. Conventional word vector-based topic-detection techniques for social media that use Latent Semantic Analysis, Latent Dirichlet Allocation, or graph community detection often cannot extract appropriate topics from such a large volume of data with accuracy due to their space and time complexity. To alleviate this problem, we propose an effective topic extraction from millions of tweets based on community detection in bipartite networks. Our method is based on the bipartite community detection technique developed by Okamoto, one of the authors of this paper. The paper demonstrates our method effectiveness on social media analysis and identifies topics from millions of tweets after the Great East Japan Earthquake. To show our method's effectiveness, we compute the coherence measure that can evaluate the semantic accuracy and the running time, and compare the method with LDA that is the major topic model.
Web-User-Interface System Utilizing rHMEI and Open Data for a Water Quality Analyzer
Authors: Sillberg Pekka  , Veesommai Chalisa  , Soini Jari  , Jaakkola Hannu
Published: February 2025

A clean environment is often taken for granted, but when a river or a lake becomes polluted, it might be hard for the general public to verify the condition. A simple visualization tool for checking the condition of water could help to inform the public and help to increase environmental awareness. With the emergence of Open Data and other openly available data sources, it is possible to create new and innovative applications. In this paper we present a web-based tool for reviewing the quality of water by applying the River Heavy Metal Evaluation Index (rHMEI) method together with open data on water quality in Finland.
A Deep Learning Approach to Contract Element Extraction
Authors: Chalkidis Ilias  , Androutsopoulos Ion
Published: February 2025

We explore how deep learning methods can be used for contract element extraction. We show that a BILSTM operating on word, POS tag, and token-shape embeddings outperforms the linear sliding-window classifiers of our previous work, without any manually written rules. Further improvements are observed by stacking an additional LSTM on top of the BILSTM, or by adding a CRF layer on top of the BILSTM. The stacked BILSTM-LSTM misclassifies fewer tokens, but the BILSTM-CRF combination performs better when methods are evaluated for their ability to extract entire, possibly multi-token contract elements.
Lambda Calculus in Core Aldwych
Authors: Huntbach Matthew
Published: February 2025

Core Aldwych is a simple model for concurrent computation, involving the concept of agents that communicate through shared variables. Each variable will have exactly one agent that can write to it, and its value can never be changed once written, but a value can contain further variables that are written to later. A key aspect is that the reader of a value may become the writer of variables in it. In this paper we show how this model can be used to encode lambda calculus. Individual function applications can be explicitly encoded as lazy or not, as required. We then show how this encoding can be extended to cover functions that manipulate mutable variables, but with the underlying Core Aldwych implementation still using only immutable variables. The ordering of function applications then becomes an issue, with Core Aldwych able to model either the enforcement of an ordering or the retention of indeterminate ordering, which allows parallel execution.
Bus Centric Synchronous Message Exchange for Hardware Designs
Authors: Vinter Brian  , Skovhede Kenneth
Published: February 2025

In this work we present a new design and implementation of the Synchronous Message Exchange model. The new version uses explicit busses, which may include multiple fields, and where a components may use a bus for both reading and writing, whereas the original version allowed only reading from or writing to a bus, which triggered a need for some busses to exist in two versions for different directions. In addition to the new and improved bus-model, the new SME version also produces traces that may be used for validating a later VHDL implementation of the designed component, and can produce a graphical representation of a design to help with debugging.
The Role of Concurrency in the Modern HPC Center
Authors: Vinter Brian
Published: February 2025

The modern HPC centre is a complex entity. A centre easily hosts tens of thousands of processors in the smallest cases, and several million processors for the largest facilities. Before 2020, this number is expected to pass 100 million processors in a single centre alone. Thus, massive parallel processing is everyday business today and the major challenges of running such facilities are well established, with solutions existing for most of these challenges.
Not that Blocking!
Authors: Teig Øyvind
Published: February 2025

Communicating to fellow programmers that the concept of blocking in process-oriented design is perfectly acceptable, while using a word with basically negative connotations, is difficult. The bare need to do it often means that misunderstanding this concept is common and harmful. The first contender on a “blocking” channel has alternatively been said (by several people) to wait (rather than block) on the channel. This seems a more accurate description and is certainly more positive.
Computational Challenges for Climate Modelling
Authors: Jochum Markus
Published: February 2025

Numerical simulation of Earth's climate is one branch of computational fluid dynamics. This community faces two key challenges. Firstly, the turbulence closure problem has still not been solved. Therefore more accurate simulations require higher spatial resolution. Secondly, testing the fidelity of our climate models for a future warmer world can only be done by reproducing past warm periods. This requires much faster integrations, which also need to include Earth's full carbon biochemistry. The former requires massively parallel computing architectures and a data infrastructure that can manage rates of 1 Tb/day; the latter requires codes or chips that are an order of magnitude faster than what is currently available. I will briefly describe the evolution of the developments of climate models, show recent results with global geostrophic turbulence resolving models, and outline some ideas of how to structure the community's resources in the future. Slides used in the presentation can be downloaded from [1].
Broadcasting in CSP-Style Programming
Authors: Vinter Brian  , Skovhede Kenneth  , Larsen Mads Ohm
Published: February 2025

While CSP-only models process-to-process rendezvous-style message passing, all newer CSP-type programming libraries offer more powerful mechanisms, such as buffered channels, and multiple receivers, and even multiple senders, on a single channel. This work investigates the possible variations of a one-to-all, broadcasting, channel. We discuss the different semantic meanings of broadcasting and show three different possible solutions for adding broadcasting to CSP-style programming.
Asynchronous Readers and Writers
Authors: Boode Antoon H.  , Broenink Jan F.
Published: February 2025

Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading and writing actions are synchronous and there is a one-to-one relationship between occurrences of pairs of these actions. It is cumbersome to ease the restriction of synchronous execution of the read and write actions. For this reason we introduce the half-asynchronous parallel operator that acts on actions containing the symbols ?' and !' and study the impact on a Vertex Removing Synchronised Product.
Development and Evaluation of a Modern C++CSP Library
Authors: Chalmers Kevin
Published: February 2025

Although many CSP inspired libraries exist, none yet have targeted modern C++ (C++11 onwards). The work presented has a main objective of providing a new C++CSP library which adheres to modern C++ design principles and standards. A secondary objective is to develop a library that provides simple message passing concurrency in C++ using only the standard library. The library is evaluated in comparison to JCSP using microbenchmarks. CommsTime and StressedAlt are used to determine the properties of coordination time, selection time, and maximum process count. Further macrobenchmarks, Monte Carlo π and Mandelbrot, are gathered to measure potential speedup with C++CSP. From the microbenchmarks, it is shown that C++CSP performs better than JCSP in communication and selection operations, and due to using the same threading model as JCSP can create an equal number of processes. From the macrobenchmarks, it is shown that C++CSP can provide an almost six times speedup for computation based workloads, and a four times speedup for memory based work-loads. The implementation of move semantics in channels have provided suitable enhancements to overcome data copy costs in channels. Therefore, C++CSP is considered a useful addition to the range of CSP libraries available. Future work will investigate other benchmarks within C++CSP as well as development of networking and skeleton based frameworks.
Visualisation Facilities of the Graphical CSP Tool TERRA
Authors: Lu Zhou  , Broenink Jan F.
Published: February 2025

Graphs, animations, and visualisations are known to be valuable forms of presenting results of experiments, both simulation and real-life experiments. For CSP-based concurrent programs, the state of processes, CSP constructs and channels are relevant to show. For proper feedback, these can best be related to the form in which the program was entered by the user. In the case of the TERRA graphical CSP tool, feedback is given by colouring the diagram elements according to the specific state they are in, see Figure 1. Next to that, a textual log of events is produced, giving more details relevant in the development process. In this Fringe session, we demonstrate this visualisation facility of our graphical CSP tool TERRA. A paper [1] reporting context and technical details of this tool appears elsewhere in these Proceedings. Slides used in the presentation can be downloaded from [2].
A Comparative User Evaluation on Visual Ontology Modeling Using Node-Link Diagrams
Authors: Asmat Muhammad Rohan Ali  , Wiens Vitalis  , Lohmann Steffen
Published: February 2025

The emergence of several ontology modeling tools is motivated by the growing attention ontologies receive in scientific and industrial contexts. The available tools implement different ontology modeling paradigms, including text-based editors, graphical user interfaces with hierarchical trees and form widgets, and visual modeling approaches based on node-link diagrams. In this paper, we present an empirical user study comparing a visual ontology modeling approach, based on node-link diagrams, with a modeling paradigm that uses hierarchical trees and form widgets. In particular, the user study compares the two ontology modeling tools: Protégé and WebVOWL Editor, each implementing one modeling paradigm. The involved participants were given the tasks of ontology modeling and also answered reflective questions for the individual tools. We recorded completion times of the modeling tasks, the errors made, and users' understanding of the conceptual spaces. The study indicates that visual ontology modeling, based on node-link diagrams, is comparatively easy to learn and is recommended especially for users with little experience with ontology modeling and its formalizations. For more experienced users, no clear performance differences are found between the two modeling paradigms; both seem to have their pros and cons depending on the type of ontology and modeling context.
Towards Improving the Quality of Knowledge Graphs with Data-driven Ontology Patterns and SHACL
Authors: Spahiu Blerina  , Maurino Andrea  , Palmonari Matteo
Published: February 2025

As Linked Data available on the Web continue to grow, understanding their structure and assessing their quality remains a challenging task making such the bottleneck for their reuse. ABSTAT is an online semantic profiling tool which helps data consumers in better understanding of the data by extracting data-driven ontology patterns and statistics about the data. The SHACL Shapes Constraint Language helps users capturing quality issues in the data by means of constraints. In this paper we propose a methodology to improve the quality of different versions of the data by means of SHACL constraints learned from the semantic profiles produced by ABSTAT.
Extending LargeRDFBench for Multi-Source Data at Scale for SPARQL Endpoint Federation
Authors: Hasnain Ali  , Saleem Muhammad  , Ngomo Axel-Cyrille Ngonga  , Rebholz-Schuhmann Dietrich
Published: February 2025

Querying the Web of Data is highly motivated by the use of federation approaches mainly SPARQL query federation when the data is available through endpoints. Different benchmarks have been proposed to exploit the full potential of SPARQL query federation approaches in real world scenarios with their limitations in size and complexity. Previously, we introduced LargeRDFBench – a billion-triple benchmark for SPARQL query federation. In this work, we pinpoint some of of the limitation of LargeRDFBench and propose an extension with 8 additional queries. Our evaluation results of the state-of-the-art federation engines revealed interesting insights, when tested on these additional queries.
Creating Open Citation Data with BCite
Authors: Daquino Marilena  , Tiddi Ilaria  , Peroni Silvio  , Shotton David
Published: February 2025

In the past year we have seen the release of a huge volume of open bibliographic citation data, thanks primarily to the efforts of the Initiative for Open Citations (I4OC, https://i4oc.org). However, the incomplete coverage of these data is one of the most important issues that the open scholarship community is currently facing. In this paper we present an approach for creating open citation data while supporting journal editors in their task of curating the reference lists contained within articles submitted to them for publication. Our contributions are twofold: (a) a basic workflow that supports editors in the management and correction of bibliographic references, and (b) a tool, called BCite, that creates open citation data compliant with an existing RDF-based citation repository: the OpenCitations Corpus.
Argument Mining on Clinical Trials
Authors: Mayer Tobias  , Cabrio Elena  , Lippi Marco  , Torroni Paolo  , Villata Serena
Published: February 2025

Argument-based decision making has been employed to support a variety of reasoning tasks over medical knowledge. These include evidence-based justifications of the effects of treatments, the detection of conflicts in the knowledge base, and the enabling of uncertain and defeasible reasoning in the health-care sector. However, a common limitation of these approaches is that they rely on structured input information. Recent advances in argument mining have shown increasingly accurate results in detecting argument components and predicting their relations from unstructured, natural language texts. In this study, we discuss evidence and claim detection from Randomized Clinical Trials. To this end, we create a new annotated dataset about four different diseases (glaucoma, diabetes, hepatitis B, and hypertension), containing 976 argument components (697 containing evidence, 279 claims). Empirical results are promising, and show the portability of the proposed approach over different branches of medicine.
Viewpoints Using Ranking-Based Argumentation Semantics
Authors: Yun Bruno  , Vesic Srdjan  , Croitoru Madalina  , Bisquert Pierre
Published: February 2025

To address the needs of the EU NoAW project, in this paper we introduce a new modular framework that generates viewpoints (i.e. extensions) based on ranking argumentation semantics by considering a selection function, a ranking on arguments and a lifting function as its input parameters. We study the different combinations of the input parameters and introduce a set of postulates investigated for the framework's different classes of output.
Chatbot Design for Argument Harvesting
Authors: Chalaguine Lisa A.  , Hunter Anthony
Published: February 2025

In this paper we present design concepts for a chatbot than can be used for argument acquisition. We call the acquisition of arguments by means of a chatbot argument harvesting. The chatbot asks the user for his or her arguments on a topic of interest. It can also be used to harvest counterargument, values, preferences, as well as information about the user like his/her personal circumstances. The harvested arguments and other attributes have various applications from the instantiation of argument graphs to the development of computational persuasion systems.
A Demonstration of Multi-Party Dialogue Using Virtual Coaches: The First Council of Coaches Demonstrator
Authors: Snaith Mark  , op den Akker Harm  , Beinema Tessa  , Bruijnes Merijn  , Fides-Valero Álvaro  , Huizing Gerwin  , Kantharaju Reshmashree  , Klaassen Randy  , Konsolakis Kostas  , Reidsma Dennis  , Weusthof Marcel
Published: February 2025

We demonstrate here the first Technical Demonstrator for Council of Coaches a project that is aiming to deploy a platform for virtual health coaching, and will incorporate computational models of argument and dialogue.
Particular Types and Particular Dependence
Authors: Brodaric Boyan  , Gruninger Michael
Published: February 2025

Particular types are designated in this paper as types dependent on an individual, such as SpouseOfHenryVIII dependent on HenryVIII. Other notable possibilities include car models, biological species, and various geological formations. A characterization and formal representation is provided for particular types that (1) introduces particular dependence between a type and an individual; (2) is grounded in this dependence and some defining relation for the type; and (3) provides a multi-level ontology pattern, using lakes as exemplars. This expands the range of types available to geographical ontology and beyond.