{"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":43,"n_cols":5,"rows_kept":43,"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],[18,2,18,3],[19,2,19,3],[21,2,21,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[35,2,35,3],[36,2,36,3],[39,2,39,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466288203316"]
[null,null,"Titolo",null,"System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 [[electronic resource] ] : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-030-30690-9"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 267 p. 128 illus., 69 illus. in color.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 11753"]
[null,null,"Disciplina",null,"003"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Logic design"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Logic Design"]
[{"$nulls":4},"Information Systems and Communication Service"]
[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,"Keynote -- Generating Test Suites to Validate Legacy Systems -- Distributed Applications, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements -- Generic Graphical Navigation for Modelling Tools -- Protocol syntax development using domain specific modeling languages -- Industry 4.0 Applications -- Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context -- Modeling and code generation framework for IoT -- Process Enactment with Traceability Support for NFV Systems -- Modeling in Environmental Social and Industrial Systems -- On the Structure of Avionics Systems Architecture -- Generating Executable Code from High-level of Social or Socio-Ecological Model Descriptions -- Towards a representation of Cellular Automaton using Specification "]
[{"$nulls":4},"and Description Language -- Interoperability -- Goal Model Integration: Advanced Relationships and Rationales Documentation -- Union Models: Support for Efficient Reasoning about Model Families over Space and Time -- Facilitating the Co-Evolution of Standards and Models -- Concurrency, Data Integrity -- Adapting Integrity Checking Techniques for Concurrent Operation Executions -- Eventual Consistency Formalized."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019’s theme was “Languages, Methods, and Tools for Industry 4.0.”."]
[null,"2.","Record Nr.",null,"UNINA9910796578703321"]
[null,null,"Autore",null,"Ganchev Todor"]
[null,null,"Titolo",null,"Computational Bioacoustics : Biodiversity Monitoring and Assessment / / Todor Ganchev"]
[null,null,"Pubbl/distr/stampa",null,"Berlin ; ; Boston : , : De Gruyter, , [2017]"]
[{"$nulls":4},"©2017"]
[null,null,"ISBN",null,"1-61451-631-6"]
[null,null,"Descrizione fisica",null,"1 online resource (222 pages) : color illustrations"]
[null,null,"Collana",null,"Speech Technology and Text Mining in Medicine and Health Care ; ; 4"]
[null,null,"Disciplina",null,"333.95"]
[null,null,"Soggetti",null,"Biodiversity - Monitoring"]
[{"$nulls":4},"Environmental monitoring"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Frontmatter -- Abstract -- Preface -- Contents -- Acronyms -- 1. Introduction -- 2. Why computational bioacoustics? -- 3. Definition of tasks -- 4. Acoustic libraries -- 5. One-dimensional audio parameterization -- 6. Two-dimensional audio parameterization -- 7. Audio recognizers -- 8. Application examples -- 9. Useful resources -- Epilogue -- References -- Index"]
[null,null,null,"Sommario/riassunto","This book offers an overview of some recent advances in the Computational Bioacoustics methods and technology. In the focus of discussion is the pursuit of scalability, which would facilitate real-world applications of different scope and purpose, such as wildlife monitoring, biodiversity assessment, pest population control, and monitoring the spread of disease transmitting mosquitoes. The various tasks of Computational Bioacoustics are described and a wide range of audio parameterization and recognition tasks related to the automated recognition of species and sound events is discussed. Many of the Computational Bioacoustics methods were originally developed for the needs of speech, audio, or image processing, and afterwards were adapted to the requirements of automated acoustic recognition of species, or were elaborated further to address the challenges of real-world operation in 24/7 mode. The interested reader is encouraged to follow the numerous references and links to web resources for further information and insights. This book is addressed to Software Engineers, IT experts, Computer Science researchers, Bioacousticians, and other practitioners concerned with the creation of new tools and services, "]
[{"$nulls":4},"aimed at enhancing the technological support to Computational Bioacoustics applications."]
[{"$nulls":4},"This book offers an overview of some recent advances in the Computational Bioacoustics methods and technology. In the focus of discussion is the pursuit of scalability, which would facilitate real-world applications of different scope and purpose, such as wildlife monitoring, biodiversity assessment, pest population control, and monitoring the spread of disease transmitting mosquitoes. The various tasks of Computational Bioacoustics are described and a wide range of audio parameterization and recognition tasks related to the automated recognition of species and sound events is discussed. Many of the Computational Bioacoustics methods were originally developed for the needs of speech, audio, or image processing, and afterwards were adapted to the requirements of automated acoustic recognition of species, or were elaborated further to address the challenges of real-world operation in 24/7 mode. The interested reader is encouraged to follow the numerous references and links to web resources for further information and insights. This book is addressed to Software Engineers, IT experts, Computer Science researchers, Bioacousticians, and other practitioners concerned with the creation of new tools and services, aimed at enhancing the technological support to Computational Bioacoustics applications. STTM, Speech Technology and Text Mining in Medicine and Health Care This series demonstrates how the latest advances in speech technology and text mining positively affect patient healthcare and, in a much broader sense, public health at large. New developments in text mining methods have allowed health care providers to monitor a large population of patients at any time and from any location. Employing advanced summarization techniques, patient data can be readily extracted from extensive clinical documents in electronic health records and immediately made available to the physician. These same summarization techniques can also aid the healthcare provider in extracting from the large corpora of medical literature the relevant information for treating the patient. The series topics include the design and acceptance of speech-enabled robots that assist in the operating room, studies of signal processing and acoustic modeling for speech and communication disorders, advanced statistical speech enhancement methods for creating synthetic voice, and technologies for addressing speech and language impairments. Titles in the Series consist of both authored books and edited contributions. All authored books and contributed works are peer-reviewed. The Series is for speech scientists and speech engineers, machine learning experts, biomedical engineers, medical speech pathologists, linguists, and healthcare professionals"]