bluuebunny/crossref_metadata_2025 huggingface dataset:
Bioindication method of soil research in the landfill of municipal solid waste in the North Kazakhstan region in 2016 and 2018
Authors: Lyssakova T.N. , Nukzhanova A.M. , Dmitriev P.S. , Wendt Jan A.
Published: February 2025

The methods of ecological assessment of soil condition in the territory of solid household waste landfills in the North Kazakhstan region are considered in the article. The priority method for studying soil quality in the North Kazakhstan region is the bioindication method. This method shows the state of the soil cover on the landfill site. Based on the results of soil biotesting, different levels of pollution are obtained in the territory of the North Kazakhstan region. This is due to the fact that unauthorized landfills have different years of formation and the garbage stored in landfills has a different composition. In the majority of settlements on land-fills there are remains of animals, organic garbage, liquid wastes. During the experiment, the method of biological monitoring was used in the territory of soliddomestic waste landfills in the North Kazakhstan region. Average soil contamination: Novoishimskoye of the district named after G. Musrepov; Ekaterinovka of Zhambyl district. There is no pollution: Lomonosovka of the district named after G. Musrepov; Chagli of Akkayin district; Svyatodukhovka of Zhambyl district; Rassvet of Kyzylzhar district; Bezlesnoye of Akkayin district; Novokamenka of Kyzylzhar district. Despite the long-term accumulation of solid domestic waste on individual soil samples, seeds of cress-lettuce sprouted even with sprouts with small deviations and slight deformations.
Разработка метода полимеразной цепной реакции для диагностики фитопатогенного гриба Zymoseptoria tritici
Authors: Тайлакова Э.Т. , Исабек А.У. , Кожабергенов Н.С. , Мухами Н.Н. , Строчков В.М. , Султанкулова К.Т. , Рсалиев А.С.
Published: February 2025

Своевременная диагностика — залог успешного проведения профилактических мероприятий по устранению тех или иных болезней. Для быстрой детекции и точной идентификации возбудителя вызывающего пятнистость листьев пшеницы необходима разработка высокочувствительного и скоростного метода анализа. В данных исследованиях проведены работы по разработке высокоспецифичного метода ПЦР для диагностики фитопатогенного гриба Zymoseptoria tritici. В результате исследований были отобраны нуклеотидные последовательности для Zymoseptoria tritici из базы данных GenBank. Используя данные последовательности, были сконструированы и синтезированыспецифические праймеры. Проведены работы по отработке оптимальных условий проведения ПЦР по таким параметрам, как концентрации ДНК полимеразы, ионов Mg2+ и дНТФ. Также осуществлены работы по определению чувствительности и специфичности разработанного метода ПЦР. Чувствительность данного метода составила 0,69 пг ДНК патогена в исследуемом материале. В результате исследований специфичности установ-лено, что разработанный метод не выявил ДНК гетерологичных грибов. Таким образом, разработанный метод диагностики на основе ПЦР для выявления гриба Zymoseptoria triticiпоказал высокую специфичность и чувствительность который в дальнейшем может использоваться в качестве диагностического набора на основе ПЦР для выявления гриба Zymoseptoria tritici.
El cirujano del siglo XXI entre la tradición y la modernidad.
Authors: Marre Phillipe , Ruso Martinez Luis
Published: February 2025

Traducción libre a cargo del Dr. Luis Ruso Martínez, con permiso del autor Dr. Phillipe Marre, de la conferencia de cierre de las jornadas de “Recontres Internacionales de la Chirurgie Francophone“ (RIFC 2024), dictada en París el 27 de Octubre de 2024.  “Le chirurgien du siècle XXI entre la tradición et la modernite “. 
El Dr. Marre es profesor (R) de cirugía visceral y digestiva y uno de los precursores de la cirugía bariátrica en Francia. Es miembro titular y Presidente (2021) de la Academia Nacional de Cirugía de Francia.
INNOVATIVE AND INVESTMENT DEVELOPMENT OF RESORT CITIES AND DESTINATIONS: SUSTAINABLE DEVELOPMENT MODELLING
Authors: ZAKHARCHENKO Pavlo , NESTORENKO Tetyana , KOINASH Maryna
Published: February 2025

The article examines the specifics of innovative development in resort cities and destinations in the context of transformational processes in the global economy and the development of a platform economy. It considers current trends in the innovative evolution of the sector, including digitalization and the implementation of advanced technologies to enhance the quality of recreational and tourist services. Taking into account the concepts of J. Schumpeter, G. Mensch, A. Kleinknest, and other researchers, the study analyzes the impact of innovations on economic cycles, structural changes, and the competitiveness of resort and recreational cities and regions. Special attention is paid to the role of innovation waves that form new business models and alter the economic landscape of the industry.A mathematical model for selecting the optimal innovation policy is proposed, which is based on the analysis of the effectiveness of investments in state-of-the-art recreational technologies. A generalized logistic equation is employed to model the dynamics of technological changes, enabling the forecasting of the effectiveness of innovation implementation and its impact on the sustainable development of regions. The criteria for assessing innovation processes are defined, namely, their economic feasibility, environmental safety, and social significance. The necessity of integrating platform solutions to enhance the adaptability of the resort and recreational economy is demonstrated.The study also explores the possibilities of applying digital ecosystems and algorithmic management for coordinating innovative activities and optimizing resource allocation. The regularities governing the interaction between innovation waves and economic processes – which ensure the long-term stability of the development of resort cities and destinations – are identified. The proposed innovation management model allows for evaluating the effectiveness of various development strategies, contributes to the formation of competitive business models, and ensures sustainable growth in the resort and recreational sector.
STEAM ТЕХНОЛОГИЯСЫ НЕГІЗІНДЕ МЕКТЕП ЖАСЫНА ДЕЙІНГІ ЕРЕСЕК ТОП БАЛАЛАРЫНЫҢ ТАНЫМДЫҚ ДАҒДЫЛАРЫН ДАМЫТУ
Authors: Аманжолова А.Н. , Измагамбетова Р.К. , Серікова О.С.
Published: February 2025

Практика көрсеткендей, дайын ақпаратты ұсыну – оқытудың тиімсіз тәсілдерінің бірі. Ал балабақшада STEАM технологиясын қолдану бойынша қадамдық нұсқаулықтардың көмегімен пассивті баланы оқуүдерісінің белсенді қатысушысына оңай айналдыра алатыны сөзсіз. Білім табысының ең жақсы мотиві – оқуға, жаңа білім алуға деген қызығушылық.Бұл ретте автордың пайымдауынша, STEAM оқыту ең қолайлы, бүгінгі күннің келешегі зор жаһандық трендтерінің бірі. STEАM-технологиялар бірнешепән бойынша білімді біріктіруге көмектеседі. Мектеп жасына дейінгі ересек топ балаларының танымдық дағдыларын дамытуда практикалық мәселелердішешуде зерттеу, жобалау және тіпті танымдық дағдыларды дамытуға ықпал етеді. STEАM білім берудің негізгі мақсаты – баланың ғылыми-техникалықшығармашылыққа баулу мүмкіндігімен зияткерлік қабілеттерін дамыту. Демек, STEAM технологиясы негізінде мектеп жасына дейінгі ересек топ балаларының танымдық дағдыларын дамыту құрылымы тұлғалық-мотивациялық, танымдық, іс-әрекеттік, рефлексиялық-бағалаушылық компонентердентұрады.
THE USE OF COGNITIVE STRATEGIES IN IMPROVING UNIVERSITY STUDENTS’ LEVELS OF ENGLISH LANGUAGE PROFICIENCY
Authors: Ashirimbetova M. , Shayakhmetova D.
Published: February 2025

Cognitive strategies are considered to be an effective tool for helping students structure their thinking processes and improve effectiveness of information comprehension and retention in the process of foreign language learning. Conscious application of strategies helps students acquire the language more effectively. Present article discusses the connection between the students’ language mastery levels and frequency of their language learning strategies application. The results show that the higher the students’ mastery of the foreign language is, the more strategies they use. Mixed method research was applied for investigation of the issue. Thus, the importance of introducing the language learning strategies and helping the students to use them in the process of language acquisition might result in improvement of their language mastery.
FORMING STUDENTS' RESEARCH SKILLS BY IMPLEMENTING STEM TECHNOLOGIES IN THE SUBJECT OF BIOLOGY
Authors: Issayev G.I. , Yussupova D.Zh. , Issayev A.I.
Published: February 2025

The article discusses the main problems of forming a new direction of STEM technologies in the era of digitalization. The meaning and content of STEM technology for the natural sciences are discussed, and the main teaching methods are identified. An important part of the lesson was the use of elements of scientific and technical means in a biology lesson. The theoretical and methodological significance of research, competence-based and personally effective methods was used to provide quality education to students in the application of STEM technology in an educational context. Comprehensive teaching of a non-subject topic is included. The key factors for reforming STEM education are identified. Competitive states of he world were mentioned, the arrival and use of new technologies in the Republic of Kazakhstan was noted. The complexity and versatility of education in the field of education is noted, as a result of which programs of various types, directions and levels of complexity are being prepared to solve acute problems associated with a lack of STEM literacy. Four main ways of teaching biology in the field of technology in education are identified. Five main features of this technology are described. The project method was used: the team was divided into teams to experiment with the results. Based on the features of this method, comprehensive training of schoolchildren on the topic was carried out. It has been written about its effectiveness in science teaching. The case of subject integration using a STEM approach was examined.
The Three-Valued Logic of Quadratic Form Theory over Real Rings
Authors: Dickmann Max  , Petrovich Alejandro
Published: February 2025

To Prof. Andrzej Mostowski, in memoriam.
Comparison of Data Amount for Representing Decision Making Policy
Authors: Ueda Ryuichi
Published: February 2025

This paper deals with the problem of how to implement software controller for a robot with a small amount of random access memory (RAM) on its computer. This problem is essentially different from how to solve it with a small amount of RAM. This paper purely compares the trade-off between memory use and performance of a controller. We found that policies that are compressed by vector quantization have an efficient representation.
Control of A Trident Steering Walker
Authors: Yamaguchi Hiroaki
Published: February 2025

This paper introduces and describes a new type of wheeled locomotor, which we refer to as a “trident steering walker.” The wheeled locomotor is a nonholonomic mechanical system, which consists of an equilateral triangular base, three joints, three links and four steering systems. The equilateral triangular base has a steering system at its center of mass. At each apex of the base is a joint which connects the base and a link. The link has a steering system at its midpoint. The wheeled locomotor transforms driving of the three joints into its movement by operating the four steering systems. This means that the wheeled locomotor achieves undulatory locomotion in which changes in its own shape are transformed into its net displacement. We assume that there is a virtual joint at the end of the first link. The virtual joint connects the first link and a virtual link which has a virtual axle at its midpoint and a virtual steering system at its end. We prove that, by assuming the presence of such virtual mechanical elements, it is possible to convert the kinematical equation of the trident steering walker into five-chain, single-generator chained form in a mathematical framework, differential geometry. Based on chained form, we derive a path following feedback control method which causes the trident steering walker to follow a straight path. The validity of the mechanical design of the trident steering walker, the conversion of its kinematical equation into chained form, and the straight path following feedback control method has been verified by computer simulation.
Generating Diagnoses from Conflict Sets with Continuous Attributes
Authors: Benazera Emmanuel  , Travé-Massuyés Louise
Published: February 2025

Many techniques in model-based diagnosis and other research fields find the hitting sets of a group of sets. Existing techniques apply to sets of finite elements only. This paper addresses the computation of the hitting sets of a group of sets whose elements are convex or non-convex, bounded or unbounded continuous regions. We assume the conflict sets are known and we present a novel procedure, the Continuous Hitting Set algorithm (CHS) for transforming conflict sets of continuous elements into minimal hitting sets.
Chronicles for On-line Diagnosis of Distributed Systems
Authors: Le Guillou Xavier  , Cordier Marie-Odile  , Robin Sophie  , Rozé Laurence
Published: February 2025

The formalism of chronicles has been proposed to monitor and diagnose dynamic physical systems. Even if efficient chronicle recognition algorithms exist, it is now well-known that distributed approaches are better suited to monitor real systems. In this article, we adapt the chronicle-based approach to a distributed context and illustrate this work on the monitoring of software components.
Agents Preferences in Decentralized Task Allocation
Authors: Hoogendoorn Mark  , Gini Maria L.
Published: February 2025

The ability to express preferences for specific tasks in multi-agent auctions is an important element for potential users who are considering to use such auctioning systems. This paper presents an approach to make such preferences explicit and to use these preferences in bids for reverse combinatorial auctions. Three different types of preference are considered: (1) preferences for particular durations of tasks, (2) preferences for certain time points, and (3) preferences for specific types of tasks. We study empirically the tradeoffs between the quality of the solutions obtained and the use of preferences in the bidding process, focusing on effects such as increased execution time. We use both synthetic data as well as real data from a logistics company.
Application and Evaluation of a Medical Knowledge System in Sonography (SONOCONSULT)
Authors: Puppe Frank  , Atzmueller Martin  , Buscher Georg  , Huettig Matthias  , Luehrs Hardi  , Buscher Hans-Peter
Published: February 2025

This paper presents the knowledge-system SONOCONSULT – an intelligent system in the medical domain. We evaluated the accuracy, acceptance and impact of SONOCONSULT, which has been used in clinical routine since 2002. The system was well accepted and had a significant clinical impact. In contrast to our original expectations, the diagnostic conclusions, although inferred with high accuracy, were less important especially for experienced physicians.
HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies
Authors: Meditskos Georgios  , Bassiliades Nick
Published: February 2025

We describe a framework for the development of production rule programs on top of OWL ontologies, following a hybrid Object-Oriented (OO) approach. The hybrid nature is realized by separating ontologies and rules, interfacing an external DL reasoner and a production rule engine. The OO nature is realized by mapping OWL ontologies into the OO model, in such a way, so to preserve the extensional ontology semantics when the OO ontology constructs are matched in the production rule conditions.
Opponent Modelling in Texas Hold'em Poker as the Key for Success
Authors: Félix Dinis  , Reis Luís Paulo
Published: February 2025

Over the last few years, research in Artificial Intelligence has focussed on games with incomplete information and non-deterministic moves. The game of Poker is a perfect theme for studying this subject. The best known Poker variant is Texas Hold'em that combines simple rules with a huge amount of possible playing strategies. This paper is focussed on developing algorithms for performing simple online opponent modelling in Texas Hold'em Poker enabling to select the best strategy to play against each given opponent. Several autonomous agents were developed in order to simulate typical Poker player's behaviour and an observer agent was developed, capable of using simple opponent modelling techniques, in order to select the best playing strategy against each opponent. The results obtained in realistic experiments using eight distinct poker playing agents showed the usefulness of the approach. The observer agent is clearly capable of outperforming all their counterparts in all tests performed.
Multi-Agent Collaboration: A Satellite Constellation Case
Authors: Bonnet Grégory  , Tessier Catherine
Published: February 2025

Physical agents such as robots are generally constrained in their communication capabilities. In a multi-agent system composed of physical agents, these constraints have a strong influence on the organization and the coordination mechanisms. Our multi-agent system is a satellite constellation, for which we propose a collaboration method based on incremental coalition formation in order to optimize individual plans and satisfy collective objectives. This involves a communication protocol and two coordination mechanisms: (1) an incentive to join coalitions and (2) coalition minimization. Results on a simulated satellite constellation are presented and discussed.
Human Identification and Positioning System Based on the Combination of Motion Sensor Video Camera
Authors: Tajima Junichi  , Shintani Kimio  , Haga Hirohide  , Kaneda Shigeo
Published: February 2025

In this paper, we propose a method of sensor data processing that detects the direction and the stride of walking. We have proposed a positioning system using only a combination of passive motion sensors and image data, but the precision of the positioning of the previous method was insufficient. The previous method, which counted the number of steps from the up-and-down motion of the foot, had severe limitations. It only could detect forward motion, and therefore could handle less flexibility of walking. In order to solve this problem, we paid attention to the movement of the swing phase and the stance phase of walking and detected the direction and the stride of walking, using data of horizontal acceleration. The proposed method recognizes movement to the front and rear, and to the right and left. Acquired sensor data will be collated with the image data from a camera. Based on the prototype system, the experimental evaluation of the proposed method is demonstrated.
Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour
Authors: Mokos Konstantinos  , Katsaros Panagiotis  , Bassiliades Nick  , Vassiliadis Vangelis  , Perrotin Maxime
Published: February 2025

In dependable systems engineering safety assessment of complex designs that involve software and hardware components is one of the most difficult tasks required. Due to the different modelling languages and models that are used for complementary tasks, the model and specification artefacts are not easily shared by the experts involved in the design process. Moreover, the structural and semantic differences of the used language representations open a possibility for inconsistencies between the corresponding models. This work explores the role of an ontology representation of component failure behaviour as a basis for automated model transformations, as well as a library of reusable knowledge artefacts to be used in different modelling languages and models. The presented approach was motivated by recent findings and requirements derived from European industrial-driven research and development projectsThis work is partly funded by the European Space Agency (ESA) Contract Ref: RFQ3-12080/07/NL/FM/na.
Modelling Agent Behaviours in Simulating Transport Corridors Using Prometheus and Jason
Authors: Kaim Karol  , Lenar Mateusz
Published: February 2025

This article describes the approach to create the multi-agent system (MAS) for simulating transport corridors. There are few new ideas that were used during the developing the system. JASON language used in implementation of this system is a relatively new approach. A commitment based communication was described before in few papers but there is a little about its implementation. The social aspects of agents are emphasizes in this paper. Although the system is not fully implemented, the combination of Prometheus methodology and JASON language seems to be the good choice for developing the multi-agent systems.
Data Mining Approach to Analysis of Computer Logs Using New Patterns
Authors: Cabaj Krzysztof
Published: February 2025

Due to the huge amount of currently collected data, only computer methods are able to analyze it. Data Mining techniques could be used for this purpose, but most of currently used techniques discovering global patterns loose information about local changes. In this paper the new patterns are proposed: frequent events and groups of events in data stream. They have two advantages: information about local changes in distribution of patterns is obtained and the number of discovered patterns is smaller than in other methods. Described experiments prove that patterns give valuable knowledge, for example, in analysis of computer logs. Analysis of firewall logs reveals interest of user, its favourite web pages and used portals. By using described methods for analysis of HoneyPot logs, detailed knowledge about malicious code and time of its activity could be received. Additionally, information about infected machines IP addresses and authentication data is automatically discovered.
Towards Verifying Declarative Specifications of Reactive Systems
Authors: Kameda Tae  , Arai Osamu  , Gorlatch Sergei  , Fujita Hamido
Published: February 2025

This paper addresses the challenge of developing correct reactive software systems using declarative specifications. We consider the promising Lyee software development system and extend it by means of the STR – State Transition Rules. The use of STR allows verifying the desired properties of reactive systems and thus producing Lyee programs of a higher quality than it is possible without verification. We demonstrate how the STR-based approach works for an illustrative example of the highly interactive Othello game.
Anatole Kopp (1915–1990): the Engaged Architect and the Concept of Modern Architecture
Authors: Falbel Anat
Published: February 2025

On Engagement; The Background of the Engaged Architect; Engagement and Architecture; In Search of the Idea of Modern Architecture; Conclusion; References
Transformations of a Suburban Estate Designed by Gregory Ain
Authors: Kamei Yasuko
Published: February 2025

Introduction; Description of the Mar Vista Tract; The Survey; Characteristics that Facilitate Preservation of the Tract; Disparate Opinions of Occupants Regarding Unit Modification, Maintenance and Preservation; Conclusion; Notes; References
Selecting and Customizing a Mereology Ontology for its Reuse in a Pharmaceutical Product Ontology
Authors: Fernández-López Mariano  , Gómez-Pérez Asunción  , Suárez-Figueroa Mari Carmen
Published: February 2025

This paper presents our experience in reusing mereology ontologies in a Pharmaceutical Product ontology, an ontology built by the EU NeOn project. It shows a set of mereology ontologies implemented in different machine interpretable languages and analyzes them according to the different types of mereology identified by Varzi. Then, it describes the specifications of mereology modeling necessities for Pharmaceutical Product. Finally, it presents the ontology which fits best with the specifications. One of the results of this work is a procedure to reuse general (also called common) ontologies.
KEMM: A Knowledge Engineering Methodology in the Medical Domain
Authors: Wennerberg Pinar  , Zillner Sonja  , Möller Manuel  , Buitelaar Paul  , Sintek Michael
Published: February 2025

Medical research and clinical practice deal with complex and heterogeneous data. This requires a systematic approach for semantic integration of information to support clinicians in their daily tasks.
Knowledge Discovery on the response to neurorehabilitation treatment of patients with Traumatic Brain Injury through an AI&Stats and graphical hybrid methodology
Authors: Gibert Karina  , García-Rudolph Alejandro  , García-Molina Alberto  , Roig-Rovira Teresa  , Bernabeu Montserrat  , Tormos José María
Published: February 2025

Neuropsychological rehabilitation seeks to reduce cognitive disability after acquired brain injury. However, until now, there is not enough data to allow exercise of neuropsychological rehabilitation based on scientific Class I evidence. From the medical point of view, the purpose of this work is to develop a classificatory tool to identify different populations of patients based on the characteristics of deficit and response to treatment. This Knowledge Discovery problem has been faced by using exogenous clustering based on rules, an hybrid AI and Statistics technique, which combines some Inductive Learning (from AI) with clustering (from Statistics) to extract knowledge from certain complex domains in form of typical profiles. In this paper, the results of applying this technique to a sample of patients with Traumatic Brain Injury are presented and their advantages with regards to other more classical analysis approaches are discussed.
CABRO: Winner Determination Algorithm for Single-unit Combinatorial Auctions
Authors: Muñoz Víctor  , Murillo Javier
Published: February 2025

In this paper we present CABRO, an algorithm for solving the winner determination problem related to single-unit combinatorial auctions. The algorithm is divided in three main phases. The first phase is a pre-processing step with some reduction techniques. The second phase calculates an upper and a lower bound based on a linear programming relaxation in order to delete more bids. Finally, the third phase is a branch and bound depth first search where the linear programming relaxation is used as upper bounding and sorting strategy. Experiments against specific solvers like CASS and general purpose MIP solvers as GLPK and CPLEX show that CABRO is in average the fastest free solver (CPLEX not included), and in some instances drastically faster than any other.
Categorization and Social Norms Support
Authors: Villatoro Daniel  , Sabater-Mir Jordi
Published: February 2025

Social Norms proliferate in societies as a mechanism for self-organization. This kind of norms are not enforced by a central authority and the individuals of the society are those responsible for their generation and maintenance. The maintenance process is what is known as norm support and is supported by several mechanisms like for example laws, social proof, dominance, etc. We believe that agent based simulation is a suitable technique for investigating this topic. In this paper we present an overview of the work we have been developing in this area. The ‘Find and Share (and Exchange)’ game is introduced as the environment where to prove our hyphotheses on social norms. After that, we present an initial categorization on the possible social norms in our environment. Finally, some mechanisms are studied to observe its effectiveness solving the norm suport problem.
Annotated Paraconsistent Logic
Authors: Martins Helga Gonzaga  , de Moraes Carlos Henrique Valério  , Costa Cláudio Inácio de Almeida  , Lambert-Torres Germano  , Neto Antônio Faria
Published: February 2025

This paper presents a general view from the Two-Valued Annotated Paraconsistent Logic – 2vAPL to the Four-Valued Annotated Paraconsistent Logic – 4vAPL. The purpose to expand 2vAPL to 4vAPL is to enable the insertion of opinions from Experts in the knowledge base, so that the problems described approach their real condition, once the opinion of an Expert may be decisive in the evaluation of a system. Furthermore, with the expansion of 2vAPL to 4vAPL, it is possible to analyze the behavioral evolution of the opinions from these Experts within time.
Opportunities to Improve Software Testing Processes on the Basis of Multi-Agent Modeling
Authors: Arnicans Guntis  , Arnicane Vineta
Published: February 2025

Testing is a process which can be viewed as a complex system. There are techniques for reducing the level of complexity which come from ways of establishing multi-agent systems that have been discovered in the area of artificial intellect. The idea is that testing processes should at least in part be viewed as multi-agent systems. Different paradigms for organising testing processes become possible if many primitive agents are established and if operations and tasks are broken up into primitive units. This makes it possible to use available resources more effectively. The principles which are presented in this paper can gradually develop testing processes into more effective operations. We particularly focus on the organisational aspects of the testing process.
Development of the Plagiarism Detection Tool for Processing Template-Based Documents
Authors: Anohina Alla  , Mislevics Antons  , Grundspenkis Janis
Published: February 2025

The paper presents the plagiarism detection tool for processing template-based documents specifying its conception, the method chosen for the plagiarism detection, the process of the checking of the originality of a submitted student's work, tool's users and requirements. Logical level of the architecture is given as well. Software needed for the implementation and the use of the tool is described.
Matching Law Ontologies using an Extended Argumentation Framework based on Confidence Degrees
Authors: Trojahn Cassia  , Quaresma Paulo  , Vieira Renata
Published: February 2025

Law information retrieval systems use law ontologies to represent semantic objects, to associate them with law documents and to make inferences about them. A number of law ontologies have been proposed in the literature, what shows the variety of approaches pointing to the need of matching systems. We present a proposal based on argumentation to match law ontologies, as an approach to be considered for this problem. Argumentation is used to combine different techniques for ontology matching. Such approaches are encapsulated by agents that apply individual matching algorithms and cooperate in order to exchange their local results (arguments). Next, based on their preferences and confidence, the agents compute their preferred matching sets. The arguments in such preferred sets are viewed as the set of globally acceptable arguments. We show the applicability of our model matching two legal core ontologies: LKIF and CLO.
Project Management
Authors: Wamelink J.W.F. (Hans)  , Heintz John L.
Published: February 2025

This paper describes the ways in which factors of project environments determine the application of management concepts, particularly risk management, in industrial design engineering (IDE) and architectural projects. The paper is based on a set of eight design cases prepared for the IDE+A conference. Given the limited number of cases and the constraints imposed by the overall case study design, it was necessary to supplement the insight derived from the cases with a review of generally accepted accounts of the design process in IDE and architecture. By sorting the cases according to the emergent dimensions of internal vs. external project and market- vs. client-driven and comparing the applications of project management concepts in each case, we will find that the environmental factors provide a clearer picture of how and why different project management concepts are applied than do the disciplinary factors. Indeed, by focusing on the project environment factors we may be in a better position to predict project management approaches will be required in design-build or other unusual or innovative project organisations. innovative project organisations.
The Mouth Articulatory Modelling and Phonosemantic Conceptualization as In-Formation of Human Language
Authors: Medvedev Alexei
Published: February 2025

The work claims the trilateral unity (sameness) of sound, thought, and mouth gesture in human speech. This fundamental principle allows modelling of the world's objects by analogy in their – mostly spatial – traits and the mouth gestures for the articulation of sounds. The phonosemes – a newly introduced term for the sounds of human speech as bearers of intrinsic meaning – appear to be universal across all human languages and comprise the multilingual diversity of word formation as various instances of the primordial conceptualization of knowledge as the in-formation, a sort of Mentalese.
Representing and Combining Calendar Information by Using Finite-State Transducers
Authors: Niemi Jyrki  , Koskenniemi Kimmo
Published: February 2025

This paper elaborates a model for representing various types of semantic calendar expressions (SCEs), which correspond to the disambiguated intensional meanings of natural-language calendar phrases. The model uses finite-state transducers (FSTs) to mark denoted periods of time on a set of timelines also represented as an FST. In addition to an overview of the model, the paper presents methods to combine the periods marked on two timeline FSTs into a single timeline FST and to adjust the granularity and span of time of a timeline FST. The paper also discusses advantages and limitations of the model.
Fuzzy Interval Net Present Value
Authors: Corazza Marco  , Giove Silvio
Published: February 2025

The evaluation of investment projects is an ever-present problem in everyday firm life and in several economic research fields. In this paper we propose a model in which we conjugate the operative usability of the net present value with the capability of the fuzzy and the interval approaches to manage uncertainty. In particular, our fuzzy interval net present value can be interpreted, besides the usual present value of an investment project, as the present value of a contract in which the buyer lets the counterpart the possibility to release goods/services for money amounts that can vary in prefixed intervals, at time instants that can also vary in prefixed intervals. In her/his turn, the buyer can reduce the widths of both these kinds of intervals by paying a proper cost. Given this interpretation, it is “natural” to represent the good/service money amounts and the time instants by means of triangular fuzzy numbers, and the cost of the buyer as a strictly-increasing function of the level α∈[0,1] associated to the generic cut of the fuzzy interval net present value. Of course, the buyer is characterized by an utility function that, in our case, depends on the features of the net present value of the contract and on the cost. So, the buyer has to determine the optimal value of α which maximizes her/his utility. As far the interest rates regard, noticing that usually the economic operators are ignorant of the future, we assume that they are only able to specify a variability range for each of the considered period interest rate. This is why we represent the interest rates by means of interval numbers. Besides proposing our model, we formulate and solve the nonlinear optimization programming problems which have to be coped with in order to determine the extremals of the generic cut of the fuzzy interval net present value, and we deal with some questions related to the utility function of the buyer.
National and regional scale InSAR DEMs and applications
Authors: Gopal Sowmya  , Mercer Bryan
Published: February 2025

The purpose of this paper is to provide an update on a program, referred to as NEXTMap®to create a single uniform DEM (Digital Elevation Model) for Western Europe and similarly for the USA using the airborne InSAR (Interferometric Synthetic Aperture Radar) technology. The program is well advanced and completion of this program is slated for the end of 2009. The database is being populated country by country and is available under commercial license to the user community. The characteristics of this DEM are intermediate in detail between those provided over wide regions by satellite technology and the more localized technology of lidar and airborne photogrammetry.
Analysis of forest health at landscape level through very high resolution satellite images
Authors: Giannetti F.  , Grignetti A.
Published: February 2025

Analysis of satellite images, combined with Geographic Information System (GIS) data and field surveys, proved to be an effective tools for studying forest health conditions. Most of the past works examined conifer trees but structure and health of hardwood trees were also analyzed. In recent years the traditional use of moderate to medium-resolution imagery (10–30 m) were integrated by the availability of very high resolution satellite data which allows monitoring individual trees.
Quantification of bio-physical intertidal sediment properties using hyperspectral measurements
Authors: Adam S.  , Monbaliu J.  , Toorman E.A.
Published: February 2025

In this work, the use of hyperspectral remote sensing for the quantification of bio-physical characteristics of the surface intertidal sediments is explored.
Object oriented detection of scattered vegetation from IKONOS data
Authors: Kolar Jan
Published: February 2025

This paper deals with the application of VHR satellite data object-oriented classification for landscape scattered vegetation monitoring. The object-oriented methods of image data analysis gives certain advantages and benefits comparing to more traditional means. These methods were applied on IKONOS data acquired over test site in the Czech Republic, using Definiens Professional software. Primarily tool used were a multiresolution segmentation algorithm. A role of multiresolution segmentation and related parameters has been assessed. Based on that, the most suitable combinations of segmentation parameters and specific features for determination of scattered vegetation units have been specified. Due to high variety of the size of individual elements belonging to the scattered vegetation, the scale parameter cannot be uniquely determined. Along with spectral features, also spatial and textural features have been implemented into classification algorithm. Standard deviation and brightness are two most significant parameters for detection of the scattered vegetation. Two different classification methods were developed based on nearest neighbour classifier and on thresholding. The processes developed have been verified on another area of landscape as well as on the area of entire Ikonos scene. Producer and user accuracy achieved when using both methods have reached about 80% which can be useful for vegetation inventory.
Measurement of multispectral BRF effects of the megacity Cairo, Egypt using CHRIS/PROBA data
Authors: Frey C.M.  , Parlow E.
Published: February 2025

In this analysis, a series of images from the ESA imaging spectrometer CHRIS on the technology demonstration satellite PROBA, taken in a row over Cairo on 17thFebruary 2007 and 24thMarch 2008 at each five different viewing zenith and azimuth angles are analyzed to find the BRF (bidirectional reflection function) which is typical for urban areas in a developing Arab country. The results are only valid for these sun-sensor constellations, since only two scenes were analyzed. CHRIS/PROBA features 18 bands in the shortwave range. All bands were first destriped and then corrected for atmospheric influences using the radiative transfer model MODTRAN. Furthermore the images were geo-referenced using manually set pass points. The accuracy of the geolocation varies across the image. Generally pixels match well; however, in some areas there is a shift of one or two pixels. There is a clear dependency in the reflectances on the viewing geometry of the sensor. The regression coefficients r2from the regression between the reflectance and the viewing geometry are high for all bands in all urban areas. No distinct difference was found for high or medium dense housing.
Agreeing Upon SOA Terminology – Lessons Learned
Authors: Stricker Vanessa  , Heuer André  , Zaha Johannes Maria  , Pohl Klaus  , de Panfilis Stefano
Published: February 2025

Building service-based systems with the Service Oriented Architecture (SOA) requires knowledge and experience from diverse domains, including user interaction, service-oriented computing, as well as service platforms and infrastructures. These domains are addressed by different research communities. Therefore, joint research activities between these communities are key to provide novel service technologies for the Future Internet. As each community uses its own language, this poses significant communication challenges. To foster a common understanding of researchers, this paper reports on the process, the results and the lessons learned in devising an agreed terminology within the context of the NEXOF initiative. This terminology is freely accessible on the Web.
Quantitative motor function evaluation: the VAMA project experience
Authors: Cappozzo Aurelio  , Camomilla Valentina  , Della Croce Ugo  , Mazzà Claudia  , Vannozzi Giuseppe
Published: February 2025

This paper aims at reviewing the experience maturated over the past decade by this group in the framework of the VAMA (Italian acronym for “evaluation of motor ability in the elderly”) project. The objective of that research programme was to devise quantitative methods for assessing the locomotor functional limitation of a given individual and, as a further step, for investigating the relationship between relevant impairments and disability. This was accomplished through the biomechanical analysis of a battery of selected motor tasks as executed by groups of elderly individuals. The attainment of this objective entailed the following methodological steps: increasing the resolution with which the human movement is observed; enhancing the information contained in movement-related data by applying models of the musculoskeletal system; extracting the relevant information by using specific methods of knowledge discovery from databases.
Recursive Neural Networks for Cheminformatics: QSPR for Polymeric Compounds (Towards Biomaterials Design)
Authors: Micheli A.  , Bertinetto C.  , Duce C.  , Solaro R.  , Tiné M.R.
Published: February 2025

We report on the latest advances and applications of an innovative cheminformatics approach based on neural networks for structures (Recursive Neural Networks), which has recently been employed for the QSPR analysis of polymeric compounds with diverse structures. This work presents a comprehensive survey of the obtained prediction results on acrylic and methacrylic polymers, including statistical copolymers. The flexibility of the described method supports its exploitation for the study and development of new molecules and materials of biomedical interest.
Short-term time-to-event model of response to treatment following the GIMEMA protocol for Acute Myeloid Leukaemia
Authors: Lisboa Paulo J.G.  , Jarman Ian H.  , Etchells Terence A.  , Ambrogi Federico  , Ardoino Ilaria  , Vignetti Marco  , Biganzoli Elia
Published: February 2025

Acute Myeloid Leukaemia (AML) is a serious condition that may require aggressive systemic treatment. As a consequence of this it is important to characterize quantitatively response to treatment, differentiating patients across a range of clinical and laboratory indicators. This study follows the disease progression for a cohort of n=509 patients diagnosed with AML “de novo” and treated according to a strict protocol defined by the “Gruppo Italiano Malattie Ematologiche dell'Adulto” (GIMEMA). This protocol involves an induction therapy with health assessment typically within 60–90 days and three possible outcomes: complete remission (CR), resistance to induction therapy (Res) and induction death (ID). Accordingly, a time-to-event model with competing risks using the framework of partial logistic artificial neural networks with automatic relevance determination (PLANNCR-ARD) is applied. This results show a stratification of the mortality risk following therapy.
Service Interaction Research in Emerging IEEE NGSON Standards (Industrial Report)
Authors: Lin Fuchun Joseph
Published: February 2025

The Next Generation Service Overlay Network (NGSON) is a standard activity launched by IEEE Communications Society in March 2008 to define a framework of Internet Protocol (IP)-based service overlay networks and specify context-aware, dynamically adaptive, and self-organizing networking capabilities, including advanced routing and forwarding schemes that are independent of underlying transport networks. Service interaction research, specifically how to harness service interactions to facilitate service integration and bundling in such a service overlay network, has been the focus of this standard activity. This paper reports the still evolving ideas of IEEE NGSON architecture and describes the new challenges in service interaction research in such a framework.
Appreciation and Anticipation in the Evolution of the Nano-Field – a Case for Systemic Foresight
Authors: Loveridge Denis  , Saritas Ozcan
Published: February 2025

All life is based on superbly contrived interdependent natural nano-artifacts. What then is the intention of human attempts to create nano-artifacts of increasing complexity? What may be their purpose? Why is so much effort being made globally to create nano-science and nano-technology to be the basis of nano-artifacts? How much progress is being made toward vague and undeclared goals? When may some of these goals be reached? These are some of the issues for foresight (anticipation) to explore through appreciation of the situation that now characterises the nano-world of human endeavour. Later an example will be used to illustrate the interdependencies within these situations over an extended time horizon notionally up to 2050. However, first it is necessary to indicate briefly how the present nano-world situation has been reached, a matter of foresight's close relation to hindsight. Subsequently, the concepts of situations, systemic foresight and panarchy, and their interrelatedness are outlined. Also illustrated is how they work in harness with the six foresight themes Social, Technology, Economics, Ecology, Politics and Values (acronym STEEPV) and appreciation. There are two examples. One dwells on some current anticipations of the future for nano-science, nano-technology and nano-artifacts. The other illustrates how situations, systemic foresight and panarchy illuminate four interdependent themes that are important to the future of the nano-field. Throughout, what is colloquially called ‘nanotechnology’ is considered as three interdependent parts nano-science, nano-technology and nano-artifacts. Two of these, nano-science and nano-technology, support the creation of nano-artifacts. The paper also indicates briefly the relevance of industrial ecology.
Belief Exploration in a Multiple-Media Open Learner Model for Basic Harmony
Authors: Johnson Matthew  , Bull Susan
Published: February 2025

This paper focuses on whether learners of basic music theory may find a multiple-media independent open learner model useful to explore their knowledge of harmony concepts. Learners were given the option to explore example beliefs held in their learner model as music notation, audio or text, and shown how their beliefs compared to those of an expert. Results suggest users are both willing and make use of the open learner model, and show individual preferences for media format in which to view their beliefs. Participants mostly explored incorrect knowledge even though more correct knowledge was present in the model, and made greater use of the views specific to the music domain (music notation, audio) when their model showed “incorrect knowledge”. Results indicate the potential to include multi-media information in open learner models in appropriate domains.