{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":51,"n_cols":5,"rows_kept":51,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[9,2,9,3],[9,4,9,5],[10,2,10,3],[10,4,10,5],[11,2,11,3],[11,4,11,5],[12,2,12,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[20,2,20,3],[21,2,21,3],[23,2,23,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[47,2,47,3],[48,2,48,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910482739903321"]
[null,null,"Autore",null,"Pedersen Christiern <1480?-1554.>"]
[null,null,"Titolo",null,"Det Ny Testamente, Jhesu Christi egne ord oc Euangelia, som han selff predickede oc lærde her paa Jorden ..., (rettet paa ny igen aff Christiern Pedersen) [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Antwerp, : Willem Vorsterman, 1531"]
[null,null,"Descrizione fisica",null,"Online resource (344 bl.)"]
[null,null,"Lingua di pubblicazione",null,"Danese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Reproduction of original in Det Kongelige Bibliotek / The Royal Library (Copenhagen)."]
[null,"2.","Record Nr.",null,"UNINA9911047716903321"]
[null,null,"Autore",null,"Corchado Emilio"]
[null,null,"Titolo",null,"Hybrid Artificial Intelligent Systems : 20th International Conference, HAIS 2025, Salamanca, Spain, October 16–17, 2025, Proceedings, Part II / / edited by Emilio Corchado, Héctor Quintián, Alicia Troncoso Lora, Hilde Pérez García, Esteban Jove Pérez, José Luis Calvo Rolle, Francisco Javier Martínez de Pisón, Pablo García Bringas, Francisco Martínez Álvarez, Álvaro Herrero, Paolo Fosci, Ramos Sérgio Filipe"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026"]
[null,null,"ISBN",null,"3-032-08462-8"]
[null,null,"Edizione",null,"[1st ed. 2026.]"]
[null,null,"Descrizione fisica",null,"1 online resource (568 pages)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 16203"]
[null,null,"Disciplina",null,"006.3"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Artificial Intelligence"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"-- Deep Learning and Representation Learning.  -- Knowledge Distillation of Class Activation Maps from Two Teachers for Continual Learning.  -- RAPID: Robust Adaptive Probabilistic Inference with DINO Features.  -- MapFM: Foundation Model-Driven HD Mapping with Multi-Task Contextual Learning.  -- Revisiting Automatic Essay Assessment: A Relative Approach.  -- Evaluating the Usefulness of Large Language Models for Human Activity Recognition Data Augmentation via Few-shot Samples.  -- Determination of galaxy photometric redshifts using Conditional Generative Adversarial Networks (CGANs).  -- Hybrid Vision System for Minor Pre-Assembly Identification in a Robotic Welding Cell.  -- An energy efficient model based on the feature pseudo-embedding.  -- HAIS Energy Applications.  -- Forecasting Thermal Demand in Citizen Energy Communities Using Machine Learning: Application to the Urberoa Case Study.  -- A Hybrid Modelling Approach for Forecasting the Acquired Electrical Power from Photovoltaic Panels.  -- KARMA: KAN meets ARIMA.  -- IIoT-Driven Time Series Imputation for Sustainable Metalworking Fluid Monitoring.  -- Evolutionary Computation and Optimization.  -- An Adaptive Memetic Algorithm for Solving the Multiple Knapsack Assignment Problem.  -- Advanced Decomposition-based Bioinspired Algorithms for Multiobjective Phylogenetics.  -- An Ant Colony Optimization Approach for Safest Path Pair Computation under Correlated Failures.  "]
[{"$nulls":4},"-- DRL-Driven Batch-Oriented SDN Migration with Weighted Traffic Matrix Clustering for Dynamic Networks.  -- Reinforcement Learning and AI Planning.  -- Emotional Value-aware Agents: a Viewpoint paper.  -- Neuro-Symbolic Reasoning with Multiple Large Language Models Combined by First-Order Logic.  -- SimplyQRL: A Modular Benchmarking Library for Hybrid Quantum Reinforcement Learning.  -- Enhancing World Models with Specialized Prediction Networks for Reinforcement Learning.  -- Smart Mobility and Transportation Optimization.  -- Clustering-Based Route Optimization for Mixed Ride-Sharing under Time Constraints.  -- Origin-Destination Frequency Tensors and Their Application in Machine Learning Modelling.  -- Fast-TRACLUS: An Optimized Trajectory Clustering Algorithm for Large-Scale Datasets.  -- Action Space Size Effects in Reinforcement Learning for the Vehicle Routing Problem.  -- Time Series and Forecasting Methods.  -- Perplexity, Uncertainty, and the Limits of Active Learning.  -- Channel selection and creation algorithms for Electroencephalography classification with HIVE-COTE.  -- Multivariate Regime Identification and Prediction in Financial Markets via Gaussian Mixture and Gradient Boosting Methods.  -- On-Edge Task Planning with Large Language Models for Service Robotics."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 20th International Conference on Hybrid Artificial Intelligence Systems, HAIS 2025, held in Salamanca, Spain, during October 16–17, 2025. The 53 full papers included in this book were carefully reviewed and selected from 120 submissions. They focus on the following topical sections: Part I: Agricultural and Environmental Monitoring; Biomedical Applications; Cybersecurity and Network Protection; Data Mining and Decision Support Systems. Part II: Deep Learning and Representation Learning; HAIS Energy Applications; Evolutionary Computation and Optimization; Reinforcement Learning and AI Planning; Smart Mobility and Transportation Optimization; Time Series and Forecasting Methods."]
[null,"3.","Record Nr.",null,"UNISA996691673003316"]
[null,null,"Autore",null,"D´Souza Meenakshi"]
[null,null,"Titolo",null,"Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings / / edited by Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026"]
[null,null,"ISBN",null,"9783032087072"]
[{"$nulls":4},"9783032087065"]
[null,null,"Edizione",null,"[1st ed. 2026.]"]
[null,null,"Descrizione fisica",null,"1 online resource (877 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 16145"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Engineering and Networks"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Computer Hardware"]
[{"$nulls":4},"Theory of Computation"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025. The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification. ."]