| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466269103316 |
|
|
Titolo |
Reversible Computation [[electronic resource] ] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers / / edited by Robert Glück, Tetsuo Yokoyama |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 241 p. 70 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 7581 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic design |
Computer logic |
Computers |
Algorithms |
Software engineering |
Logic Design |
Logics and Meanings of Programs |
Computation by Abstract Devices |
Algorithm Analysis and Problem Complexity |
Software Engineering |
|
|
|
|
|
|
|
|
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 |
|
Theoretical Considerations -- Tutorial: Graphical Calculus for Quantum Circuits -- One-Way Reversible Multi-head Finite Automata -- A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads -- Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible MOQA: A Case Study for Quicksort -- Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots -- Reversible and Quantum Circuits -- Reversible and Quantum Circuit Optimization: A Functional Approach -- Properties of Quantum Templates -- Optimal |
|
|
|
|
|
|
|
|
|
|
|
|
|
4-bit Reversible Mixed-Polarity Toffoli Circuits -- Design of an Online Testable Ternary Circuit from the Truth Table -- Physical Realizations and Design Garbageless Reversible Implementation of Integer Linear Transformations -- Garbage-Free Reversible Integer Multiplication with Constants of the Form 2k ± 2l ± 1 -- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams -- Using πDDs in the Design of Reversible Circuits (Work-In-Progress) -- Distributed Systems -- A Verification Technique for Reversible Process Algebra -- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway -- Controlled Reversibility and Compensations. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The 19 contributions presented in this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910786463103321 |
|
|
Autore |
Beaton Fran |
|
|
Titolo |
Developing Effective Part-time Teachers in Higher Education [[electronic resource] ] : New Approaches to Professional Development |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, : Taylor and Francis, 2012 |
|
Abingdon, Oxon : , : Routledge, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-136-19489-4 |
0-203-08495-0 |
1-283-84378-1 |
1-136-19490-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (225 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
College teachers, Part-time |
Education |
Social Sciences |
Theory & Practice of Education |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Title Page; Copyright Page; Table of Contents; LIST OF FIGURES; LIST OF TABLES; NOTES ON CONTRIBUTORS; FOREWORD BY TONY BRAND; ACKNOWLEDGEMENTS; SERIES EDITOR'S PREFACE; 1 INTRODUCTION: THE EXPANSION OF PART-TIME TEACHING INHIGHER EDUCATION AND ITS CONSEQUENCES; SECTION I CONTEXT: AN OVERVIEW OF THE NATURE AND MOTIVATION OFPART-TIME TEACHERS; 2 SUPPORTING PART-TIME AND OTHER TEACHING STAFF: WHO ARETHEY AND WHY ARE THEY IMPORTANT?; 3 DETERMINING THE SUPPORT NEEDS OF CASUAL ACADEMIC STAFF ATTHE FRONTLINE; SECTION II POLICY AND PRACTICE |
FIRST PART: DEVELOPING POLICY AND PRACTICE TO SUPPORTPART-TIME TEACHERS4 POLICY AND PRACTICE TO SUPPORT PART-TIME TEACHERS AT SCALE:THE EXPERIENCE OF THE UK'S OPEN UNIVERSITY; SECOND PART: DEVELOPING PART-TIME PROGRAMMES TO SUPPORTPART-TIME TEACHERS; 5 WHAT MAKES A REALLY GOOD SUPPORT PROGRAMME FORPART-TIME LECTURERS IN HIGHER EDUCATION?; 6 STUDENTS WHO TEACH: DEVELOPING SCHOLARLY TUTORS; 7 HOW DO WE KNOW IT WORKS? DEVELOPING AND EVALUATING APROFESSIONAL DEVELOPMENT PROGRAMME FOR PART-TIME TEACHERS; THIRD PART: FOCUS ON DIFFERENT TYPES OF PART-TIME TEACHERS |
8 WELCOME ON BOARD: DESIGNING SUPPORT INTERVENTIONS TOMEET THE REAL NEEDS OF NEW PART-TIME LECTURERS9 TUTORING ONLINE: PRACTICES AND DEVELOPMENTAL NEEDS OFPART-TIME/CASUAL STAFF; 10 ALL TAKE AND NO GIVE? RESPONDING TO THE SUPPORT ANDDEVELOPMENT NEEDS OF WOMEN IN CASUAL ACADEMIC ROLES; SECTION III IMPLICATIONS AND FUTURE DIRECTIONS; 11 BUILDING SUSTAINABLE FRAMEWORKS FOR THE ENGAGEMENTAND DEVELOPMENT OF CASUAL TEACHING STAFF: AN AUSTRALIANPERSPECTIVE; 12 ACADEMIC LEADERSHIP: STRATEGIES FOR BUILDING EFFECTIVETEAMS OF ALL STAFF |
13 FUTURE DIRECTIONS IN PROFESSIONAL DEVELOPMENT:IMPLICATIONS FOR INDIVIDUALS AND ORGANISATIONSINDEX |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Part-time teachers have become an increasing part of the workforce in universities throughout the world. They work in a sector undergoing enormous change and debate about the purposes of the university for individuals, societies and economies. As part-time employees, however, they are not necessarily offered the same level of support or recognition as full-time lecturers. This book, drawing on the voices of part-time teachers and the expertise of those who support them, considers whole-institution strategies to promote individual and collective professional development.Utilising real |
|
|
|
|
|
|
|
| |