05475nam 2200661 a 450 991048021770332120170822113504.01-4522-8424-51-4522-7989-61-4833-8779-8(CKB)3710000000333614(EBL)1107883(OCoLC)881281554(SSID)ssj0001400482(PQKBManifestationID)12611118(PQKBTitleCode)TC0001400482(PQKBWorkID)11338401(PQKB)11756990(MiAaPQ)EBC1107883(StDuBDS)EDZ0000996528(EXLCZ)99371000000033361420141202d2012 fy| 0engur|n|---|||||txtccrInstructional coaches and the instructional leadership team[electronic resource] a guide for school-building improvement /Dean T. Spaulding, Gail SmithThousand Oaks, Calif. Corwinc20121 online resource (161 p.)Description based upon print version of record.1-4522-2638-5 Includes bibliographical references and index.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 ICStep 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 LiteratureStep 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 ICThe "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 #5CHAPTER 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 #7CHAPTER 8: THE ILT'S ROLE IN CHANGING TEACHER PRACTICES BUILDINGWIDEFor 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.School supervisionUnited StatesHandbooks, manuals, etcEducational leadershipUnited StatesHandbooks, manuals, etcSchool management and organizationUnited StatesSchool improvement programsUnited StatesElectronic books.School supervisionEducational leadershipSchool management and organizationSchool improvement programs371.203Spaulding Dean T953360Smith Gail(Gail M.)1041356StDuBDSStDuBDSBOOK9910480217703321Instructional coaches and the instructional leadership team2464835UNINA01411nam 2200397 450 991070541740332120170515124507.0(CKB)5470000002451216(OCoLC)987250739(EXLCZ)99547000000245121620170515d2017 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierCooperative Fish and Wildlife Research Units a model partnership program /by Donald E. Dennerline and Dawn E. Childs[Reston, Va.] :U.S. Department of the Interior, U.S. Geological Survey,2017.1 online resource (1 sheet (4 unnumbered pages)) color illustrations, color mapsFact sheet ;2017-3022"April 2017."Includes bibliographical references (pages [4]).Cooperative Fish and Wildlife Research Units Wildlife researchUnited StatesWildlife managersEducationUnited StatesWildlife researchWildlife managersEducationDennerline Don1387599Childs Dawn E.Geological Survey (U.S.),GPOGPOBOOK9910705417403321Cooperative Fish and Wildlife Research Units3437633UNINA00407ojm 2200169z- 450 99101536324033211-5189-3319-X(CKB)3710000000962317(EXLCZ)99371000000096231720231107c2016uuuu -u- -engRepublicAuthor's RepublicAUDIO9910153632403321Republic3582642UNINA04753nam 2200625 a 450 991078172160332120230103210854.01-283-31485-1978661331485790-272-8644-2(CKB)2550000000049934(EBL)784289(OCoLC)756484597(SSID)ssj0000636029(PQKBManifestationID)11437904(PQKBTitleCode)TC0000636029(PQKBWorkID)10653374(PQKB)10171240(MiAaPQ)EBC784289(Au-PeEL)EBL784289(CaPaEBR)ebr10509537(EXLCZ)99255000000004993419831103d1983 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierGrammatical proof of the affinity of the Hungarian language with languages of Fennic origin /Sámuel Gyarmathi ; translated, annotated, and introduced by Victor E. HanzeliAmsterdam :J. Benjamins,1983.1 online resource (lviii, 327 pages) portraitAmsterdam studies in the theory and history of linguistic science. Series 1, Amsterdam classics in linguistics, 1800-1925 ;v. 15Description based upon print version of record.90-272-0976-6 Includes bibliographical references and index.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; SYNTAXON 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 VERBSPARADIGMS 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 LANGUAGESSUPPLEMENT TO THE LAPP VOCABULARY ON PAGES 61-92 ABOVEFINNISH SUPPLEMENT TO PAGES 61 SQ; APPENDIX III. SCHLOZER'S LETTER; NOTES; REFERENCES; INDEX NOMINUMSá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 IndianAmsterdam studies in the theory and history of linguistic science.Series I,Amsterdam classics in linguistics, 1800-1925 ;15.Finno-Ugric languagesGrammar, ComparativeHungarian languageGrammar, ComparativeFinno-Ugric languagesGrammar, Comparative.Hungarian languageGrammar, Comparative.494.4Gyarmathi Sámuel1751-1830.175860Hanzeli Victor Egon1925-1991.196298MiAaPQMiAaPQMiAaPQBOOK9910781721603321Grammatical proof of the affinity of the Hungarian language with languages of Fennic origin3814146UNINA05761nam 22008295 450 991048346040332120200702040021.03-319-22969-910.1007/978-3-319-22969-0(CKB)3890000000001362(SSID)ssj0001558631(PQKBManifestationID)16183578(PQKBTitleCode)TC0001558631(PQKBWorkID)14818581(PQKB)10320270(DE-He213)978-3-319-22969-0(MiAaPQ)EBC6303035(MiAaPQ)EBC5592609(Au-PeEL)EBL5592609(OCoLC)919252976(PPN)188460659(EXLCZ)99389000000000136220150820d2015 u| 0engurnn|008mamaatxtccrSoftware Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /edited by Radu Calinescu, Bernhard Rumpe1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (XI, 369 p. 84 illus.) Programming and Software Engineering ;9276Bibliographic Level Mode of Issuance: Monograph3-319-22968-0 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.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.Programming and Software Engineering ;9276Software engineeringComputer logicProgramming languages (Electronic computers)Mathematical logicComputer communication systemsComputer programmingSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software 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.005.1Calinescu Raduedthttp://id.loc.gov/vocabulary/relators/edtRumpe Bernhardedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483460403321Software Engineering and Formal Methods2915885UNINA