{"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],[2,4,2,5],[3,2,3,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[12,2,12,3],[13,2,13,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],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[35,2,35,3],[36,2,36,3],[40,2,40,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910795763303321"]
[null,null,"Autore",null,"Gavazzi Stephen M."]
[null,null,"Titolo",null,"What's public about public higher ed? : halting higher education's decline in the court of public opinion / / Stephen M. Gavazzi and E. Gordon Gee"]
[null,null,"Pubbl/distr/stampa",null,"Baltimore, Maryland : , : Johns Hopkins University Press, , [2021]"]
[{"$nulls":4},"©2021"]
[null,null,"ISBN",null,"1-4214-4252-3"]
[null,null,"Descrizione fisica",null,"1 online resource (1 online resource)"]
[null,null,"Disciplina",null,"378.050973"]
[null,null,"Soggetti",null,"Public universities and colleges - United States - Administration"]
[{"$nulls":4},"Public universities and colleges - Ratings and rankings - United States"]
[{"$nulls":4},"Public universities and colleges - United States"]
[{"$nulls":4},"Public opinion - United States"]
[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,"Cover -- Half Title -- Title -- Copyright -- Contents -- Acknowledgments -- Introduction -- 1. Opportunities and Threats to Higher Education -- 2. What Citizens Think about Their State's Public Universities: Steps toward Ground Truthing -- 3. Public Funding for Teaching, Research, and Community Engagement -- 4. Focusing Attention on Rural and Urban Communities -- 5. Global Footprint versus Closer to Home -- 6. Merit-Based Aid and Needs-Based Aid for Students -- 7. National Rankings: The Scourge of Higher Education -- 8. Jobs and Politics and Sports, Oh My! -- 9. Disdain the Beaten Path: The Year 2020 as a Turning Point for the American Public University -- Appendixes -- 1. Study Survey -- 2. Multivariate Tests -- 3. Tests of Between-Subjects Effects -- 4. Multiple Comparisons -- Notes -- Index."]
[null,null,null,"Sommario/riassunto","An unflinching, no-holds-barred exploration of what citizens really think about their public universities, What's Public about Public Higher Ed? places special emphasis on the events of 2020--including the COVID-19 pandemic and the worst racial unrest seen in half a century--as major inflection points for understanding the implications of the survey's findings."]
[null,"2.","Record Nr.",null,"UNINA9910484232903321"]
[null,null,"Titolo",null,"Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings / / edited by Michael Kaminski, Simone Martini"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008"]
[null,null,"ISBN",null,"3-540-87531-X"]
[null,null,"Edizione",null,"[1st ed. 2008.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 513 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5213"]
[null,null,"Disciplina",null,"004.015113"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[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,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams -- Model Transformations in Decidability Proofs for Monadic Theories -- Molecules as Automata -- Contributed Papers -- An Infinite Automaton Characterization of Double Exponential Time -- Recursion Schemata for NC k  -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration -- Quantified Positive Temporal Constraints -- Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint -- Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars -- Continuous Fragment of the mu-Calculus -- On the Relations between the Syntactic Theories of ??-Calculi -- A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms -- Proving Infinitude of Prime Numbers Using Binomial Coefficients -- A Tight Karp-Lipton Collapse Result in Bounded Arithmetic -- A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) -- Quantitative Game Semantics for Linear Logic -- A "]
[{"$nulls":4},"Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic -- An Indexed System for Multiplicative Additive Polarized Linear Logic -- A Characterisation of Lambda Definability with Sums Via ???-Closure Operators -- Superposition for Fixed Domains -- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T -- On the Almighty Wand -- On Counting Generalized Colorings -- The Descriptive Complexity of Parity Games -- An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games -- Quantitative Languages -- Characterization of Logics over Ranked Tree Languages -- The Nesting-Depth of Disjunctive ?-Calculus for Tree Languages and the Limitedness Problem -- Upper Bounds onthe Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) -- Syntactic Metatheory of Higher-Order Subtyping -- On Isomorphisms of Intersection Types -- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence -- Type-Based Termination with Sized Products -- The Ackermann Session -- The Ackermann Award 2008."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award."]