Buch, Englisch, 344 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 552 g
16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II
Buch, Englisch, 344 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 552 g
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-031-87329-4
Verlag: Springer Nature Switzerland
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Informatik Bildsignalverarbeitung
- Mathematik | Informatik EDV | Informatik EDV & Informatik Allgemein
- Mathematik | Informatik EDV | Informatik Technische Informatik
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
Weitere Infos & Material
.- 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.
