{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":49,"n_cols":5,"rows_kept":49,"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],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[16,2,16,3],[17,2,17,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[41,2,41,3],[42,2,42,3],[45,2,45,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996418302203316"]
[null,null,"Titolo",null,"Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020"]
[null,null,"ISBN",null,"3-030-58920-X"]
[null,null,"Edizione",null,"[1st ed. 2020.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 255 p. 47 illus.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 12297"]
[null,null,"Disciplina",null,"005.1015113"]
[null,null,"Soggetti",null,"Computer logic"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Computer organization"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Computer Applications"]
[{"$nulls":4},"Computer Systems Organization and Communication Networks"]
[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","Includes index."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance."]
[null,"2.","Record Nr.",null,"UNISA996465411503316"]
[null,null,"Titolo",null,"Research and Advanced Technology for Digital Libraries [[electronic resource] ] : 6th European Conference, ECDL 2002, Rome, Italy, September 16-18, 2002, Proceedings / / edited by Costantino Thanos"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002"]
[null,null,"ISBN",null,"3-540-45747-X"]
[null,null,"Edizione",null,"[1st ed. 2002.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVI, 672 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2458"]
[null,null,"Disciplina",null,"025/.00285"]
[null,null,"Soggetti",null,"Library science"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Information storage and retrieval"]
[{"$nulls":4},"Database management"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Multimedia information systems"]
[{"$nulls":4},"Library Science"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Information Storage and Retrieval"]
[{"$nulls":4},"Database Management"]
[{"$nulls":4},"Information Systems Applications (incl. Internet)"]
[{"$nulls":4},"Multimedia Information Systems"]
[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","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"Web Archiving -- A First Experience in Archiving the French Web -- Austrian Online Archive Processing: Analyzing Archives of the World Wide Web -- e-Book -- Conversion of eBook Documents Based on Mapping Relations -- Guidelines for Designing Electronic Books -- Collection Building -- Personalized Classification for Keyword-Based Category Profiles -- Statistical Analysis of Bibliographic Strings for Constructing an Integrated Document Space -- Focused Crawls, Tunneling, and Digital Libraries -- Web Technologies -- Goal-Oriented Requirements Specification for Digital Libraries -- OntoLog: Temporal Annotation Using Ad Hoc Ontologies and Application Profiles -- An XML Log Standard and Tool for Digital Library Logging Analysis -- OAI Applications -- Notes from the Interoperability Front: A Progress "]
[{"$nulls":4},"Report on the Open Archives Initiative -- Dynamic Generation of Intelligent Multimedia Presentations through Semantic Inferencing -- Technical Report Interchange through Synchronized OAI Caches -- Case Studies -- Functional Requirements for Online Tools to Support Community-Led Collections Building -- A Study on the Evaluation Model for University Libraries in Digital Environments -- Renardus: Following the Fox from Project to Service -- From Digital Archive to Digital Library— A Middleware for Earth-Observation Data Management -- Navigation/QueryLanguage -- Navigating in Bibliographic Catalogues -- Foundations of a Multidimensional Query Language for Digital Libraries -- Audio/Video Retrieval -- The TREC2001 Video Track: Information Retrieval on Digital Video Information -- Automated Alignment and Annotation of Audio-Visual Presentations -- Architecture I -- OpenDLib: A Digital Library Service System -- Prototyping Digital Library Technologies in zetoc -- Employing Smart Browsers to Support Flexible Information Presentation in Petri Net-Based Digital Libraries -- IR -- On the Use of Explanations as Mediating Device for Relevance Feedback -- Qualitative Evaluation of Thesaurus-Based Retrieval -- Meta-data Extraction and Query Translation. Treatment of Semantic Heterogeneity -- Architecture II -- MetaDL: A Digital Library of Metadata for Sensitive or Complex Research Data -- Importing Documents and Metadata into Digital Libraries: Requirements Analysis and an Extensible Architecture -- The Mellon Fedora Project Digital Library Architecture Meets XML and Web Services -- Evaluation -- Hybrid Partition Inverted Files: Experimental Validation -- Digital Library Evaluation by Analysis of User Retrieval Patterns -- Interactive Search Results -- Multimedia/Mixed Media -- An Investigation of Mixed-Media Information Retrieval -- Alignment of Performances with Scores Aimed at Content-Based Music Access and Retrieval -- Alternative Surrogates for Video Objects in a Digital Library: Users’ Perspectives on Their Relative Usability -- Word Alignment in Digital Talking Books Using WFSTs -- Preservation/Classification/User Studies -- Migration on Request, a Practical Technique for Preservation -- Information Alert in Distributed Digital Libraries:The Models,Languages,and Architecture of DIAS -- DSpace: An Institutional Repository from the MIT Libraries and Hewlett Packard Laboratories -- User Behavior Tendencies on Data Collections in a Digital Library -- Student Comprehension of Classification Applications in a Science Education Digital Library -- Architecture III -- Designing Protocols in Support of Digital Library Componentization -- Exploring Small Screen Digital Library Access with the Greenstone Digital Library -- Daffodil: An Integrated Desktop for Supporting High-Level Search Activities in Federated Digital Libraries -- Humanities -- Using Human Language Technology for Automatic Annotation and Indexing of Digital Library Content -- Cultural Heritage Digital Libraries: Needs and Components -- Visualization of Variants in Textual Collations to Analyze the Evolution of Literary Works in the Cervantes Project -- Demos and Posters -- Alinari Online: Access Quality through a Cultural Photographic Heritage Site -- An Access Control System for Digital Libraries and the Web:The MaX Prototype Demonstration -- Human Language Technology for Automatic Annotation and Indexing of Digital Library Content -- The IntraText Digital Library: XML-Driven Online Library Based on High Accessibility, Lexical Hypertextualization and Scholarly Accuracy in Philological / Textual Notations -- The Meta Project — Automated Digitisation of Books and Journals -- COVAX: A Contemporary Culture Virtual Archive in XML."]
[null,null,null,"Sommario/riassunto","ECDL 2002 was the 6th conference in the series of European Conferences on Research and Advanced Technologies for Digital "]
[{"$nulls":4},"Libraries. Following previous events in Pisa (1997), Heraklion (1998), Paris (1999), Lisbon (2000), and Da- stadt (2001), this year ECDL was held in Rome. ECDL 2002 contributed, - gether with the previous conferences, to establishing ECDL as the major - ropean forum focusing on digital libraries and associated technical, practical, and social issues. ECDL 2002 continued the tradition already established by the previous conferences in meeting the needs of a large and diverse constituency, which includes researchers, practitioners, educators, policy makers, and users. The focus of ECDL 2002 was on underlying principles, methods, systems, and tools to build and make available e?ective digital libraries to end users. Architecture, metadata, collection building, web archiving, web technologies,- books, OAI applications, preservation, navigation, query languages, audio video retrieval, multimedia-mixed media, user studies and evaluation, humanities, and digital libraries were some of the key issues addressed. An international Program Committee was set up composed of 61 members, with representatives from 25 countries. A total of 145 paper submissions, 15 poster submissions, and 18 proposals for demos were received. Each paper was evaluated by 3 referees and 42 full papers and 6 short papers of high quality were selected for presentation."]