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

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

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

Characterizing Rhodopsin-Arrestin Interactions with the Fragment Molecular Orbital (FMO) Method

Arrestin binding to G protein-coupled receptors (GPCRs) plays a vital role in receptor signaling. Recently, the crystal structure of rhodopsin bound to activated visual arrestin was resolved using XFEL (X-ray free electron laser). However, even with the crystal structure in hand, our ability to understand GPCR-arrestin binding is limited by the availability of accurate tools to explore receptor-arrestin interactions. We applied fragment molecular orbital (FMO) method to explore the interactions formed between the residues of rhodopsin and arrestin. FMO enables ab initio approaches to be applied to systems that conventional quantum mechanical (QM) methods would be too compute-expensive. The FMO calculations detected 35 significant interactions involved in rhodopsin-arrestin binding formed by 25 residues of rhodopsin and 28 residues of arrestin. Two major regions of interaction were identified: at the C-terminal tail of rhodopsin (D330-S343) and where the "finger loop" (G69-T79) of arrestin directly inserts into rhodopsin active core. Out of these 35 interactions, 23 were mainly electrostatic and 12 hydrophobic in nature

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

A complete approximation theory for weighted transition systems

We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulation that is coarser than the classic bisimulation: it relates states that exhibit transitions to bisimulation classes with the weights within the same boundaries. We propose a customized modal logic that expresses these numeric boundaries for transition weights by means of particular modalities. We prove that our logic is invariant under the proposed notion of bisimulation. We show that the logic enjoys the finite model property which allows us to prove the decidability of satisfiability and provide an algorithm for satisfiability checking. Last but not least, we identify a complete axiomatization for this logic, thus solving a long-standing open problem in this field. All our results are proven for a class of WTSs without the image-finiteness restriction, a fact that makes this development general and robust

Comparison of linkage disequilibrium and haplotype diversity on macro- and microchromosomes in chicken

<p>Abstract</p> <p>Background</p> <p>The chicken (<it>Gallus gallus</it>), like most avian species, has a very distinct karyotype consisting of many micro- and a few macrochromosomes. While it is known that recombination frequencies are much higher for micro- as compared to macrochromosomes, there is limited information on differences in linkage disequilibrium (LD) and haplotype diversity between these two classes of chromosomes. In this study, LD and haplotype diversity were systematically characterized in 371 birds from eight chicken populations (commercial lines, fancy breeds, and red jungle fowl) across macro- and microchromosomes. To this end we sampled four regions of ~1 cM each on macrochromosomes (GGA1 and GGA2), and four 1.5 -2 cM regions on microchromosomes (GGA26 and GGA27) at a high density of 1 SNP every 2 kb (total of 889 SNPs).</p> <p>Results</p> <p>At a similar physical distance, LD, haplotype homozygosity, haploblock structure, and haplotype sharing were all lower for the micro- as compared to the macrochromosomes. These differences were consistent across populations. Heterozygosity, genetic differentiation, and derived allele frequencies were also higher for the microchromosomes. Differences in LD, haplotype variation, and haplotype sharing between populations were largely in line with known demographic history of the commercial chicken. Despite very low levels of LD, as measured by r²for most populations, some haploblock structure was observed, particularly in the macrochromosomes, but the haploblock sizes were typically less than 10 kb.</p> <p>Conclusion</p> <p>Differences in LD between micro- and macrochromosomes were almost completely explained by differences in recombination rate. Differences in haplotype diversity and haplotype sharing between micro- and macrochromosomes were explained by differences in recombination rate and genotype variation. Haploblock structure was consistent with demography of the chicken populations, and differences in recombination rates between micro- and macrochromosomes. The limited haploblock structure and LD suggests that future whole-genome marker assays will need 100+K SNPs to exploit haplotype information. Interpretation and transferability of genetic parameters will need to take into account the size of chromosomes in chicken, and, since most birds have microchromosomes, in other avian species as well.</p