
Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.
Pagabile anche con Carta della cultura giovani e del merito, Carta della Cultura e Carta del Docente
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.
.- 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.


Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.