191 Matching Results

Results open in a new window/tab.

The Effects of Common and Uncommon Elements on the Emergence of Simple Discriminations (open access)

The Effects of Common and Uncommon Elements on the Emergence of Simple Discriminations

A computerized program was designed to test whether arranging a common element in two, otherwise independent, 2-term correlations (stimulus-stimulus and response-stimulus) would result in emergent simple discriminative-stimulus properties for the antecedent stimulus relative to an arrangement with no common elements programmed. Data from 8 adult participants in this experiment indicate that common element arrangements led to relatively high rates of responding in the presence of the putative discriminative stimulus and relatively low rates or no responding in the presence of the putative s-delta during testing in extinction. Conversely, the uncommon element arrangements produced no clear discriminative control. The current data reflect a comparison of arrangements across subjects. These data support Sidman's (2000) suggestion that common elements among contingencies are sufficient to produce stimulus classes and cause class mergers. The data also have implications for thinking about the mechanism by which and the conditions under which discriminative control develops. Finally, these data have the potential to inform the programming and implementation of reinforcement contingencies in applied settings.
Date: May 2019
Creator: Niland, Haven Sierra
Object Type: Thesis or Dissertation
System: The UNT Digital Library
Students' Attitudes toward Educational Gamification in Online Learning Environments (open access)

Students' Attitudes toward Educational Gamification in Online Learning Environments

This study explored undergraduate and graduate students' attitudes toward the pleasurability of educational gamification in online learning environments. The study is a sequential explanatory mixed-methods research that investigated students' attitudes quantitatively, then qualitatively. In the quantitative phase, an online survey, the Pleasurable Learning Experiences scale (PLLEXs), was administrated at one of the largest public southwestern universities in the U.S. (N = 119). The qualitative phase involved conducting eight semi-structured interviews with selected participants. The PLLEXs uses a 4-point Likert scale that encompasses 4 subscales: (a) Preferences for Instructions, (b) Preferences for Instructors' Teaching Styles, (c) Preferences for Activities, and (d) Preferences for Learning Effectiveness. A series of analyses of variances (ANOVAs) were used to identify predictors of students' overall attitudes toward educational gamification. The main findings were: (a) students had strong preferences toward educational gamification with Preferences of Instructions rated the highest subscale and Preferences for Activities rated the lowest subscale, (b) major was a statistically significant predictor of students' attitudes toward educational gamification, (c) international students had statistically significant lower preferences toward educational gamification compared with U.S. domestic students, (c) online learning experiences measured by the number of previous online courses and the number of hours spent weekly on …
Date: May 2019
Creator: Abu Dawood, Sumayah Mohammadlutfi
Object Type: Thesis or Dissertation
System: The UNT Digital Library
A Data-Driven Computational Framework to Assess the Risk of Epidemics at Global Mass Gatherings (open access)

A Data-Driven Computational Framework to Assess the Risk of Epidemics at Global Mass Gatherings

This dissertation presents a data-driven computational epidemic framework to simulate disease epidemics at global mass gatherings. The annual Muslim pilgrimage to Makkah, Saudi Arabia is used to demonstrate the simulation and analysis of various disease transmission scenarios throughout the different stages of the event from the arrival to the departure of international participants. The proposed agent-based epidemic model efficiently captures the demographic, spatial, and temporal heterogeneity at each stage of the global event of Hajj. Experimental results indicate the substantial impact of the demographic and mobility patterns of the heterogeneous population of pilgrims on the progression of the disease spread in the different stages of Hajj. In addition, these simulations suggest that the differences in the spatial and temporal settings in each stage can significantly affect the dynamic of the disease. Finally, the epidemic simulations conducted at the different stages in this dissertation illustrate the impact of the differences between the duration of each stage in the event and the length of the infectious and latent periods. This research contributes to a better understanding of epidemic modeling in the context of global mass gatherings to predict the risk of disease pandemics caused by associated international travel. The computational modeling and …
Date: May 2019
Creator: Alshammari, Sultanah
Object Type: Thesis or Dissertation
System: The UNT Digital Library
NCAA Violations and Institutional Self-Sanctions: Assessing the Impact on Alumni Charitable Contributions (open access)

NCAA Violations and Institutional Self-Sanctions: Assessing the Impact on Alumni Charitable Contributions

The growing commercialism within Division I big-time athletics has raised the financial stakes for universities, as successful athletic programs benefit from increased opportunities for financial gain. This has contributed to a pervasive "win culture" that drives institutions to seek competitive advantages, and as a side effect, NCAA rule violations have become incentivized. Programs whose infractions go unnoticed may benefit from the competitive advantage gained, but for programs investigated by the NCAA, the financial penalties incurred may far outweigh the potential revenues from undetected violations. The purpose of this study was to address institutional self-sanctions as an organizational behavior in response to NCAA major infractions and the impact of self-sanctioning on alumni charitable giving. Through the use of neo-institutional and resource dependence theories, this study aimed to further examine the role of institutional self-sanctions as a crisis management strategy in containing financial fallout of athletic scandal. While researchers have addressed scandal and alumni charitable giving in relation to athletics and institutional self-sanctions, respectively, no research exists linking the two bodies of literature. This study employed a two-way fixed effects analysis of 10 years of panel data to address the effect of key variables on alumni charitable giving. Analysis results indicated no …
Date: May 2019
Creator: Thomas-Seltzer, Ashley
Object Type: Thesis or Dissertation
System: The UNT Digital Library

Two Essays on Non-GAAP Reporting

Access: Use of this item is restricted to the UNT Community
This dissertation investigates the interrelationships between a client's non-GAAP earnings disclosures, financial health (profit and loss status), and the external auditor's assessment of the client's going concern status. This dissertation comprises two essays. Essay 1 examines the informativeness and the quality of non-GAAP earnings disclosures in profit and loss firms separately. Using a large sample of non-GAAP earnings voluntarily disclosed by managers, I find that the informativeness and the quality of non-GAAP earnings vary in firms cross-classified by GAAP loss status and non-GAAP loss status. I also find that loss firms have higher quality non-GAAP exclusions relative to profit firms, although the expenses excluded by both profit and loss firms are associated with firms' future performance. Further, I posit and find that profit firms which voluntarily disclose non-GAAP losses have high-quality exclusions, while other non-GAAP reporting profit firms have low-quality exclusions. Having found that non-GAAP earnings in loss firms is opportunistic to some extent, I next study, in Essay 2, whether auditors understand the implications of low-quality non-GAAP reporting in these firms. Specifically, I examine 1) whether non-GAAP earnings disclosures are associated with the propensity of the auditor's going concern issuance to loss firms, and 2) whether non-GAAP earnings disclosures …
Date: May 2019
Creator: Nie, Dongfang
Object Type: Thesis or Dissertation
System: The UNT Digital Library
The Relationship of Five Facets of Teacher Trust in the Principal to Teacher Efficacy (open access)

The Relationship of Five Facets of Teacher Trust in the Principal to Teacher Efficacy

Relational trust exists between and among individuals within complex human organizations; however, within a school, the relationship between teachers and the principal is at the heart of the organization. The purpose of this mixed method study was to gain an understanding of the relationship between teachers' trust in their principal and teacher efficacy and determine which leadership behaviors and facets of trust have the greatest influence on the trust relationship between teachers and the principal. The overarching goal of this dissertation study was to inform district-level administrators and principals so they are afforded the opportunity to reflect on their behavior, make changes if necessary to cultivate trusting relationships within their organization, and positively influence teacher efficacy. A convergent parallel mixed methods research study was conducted in two rural school districts in North Texas to identify teacher perceptions related to the leadership behaviors that influence organizational trust, and reveal the correlation between trust in the principal and teacher efficacy. The teachers who participated in the on-line survey named communication as the leadership behavior most closely related to their feelings of trust toward the principal. The facet of trust considered most significant by all teachers was reliability; however, a subset of high …
Date: May 2019
Creator: Caudle, Airemy Marie
Object Type: Thesis or Dissertation
System: The UNT Digital Library
The Sexual Victimization of Black College Women (open access)

The Sexual Victimization of Black College Women

Sexual victimization is a pervasive mental and physical health issue with overarching implications for university campuses and victim service providers alike. While a large expanse of research exists on sexual violence and the factors associated with victimization, less is known about the potentially unique experiences faced by Black college women in particular. Utilizing data collected by the National Longitudinal Study of Adolescent to Adult Health, this study examines the prevalence of college sexual victimization, levels of social support for victims and non-victims, intimate partner sexual victimization (IPSV), and the predictability of self-esteem on sexual victimization. In addition, comparisons are made between Black college women and their White counterparts. After conducting multiple t-tests and logistic regression analyses, results indicated that Black college women were more likely to experience IPSV than White college women, and Black college women received less social support following sexual victimization than Black non-victims. These findings can help in establishing more efficient and accessible assistance for victims.
Date: May 2019
Creator: Wilson, Hannah Caroline
Object Type: Thesis or Dissertation
System: The UNT Digital Library

The Last Karankawas: Stories

Access: Use of this item is restricted to the UNT Community
A collection of interconnected short stories set in diverse corners of Texas, converging on Galveston Island before and after Hurricane Ike.
Date: May 2019
Creator: Garza, Kimberly Rose
Object Type: Thesis or Dissertation
System: The UNT Digital Library
Differentiation: A Taxonomy of Online Learner Types in Higher Education (open access)

Differentiation: A Taxonomy of Online Learner Types in Higher Education

Online learning is no longer considered novel within higher education. It has emerged as an accepted distinct channel and environment for instructional engagement. There is a notable deficit of works and theoretical constructs specifically addressing the identification and differentiation of online learner types and examining them as a distinct system within the learning environment. Learning effectiveness within an online instructional environment is affected by the individual student engaged in the instruction. The instructional experience of the learner is determined by their individual perceptions of and reactions to both internal and external factors. Therefore, it is critical to address the online learner holistically as a stand-alone systemic dimension of the online learning environment to truly understand their differentiating behaviors, motives, characteristics, and dynamics. The study classified and articulated the distinctive types of learners engaged in online instruction within the higher education context based on the key dynamics, factors, and influencers of the individual in order to provide a more comprehensive understanding of the individuals engaged in learning. Additionally, the study generated a new theoretical model, the taxonomy of online learner types (TOLT) to provide unique insights into the different types of learners and serve as an essential step towards developing awareness …
Date: May 2019
Creator: Darby, Douglas
Object Type: Thesis or Dissertation
System: The UNT Digital Library
Extracting Temporally-Anchored Spatial Knowledge (open access)

Extracting Temporally-Anchored Spatial Knowledge

In my dissertation, I elaborate on the work that I have done to extract temporally-anchored spatial knowledge from text, including both intra- and inter-sentential knowledge. I also detail multiple approaches to infer spatial timeline of a person from biographies and social media. I present and analyze two strategies to annotate information regarding whether a given entity is or is not located at some location, and for how long with respect to an event. Specifically, I leverage semantic roles or syntactic dependencies to generate potential spatial knowledge and then crowdsource annotations to validate the potential knowledge. The resulting annotations indicate how long entities are or are not located somewhere, and temporally anchor this spatial information. I present an in-depth corpus analysis and experiments comparing the spatial knowledge generated by manipulating roles or dependencies. In my work, I also explore research methodologies that go beyond single sentences and extract spatio-temporal information from text. Spatial timelines refer to a chronological order of locations where a target person is or is not located. I present corpus and experiments to extract spatial timelines from Wikipedia biographies. I present my work on determining locations and the order in which they are actually visited by a person …
Date: May 2019
Creator: Vempala, Alakananda
Object Type: Thesis or Dissertation
System: The UNT Digital Library
Instructional Personnel Perceptions on Integrating Instructional Technology in K-12 Classrooms: A Case Study (open access)

Instructional Personnel Perceptions on Integrating Instructional Technology in K-12 Classrooms: A Case Study

Integrating digital pedagogy into instruction in a manner that promotes critical thinking and drives increased student achievement and engagement in all classrooms is a goal of many campuses and districts that invest heavily in hardware, software, and professional development on an annual basis. Digital pedagogy goals tend to center around preparing students for the 21st century workforce, promoting instruction that is more engaging, and providing deeper learning for all students; however, achieving these goals is not possible without teachers willing and able to effectively implement instructional technology into the content they are teaching. The conceptual framework consists of digital leadership, teacher engagement, and resources and supports. This case study focused on the district-wide integration of technology into instruction through the elements found in the conceptual framework. Educators, from kindergarten through twelfth grade were surveyed about their attitudes, self-efficacy perceptions and willingness to integrate digital pedagogies into their current teaching practices. The online survey that utilized Likert-like scales to gather demographic information as well educator perceptions on digital integration, teaching philosophy, digital self-efficacy, and leadership's focus and expectations regarding instructional technology. Additional data, from a variety of district documents, was also gathered on leadership, professional development, and infrastructure supports utilized to …
Date: May 2019
Creator: Agent, Renee L
Object Type: Thesis or Dissertation
System: The UNT Digital Library

Quantile Regression Deep Q-Networks for Multi-Agent System Control

Access: Use of this item is restricted to the UNT Community
Training autonomous agents that are capable of performing their assigned job without fail is the ultimate goal of deep reinforcement learning. This thesis introduces a dueling Quantile Regression Deep Q-network, where the network learns the state value quantile function and advantage quantile function separately. With this network architecture the agent is able to learn to control simulated robots in the Gazebo simulator. Carefully crafted reward functions and state spaces must be designed for the agent to learn in complex non-stationary environments. When trained for only 100,000 timesteps, the agent is able reach asymptotic performance in environments with moving and stationary obstacles using only the data from the inertial measurement unit, LIDAR, and positional information. Through the use of transfer learning, the agents are also capable of formation control and flocking patterns. The performance of agents with frozen networks is improved through advice giving in Deep Q-networks by use of normalized Q-values and majority voting.
Date: May 2019
Creator: Howe, Dustin
Object Type: Thesis or Dissertation
System: The UNT Digital Library
An Assessment of Riparian Buffer Effectiveness in the Upper Hickory Creek Watershed: A GIS Approach Using the Riparian Buffer Delineation Equation (RBDE) and the Buffer Improvement Potential Percentage (BP) (open access)

An Assessment of Riparian Buffer Effectiveness in the Upper Hickory Creek Watershed: A GIS Approach Using the Riparian Buffer Delineation Equation (RBDE) and the Buffer Improvement Potential Percentage (BP)

As population increases and urbanization occurs, watershed management will be critical in the protection of water resources in North Central Texas. By 2040, Denton County will nearly double its 2010 population. The Upper Hickory Creek Watershed lies west of Denton and empties into Lake Lewisville. Lake Lewisville provides drinking water for Denton, Dallas, and other neighboring cities. Mitigation of non-point source pollutants as a result of urban and agricultural practices is essential to protecting Lake Lewisville water resources. A common best management practice used to mitigate pollutants is the protection of riparian ecotones that occupy river corridors; however, recent agricultural and urban practices are diminishing these ecosystems and their services. In this paper, the riparian buffer delineation equation (RBDE) is used to assess the current state of Upper Hickory Creek Watershed to aid in the monitoring of the riparian buffers along stream corridors. While the RBDE was used as pre-assessment tool for the riparian buffer effectiveness in the watershed, a new form of the equation was used to evaluate riparian buffer improvement potential (BP) in conjunction with Denton County parcel data to provide insights into buffer effectiveness and identify areas for improvement on a landowner scale.
Date: May 2019
Creator: Yesildirek, Monica Veale
Object Type: Thesis or Dissertation
System: The UNT Digital Library

Decision Making in Alternative Modes of Transportation: Two Essays on Ridesharing and Self-Driving Vehicles

Access: Use of this item is restricted to the UNT Community
This manuscript includes an investigation of decision making in alternative modes of transportation in order to understand consumers' decision in different contexts. In essay 1 of this study, the motives for participation in situated ridesharing is investigated. The study proposes a theoretical model that includes economic benefits, time benefits, transportation anxiety, trust, and reciprocity either as direct antecedents of ridesharing participation intention, or mediated through attitude towards ridesharing. Essay 2 of this study, focuses on self-driving vehicles as one of the recent innovations in transportation industry. Using a survey approach, the study develops a conceptual model of consumers' anticipated motives. Both essays use partial least square- structural equation modeling for assessing the proposed theoretical models.
Date: May 2019
Creator: Amirkiaee, Seyede Yasaman
Object Type: Thesis or Dissertation
System: The UNT Digital Library
Abelian Group Actions and Hypersmooth Equivalence Relations (open access)

Abelian Group Actions and Hypersmooth Equivalence Relations

We show that any Borel action on a standard Borel space of a group which is topologically isomorphic to the sum of a countable abelian group with a countable sum of lines and circles induces an orbit equivalence relation which is hypersmooth. We also show that any Borel action of a second countable locally compact abelian group on a standard Borel space induces an orbit equivalence relation which is essentially hyperfinite, generalizing a result of Gao and Jackson for the countable abelian groups.
Date: May 2019
Creator: Cotton, Michael R.
Object Type: Thesis or Dissertation
System: The UNT Digital Library
The Poetry of Reality: Frederick Wiseman and the Theme of Time (open access)

The Poetry of Reality: Frederick Wiseman and the Theme of Time

Employing a textual analysis within an auteur theory framework, this thesis examines Frederick Wiseman's films At Berkeley (2013), National Gallery (2014), and Ex Libris (2017) and the different ways in which they reflect on the theme of time. The National Gallery, University of California at Berkeley, and the New York Public Library all share a fundamental common purpose: the preservation and circulation of "truth" through time. Whether it be artistic, scientific, or historical truth, these institutions act as cultural and historical safe-keepers for future generations. Wiseman explores these themes related to time and truth by juxtaposing oppositional binary motifs such as time/timelessness, progress/repetition, and reality/fiction. These are also Wiseman's most self-reflexive films, acting as a reflection on his past filmmaking career as well as a meditation on the value these films might have for future generations. Finally, Wiseman's reflection on the nature of time through these films are connected to the ideas of French philosopher Henri Bergson.
Date: May 2019
Creator: Wahlert, Blake Jorgensen
Object Type: Thesis or Dissertation
System: The UNT Digital Library
Mesh Networking for Inter-UAV Communications (open access)

Mesh Networking for Inter-UAV Communications

Unmanned aerial systems (UASs) have a great potential to enhanced situational awareness in public safety operations. Many UASs operating in the same airspace can cause mid-air collisions. NASA and the FAA are developing a UAS traffic management (UTM) system, which could be used in public safety operations to manage the UAS airspace. UTM relies on an existing communication backhaul, however natural disasters may disrupt existing communications infrastructure or occur in areas where no backhaul exists. This thesis outlines a robust communications alternative that interfaces a fleet of UASs with a UTM service supplier (USS) over a mesh network. Additionally, this thesis outlines an algorithm for vehicle-to-vehicle discovery and communication over the mesh network.
Date: May 2019
Creator: Walton, Michael Tanner
Object Type: Thesis or Dissertation
System: The UNT Digital Library
An Analysis of Legal Liability of Virginia Educators and School Systems (open access)

An Analysis of Legal Liability of Virginia Educators and School Systems

The doctrine of sovereign immunity in the Commonwealth of Virginia has evolved over time and the redefinition of the doctrine has been subjected to the interpretation by courts involving cases with varied facts and circumstances that have challenged the boundaries and flexibility of this legal concept. Determining the protection that a state agent was entitled to was the guiding principle in case law regarding sovereign immunity; however, understanding the purpose and intent of the doctrine of sovereign immunity was critical to determining the boundaries and criteria of the doctrine of immunity. In this dissertation, the researcher analyzed tort law as it applied to educators and public-school districts through the Virginia court system under common law and the Virginia Tort Claims Act (VTCA, 1981). The case analysis provided an overview of lawsuits heard and decisions rendered in negligence cases brought against educators and educational entities prior to and after the enactment of the Virginia Tort Claims Act in 1981.
Date: May 2019
Creator: Johnson, Tracy Lou
Object Type: Thesis or Dissertation
System: The UNT Digital Library
Renewal and Memory Approaches to Study Biological and Physiological Processes (open access)

Renewal and Memory Approaches to Study Biological and Physiological Processes

In nature we find many instances of complex behavior for example the dynamics of stock markets, power grids, internet networks, highway traffic, social networks, heartbeat dynamics, neural dynamics, dynamics of living organisms, etc. The study of these complex systems involves the use of tools of non-linear dynamics and non-equilibrium statistical physics. This dissertation is devoted to understanding two different sources of complex behavior – non-poissonian renewal events also called crucial events and infinite memory of fractional Brownian motion. They both generate 1/f noise frequency spectrum. Thus, we studied examples of both processes and also their joint action. We also tried to establish the role of crucial events in biological and physiological processes like biophoton emission during the germination of seeds, the dynamics of heartbeat and neural dynamics. Using a statistical method of analyzing the time series of bio signals we were able to quantify the complexity associated with the underlying dynamics of these processes. Finally, we adopted a model that unifies both crucial events and memory fluctuations to study the rhythmic behavior observed in heart rate variability of people during meditation. We were able to also quantify the level of stress reduction during meditation. The work presented in this dissertation …
Date: May 2019
Creator: Tuladhar, Rohisha
Object Type: Thesis or Dissertation
System: The UNT Digital Library
Annihilators of Bounded Indecomposable Modules of Vec(R) (open access)

Annihilators of Bounded Indecomposable Modules of Vec(R)

The Lie algebra Vec(ℝ) of polynomial vector fields on the line acts naturally on ℂ[]. This action has a one-parameter family of deformations called the tensor density modules F_λ. The bounded indecomposable modules of Vec(ℝ) of length 2 composed of tensor density modules have been classified by Feigin and Fuchs. We present progress towards describing the annihilators of the unique indecomposable extension of F_λ by F_(λ+2) in the non-resonant case λ ≠ -½. We give the intersection of the annihilator and the subalgebra of lowest weight vectors of the universal enveloping algebra (Vec(ℝ)) of Vec(ℝ). This result is found by applying structural descriptions of the lowest weight vectors of (Vec(ℝ)).
Date: May 2019
Creator: Kenefake, Tyler Christian
Object Type: Thesis or Dissertation
System: The UNT Digital Library

Given That the Body Was Made

Access: Use of this item is restricted to the UNT Community
A collection of poems that explores notions of disability, family, and belief, with a preface that meditates on questions related to the ethical ramifications of various approaches to the making of poetry and art that takes up the suffering of others as subject matter.
Date: May 2019
Creator: Burke, Conor William
Object Type: Thesis or Dissertation
System: The UNT Digital Library
The Geography of Partial-Market Exits: Applying Geospatial and Econometric Methods to Analyze 2017 Department Store Closures in the United States (open access)

The Geography of Partial-Market Exits: Applying Geospatial and Econometric Methods to Analyze 2017 Department Store Closures in the United States

Many factors have prompted the adoption of partial-market exit strategies in retail as a means of reducing cost and minimizing risk. These mass closures have become more frequent in recent years. Marketers and economists have offered explanations for these closures linked to the rise of e-commerce, the real estate cycle and general changes in consumer taste. The research here marks an attempt to apply geospatial and econometric methods to better understand what factors explain the spatial variation of these closures across the United States. Specifically, the analysis examines the store networks of Sears, J.C. Penney and Macy's- large, established department stores that, collectively, announced over 100 closures at the beginning of 2017. By treating each store as a unit of observation, and a closure as a limited dependent variable, this analysis will attempt to quantify the relationship between place-specific factors and retail closures using Probit modeling. This application of modeling marks a deviation from traditional analyses in retail geography which, up until the early 2000s, have focused almost entirely on store development and growth. The results reveal patterns of spatial clustering of closures in and around the Rust Belt and demonstrate the strong negative effect of competitive agglomeration on the …
Date: May 2019
Creator: Reed, Connor
Object Type: Thesis or Dissertation
System: The UNT Digital Library
Union: A Novel (open access)

Union: A Novel

Union is a novel about a Super AI that takes over all human technology.
Date: May 2019
Creator: Wilcox, Ross E
Object Type: Thesis or Dissertation
System: The UNT Digital Library
On Preserving Games and Perseverance for the Future: A Developer Perspective (open access)

On Preserving Games and Perseverance for the Future: A Developer Perspective

Using ethnographic research methods, I worked with the International Game Developers Association (IGDA) to conduct an exploratory study about developer perspectives on video game preservation. I conducted in-depth interviews with independent developers in the Dallas-Fort Worth region, a hub for Texas game development. These interviews explored developers' knowledge and awareness of game preservation as a topic of concern, archival culture and practices in the industry, and the IGDA's potential role in addressing issues related to preservation work. This research contributes to a growing body of literature on game preservation, urgently needed as many gaming technologies face obsolescence in the near future. I use Ellen Cushman's concept of "perseverance" to examine the difference between simply preserving video games for the future, and the perseverance of game development as a professional trade and artistic craft.
Date: May 2019
Creator: Gonzalez, Stephen
Object Type: Thesis or Dissertation
System: The UNT Digital Library