Discrete Function Representations Utilizing Decision Diagrams and Spectral Techniques

All discrete function representations become exponential in size in the worst case. Binary decision diagrams have become a common method of representing discrete functions in computer-aided design applications. For many functions, binary decision diagrams do provide compact representations. This work presents a way to represent large decision diagrams as multiple smaller partial binary decision diagrams. In the Boolean domain, each truth table entry consisting of a Boolean value only provides local information about a function at that point in the Boolean space. Partial binary decision diagrams thus result in the loss of information for a portion of the Boolean space. If the function were represented in the spectral domain however, each integer-valued coefficient would contain some global information about the function. This work also explores spectral representations of discrete functions, including the implementation of a method for transforming circuits from netlist representations directly into spectral decision diagrams

Utility of Coronary Calcium Scoring (CCS) in Connective Tissue Disorders (CTDs) for the Evaluation of Subclinical Coronary Atherosclerosis – A Systematic Review

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/154536/1/acr211107.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/154536/2/acr211107_am.pd

Hitting a Moving Target: Resource Access in a Mobile World

http://deepblue.lib.umich.edu/bitstream/2027.42/94444/1/Hitting_a_Moving_Target_Resource_Access_in_a_Mobile_World.pd

Term Harvesting & Generation Guide

The "Term Harvesting & Generation Guide" outlines term harvesting strategies to help build the list of search terms for advanced literature reviews, such as systematic reviews. The Guide was developed by a team of Taubman Health Sciences Library Informationists as an instructional tool for the Systematic Reviews: Opportunities for Librarians Workshop and Advanced Literature Searching in the Health Sciences Massive Open Online Course.https://deepblue.lib.umich.edu/bitstream/2027.42/153785/4/Term_Harvesting_and_Generation_Guide.pd

Research by the Numbers: Assessing the Performance of Three Products for Citation Analysis

http://deepblue.lib.umich.edu/bitstream/2027.42/94430/1/research_by_the_numbers_assessing_the_performance_of_three_products_for_citation_analysis.pd

The library at the point of care : integrated resources and instruction in the third-year medical school curriculum

http://deepblue.lib.umich.edu/bitstream/2027.42/101130/1/M3IntegrationPosterMLA2013.pd

Active Learning & Library Instruction : Team Teaching with Faculty Physicians

http://deepblue.lib.umich.edu/bitstream/2027.42/101131/1/ActiveLearningPosterMLA2013.pd

Assessing and Analyzing the Information Needs of Research Complex Tenanta

http://deepblue.lib.umich.edu/bitstream/2027.42/94417/1/assessing_and_analyzing_the_information_needs_of_research_complex_tenants.pd

A study of librarian involvement in locally-created systematic reviews

http://deepblue.lib.umich.edu/bitstream/2027.42/101132/1/SRInvolvementPosterMLA2013.pd

Expanding Liaison Librarians Roles and Use of School-based Liaison Teams

http://deepblue.lib.umich.edu/bitstream/2027.42/94421/1/expanding_liaison_librarians_roles_and_use_of_schoolbased_liaison_teams.pd