617 research outputs found
Identity is About us: Leadership Lessons Learned During an Accreditation Journey
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/156444/2/jls21694_am.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/156444/1/jls21694.pd
Strong Completeness for Markovian Logics
In this paper we present Hilbert-style axiomatizations for three logics for reasoning about continuous-space Markov processes (MPs): (i) a logic for MPs defined for probability distributions on measurable state spaces, (ii) a logic for MPs defined for sub-probability distributions and (iii) a logic defined for arbitrary distributions.These logics are not compact so one needs infinitary rules in order to obtain strong completeness results.
We propose a new infinitary rule that replaces the so-called Countable Additivity Rule (CAR) currently used in the literature to address the problem of proving strong completeness for these and similar logics. Unlike the CAR, our rule has a countable set of instances; consequently it allows us to apply the Rasiowa-Sikorski lemma for establishing strong completeness. Our proof method is novel and it can be used for other logics as well
Let\u27s Talk About How We Talk: Communication Agreements in the Library Workplace
Purpose: This chapter introduces a new tool, termed the Communication Agreement, for enhancing communication in the library workplace. The chapter defines the communication agreement, provides discussion questions for forming a communication agreement, provides examples of how communication agreements are beneficial to a diverse library workforce, and provides strategies to informally assess communication agreementsâ effectiveness.
Practical implications: Communication problems in diverse library workplaces can lead to, or exacerbate, conflict between employees. Generational, cross-cultural, gender, and other differences can lead to misunderstandings and conflict between employees. The communication agreement provides library managers with a tool to bridge differences in communication styles between employees, enable employees to engage in more effective communication, assist employees in developing better understandings and respect for colleagues of different backgrounds, and raise employeesâ emotional intelligences.
Originality/Value: Numerous resources and publications provide generalized approaches to communicating with others in a heterogeneous workplace or team, but the communication agreement provides a new approach for developing effective communication between people in a diverse library workplace.
Limitations: The chapter lays out informal assessment strategies for the communication agreement, but formal assessment methods and metrics still need to be developed
Reasoning with global assumptions in arithmetic modal logics
We establish a generic upper bound ExpTime for reasoning with global assumptions in coalgebraic modal logics. Unlike earlier results of this kind, we do not require a tractable set of tableau rules for the in- stance logics, so that the result applies to wider classes of logics. Examples are Presburger modal logic, which extends graded modal logic with linear inequalities over numbers of successors, and probabilistic modal logic with polynomial inequalities over probabilities. We establish the theoretical upper bound using a type elimination algorithm. We also provide a global caching algorithm that offers potential for practical reasoning
Computational Methods Used in Hit-to-Lead and Lead Optimization Stages of Structure-Based Drug Discovery
GPCR modeling approaches are widely used in the hit-to-lead (H2L) and lead optimization (LO) stages of drug discovery. The aims of these modeling approaches are to predict the 3D structures of the receptor-ligand complexes, to explore the key interactions between the receptor and the ligand and to utilize these insights in the design of new molecules with improved binding, selectivity or other pharmacological properties. In this book chapter, we present a brief survey of key computational approaches integrated with hierarchical GPCR modeling protocol (HGMP) used in hit-to-lead (H2L) and in lead optimization (LO) stages of structure-based drug discovery (SBDD). We outline the differences in modeling strategies used in H2L and LO of SBDD and illustrate how these tools have been applied in three drug discovery projects
Not what you expected: Implementing design thinking as a leadership practice
Changing user needs have created new opportunities for libraries, requiring evolving leadership practices that support innovation and rapid change. Design thinking can provide leaders with a concrete process to move toward action. The authors â one an executive administrator at a large, multi-branch public library, the other an academic librarian who leads a small team â share how design thinking has positively influenced their leadership practices. The benefits of implementing this flexible process have included improved user experience, more creative solutions, wise investments, staff empowerment, increased transparency and trust, and employee learning and development. Both leaders experienced these benefits even though they are in different positions on their hierarchical organization charts. The authors propose that implementing design thinking as a leadership practice has a place in the evolving role of libraries and can shift organizational cultures to become more user-centered and embrace innovation. In addition to these benefits, the chapter discusses specific project examples, challenges, and tips for library leaders to successfully implement the process. Design thinking is translatable across library types and throughout private industry. Discussing design thinking as a leadership practice can benefit the profession and communities by giving leaders a common language to use when learning from and sharing with each other in conversations about innovation
DIAGNOSTIC AND PREVENTIVE SERVICES IN A NATIONAL INCREMENTAL DENTAL PLAN FOR CHILDREN
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65579/1/j.1752-7325.1977.tb02874.x.pd
The Rise of the Resilient Local Authority?
The term resilience is increasingly being utilised within the study of public policy to depict how individuals, communities and organisations can adapt, cope, and âbounce backâ when faced with external shocks such as climate change, economic recession and cuts in public expenditure. In focussing on the local dimensions of the resilience debate, this article argues that the term can provide useful insights into how the challenges facing local authorities in the UK can be reformulated and reinterpreted. The article also distinguishes between resilience as ârecoveryâ and resilience as âtransformationâ, with the latter's focus on âbouncing forwardâ from external shocks seen as offering a more radical framework within which the opportunities for local innovation and creativity can be assessed and explained. While also acknowledging some of the weaknesses of the resilience debate, the dangers of conceptual âstretchingâ, and the extent of local vulnerabilities, the article highlights a range of examples where local authorities â and crucially, local communities â have enhanced their adaptive capacity, within existing powers and responsibilities. From this viewpoint, some of the barriers to the development of resilient local government are not insurmountable, and can be overcome by âdigging deepâ to draw upon existing resources and capabilities, promoting a strategic approach to risk, exhibiting greater ambition and imagination, and creating space for local communities to develop their own resilience
- âŠ