Recursos

• Understanding the Metaverse
• Artificial General Intelligence (AGI) Security
• Handbook of Trustworthy Federated Learning
• From Animals to Animats 17
• Formal Methods
• Tests and Proofs
• Formal Methods
• String Processing and Information Retrieval
• Electronic Voting
• Recent Advances in the Message Passing Interface
• Engineering of Complex Computer Systems
• Cryptology and Network Security
• Intelligence Science V
• Cryptology and Network Security
• Simplifying Medical Ultrasound
• Creative Mathematical Sciences Communication
• Simulation and Synthesis in Medical Imaging
• Computational Mathematics Modeling in Cancer Analysis
• Cancer Prevention, Detection, and Intervention
• Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
• Deep Generative Models
• Perinatal, Preterm and Paediatric Image Analysis
• Ophthalmic Medical Image Analysis
• Topology- and Graph-Informed Imaging Informatics
• Decision and Game Theory for Security
• Society 5.0
• Logic Programming and Nonmonotonic Reasoning
• Runtime Verification
• Model Checking Software
• Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning
• Ethics and Fairness in Medical Imaging
• Future Access Enablers for Ubiquitous and Intelligent Infrastructures
• Information, Communication and Computing Technology
• Algorithmic Decision Theory
• Plenoptic Imaging and Processing
• Advances in Computing and Data Sciences
• Smart Cities, Green Technologies, and Intelligent Transport Systems
• Computational Color Imaging
• Applied Computer Sciences in Engineering
• Applied Computer Sciences in Engineering
• Advances in Computational Intelligence
• Advances in Soft Computing
• Causal Inference
• Semi-supervised Tooth Segmentation
• Predictive Intelligence in Medicine
• Energy Informatics
• Applied Informatics
• Applied Informatics
• Supply Chains
• Analytical and Stochastic Modelling Techniques and Applications