{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":55,"n_cols":5,"rows_kept":55,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[11,2,11,3],[12,2,12,3],[13,2,13,3],[15,2,15,3],[18,2,18,3],[19,2,19,3],[22,2,22,3],[30,2,30,3],[30,4,30,5],[31,2,31,3],[31,4,31,5],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[49,2,49,3],[50,2,50,3],[52,2,52,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910826982503321"]
[null,null,"Autore",null,"Simone Kenneth G"]
[null,null,"Titolo",null,"Hospitalist recruitment and retention : building a hospital medicine program / / Kenneth G. Simone"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, N.J., : Wiley-Blackwell, c2010"]
[null,null,"ISBN",null,"9786612686481"]
[{"$nulls":4},"9781282686489"]
[{"$nulls":4},"1282686488"]
[{"$nulls":4},"9780470568262"]
[{"$nulls":4},"0470568267"]
[{"$nulls":4},"9780470568279"]
[{"$nulls":4},"0470568275"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (225 p.)"]
[null,null,"Disciplina",null,"362.110683"]
[{"$nulls":4},"658.373"]
[null,null,"Soggetti",null,"Hospitalists - Recruiting"]
[{"$nulls":4},"Employee retention"]
[{"$nulls":4},"Hospitals - Personnel management"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,"Nota di contenuto",null,"HOSPITALIST RECRUITMENT AND RETENTION; CONTENTS; Preface; Acknowledgments; 1 Physician Supply and Demand; 1.1 The Aging Medical Workforce; 1.2 The Growing and Aging Population; 1.3 Decreased Medical School Matriculation; 1.4 The Changing Demographics of Medicine; 1.5 The Cost of Medical School and the Graduate Debt Burden; 1.6 The Changing Role of the Specialist; 1.7 The Changing Scope of Primary Care; 1.8 The Availability and Accessibility of Training Programs; 1.9 Technological Advances; 1.10 The Increasing Regulatory Responsibilities Placed on Physicians"]
[{"$nulls":4},"1.11 Rising Practice Expenses and Diminishing Returns from the Insurance Industry1.12 Utilization of Nonphysician Clinicians; 1.13 Government Policy; 1.14 Generational Expectations; 2 The Hospitalist Marketplace; 2.1 Age, Gender, and Years Employed as a Hospitalist; 2.2 Hospitalist Education; 2.3 Hospitalist Practice Location; 2.4 Hospitalist Employment Model and Hospital Teaching Status; 2.5 Control/Hospital Governance of Affiliated Hospital; 2.6 Hospital Size; 2.7 Hospitalist "]
[{"$nulls":4},"Staffing; 2.8 Coverage Schedule and Night Call Responsibility; 2.9 Hospitalist Program Growth and Turnover"]
[{"$nulls":4},"3 The Role of the Hospitalist3.1 Hospitalist Program Patient Type and Encounter Type; 3.2 Hospitalist Time Spent on Nonclinical Activities; 3.3 Leader Time Spent on Administrative Activities; 3.4 Hospitalist Activities Based on Location; 4 The Hospitalist Recruitment Pool; 4.1 Building Your Recruitment Network; 4.2 Identifying Your Candidate Pool; 5 Challenges Recruiting Hospitalists; 5.1 Physician Compensation; 5.2 Practice Model; 5.3 Work and Call Schedule; 5.4 Daily Workload; 5.5 Added-Value Benefits; 5.6 Medical Staff Support; 5.7 Hospital Culture and Systems; 5.8 Technology"]
[{"$nulls":4},"5.9 Specialty Providers5.10 Referral Network; 5.11 Hospital Administrative Support; 5.12 Staff Stability; 5.13 Community and Practice Culture; 6 Incentive Plans; 6.1 Incentive Plan Objectives; 6.2 Data Systems; 6.3 Metrics; 6.4 Benchmarking; 6.5 Incentive Payout; 7 National Recruitment Initiatives; 7.1 Trend in Hospitalist Salary; 7.2 Type of Incentives Offered for All Specialties; 7.3 Relocation Pay, and Amount, for All Specialties; 7.4 Signing Bonus, and Amount, for All Specialties; 7.5 Amount of CME for All Specialties; 7.6 Additional Benefits; 7.7 Hospital-Employed Job Opportunities"]
[{"$nulls":4},"7.8 Assessment of Fair Market Value and Physician Compensation8 Retention Initiatives; 8.1 Defining Expectations and Finding the Appropriate Fit; 8.2 Work-Life Balance; 8.3 Integration of the Hospitalist Program and Hospitalist Physicians; 8.4 Support from the Clinical Director and Sponsoring Hospital; 8.5 Clinical and Operational Support; 8.6 Opportunities for Career Growth and Advancement; 8.7 Financial Opportunities; 8.8 Spousal/Significant Other and Family Integration Within the Community; 8.9 The Orientation Program; 8.10 The Exit Interview"]
[{"$nulls":4},"9 Putting It All Together: The Site Visit and Interview"]
[null,null,null,"Sommario/riassunto","The Right Way to Build and Sustain a Successful Hospital Medicine Program  This first complete treatment of hospitalist recruitment and retention gives you all the tools and guidance needed to build a new hospital medicine program for your hospital.  Moreover, it shows you how to reinvigorate and maintain an established hospitalist program, enabling your hospital to fully benefit from the improved clinical outcomes that a hospitalist approach can offer.  All the key elements for building and maintaining an effective hospitalist program are covered, including: Developing a rec"]
[null,"2.","Record Nr.",null,"UNINA9910349277503321"]
[null,null,"Titolo",null,"Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / / edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-030-30923-1"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 261 p. 605 illus., 41 illus. in color.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 11636"]
[null,null,"Disciplina",null,"005.14"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Electronic digital computers - Evaluation"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Computer Modelling"]
[{"$nulls":4},"System Performance and Evaluation"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Model Veriﬁcation Through Dependency Graphs -- Model Checking Branching Time Properties for Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table -- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm Model Checking on the GPU -- Statistical Model Checking of Complex Robotic Systems -- STAD: Stack Trace Based Automatic Software Misconﬁguration Diagnosis via Value Dependency Graph -- Extracting Safe Thread Schedules from Incomplete Model Checking Results -- Learning Guided Enumerative Synthesis for Superoptimization -- Applying Model Checking Approach with Floating Point Arithmetic -- Conformance Testing of Schedulers for DSL-based Model Checking -- A Study of Learning Data Structure Invariants Using Oﬀ-the-shelf Tools -- "]
[{"$nulls":4},"VeriVANca: An Actor-Based Framework for Formal Veriﬁcation of Warning Message Dissemination Schemes in VANETs."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. ."]