
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, 18App Bonus 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.
.- Agents.
.- Advanced Evaluation of Variable Binding Strategies in BDI Agents with Integrated Failure Handling.
.- A Framework for Cognitive Defense in Blockchain: A Case Study on AI-Based Protection Against Selfish Mining Attacks.
.- Architectural Influence on Variational Quantum Circuits in Multi-Agent Reinforcement Learning: Evolutionary Strategies for Optimization.
.- Mitigating Rare but Catastrophic Events Through Distributed Dynamic Evacuation Guidance Using Stochastic Multi-Objective Risk Method.
.- Pathways of Machine Learning-Based Agents on Diverse Communication Structures.
.- Simulating Competing Narratives in Financial Markets: A Co Evolutionary Agent-Based Model with Nonlinear Continuous-Time opinion Dynamics.
.- Competing Narratives in Financial Markets: An Opinionated Agent-Based Model for Simulating Volatility.
.- Sustainable Rural Mobility Using Digital Twin Technology: Challenges and Solution Outlines.
.- Artificial Intelligence.
.- Variance Reduction of Resampling with Medians for Sequential Monte Carlo.
.- Part-of-Speech Taggers Make Errors on Unambiguous Sentences.
.- A New Metric for Measuring the Intrinsic Quality in Data Collected for Quantitative Classification.
.- Sequential Hamiltonian Assembly: Enhancing the Training of Combinatorial Optimization Problems on Quantum Computers.
.- Dynamic Capacity Expansion in Continual Learning: The eSECL Approach.
.- Robust Outlier Detection in Multi-Environment Trial Data:Comparative Analysis and Application to T3/Wheat Dataset.
.- GREED: GNN-based Relation Extraction with Exhaustive Dependency Structure Analysis.
.- Linux System Call Level Dynamic Analysis Towards Programming Language Translation.
.- A Robust Probabilistic Framework for Identifying and Evaluating Concept Drift in Abrupt and Gradual Scenarios.
.- Quantum Transfer Learning: The Impact of Classical Preprocessing.
.- OCASP OWL Class Axiom Score Predictor with Active Learning.
.- Dynamic Multi-Head Attention.


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.