- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
This two part-volume LNCS constitutes the refereed post proceedings of 16th International Conference, ICAART 2024, in Rome, Italy in February 2024.
The 24 full papers and 13 short papers included in this book were carefully reviewed and selected from 375 submissions. They cover all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.
Contents
.- Artificial Intelligence.
.- Deep Neural Networks for Early Human Embryo Stages Detection in Time Lapse Sequences.
.- Prompt. Exploit. Repeat: Automating Network Security Testing with LLMs.
.- Combining Model Ensembles for Multi-Step Forecasts Using the Example of Flood Levels.
.- What comes after transformers? - A selective survey connecting ideas in deep learning.
.- Multi-Stock Movements Classification: A Decoupled Graph Diffusion Neural Network Approach.
.- Detecting Parkinson's Disease Using the Spiral and Wave Drawing Test by Means of Explainable Deep Learning.
.- Deep and Shallow Machine Learning for Predicting Major Donors.
.- Balancing the Trinity of Feature Selection.
.- On the Feasibility of Learning Bipolar Gradual Argumentation Semantics Using Neural Architectures.
.- Integrity in the AI Era: Collaborative Solutions for Programming Education.
.- Greedy and Local Search-Based Constraint Optimization of the Travelling Salesman Problem.
.- A Model to Manage Security Risks in IoT Systems.
.- Natural Language-Based Reinforcement Learning for Acquiring Commonsense Knowledge from Partial Scenarios.
.- I-AM-Birds (ImB-2): Keep Detecting Amazonian Bird Species.
.- Exploring the Role of Large Language Models in Professiographic Profile Mapping through the Evaluation of Argumentative Writing in Military School Education.
.- A Novel RL Framework for Early Configuration Space Exploration.
.- Using Chatbot Technologies to Understand Natural Language Arguments.
