A new framework for understanding educational digital library use: re-examining digital divides in U.S. schools

Despite their decade of deployment, educational digital libraries have not achieved sustained use in elementary and secondary schools in the United States. Barriers to accessing the Internet and computers have been widely targeted by myriad initiatives, but efforts aimed at bridging this first-level “digital divide” have not led to increased use of the Internet and digital library resources in U.S. classrooms. In fact, such programs have revealed additional divides that affect educators’ use. This paper examines the additional digital divide levels and proposes a new framework for understanding technology innovation in schools that can improve development and outreach approaches by digital library developers.     

Implementing tactics and tacticals in a higher-order logic programming language

We argue that a logic programming language with a higher-order intuitionistic logic as its foundation can be used both to naturally specify and implement tactic-style theorem provers. The language extends traditional logic programming languages by replacing first-order terms with simply-typed -terms, replacing first-order unification with higher-order unification, and allowing implication and universal quantification in queries and the bodies of clauses. Inference rules for a variety of inference systems can be naturally specified in this language. The higher-order features of the language contribute to a concise specification of provisos concerning variable occurrences in formulas and the discharge of assumptions present in many inference systems. Tactics and tacticals, which provide a framework for high-level control over search for proofs, can be directly and naturally implemented in the extended language. This framework serves as a starting point for implementing theorem provers and proof systems that can integrate many diversified operations on formulas and proofs for a variety of logics. We present an extensive set of examples that have been implemented in the higher-order logic programming language Prolog.     

Real and Ideal Institutional Frameworks for Managing the Common Arab-Israeli Water Resources

The Oslo A and B agreements of September 1993 and September 1995 were the beginning of a process aimed at a peaceful resolution of the Arab-Israeli conflict. The Israeli-Jordanian Treaty of 1994 addresses issues of water sharing between the two parties. In 1995, Israel and the Palestinians signed an Agreement on Water and Sewage as part of their Interim Agreement. In February 1996, Israel, Jordan, and the Palestinians agreed to a “Declaration of Principles for Joint Development of Water Resources.” The purpose of this paper is to compare the components of the two Agreements with an “ideal” institution for management of shared water resources. The “ideal” institution was formulated by 23 water experts who were interviewed on this issue. The main finding is that in most respects, expert opinions did not differ significantly from the Israeli-Jordanian Treaty of Peace and the Israeli-Palestinian Interim Agreement.     

金属-有机络合聚合物(MOCPs)的研究进展

从配体的角度对中心离子与多齿配体间形成的稳定多孔金属-有机络合聚合物(MOCPs)的发展现状进行了综述.指出该材料自成为研究热点以来,各研究小组在对不同的构件分子进行组合构建新的MOCPs方面富有成效的工作,极大地丰富了络合聚合物的结构数据,但这种材料最引人注目的特性--孔及表面性质的可调控性及其对其各种应用特性,如分子识别、择形催化、择形吸附等所能带来的影响方面的研究还很不够.     

The constituents of business interaction––generic layered patterns

In order to perform business modelling as apart of information systems development, there is a need for frameworks and methods. The paper proposes a framework for business interaction based on a language/action perspective. The framework is an architecture of five generic layers. The first layer concept is ‘business act’, which functions as the basic unit of analysis. The following four layer concepts are ‘action pair’, ‘exchange’, ‘business transaction’, and ‘transaction group’. The framework is inspired by a similar framework constructed by Weigand et al. The paper makes a critical examination of this framework as a basis for the proposed framework.     

Reversible adsorption of metalworking fluids (MWFs) on Cu-BTC metal organic framework

Metalworking fluids(MWFs) are classified as hazardous substances. Due to the characteristics of the stable oil–water emulsions, it requires more costly and complicate treatment techniques to remove oil from spent MWFs. Metal organic frameworks(MOFs) are a porous network material used to remove contaminants from environment. One of the most prominent of MOFs is HKUST-1 or Cu-BTC. In this study, the Cu-BTCs were prepared by solvothermal method in various conditions and used as absorbent for removing oil micelles in MWF emulsion. The particle size of all synthesized Cu-BTCs ranged from ≈80 to 400 nm. The ability of all synthesized Cu-BTCs to remove oil micelle was greater than 95% in 60 min, while the capacity of GAC was obtained the result for only 6.8%. The maximum adsorption capacity(q _(max)) of oil micelles on Cu-BTCs was 1666.7 mg·g~(-1). The highest removal capacity of oil micelles in MWF emulsion is greater than 99% in 24 h by using Cu-BTCs washed with either butanol or ethanol.     

Well-dispersed Co–Co3O4 hybrid nanoparticles on N-doped carbon nanosheets as a bifunctional electrocatalyst for oxygen evolution and reduction reactions

Bifunctional catalysts are vital for oxygen evolution reaction (OER) and oxygen reduction reaction (ORR) in metal-air batteries. In this work, Co–Co₃O₄/N-doped carbon nanosheets (NCNs) were developed as highly efficient bifunctional oxygen catalysts via the pyrolysis of a hybrid ZIF-67/CNs precursor. It is found that the introduced CNs play important roles. On one hand, the introduced CNs can tune the surface contents of Co, N and/or O species that are closely correlated with OER and ORR activity. On the other hand, they also facilitate to achieve high specific surface areas for the catalysts. In addition, the introduced CNs helps the formed Co–Co₃O₄ hybrid nanoparticles with uniform and small sizes to be well-distributed on the NCNs substrates. Despite such important roles, it should be noted that a moderate content of the introduced CNs is required to achieve optimal oxygen catalytic activity. As a result, the optimized ZIF-67/CNs(1)-600 exhibits a low value of η₁₀ (~350 mV) for OER and a high value of E_1/2 (~0.85 V) for ORR. Its overall bifunctional activity (ΔE) is as low as ~0.73 V, which is comparable to the recent reported Co-based catalysts.     

Carbon nanorod supported metal alloy nanocubes using polydopamine as location reagent for water splitting

Transition metal catalysts were supposed to be the most likely substitute for commercial noble metal catalysts, and the development of highly active and long-term catalyst for water splitting are the future trend. Herein, Ni rectangular nitrogen doped carbon nanorods@Fe–Co nanocubes (Ni-CNRs@Fe–Co cubes) were fabricated via a facile template-free method. This simple strategy not only realizes the structure tailoring, but also achieves high-quality nitrogen-doping. Specifically, nickel dimethylglyoxime [Ni(dmg)₂] with rectangular rodlike structure was firstly synthesized by solution method, then metal-organic frameworks Fe–Co nanocube with different contents were loaded on rectangular carbon nanorods with polydopamine as the locating and the connecting agent, and finally Ni-CNRs@xFe-Co cubes were obtained by a one-step calcination. A series of electrochemical tests were researched on materials with different metal contents in the 1 M KOH solution. The Ni-CNRs@Fe–Co cubes show excellent electrocatalytic activity in the hydrogen evolution reaction (HER) and the oxygen evolution reaction (OER). For HER and OER, the Tafel slopes were 83.3 mV dec⁻¹ and 71 mV dec⁻¹, the onset potential were −167 mV and 1.62 V, and reached the current densities of 10 mA cm⁻², the overpotential just needed 196 mV and 433 mV, respectively. This novel synthetic strategy will provide a template-free way for cheap electrocatalysts of non-precious metal for OER and HER.     

Adsorption Behavior of Halogenated Anesthetic and Water Vapor on Cr‐Based MOF (MIL‐101) Adsorbent. Part I. Equilibrium and Breakthrough Characterizations

A synthesized chromium‐based metal organic framework (Cr‐MOF) was used for the adsorption of halogenated anesthetics, i.e., sevoflurane (SF). Adsorption isotherm and breakthrough experiments involving SF (reference sorbate) and water vapor were measured at 298 K and atmospheric pressure on both Cr‐MOF and a commercially used reference adsorbent. The Cr‐MOF MIL‐101 showed a significantly higher SF adsorption capacity and much higher selectivity relative to water vapor compared to the reference adsorbent. Binary‐mixture breakthrough tests demonstrated a “roll‐up effect” for SF on the reference adsorbent while no such effect was observed on MIL‐101.     

An enzyme-loaded reactor using metal-organic framework-templated polydopamine microcapsule

Ultrathin polydopamine microcapsules with hierarchical structure and porosity were prepared for the immobilization of multienzymes using metal-organic framework (MOF) as the template. The multienzyme/MOF composite was first prepared using a “one-pot” co-precipitation approach via the coordination and self-assembly of zinc ions and 2-methylimidazole in the presence of enzymes. The obtained nanoparticles were then coated with polydopamine thin layer through the self-polymerization of dopamine under alkaline condition. The polydopamine microcapsules with an ultrathin shell thickness of ~48 nm were finally generated by removing the MOF template at acidic condition. Three enzymes were encapsulated in PDA microcapsules including carbonic anhydrase (CA), formate dehydrogenase (FateDH), and glutamate dehydrogenase (GDH). FateDH that catalyzed the main reaction of CO₂ reduction to formic acid retained 94.7% activity of equivalent free FateDH. Compared with free multienzymes, the immobilized ones embedded in PDA microcapsules exhibited 4.5-times higher of formate production and high catalytic efficiency with a co-factor-based formate yield of 342%.