{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":68,"n_cols":5,"rows_kept":68,"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],[8,2,8,3],[9,2,9,3],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[23,2,23,3],[24,2,24,3],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[30,4,30,5],[31,2,31,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[40,2,40,3],[41,2,41,3],[43,2,43,3],[46,2,46,3],[46,4,46,5],[47,2,47,3],[47,4,47,5],[48,2,48,3],[48,4,48,5],[49,2,49,3],[50,2,50,3],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[56,2,56,3],[62,2,62,3],[63,2,63,3],[65,2,65,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996387916403316"]
[null,null,"Autore",null,"Rapin René <1621-1687.>"]
[null,null,"Titolo",null,"Monsieur Rapin's reflections on Aristotle's treatise of poesie [[electronic resource] ] : containing the necessary, rational, and universal rules for epick, dramatick, and the other sorts of poetry : with reflections on the works of the ancient and modern poets, and their faults noted / / made English by Mr. Rymer, by whom is added some relections on English poets"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by T.Warren, for H. Herringman, and sold by Francis Saunders ..., 1694"]
[null,null,"Descrizione fisica",null,"[41], 163, [3] p"]
[null,null,"Soggetti",null,"Poetry"]
[{"$nulls":4},"Poetry - History and criticism"]
[{"$nulls":4},"Aesthetics"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Translation by T. Rymer of: Réflexions sur la Poétique d'Aristote et sur les ouvrages des poètes anciens & modernes. Cf. BM."]
[{"$nulls":4},"Reproductions of originals in the Harvard University Library and Henry E. Huntington Library and Art Gallery."]
[null,null,null,"Sommario/riassunto","eebo-0113"]
[null,"2.","Record Nr.",null,"UNINA9910702415503321"]
[null,null,"Autore",null,"Metzger Cheryn Engebrecht"]
[null,null,"Titolo",null,"The Building America indoor temperature and humidity measurement protocol / / Cheryn Engebrecht Metzger and Paul Norton"]
[null,null,"Pubbl/distr/stampa",null,"Golden, CO : , : National Renewable Energy Laboratory, , 2014"]
[null,null,"Descrizione fisica",null,"1 online resource (43 unnumbered pages) : color illustrations"]
[null,null,"Collana",null,"NREL/TP ; ; 5500-61040"]
[null,null,"Soggetti",null,"Dwellings - Heating and ventilation - Control"]
[{"$nulls":4},"Dwellings - Energy conservation - United States"]
[{"$nulls":4},"Humidity - Control - Testing"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","\"February 2014.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (page 18)."]
[null,"3.","Record Nr.",null,"UNISA996499855203316"]
[null,null,"Autore",null,"Li Wei"]
[null,null,"Titolo",null,"R-calculus, III : post three-valued logic / / Wei Li, Yuefei Sui"]
[null,null,"Pubbl/distr/stampa",null,"Singapore : , : Springer, , [2022]"]
[{"$nulls":4},"©2022"]
[null,null,"ISBN",null,"981-19-4270-6"]
[null,null,"Descrizione fisica",null,"1 online resource (284 pages)"]
[null,null,"Collana",null,"Perspectives in formal induction, revision and evolution"]
[null,null,"Disciplina",null,"515"]
[null,null,"Soggetti",null,"Calculus"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Proof theory"]
[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,"Intro -- Preface to the Series -- Preface -- Contents -- 1 Introduction -- 1.1 Three-Valued Logics -- 1.2 Deduction Systems -- 1.3 R-Calculi -- 1.4 More -- 1.5 Basic Definitions -- 1.5.1 Post Three-Valued Logic -- 1.5.2 Post Three-Valued Description Logic -- 1.5.3 Remarks -- 1.6 Types of Deduction Rules -- 1.7 Notations -- References -- 2 Many-Placed Sequents -- 2.1 Zach's Theorem -- 2.2 Analysis of Zach's Theorem -- 2.3 Tableau Proof Systems -- 2.3.1 Tableau Proof System Tt -- 2.3.2 Tableau Proof System Tm -- 2.3.3 Tableau Proof System Tf -- 2.4 Incompleteness of Deduction System T'' -- References -- 3 Modalized Three-Valued Logics -- 3.1 Bochvar Three-Valued Logic -- 3.1.1 Basic Definitions -- 3.1.2 Multisequent Deduction System Mb -- 3.2 Kleene Three-Valued Logic -- 3.2.1 Basic Definitions -- 3.2.2 Gentzen Deduction System Gk -- 3.3 Łukasiewicz's Three-Valued Logic -- 3.3.1 Basic Definitions -- 3.3.2 Tableau Proof System Tl -- References -- 4 Post Three-Valued Logic -- 4.1 Theories -- 4.1.1 Tableau Proof System Tt -- 4.1.2 Tableau Proof System Tm -- 4.1.3 Tableau Proof System Tf -- 4.1.4 Transformations -- 4.1.5 Tableau Proof System Tt -- 4.1.6 Tableau Proof System Tm -- 4.1.7 Tableau Proof System Tf -- 4.2 Sequents -- 4.2.1 Gentzen Deduction System Gt -- 4.2.2 Gentzen Deduction System Gm -- 4.2.3 Gentzen Deduction System Gf -- 4.2.4 Gentzen Deduction System Gt -- 4.2.5 Gentzen Deduction System Gm -- 4.2.6 Gentzen Deduction System Gf -- 4.3 Multisequents -- 4.3.1 Gentzen Deduction System M= -- 4.3.2 Simplified Ms= -- 4.3.3 Gentzen Deduction System M= -- 4.3.4 "]
[{"$nulls":4},"Simplified Ms= -- 4.3.5 Cut Elimination Theorem -- References -- 5 R-Calculi for Post Three-Valued Logic -- 5.1 R-Calculus for Theories -- 5.1.1 R-Calculus Rt -- 5.1.2 R-Calculus Rt -- 5.2 R-Calculi East for Sequents -- 5.2.1 R-Calculus Et -- 5.2.2 R-Calculus Em -- 5.2.3 Basic Theorems."]
[{"$nulls":4},"5.3 R-Calculi for Multisequents -- 5.3.1 R-Calculus K= -- 5.3.2 Simplified K=s -- 5.3.3 R-Calculus K= -- 5.3.4 R-Calculus K=s -- References -- 6 Post Three-Valued Description Logic -- 6.1 Theories -- 6.1.1 Tableau Proof System St -- 6.1.2 Tableau Proof System St -- 6.2 Sequents -- 6.2.1 Gentzen Deduction System Ft -- 6.2.2 Gentzen Deduction System Ft -- 6.3 Multisequents -- 6.3.1 Gentzen Deduction System L= -- 6.3.2 Simplified Ls= -- 6.3.3 Gentzen Deduction System L= -- 6.3.4 Simplified Ls= -- References -- 7 R-Calculi for Post Three-Valued Description Logic -- 7.1 R-Calculus for Theories -- 7.1.1 R-Calculus Qt -- 7.1.2 R-Calculus Qt -- 7.2 R-Calculi for Sequents -- 7.2.1 R-Calculus Dt -- 7.2.2 R-Calculus Dm -- 7.3 R-Calculi for Multisequents -- 7.3.1 R-Calculus J= -- 7.3.2 Simplified J=s -- 7.3.3 Simplified J= -- References -- 8 R-Calculi for Corner Multisequents -- 8.1 Corner Multisequents MQQQ= -- 8.1.1 Axioms -- 8.1.2 Deduction Rules -- 8.1.3 Deduction Systems -- 8.2 Corner Multisequents MQQQ= -- 8.2.1 Axioms -- 8.2.2 Deduction Rules -- 8.2.3 Deduction Systems -- 8.3 R-Calculi KQQQ=/KQQQ= -- 8.3.1 Axioms -- 8.3.2 Deduction Rules -- 8.3.3 Deduction Systems -- 8.4 R-Calculi JQQQ=/JQQQ= -- 8.4.1 Axioms -- 8.4.2 Deduction Rules -- 8.4.3 Deduction Systems -- References -- 9 General Multisequents -- 9.1 General Multisequents -- 9.2 Axioms -- 9.2.1 Axioms for M=/M= -- 9.2.2 Axioms for L=/L=-Validity -- 9.3 Deduction Rules -- 9.4 Deduction Systems -- References -- 10 R-Calculi for General Multisequents -- 10.1 R-Calculi K=Q1Q2Q3/K=Q1Q2Q3/J=Q1Q2Q3/J=Q1Q2Q3 -- 10.2 Axioms -- 10.2.1 Axioms for K=Q1Q2Q3/K=Q1Q2Q3 -- 10.2.2 Axioms for J=Q1Q2Q3/J=Q1Q2Q3 -- 10.3 Deduction Rules -- 10.3.1 R+= -- 10.3.2 R+= -- 10.3.3 R-= -- 10.3.4 R-= -- 10.4 Deduction Systems -- References."]
[null,"4.","Record Nr.",null,"UNINA9910896536003321"]
[null,null,"Autore",null,"Kawulok Michal"]
[null,null,"Titolo",null,"Super-Resolution for Remote Sensing / / edited by Michal Kawulok, Jolanta Kawulok, Bogdan Smolka, M. Emre Celebi"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024"]
[null,null,"ISBN",null,"9783031681066"]
[{"$nulls":4},"3031681061"]
[null,null,"Edizione",null,"[1st ed. 2024.]"]
[null,null,"Descrizione fisica",null,"1 online resource (392 pages)"]
[null,null,"Collana",null,"Unsupervised and Semi-Supervised Learning, , 2522-8498"]
[null,null,"Disciplina",null,"006.3"]
[null,null,"Soggetti",null,"Computational intelligence"]
[{"$nulls":4},"Telecommunication"]
[{"$nulls":4},"Computer vision"]
[{"$nulls":4},"Computational Intelligence"]
[{"$nulls":4},"Communications Engineering, Networks"]
[{"$nulls":4},"Computer Vision"]
[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,"Chapter 1 Introduction to Super-Resolution for Remotely Sensed Hyperspectral Images -- Chapter 2 Real-World Unsupervised Remote Sensing Image Super-Resolution: Addressing Challenges, Solution and Future Prospects -- Chapter 3 Advancements in Deep Learning-Based Super-Resolution for Remote Sensing: A Comprehensive Review and Future Directions -- Chapter 4 Multi-Image Super-Resolution Using Graph Neural Networks -- Chapter 5 Effectiveness Analysis of Example-Based Machine Learning and Deep Learning Methods for Super-Resolution Hyperspectral Images -- Chapter 6 Synergy of Images: Multi-Image Fusion Empowering Super-Resolution in Remote Sensing -- Chapter 7 Unsupervised Pansharpening using ConvNets -- Chapter 8 A comprehensive overview of satellite image fusion: From classical model-based to cutting-edge deep learning approaches -- Chapter 9 Super-Resolution for Spectral Image."]
[null,null,null,"Sommario/riassunto","This book provides a comprehensive perspective over the landscape of super-resolution techniques developed for and applied to remotely-sensed images. The chapters tackle the most important problems that professionals face when dealing with super-resolution in the context of remote sensing. These are: evaluation procedures to assess the super-resolution quality; benchmark datasets (simulated and real-life); super-"]
[{"$nulls":4},"resolution for specific data modalities (e.g., panchromatic, multispectral, and hyperspectral images); single-image super-resolution, including generative adversarial networks; multi-image fusion (temporal and/or spectral); real-world super-resolution; and task-driven super-resolution. The book presents the results of several recent surveys on super-resolution specifically for the remote sensing community. Focuses on reconstruction accuracy compared with ground truth rather than on generating a visually-attractive outcome; Explains how to apply super-resolution to a variety of image modalities inherent to remote sensing; Gathers the description of training datasets and benchmarks that are based on remotely-sensed images."]