| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910143900703321 |
|
|
Titolo |
Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings / / edited by Sven Koenig, Robert C. Holte |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2002.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 352 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 2371 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computers |
Logic, Symbolic and mathematical |
Computer logic |
Artificial Intelligence |
Theory of Computation |
Mathematical Logic and Formal Languages |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Presentations -- Model Checking and Abstraction -- Reformulation in Planning -- Spatiotemporal Abstraction of Stochastic Sequential Processes -- State Space Relaxation and Search Strategies in Dynamic Programming -- Invited Presentations -- Admissible Moves in Two-Player Games -- Dynamic Bundling: Less Effort for More Solutions -- Symbolic Heuristic Search Using Decision Diagrams -- On the Construction of Human-Automation Interfaces by Formal Abstraction -- Pareto Optimization of Temporal Decisions -- An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection -- A Tractable Query Cache by Approximation -- An Algebraic Framework for Abstract Model Checking -- Action Timing Discretization with Iterative-Refinement -- Formalizing Approximate Objects and Theories: Some Initial Results -- Model Minimization in Hierarchical Reinforcement Learning -- Learning Options in |
|
|
|
|
|
|
|
|
|
|
|
Reinforcement Learning -- Approximation Techniques for Non-linear Problems with Continuum of Solutions -- Approximation of Relations by Propositional Formulas: Complexity and Semantics -- Abstracting Visual Percepts to Learn Concepts -- Short Presentations -- PAC Meditation on Boolean Formulas -- On the Reformulation of Vehicle Routing Problems and Scheduling Problems -- The Oracular Constraints Method -- Performance of Lookahead Control Policies in the Face of Abstractions and Approximations -- TTree: Tree-Based State Generalization with Temporally Abstract Actions -- Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction -- Research Summaries -- Abstracting Imperfect Information Game Trees -- Using Abstraction for Heuristic Search and Planning -- Approximation Techniques in Multiagent Learning -- Abstraction and Reformulation in GraphPlan -- Abstract Reasoning for Planning and Coordination -- Research Summary: Abstraction Techniques, and Their Value -- Reformulation of Non-binary Constraints -- Reformulating Combinatorial Optimization as Constraint Satisfaction -- Autonomous Discovery of Abstractions through Interaction with an Environment -- Interface Verification: Discrete Abstractions of Hybrid Systems -- Learning Semi-lattice Codebooks for Image Compression -- Research Summary -- Principled Exploitation of Heuristic Information -- Reformulation of Temporal Constraint Networks. |
|
|
|
|
|
|
Sommario/riassunto |
|
It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910735587703321 |
|
|
Autore |
Pinheiro Rómulo |
|
|
Titolo |
The Impact of Covid-19 on the Institutional Fabric of Higher Education : Old Patterns, New Dynamics, and Changing Rules? / / edited by Rómulo Pinheiro, Elizabeth Balbachevsky, Pundy Pillay, Akiyoshi Yonezawa |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, : Springer Nature, 2023 |
|
Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (448 pages) |
|
|
|
|
|
|
Classificazione |
|
EDU015000POL028000POL029000SOC025000 |
|
|
|
|
|
|
Altri autori (Persone) |
|
BalbachevskyElizabeth |
PillayPundy |
YonezawaAkiyoshi |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Political planning |
Education, Higher |
Social policy |
Public Policy |
Higher Education |
Social Policy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Section 1: Setting the Stage -- Chapter 1: Assessing the impact of COVID-19 on the institutional fabric of Higher Education -- Section 2: The System's Responses to COVID-19 -- Chapter 2: Evidence, stakeholders and decision making: managing COVID-19 in Irish Higher education -- Chapter 3: New actors, administrative measures and conflicting agendas: The impact of the pandemic on internationalisation of higher education in Poland and Russia -- Chapter 4: Highlighting systemic inequalities: The impact of the COVID-19 pandemic on French Higher Education -- Chapter 5: Higher education institutions responses to COVID-19 in Uganda: Regulatory tools and adaptive institutions -- Section 3: Higher Education Institutions' Responses to COVID-19 -- Chapter 6: Higher Education in |
|
|
|
|
|
|
|
|
|
|
|
Brazil: Institutional actions for the retention of students in public and private sectors -- Chapter 7: Higher Education in Brazil: Institutional actions for the retention of students in public and private sectors -- Chapter 8: Internationalization of higher education in Argentina upon the arrival of Covid-19: Reactions and lessons from the perspective of International Relations Office -- Chapter 9: University-civic engagement in the time of the pandemic -- Chapter 10: Public Service Resilience in a post-COVID-19 world: The Case of Digital Transformation in Higher Education -- Chapter 11: Entrepreneurial universities: From research groups to spin-off companies in a time of COVID-19 -- Section 4: Actors' Responses to COVID-19 -- Chapter 12: Challenges, Opportunities, and Coping Strategies when Faced with the COVID-19 Pandemic: A Qualitative Study of Academics in Mainland China and Hong Kong -- Chapter 13: “We shouldn’t let academia exhaust ourselves anymore!”: Pandemic practices and the changing psychological contract in twenty-first century academia -- Chapter 14: Moving beyond policy on digital transformation: Perceptions of digital transformation of teaching by academic staff and students -- Chapter 15: Remote Universities? Impacts of COVID-19 as experienced by academic leaders in Finland between March 2020 and April 2021 -- Chapter 16: Post-COVID-19: Renegotiating the scope, role, and function of support and development for students in higher education across the globe -- Section 5: Taking Stock and Moving Forward -- Chapter 17: Epilogue: COVID-19 and the institutional fabric of higher education. |
|
|
|
|
|
|
Sommario/riassunto |
|
This open access book assesses how the Covid-19 pandemic caught higher education systems throughout the world by surprise. It maps out the responses of higher education institutions to the challenges and strategic opportunities brought about by the pandemic, and examines the effects such responses may have. Bringing together scholars and case studies from Europe, Asia, Africa and the Americas, the book is both comparative and global in nature. It also brings together researchers from a variety of disciplinary fields, including political scientists, historians, economists, sociologist, and anthropologists. In doing so, the book fosters an inter-disciplinary dialogue and inclusive methodological approach for unpacking the complexities associated with modern higher education systems and institutions. Rómulo Pinheiro is Professor of Public Policy and Administration at the University of Agder, Norway. Elizabeth Balbachevsky is Associate Professor in the Department of Political Science at the University of São Paulo, Brazil. Pundy Pillay is Professor of Economics and Public Finance at Wits University, South Africa. Akiyoshi Yonezawa is Professor and Vice-Director at the International Strategy Office, Tohoku University, Japan. |
|
|
|
|
|
|
|
| |