{"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":40,"n_cols":5,"rows_kept":40,"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],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[34,2,34,3],[35,2,35,3],[37,2,37,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996418218803316"]
[null,null,"Titolo",null,"Financial Cryptography and Data Security [[electronic resource] ] : FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers / / edited by Andrea Bracciali, Jeremy Clark, Federico Pintore, Peter B. Rønne, Massimiliano Sala"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020"]
[null,null,"ISBN",null,"3-030-43725-6"]
[null,null,"Edizione",null,"[1st ed. 2020.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 347 p. 216 illus., 29 illus. in color.)"]
[null,null,"Collana",null,"Security and Cryptology ; ; 11599"]
[null,null,"Disciplina",null,"005.82"]
[null,null,"Soggetti",null,"Data encryption (Computer science)"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Architecture, Computer"]
[{"$nulls":4},"Database management"]
[{"$nulls":4},"Computer communication systems"]
[{"$nulls":4},"Cryptology"]
[{"$nulls":4},"Information Systems Applications (incl. Internet)"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Database Management"]
[{"$nulls":4},"Computer Communication Networks"]
[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,"Two-Party State Channels with State Assertions -- Secure Offline Payments in Bitcoin -- Proof-of-Work Sidechains -- You Sank my Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies -- Game-theoretic Analysis of an Incentivized Verifiable Computation System -- Sluggish Mining: Profiting from the Verier's Dilemma -- Deploying PayWord on Ethereum -- SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course -- Verification-Led Smart Contracts -- A Java Framework for Smart Contracts -- Is Solidity solid enough -- Building Executable Secure Design Models for Smart Contracts with Formal Methods -- SoK: Transparent Dishonesty: Front-running Attacks on Blockchain -- Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum -- Election Manipulation 100 -- A Manifest Improvement for "]
[{"$nulls":4},"Risk-Limiting Audits -- k-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-Election Audits -- How to Assess the Usability Metrics in E-Voting Schemes -- Improving the Performance of Cryptographic Voting Protocols (SoK) -- Short Paper: Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption -- Priv-Apollo - Secret Ballot E2E-V Internet Voting -- End-to-End Verifiable Quadratic Voting with Everlasting Privacy -- Lattice-Based Proof of a Shuffle."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of two workshops held at the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, in St. Kitts, St. Kitts and Nevis, in February 2019. The 20 full papers and 4 short papers presented in this book were carefully reviewed and selected from 34 submissions. The papers feature the outcome of the 4th Workshop on Advances in Secure Electronic Voting, VOTING 2019 and the Third Workshop on Trusted Smart Contracts, WTSC 2019. VOTING covered topics like election auditing, voting system efficiency, voting system usability, and new technical designs for cryptographic protocols for voting systems. WTSC focuses on smart contracts, i.e., self-enforcing agreements in the form of executable programs, and other decentralized applications that are deployed to and run on top of (specialized) blockchains. ."]
[null,"2.","Record Nr.",null,"UNINA9910795295703321"]
[null,null,"Titolo",null,"Barocktheater als spektakel : maschine, blick und bewegung auf der opernbühne des Ancien Régime / / edited by Nicola Gess, Tina Hartmann, and Dominika Hens"]
[null,null,"Pubbl/distr/stampa",null,"Paderborn, Germany : , : Wilhelm Fink GmbH & Co. Verlags-KG, , [2015]"]
[{"$nulls":4},"©2015"]
[null,null,"ISBN",null,"3-8467-5864-7"]
[null,null,"Descrizione fisica",null,"1 online resource"]
[null,null,"Collana",null,"Eikones"]
[null,null,"Disciplina",null,"792.09032"]
[null,null,"Soggetti",null,"Musical theater"]
[{"$nulls":4},"Opera - Production and direction"]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Preliminary Material / Nicola Gess , Tina Hartmann and Dominika Hens -- Barocktheater als Spektakel. Eine Einführung / Nicola Gess and Tina Hartmann -- Illusionsgrenzen – Grenzen der Illusion. Bühnenbilder, machines und ihre Rezeption im Rahmen der höfischen Feste Louis’ XIV und der Académie royale de musique / Christian Quaeitzsch -- Solare Orientierung. Heliotropismus in Tragödie und Tragédie en musique / Juliane Vogel -- Hören und Sehen von Bewegungen im Spannungsfeld von einer historischen Wirkungsästhetik und zeitgenössischen Inszenierungspraxis: Jean-Philippe Rameaus Tragédies lyriques als choreografische Herausforderung / Stephanie Schroedter -- »Je croyois qu’on venoit au Spectacle pour l’entendre«. Das französische Musiktheater um die Mitte des 18. Jahrhunderts, die Konkurrenz zwischen Sehen und Hören und die Eroberung des Raums durch die Musik / Dörte Schmidt -- Vom Wahnsinn des Sehens in geschlossenen Räumen. Raumdebatten und Szenografie im 17. Jahrhundert / Ulrike Haß -- Körperlose Stimmen. Herrschaftsdiskurse in Rameaus Zoroastre / Annette Kappeler -- Rückkehr der Visualität? Perspektiven auf das Dresdner Opernjahr 1756 / Christine Fischer -- Spektakuläre Wendungen. Zum Umgang mit dem Fremden in Barockoper und Grand opéra. Die Stuttgarter Inszenierungen von Alcina und La Juive durch Sergio Morabito und Jossi Wieler / Günther Heeg -- Choreografieoper? Bewegung und Bedeutung in Glucks Orpheus und Eurydike von Pina Bausch / David Levin -- Autorinnen und Autoren / Nicola Gess , Tina "]
[{"$nulls":4},"Hartmann and Dominika Hens."]
[null,null,null,"Sommario/riassunto","Die Opernbühne des Ancien Régime gehorcht dem Paradigma des Spektakels. Sie will Schaulust und Staunen hervorrufen und zielt auf die Konstitution und Repräsentation von Herrschaft. Der visuellen Überwältigungsrhetorik der Gegenreformation und des absolutistischen Hofes steht sie in nichts nach; sie ist Bestandteil von deren machtpolitischen Strategien. Zugleich bewirkt die spektakuläre Visualität eine Destabilisierung des dem Barock zugeschriebenen »Imperialismus des Bildes« und seiner visuellen Ordnungen. Die französische Barockoper hat in Bezug auf diese Ordnungen stark desorientierende und verwirrende Implikationen. Aus interdisziplinären Blickwinkeln werden die historische Dimension der Praktiken des Spektakulären sowie Fragen der gegenwärtigen Aufführungspraxis erörtert."]