{"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":69,"n_cols":5,"rows_kept":69,"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],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[18,2,18,3],[22,2,22,3],[23,2,23,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[31,2,31,3],[33,2,33,3],[33,4,33,5],[34,2,34,3],[34,4,34,5],[35,2,35,3],[35,4,35,5],[36,2,36,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[48,2,48,3],[56,2,56,3],[56,4,56,5],[57,2,57,3],[57,4,57,5],[58,2,58,3],[58,4,58,5],[59,2,59,3],[61,2,61,3],[63,2,63,3],[64,2,64,3],[65,2,65,3],[66,2,66,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990003832580403321"]
[null,null,"Autore",null,"Florenzano, Monique"]
[null,null,"Titolo",null,"Finite dimensional convexity and optimization / Monique Florenzano, Cuong Le Van ; in cooperation with Pascal Gourdel"]
[null,null,"Pubbl/distr/stampa",null,"Berlin : Springer, c2001"]
[null,null,"ISBN",null,"35-404-1516-5"]
[null,null,"Descrizione fisica",null,"xii, 154 p. ; 24 cm"]
[null,null,"Collana",null,"Studies in economic theory ; 13"]
[null,null,"Disciplina",null,"519.3"]
[null,null,"Locazione",null,"MAS"]
[null,null,"Collocazione",null,"MXVI-B-62"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNISA996205997703316"]
[null,null,"Autore",null,"Coutts John <1965->"]
[null,null,"Titolo",null,"Loft conversions / / John Coutts"]
[null,null,"Pubbl/distr/stampa",null,"Oxford, [England] : , : Blackwell Publishing, , 2006"]
[{"$nulls":4},"©2006"]
[null,null,"ISBN",null,"1-281-32154-0"]
[{"$nulls":4},"9786611321543"]
[{"$nulls":4},"0-470-75959-3"]
[{"$nulls":4},"0-470-75958-5"]
[null,null,"Descrizione fisica",null,"1 online resource (282 p.)"]
[null,null,"Disciplina",null,"728.314"]
[{"$nulls":4},"728/.314"]
[null,null,"Soggetti",null,"Lofts - Remodeling for other use"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Loft Conversions; Contents; Preface; Acknowledgements; 1 Planning and legal considerations; 2 The Building Regulations and building control; 3 External forms; 4 Fire; 5 Conversion survey; 6 Beams and primary structure; 7 Floor structure; 8 Wall structure; 9 Roof structure; 10 Energy conservation; Appendix 1 Specification; Appendix 2 The Building Regulations: appeals and determinations; Appendix 3 Planning and curtilage; Glossary; Bibliography and useful contacts; Index;"]
[null,null,null,"Sommario/riassunto","Domestic loft conversions have gained enormously in popularity as a way of providing more space without the substantial cost of moving house. One third of all new build houses have lofts that can be used for habitation. This book provides a technical manual for construction practitioners, as well as the self-build market on the technical, design and regulatory aspects of loft conversions for dwellings."]
[null,"3.","Record Nr.",null,"UNINA9910790729103321"]
[null,null,"Autore",null,"García Castro Raúl"]
[null,null,"Titolo",null,"Benchmarking semantic web technology / / Raúl García Castro"]
[null,null,"Pubbl/distr/stampa",null,"Heidelberg, Germany : , : IOS Press : , : AKA, , 2010"]
[{"$nulls":4},"©2010"]
[null,null,"ISBN",null,"1-61499-337-8"]
[null,null,"Descrizione fisica",null,"1 online resource (338 p.)"]
[null,null,"Collana",null,"Studies on the Semantic Web, , 1868-1158 ; ; Volume 003"]
[null,null,"Disciplina",null,"025.04"]
[null,null,"Soggetti",null,"Semantic Web"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"Title Page; Acknowledgements; Contents; Introduction; Context; The Semantic Web; Brief introduction to Semantic Web technologies; Semantic Web technology evaluation; The need for benchmarking in the Semantic Web; Semantic Web technology interoperability; Heterogeneity in ontology representation; The interoperability problem; Categorising ontology differences; Thesis contributions; Thesis structure; State of the Art; Software evaluation; Benchmarking; Benchmarking vs evaluation; Benchmarking classifications; Evaluation and improvement methodologies; Benchmarking methodologies"]
[{"$nulls":4},"Software Measurement methodologiesExperimental Software Engineering methodologies; Benchmark suites; Previous interoperability evaluations; Conclusions; Work objectives; Thesis goals and open research problems; Contributions to the state of the art; Work assumptions, hypothesis and restrictions; Benchmarking methodology for Semantic Web technologies; Design principles; Research methodology; Selection of relevant processes; Identification of the main tasks; Task adaption and completion; Analysis of task dependencies; Benchmarking methodology; Benchmarking actors; Benchmarking process"]
[{"$nulls":4},"Plan phaseExperiment phase; Improvement phase; Recalibration task; Organizing the benchmarking activities; Plan phase; Experiment phase; RDF(S) Interoperability Benchmarking; Experiment definition; RDF(S) Import Benchmark Suite; RDF(S) Export Benchmark Suite; RDF(S) Interoperability Benchmark Suite; Experiment execution; Experiments performed; Experiment automation; RDF(S) import results; KAON RDF(S) import results; Protege-Frames RDF(S) import results; WebODE RDF(S) import results; Corese, Jena and Sesame RDF(S) import results; "]
[{"$nulls":4},"Evolution of RDF(S) import results; Global RDF(S) import results"]
[{"$nulls":4},"RDF(S) export resultsKAON RDF(S) export results; Protege-Frames RDF(S) export results; WebODE RDF(S) export results; Corese, Jena and Sesame RDF(S) export results; Evolution of RDF(S) export results; Global RDF(S) export results; RDF(S) interoperability results; KAON interoperability results; Protege-Frames interoperability results; WebODE interoperability results; Global RDF(S) interoperability results; OWL Interoperability Benchmarking; Experiment definition; The OWL Lite Import Benchmark Suite; Benchmarks that depend on the knowledge model; Benchmarks that depend on the syntax"]
[{"$nulls":4},"Description of the benchmarksTowards benchmark suites for OWL DL and Full; Experiment execution: the IBSE tool; IBSE requirements; IBSE implementation; Using IBSE; OWL compliance results; GATE OWL compliance results; Jena OWL compliance results; KAON2 OWL compliance results; Protege-Frames OWL compliance results; Protege-OWL OWL compliance results; SemTalk OWL compliance results; SWI-Prolog OWL compliance results; WebODE OWL compliance results; Global OWL compliance results; OWL interoperability results; OWL interoperability results per tool; Global OWL interoperability results"]
[{"$nulls":4},"Evolution of OWL interoperability results"]
[null,null,null,"Sommario/riassunto","This book addresses the problem of benchmarking Semantic Web Technologies; first, from a methodological point of view, proposing a general methodology to follow in benchmarking activities over Semantic Web Technologies and, second, from a practical point of view, presenting two international benchmarking activities that involved benchmarking the interoperability of Semantic Web technologies using RDF(S) as the interchange language in one activity and OWL in the other.The book presents in detail how the different resources needed for these interoperability benchmarking activities were defined:"]
[null,"4.","Record Nr.",null,"UNINA9910346858003321"]
[null,null,"Autore",null,"Belfiore Nicola Pio"]
[null,null,"Titolo",null,"Micromanipulation / Nicola Pio Belfiore"]
[null,null,"Pubbl/distr/stampa",null,"MDPI - Multidisciplinary Digital Publishing Institute, 2018"]
[{"$nulls":4},"Basel, Switzerland : , : MDPI, , 2018"]
[null,null,"ISBN",null,"9783038975045"]
[{"$nulls":4},"3038975044"]
[null,null,"Descrizione fisica",null,"1 electronic resource (200 p.)"]
[null,null,"Soggetti",null,"History of engineering and technology"]
[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","Nowadays, we meet microsystems in a variety of devices used in modern life. They are used, for example, in medicine, biology, industry, home appliances, transport, and aerospace. One of the main problems in the technological development of microsystems is their actuation. Several solutions have been suggested, such as electrostatic, electrothermal, electromagnetic, or piezoelectric actuation, although a valid solution seems to be still out of our reach.Another crucial problem in designing, manufacturing, and operating microsystems for micromanipulation consists in the loss of some basic paradigms commonly used as a source of inspiration at the macroscale. The differences in designing at the two different scales may have either positive or negative effects. For example, an unthinkable structure in the day-life domain, as, for example, a long \"cantilever\" bridge over the Hudson river, would become possible after downscaling \"everything\" from road dimensions to the micro-world. Alternatively, a fantastic electric motor that works very well in our world, by virtue of the basic principles of electromagnetism, would become useless if scaled back to the micro cosmos.This book opens a small window on the world of research, presenting a group of papers that try to respond to the challenge of increasing the efficiency and functionality of modern microsystems. A final little section is also dedicated to the development of new teaching methods successfully adopted in some university courses."]