| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910463838703321 |
|
|
Autore |
Flanagan Tim A. <1955-> |
|
|
Titolo |
Leading forward : successful public leadership amidst complexity, chaos, and change / / Tim A. Flanagan and John S. Lybarger ; cover design by Michael Cook |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
San Francisco, California : , : Jossey-Bass, , 2014 |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-118-45374-3 |
1-118-45376-X |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (258 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
LybargerJohn S. <1956-> |
CookMichael |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Leadership |
Strategic planning |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"With Online Assessment"--Cover. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Prologue -- Introduction -- Agile learning capability -- Adept with ambiguity -- Adroit at thinking strategically -- Ambitious drive to excellence -- Public service assessment and personal leadership development plan -- Epilogue and acknowledgments -- Appendix a: four themes and five independent factors -- Appendix b: suggested reading -- References -- About the authors -- Index. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Explains the four dimensions of effective leadership for leaders in the public sphere There is a wealth of advice available for corporate leaders, but little in the way of leadership guidance for those in government agencies. Leading Forward fills that gap by providing a development framework and assessment tool based on the four dimensions of effective leadership-empowerment, fairness, leaders, and supervisors. These four dimensions are critical competencies that leaders must develop in order to succeed now and in the future. Based on years of working with agency leaders at |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910139565903321 |
|
|
Autore |
Manasreh Mahmoud Omar |
|
|
Titolo |
Introduction to nanomaterials and devices [[electronic resource] /] / Omar Manasreh |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, N.J., : Wiley, 2012 |
|
|
|
|
|
|
|
ISBN |
|
1-283-33234-5 |
9786613332349 |
1-118-14841-X |
1-118-14840-1 |
1-118-14837-1 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (488 p.) |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Nanostructured materials |
Optoelectronic devices |
Semiconductor nanocrystals |
Quantum electronics |
|
|
|
|
|
|
|
|
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. |
|
|
|
|
|
|
Nota di contenuto |
|
INTRODUCTION TO NANOMATERIALS AND DEVICES; CONTENTS; Preface; Fundamental Constants; 1 Growth of Bulk, Thin Films, and Nanomaterials; 1.1 Introduction; 1.2 Growth of Bulk Semiconductors; 1.2.1 Liquid-Encapsulated Czochralski (LEC) Method; 1.2.2 Horizontal Bridgman Method; 1.2.3 Float-Zone Growth Method; 1.2.4 Lely Growth Method; 1.3 Growth of Semiconductor Thin Films; 1.3.1 Liquid-Phase Epitaxy Method; 1.3.2 Vapor-Phase Epitaxy Method; 1.3.3 Hydride Vapor-Phase Epitaxial Growth of Thick GaN Layers; 1.3.4 Pulsed Laser Deposition Technique; 1.3.5 Molecular Beam Epitaxy Growth Technique |
1.4 Fabrication and Growth of Semiconductor Nanomaterials1.4.1 Nucleation; 1.4.2 Fabrications of Quantum Dots; 1.4.3 Epitaxial Growth of Self-Assembly Quantum Dots; 1.5 Colloidal Growth of Nanocrystals; 1.6 Summary; Problems; Bibliography; 2 Application of Quantum Mechanics to Nanomaterial Structures; 2.1 Introduction; 2.2 The de Broglie Relation; 2.3 Wave Functions and Schrödinger Equation; 2.4 |
|
|
|
|
|
|
|
|
|
|
|
Dirac Notation; 2.4.1 Action of a Linear Operator on a Bra; 2.4.2 Eigenvalues and Eigenfunctions of an Operator; 2.4.3 The Dirac d-Function |
2.4.4 Fourier Series and Fourier Transform in Quantum Mechanics2.5 Variational Method; 2.6 Stationary States of a Particle in a Potential Step; 2.7 Potential Barrier with a Finite Height; 2.8 Potential Well with an Infinite Depth; 2.9 Finite Depth Potential Well; 2.10 Unbound Motion of a Particle (E > V0) in a Potential Well With a Finite Depth; 2.11 Triangular Potential Well; 2.12 Delta Function Potentials; 2.13 Transmission in Finite Double Barrier Potential Wells; 2.14 Envelope Function Approximation; 2.15 Periodic Potential; 2.15.1 Bloch's Theorem; 2.15.2 The Kronig-Penney Model |
2.15.3 One-Electron Approximation in a Periodic Dirac d-Function2.15.4 Superlattices; 2.16 Effective Mass; 2.17 Summary; Problems; Bibliography; 3 Density of States in Semiconductor Materials; 3.1 Introduction; 3.2 Distribution Functions; 3.3 Maxwell-Boltzmann Statistic; 3.4 Fermi-Dirac Statistics; 3.5 Bose-Einstein Statistics; 3.6 Density of States; 3.7 Density of States of Quantum Wells, Wires, and Dots; 3.7.1 Quantum Wells; 3.7.2 Quantum Wires; 3.7.3 Quantum Dots; 3.8 Density of States of Other Systems; 3.8.1 Superlattices |
3.8.2 Density of States of Bulk Electrons in the Presence of a Magnetic Field3.8.3 Density of States in the Presence of an Electric Field; 3.9 Summary; Problems; Bibliography; 4 Optical Properties; 4.1 Fundamentals; 4.2 Lorentz and Drude Models; 4.3 The Optical Absorption Coefficient of the Interband Transition in Direct Band Gap Semiconductors; 4.4 The Optical Absorption Coefficient of the Interband Transition in Indirect Band Gap Semiconductors; 4.5 The Optical Absorption Coefficient of the Interband Transition in Quantum Wells |
4.6 The Optical Absorption Coefficient of the Interband Transition in Type II Superlattices |
|
|
|
|
|
|
Sommario/riassunto |
|
"This book introduces the basic concepts of nanomaterials and devices fabricated from these nanomaterials. Explicates cutting-edge topics and concepts in the field, such as plasmon-photon interaction and coupling of photonic crystals to devices with the purpose of enhancing the device performance. Provides a thorough background in quantum mechanics/physics. Successfully details the interrelationship between quantum mechanics and nanomaterials"-- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910144184303321 |
|
|
Titolo |
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / / edited by Charles Rattray, Savitri Maharaj |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
3-540-27815-X |
3-540-22381-9 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2004.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 572 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 3116 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Logic, Symbolic and mathematical |
Computer programming |
Computer science—Mathematics |
Software Engineering/Programming and Operating Systems |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
Software Engineering |
Programming Techniques |
Symbolic and Algebraic Manipulation |
|
|
|
|
|
|
|
|
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 Speakers -- Algebraic Approaches to Problem Generalisation -- A Science of Software Design -- Glass Box and Black Box Views of State-Based System Specifications -- Abstraction for Safety, Induction for Liveness -- Counting Votes with Formal Methods -- Agent-Oriented Programming: Where Do We Stand? -- Contributed Talks -- On Guard: Producing Run-Time Checks from Integrity Constraints -- Behavioural Types and Component Adaptation -- Towards Correspondence Carrying Specifications -- Formalizing and Proving Semantic Relations between Specifications by Reflection -- Model- |
|
|
|
|
|
|
|
|
|
|
Checking Systems with Unbounded Variables without Abstraction -- A Generic Software Safety Document Generator -- Linear Temporal Logic and Z Refinement -- Formal JVM Code Analysis in JavaFAN -- Verifying a Sliding Window Protocol in ?CRL -- State Space Reduction for Process Algebra Specifications -- A Hybrid Logic of Knowledge Supporting Topological Reasoning -- A Language for Configuring Multi-level Specifications -- Flexible Proof Reuse for Software Verification -- Deductive Verification of Distributed Groupware Systems -- Formal Verification of a Commercial Smart Card Applet with Multiple Tools -- Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs -- Refining Mobile UML State Machines -- Verifying Invariants of Component-Based Systems through Refinement -- Modelling Concurrent Interactions -- Proof Support for RAISE by a Reuse Approach Based on Institutions -- Separate Compositional Analysis of Class-Based Object-Oriented Languages -- Abstract Domains for Property Checking Driven Analysis of Temporal Properties -- Modular Rewriting Semantics of Programming Languages -- Modal Kleene Algebra and Partial Correctness -- Modularity and the Rule of Adaptation -- Modal Abstractions in ?CRL -- Semantics of Plan Revision in Intelligent Agents -- Generic Exception Handling and the Java Monad -- Expressing Iterative Properties Logically in a Symbolic Setting -- Extending Separation Logic with Fixpoints and Postponed Substitution -- A Formally Verified Calculus for Full Java Card -- On Refinement of Generic State-Based Software Components -- Techniques for Executing and Reasoning about Specification Diagrams -- Formalising Graphical Behaviour Descriptions -- Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. |
|
|
|
|
|
| |