A Tale of Two Counties: How Two School Libraries in Rural Western China Serve Local Needs

This report presents a case study of school library programs in two rural counties in Western China. Since 2002, the libraries of Tianzhu and Tongwei high schools have undertaken a series of outreach initiatives to improve local residents’ access to information and to address their cultural and educational needs. Over the past decade, both school libraries have played a leading role in improving the quality of life and enhancing the information literacy of local residents. Tianzhu No. 1 High School Library 天祝一中图书馆—which serves a large Tibetan and other minority populations—has gained a reputation for its oral history of local culture program. This program trains students to conduct interviews with folk artists and scholars and then post their audiovisual recordings on websites. Tongwei No. 1 High School Library 通渭一中图书馆 is known for providing health care information through both in-person workshops and online. Recently, it implemented a tutoring service aimed at teaching residents to use online resources. These programs have been successful and sustainable in part because of the sponsorship and funding of the U.S.-based Evergreen Education Foundation (EEF) 美国青树教育基 金会. This report analyzes the results of these major initiatives, both of which do a great deal to reach out to rural residents, particularly farmers and the elderly

Checking smart contracts with structural code embedding

Ministry of Education, Singapore under its Academic Research Funding Tier

A Tale of Two Counties: How Two School Libraries in Rural Western China Serve Local Needs

This report presents a case study of school library programs in two rural counties in Western China. Since 2002, the libraries of Tianzhu and Tongwei high schools have undertaken a series of outreach initiatives to improve local residents’ access to information and to address their cultural and educational needs. Over the past decade, both school libraries have played a leading role in improving the quality of life and enhancing the information literacy of local residents. Tianzhu No. 1 High School Library 天祝一中图书馆—which serves a large Tibetan and other minority populations—has gained a reputation for its oral history of local culture program. This program trains students to conduct interviews with folk artists and scholars and then post their audiovisual recordings on websites. Tongwei No. 1 High School Library 通渭一中图书馆 is known for providing health care information through both in-person workshops and online. Recently, it implemented a tutoring service aimed at teaching residents to use online resources. These programs have been successful and sustainable in part because of the sponsorship and funding of the U.S.-based Evergreen Education Foundation (EEF) 美国青树教育基 金会. This report analyzes the results of these major initiatives, both of which do a great deal to reach out to rural residents, particularly farmers and the elderly

Finding emergence in data by maximizing effective information

Quantifying emergence and modeling emergent dynamics in a data-driven manner for complex dynamical systems is challenging due to the lack of direct observations at the micro-level. Thus, it's crucial to develop a framework to identify emergent phenomena and capture emergent dynamics at the macro-level using available data. Inspired by the theory of causal emergence (CE), this paper introduces a machine learning framework to learn macro-dynamics in an emergent latent space and quantify the degree of CE. The framework maximizes effective information, resulting in a macro-dynamics model with enhanced causal effects. Experimental results on simulated and real data demonstrate the effectiveness of the proposed framework. It quantifies degrees of CE effectively under various conditions and reveals distinct influences of different noise types. It can learn a one-dimensional coarse-grained macro-state from fMRI data, to represent complex neural activities during movie clip viewing. Furthermore, improved generalization to different test environments is observed across all simulation data

SmartEmbed: A tool for clone and bug detection in smart contracts through structural code embedding

Ministry of Education, Singapore under its Academic Research Funding Tier 1authors' own version</p