1.

Record Nr.

UNINA9910480217703321

Autore

Spaulding Dean T

Titolo

Instructional coaches and the instructional leadership team [[electronic resource] ] : a guide for school-building improvement / / Dean T. Spaulding, Gail Smith

Pubbl/distr/stampa

Thousand Oaks, Calif., : Corwin, c2012

ISBN

1-4522-8424-5

1-4522-7989-6

1-4833-8779-8

Descrizione fisica

1 online resource (161 p.)

Altri autori (Persone)

SmithGail (Gail M.)

Disciplina

371.203

Soggetti

School supervision - United States

Educational leadership - United States

School management and organization - United States

School improvement programs - United States

Electronic books.

Lingua di pubblicazione

Inglese

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; INSTRUCTIONAL COACHES AND THE INSTRUCTIONAL LEADERSHIP TEAM; CONTENTS; PREFACE; What is an Instructional coach?; Using an Instructional Leadership Team Approach; Our Research With Instructional Coaches; Chapter Overviews; ACKNOWLEDGMENTS; Publisher's Acknowledgments; ABOUT THE AUTHORS; CHAPTER 1: "I'M SO GLAD YOU'RE HERE!" THE FIRST DAY AS AN INSTRUCTIONAL COACH; What Is an Instructional Coach (IC)?; The Instructional Coach-The Early Explorer; Step One: Establish an Instructional Leadership Team (ILT); Step Two: Establish a Job Description for the IC

Step Three: Establish the Role and Responsibilities for the ICStep Four: Develop an Action Plan for the IC; Summary; Self-Study Activity #1; CHAPTER 2: THE INSTRUCTIONAL COACH AND THE INSTRUCTIONAL LEADERSHIP TEAM: A UNIQUE APPROACH; The Priorities of a School Leader; Priority Two and Strong Instructional Leadership (SIL); The Instructional Leadership Team (ILT); An Equal and Shared Voice; Basic



Steps for the ILT; Step 1 and Step 2: Analyze Data and Identify Instructional Areas in Need of Improvement; Step Three: Conduct a Review of the Literature

Step Four: Determine Evidence-Based Practices and Develop a Professional Development PlanStep Five: Work With Teachers; Step Six: Reexamine Data, Examine New Data, and Reflect on Practice; Summary; Self-Study Activity #2; CHAPTER 3: REFOCUS AND START AGAIN! THE INSTRUCTIONAL LEADERSHIP TEAM SUPPORTING THE INSTRUCTIONAL COACH; How the IC Carries Out the ILT's Plan; Selection and Implementation of a New Curriculum; IC Providing Professional Development (PD) and Technical Assistance; Feedback for the ILT; Professional Development for the IC; Using Data to Support the ILT and IC

The "Why Is That?" Analysis TechniqueWays the Principal Can Support the IC; How to Work With the Principal; Dos and Don'ts for the Principal/IC Meeting; Summary; Self-Study Activity #3; CHAPTER 4: THE DAY-TO-DAY WORK OF THE INSTRUCTIONAL COACH; Getting Started; Basic Ways to Work With Teachers; Working With Teachers in Their Classrooms; Summary; Self-Study Activity #4; CHAPTER 5: AN IDEA FOR THE DAY: STRATEGIES AND IDEAS TO ENCOURAGE ENGAGEMENT BETWEEN TEACHERS AND THE ILT; Summary; Self-Study Activity #5

CHAPTER 6: ASSESSING INDIVIDUAL AND GROUP STRENGTHS: STRATEGIES FOR WORKING WITH THE RESISTANT TEACHERWho Is the Resistant Teacher?; The IC and Private Investigator; Search and Rescue: Thirteen Strategies for Mining for Gold; Summary; Self-Study Activity #6; CHAPTER 7: CHANGING TEACHER PRACTICES THROUGH CLASSROOM FIELD- TESTING: THE ILT'S ROLE; Classroom Field-Testing: A Possible Open Door?; Professional Development Activity; How the Instructional Leadership Team Can Support Action Research; Presenting Classroom Field-Testing Projects; Summary; Self-Study Activity #7

CHAPTER 8: THE ILT'S ROLE IN CHANGING TEACHER PRACTICES BUILDINGWIDE

Sommario/riassunto

For instructional coaches, no two days are ever the same. This unique companion melds theory and practice to show how coaches can seamlessly integrate themselves into the fabric of the school and help teachers improve their practice from day one. Dean Spaulding and Gail Smith address common challenges of coaches and instructional leadership teams. Journal entries based on the real-life experiences give an inside look at the day-to-day work of an instructional coach and the power of coaching to improve teacher effectiveness.



2.

Record Nr.

UNINA9910705417403321

Autore

Dennerline Don

Titolo

Cooperative Fish and Wildlife Research Units : a model partnership program / / by Donald E. Dennerline and Dawn E. Childs

Pubbl/distr/stampa

[Reston, Va.] : , : U.S. Department of the Interior, U.S. Geological Survey, , 2017

Descrizione fisica

1 online resource (1 sheet (4 unnumbered pages)) : color illustrations, color maps

Collana

Fact sheet ; ; 2017-3022

Soggetti

Wildlife research - United States

Wildlife managers - Education - United States

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

"April 2017."

Includes bibliographical references (pages [4]).



3.

Record Nr.

UNINA9910153632403321

Titolo

Republic

Pubbl/distr/stampa

Author's Republic

ISBN

1-5189-3319-X

Lingua di pubblicazione

Inglese

Formato

Musica

Livello bibliografico

Monografia

4.

Record Nr.

UNINA9910782922303321

Autore

Campbell Mark

Titolo

The Pocket Essential Sherlock Holmes [[electronic resource] /] / Mark Campbell

Pubbl/distr/stampa

Harpenden, : Pocket Essentials, 2001

ISBN

1-306-01905-2

1-84243-818-2

1-84243-816-6

Descrizione fisica

1 online resource (163 p.)

Collana

Pocket essentials

Disciplina

823.8

Soggetti

Holmes, Sherlock (Fictitious character)

Lingua di pubblicazione

Inglese

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; Contents; Foreword; 1: Please Continue Your Most Interesting Statement; 2: Sir Arthur Conan Doyle; 3: The Canon; 4: Literary Pastiches and Parodies; 5: An A-Z of Sherlock Holmes Actors; 6: Reference Materials; Copyright

Sommario/riassunto

Who is Holmes? The world's most famous detective? A drug addict with a heart as cold as ice? A millstone around the neck of his creator? He's all of these things and much, much more.  An iconic fictional creation, inseparable from his partner-in-crime Dr John Watson, Sherlock Holmes has charmed and fascinated millions of people around the



world since his first appearance over a century ago. This book takes a look at the extensive collection of Sherlock stories penned by Sir Arthur Conan Doyle, as well as some of the sleuth's stage and screen incarnations.

5.

Record Nr.

UNINA9910781721603321

Autore

Gyarmathi Sámuel <1751-1830.>

Titolo

Grammatical proof of the affinity of the Hungarian language with languages of Fennic origin / / Sámuel Gyarmathi ; translated, annotated, and introduced by Victor E. Hanzeli

Pubbl/distr/stampa

Amsterdam : , : J. Benjamins, , 1983

ISBN

1-283-31485-1

9786613314857

90-272-8644-2

Descrizione fisica

1 online resource (lviii, 327 pages) : portrait

Collana

Amsterdam studies in the theory and history of linguistic science. Series 1, Amsterdam classics in linguistics, 1800-1925 ; ; v. 15

Altri autori (Persone)

HanzeliVictor Egon <1925-1991.>

Disciplina

494.4

Soggetti

Finno-Ugric languages - Grammar, Comparative

Hungarian language - Grammar, Comparative

Lingua di pubblicazione

Inglese

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

GRAMMATICAL PROOF OF THE AFFINITY OF THE HUNGARIAN LANGUAGE WITH LANGUAGES OF FENNIC ORIGIN; Editorial page; Title page; Copyright page; Table of contents; TRANSLATOR'S PREFACE; GYARMATHI AND HIS AFFINITAS; TO PAUL I. MOST AUGUST AND SOVEREIGN AUTOCRAT OF ALL RUSSIA; TABLE OF CONTENTS; COMPARATIVE ORTHOGRAPHY OF HUNGARIAN AND RUSSIAN; PART ONE. AFFINITY OF THE LAPPS' AND FINNS' LANGUAGE; ON DECLENSION; ON COMPARATIVES; ON NUMERALS; ON PRONOUNS; ON POSSESSIVES AND SUFFIXES; ON VERBS; PARADIGM OF THE LAPPS' SUBSTANTIVE VERB; ON ADVERBS; ON PREPOSITIONS; PREPOSED FORMS; SYNTAX

ON THE SIMILARITY OF HUNGARIAN WORDS TO LAPP AND FINNISH WORDSORTHOGRAPHIES; WORDS WHICH SOUND LIKE HUNGARIAN WORDS BUT HAVE DIFFERENT MEANINGS; PART TWO. GRAMMATICAL



PROOF OF THE AFFINITY OF THE HUNGARIAN LANGUAGE WITH ESTONIAN; ON DIMINUTIVES; ON DECLENSION; ON COMPARISON; ON NUMERALS; ON PRONOUNS; ON VERBS; ON ADVERBS; ON SYNTAX; ESTONIAN PROVERBS AND RIDDLES; PART III. OBSERVATIONS ON SEVEN LANGUAGES OF FENNIC ORIGIN WHICH ARE VOGUL, VOTYAK, CHUVASH/ CHEREMIS, PERMIAN, ZYRIAN, MORDVIN INCLUDING VOCABULARIES ILLUSTRATING THESE LANGUAGES; ON CHERMIS POSSESSIVES; ON VERBS

PARADIGMS OF THE SUBSTANTIVE VERB 'TO BE':ON PREPOSITIONS; VOCABULARY OF SEVEN LANGUAGES IN ADDITION TO LATIN AND HUNGARIAN; NUMERALS OF THE OSTYAKS AND THE HUNGARIANS; APPENDIX I. CONTAINING A TATAR VOCABULARY; APPENDIX II. WORDS ILLUSTRATING THE HUNGARIAN LANGUAGE; A COMPARATIVE VOCABULARY OF SLAVIC LANGUAGES; PREFACE; RUSSIAN-GERMAN-HUNGARIAN VOCABULARY; CZECH-LATIN-HUNGARIAN COMPARATIVE VOCABULARY; POLISH-GERMAN-HUNGARIAN-CÖMPARATIVE VOCABULARY; NAMES OF CERTAIN TOWNS, RIVERS, MANORS AND CITIES OF HUNGARY AND TRANSYLVANIA, BORROWED FROM SLAVIC LANGUAGES

SUPPLEMENT TO THE LAPP VOCABULARY ON PAGES 61-92 ABOVEFINNISH SUPPLEMENT TO PAGES 61 SQ; APPENDIX III. SCHLOZER'S LETTER; NOTES; REFERENCES; INDEX NOMINUM

Sommario/riassunto

Sámuel Gyarmathi's Affinitas linguae hungaricae cum linguis fennicae originis grammatice demonstrata (Göttingen 1799) was received as a distinguished work of scholarship in its own days, and its historical importance has been fully recognized ever since. This volume provides an English translation of the entire Latin text, including the Latin glosses of the original (with the exception of zoological and botanical terms, and a few passages where specific reference is made to Latin grammar). This translation includes two additions to the text of Affinitas as reprinted in the Indian



6.

Record Nr.

UNINA9910483460403321

Titolo

Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / / edited by Radu Calinescu, Bernhard Rumpe

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015

ISBN

3-319-22969-9

Edizione

[1st ed. 2015.]

Descrizione fisica

1 online resource (XI, 369 p. 84 illus.)

Collana

Programming and Software Engineering ; ; 9276

Disciplina

005.1

Soggetti

Software engineering

Computer logic

Programming languages (Electronic computers)

Mathematical logic

Computer communication systems

Computer programming

Software Engineering

Logics and Meanings of Programs

Programming Languages, Compilers, Interpreters

Mathematical Logic and Formal Languages

Computer Communication Networks

Programming Techniques

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di contenuto

Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB Runtime Verification -- Towards Domain Refinement for UML/OCL Bounded Verification --



Testing -- Efficient Testing of Different Loop Paths -- Model-Based Robustness Testing in Event-B using Mutation -- On the Testability of Properties Patterns -- Certification -- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning -- Formal Analysis of Proactive, Distributed Routing -- Certification of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface -- A Formal Study of Backward Compatible Dynamic Software Updates -- Testing and Model Checking -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques for Memory-Efficient Model Checking of C and C++ Code -- NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP -- Planning -- Task Planning of Cyber-Human Systems -- Generating None-Plans in Order to Find Plans -- Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter -- From Featured Transition Systems to Modal Transition Systems with Variability Constraints -- An extensible operational semantics for UML activity diagrams.

Sommario/riassunto

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.