![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
10,514 Result(s)
-
Chapter and Conference Paper
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework
We formalize the metatheory of lambda calculus in Coq, in its classic form with explicit names. The formalization is founded upon an intuitive $$\alph...
-
Chapter and Conference Paper
Commonsense Reasoning and Explainable Artificial Intelligence Using Large Language Models
Commonsense reasoning is a difficult task for a computer, but a critical skill for an artificial intelligence (AI). It can enhance the explainability of AI models by enabling them to provide intuitive and huma...
-
Chapter and Conference Paper
Optimizing Decision Trees for Enhanced Human Comprehension
This paper studies a novel approach for training people to perform complex classification tasks using decision trees. The main objective of this study is to identify the most effective subset of rules for inst...
-
Chapter and Conference Paper
Automated Prediction of Air Pollution Conditions in Environment Monitoring Systems
This paper aims to explore the problem of air pollution forecasting, especially the particulate matter (PM) concentration in the air. Other quantities such as air temperature, atmospheric pressure, and relativ...
-
Chapter and Conference Paper
Fragmented Image Classification Using Local and Global Neural Networks: Investigating the Impact of the Quantity of Artificial Objects on Model Performance
This paper addresses the challenge of classifying objects based on fragmented data, particularly when dealing with characteristics extracted from images captured from various angles. The complexity increases w...
-
Chapter and Conference Paper
Energy Consumption of Evolutionary Algorithms in JavaScript
Green computing is a methodology for saving energy when implementing algorithms. In environments where the runtime is an integral part of the application, it is essential to measure their energy efficiency so ...
-
Chapter and Conference Paper
AI in Accelerating the Creation of Renewable Energy Sources. Bibliometric Analysis
In recent years, one of the most pressing issues facing society is the protection and conservation of our planet’s resources. The United Nations 2030 Agenda for Sustainable Development, adopted by 193 countrie...
-
Chapter and Conference Paper
Identifying Critical Scenarios in Autonomous Driving During Operation
Ensuring autonomous driving systems’ safety, reliability, and trustworthiness is paramount to preventing incorrect or unexpected system behaviors and hazardous scenarios. However, due to the complexity of such...
-
Chapter and Conference Paper
Single-Scattering and Multi-scattering in Real-Time Volumetric Rendering of Clouds
The aim of this work was to design an algorithm for rendering volumetric clouds in real time using a voxel representation. The results were verified using reference renders created with the Blender program using ...
-
Chapter and Conference Paper
Post–mining on Association Rule Bases
Association rule mining identifies potentially unknown correlations between columns in a relational database and is therefore a central task in the data mining process. In many cases though, the resulting set ...
-
Chapter and Conference Paper
Variable Neighborhood Search in Hamming Space
Variable Neighbourhood Search (VNS) is one of the most used meta-heuristics for global optimization. We focus our attention on combinatorial problems and propose a new implementation of VNS in Hamming space. T...
-
Chapter and Conference Paper
Hybrid Approach to Public-Key Algorithms in the Near-Quantum Era
Application of post-quantum algorithms in newly deployed cryptosystems is necessary nowadays. In the NIST Post-Quantum Competition several algorithms that seem to be resistant against attacks mounted using qua...
-
Chapter
Development and Verification of a Microservice Architecture for a Fire Risk Notification System
Long periods of dry and cold weather conditions significantly increase fire risks for wooden buildings. Recent advances in predictive fire risk models combined with publicly available cloud-based weather data ...
-
Chapter and Conference Paper
Integrated Contract-Based Unit and System Testing for Component-Based Systems
This paper presents a system testing framework for development of AADL-based systems using the HAMR model-driven development framework. A key theme of the framework is the integration of unit testing and progr...
-
Chapter and Conference Paper
Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance
Autonomous spacecraft rendezvous poses significant challenges in increasingly complex space missions. Recently, Reinforcement Learning (RL) has proven effective in the domain of spacecraft rendezvous, owing to...
-
Chapter and Conference Paper
Cheat-FlipIt: An Approach to Modeling and Perception of a Deceptive Opponent
The modeling of opponent deception in an intelligent game system is not sufficient. However, an opponent agent may launch deceptive actions to consume defense resources, such as feint. We focus on modeling a d...
-
Chapter and Conference Paper
Subgroup Discovery with SD4Py
We present SD4Py, a free open-source Python package for performing subgroup discovery and analysis. SD4Py makes it easy to discover subgroups from data stored in a Pandas data frame, to undertake follow-on analys...
-
Chapter and Conference Paper
General Lines, Routes and Perspectives of Wetware Embodied AI. From Its Organizational Bases to a Glimpse on Social Chemical Robotics
In this contribution we would like to put forward a proposal about a novel form of AI, called “Wetware Embodied AI”, based on the construction of bio-chemical dynamical systems intended as models of living and...
-
Chapter and Conference Paper
Simple Framework for Interpretable Fine-Grained Text Classification
Fine-grained text classification with similar and many labels is a challenge in practical applications. Interpreting predictions in this context is particularly difficult. To address this, we propose a simple ...
-
Chapter and Conference Paper
Enhancing Lifetime Coverage in Wireless Sensor Networks: A Learning Automata Approach
This paper focuses on enhancing the lifespan of the Wireless Sensor Network (WSN) by integrating a distributed Learning Automaton into its operation. The proposed framework seeks to determine an optimized acti...