{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"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":71,"n_cols":5,"rows_kept":71,"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],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[11,2,11,3],[12,2,12,3],[16,2,16,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[22,2,22,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[32,2,32,3],[36,2,36,3],[37,2,37,3],[41,2,41,3],[45,2,45,3],[45,4,45,5],[46,2,46,3],[46,4,46,5],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[51,2,51,3],[52,2,52,3],[53,2,53,3],[64,2,64,3],[65,2,65,3],[68,2,68,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910452047603321"]
[null,null,"Titolo",null,"Charting Churches in a Changing Europe : Charta Oecumenica and the Process of Ecumenical Encounter / / edited by Tim Noble, Ivana Noble, Martien E. Brinkman, Jochen Hilberath"]
[null,null,"Pubbl/distr/stampa",null,"Leiden; ; Boston : , : BRILL, , 2006"]
[null,null,"ISBN",null,"94-012-0302-4"]
[{"$nulls":4},"1-4294-6806-8"]
[null,null,"Descrizione fisica",null,"1 online resource (231 p.)"]
[null,null,"Collana",null,"Currents of Encounter ; ; 28"]
[null,null,"Disciplina",null,"280.042"]
[null,null,"Soggetti",null,"Ecumenical movement - Europe"]
[{"$nulls":4},"Ecumenical movement"]
[{"$nulls":4},"Electronic books."]
[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,"Martien E. BRINKMAN: General Introduction En Route to Koinonia : Church Communion in Transition -- Part I: Confessional Responses to the Charta Oecumenica -- Introduction -- Kajsa AHLSTRAND: The Significance of the Charta Oecumenica Today: Critical Comments from a Protestant Perspective -- Peter de MEY: An Assessment of the Charta Oecumenica from a Roman Catholic Perspective -- Dorin OANCEA: Church Communion and the Reception of Ecumenical Dialogues: An Orthodox Perspective -- Oliver SCHUEGRAF: Enough is Enough? Preconditions for Church Communion from a Lutheran Perspective -- Part II: Notions of Catholicity and Communion -- Introduction -- Martien E. BRINKMAN: The Modern Inculturation Debate and the Catholicity of the Church -- Anton HOUTEPEN: The Catholicity of the Church: A Matrix of Faith and Life in View of God's Final Kingdom -- Eddy van der BORGHT: Uniting Europe as a Challenge to the Future of National Churches -- Johannes OELDEMANN: Gradual Church Communion as an Ecumenical Model? Some Remarks from a Roman Catholic Perspective -- Part III: The Sacramental Road to Unity -- Introduction -- Maria Clara Lucchetti BINGEMER: The Roman Catholic Understanding of Sacramentality and Its Potential for Church Unity -- Ivana NOBLE: From the Sacramentality of the Church to the Sacramentality of the World -- Bernd Jochen HILBERATH: Epilogue -- Appendix: Text of Charta Oecumenica -- Index -- Contributors."]
[null,null,null,"Sommario/riassunto","The countries of Europe are seeking to redefine themselves, both individually and in relation to each other. This volume examines the role of the Christian churches at various levels of that process. The Charta Oecumenica , a ground-breaking document from the Conference of Churches in Europe and the Council of European Bishops' Conferences, aimed to set forth the ecumenical response of the European Christian Churches to the living out of faith in today's world. Four theologians, Protestant, Roman Catholic, Orthodox and Lutheran, respond to this document, assessing its strengths and the areas where further development is required. At least implicitly this discussion raises questions about the nature of catholicity and communion, a topic the following four essays address. What is catholicity, what happens when there is too strong an emphasis on the national church, and are there models of gradual church communion to which the churches could assent? Gradual communion sets out to attain full, including sacramental, unity and the final two essays explore how sacramental theology might assist in this process."]
[null,"2.","Record Nr.",null,"UNINA9910462408103321"]
[null,null,"Autore",null,"Porto Mauro P (Mauro Pereira), <1963-, >"]
[null,null,"Titolo",null,"Media power and democratization in Brazil : TV Globo and the dilemmas of political accountability / / Mauro P. Porto"]
[null,null,"Pubbl/distr/stampa",null,"New York : , : Routledge, , 2012"]
[null,null,"ISBN",null,"1-136-31632-9"]
[{"$nulls":4},"1-283-60608-9"]
[{"$nulls":4},"9786613918536"]
[{"$nulls":4},"1-136-31633-7"]
[{"$nulls":4},"0-203-11963-0"]
[null,null,"Descrizione fisica",null,"1 online resource (241 p.)"]
[null,null,"Collana",null,"Routledge advances in internationalizing media studies ; ; 8"]
[null,null,"Disciplina",null,"302.23/450981"]
[{"$nulls":4},"302.2309"]
[{"$nulls":4},"302.23450981"]
[null,null,"Soggetti",null,"Democratization - Brazil"]
[{"$nulls":4},"Television and politics - Brazil"]
[{"$nulls":4},"Television in politics - Brazil"]
[{"$nulls":4},"Electronic books."]
[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,"Cover; Title; Copyright; Dedication; Contents; List of Figures and Tables; Acknowledgments; Introduction; PART I Paradigms of Democratization and Media Change; 1 Theories of Democratization and Political Representation; 2 Media Transformation and Political Accountability in New Democracies; PART II TV Globo and Democratization in Brazil; 3 TV Globo's Transformation and Politics in Brazil; 4 Shifts in News Coverage of Presidential Elections; 5 Government News Management and Presidential Accountability; 6 Telenovelas, Symbolic Representation and National Identity"]
[{"$nulls":4},"7 Media Accountability Movements and the Opening of TV GloboConclusion; Notes; Appendix 1; Appendix 2; Bibliography; Index"]
[null,null,null,"Sommario/riassunto","In this book, Porto analyzes the role of TV Globo in the democratization of Brazil. TV Globo, one of the world's largest media conglomerates, has a dominant position in Brazil's communications landscape. It also exports telenovelas to more than 130 countries and has established joint ventures with transnational media conglomerates. Beginning in "]
[{"$nulls":4},"the mid-1990s, TV Globo began a process of \"\"opening,\"\" replacing its authoritarian model of journalism with a more independent reporting style. Representations of Brazil in prime time telenovelas have also shifted. Given this shift, Porto considers"]
[null,"3.","Record Nr.",null,"UNISA996466315703316"]
[null,null,"Titolo",null,"Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers / / edited by Manuel V Hermenegildo, Pedro Lopez-Garcia"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017"]
[null,null,"ISBN",null,"3-319-63139-X"]
[null,null,"Edizione",null,"[1st ed. 2017.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVI, 361 p. 75 illus.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10184"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[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,"Nota di contenuto",null,"Partial Evaluation of Order-sorted Equational Programs modulo Axioms -- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell -- Verification of Time-Aware Business Processes using Constrained Horn Clauses -- MiniZinc with Strings -- Slicing Concurrent Constraint Programs -- A New Functional-Logic Compiler for Curry: Sprite -- lpopt: A Rule Optimization Tool for Answer Set Programming -- Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs -- Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators -- A Productivity Checker for Logic Programming -- Symbolic Abstract Contract Synthesis in a Rewriting Framework -- On the Completeness of Selective Uni_cation in Concolic Testing of Logic Programs -- CurryCheck: Checking Properties "]
[{"$nulls":4},"of Curry Programs -- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms -- A Reversible Semantics for Erlang -- Scaling Bounded Model Checking By Transforming Programs With Arrays -- Coinductive Soundness of Corecursive Type Class Resolution -- Nominal Unification of Higher Order Expressions with Recursive Let -- Automata Theory Approach to Predicate Intuitionistic Logic."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools."]