Non-deterministic exponential time has two-prover interactive protocols

We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson (1988). In this system, two all-powerful noncommunicating provers convince a randomizing polynomial time verifier in polynomial time that the inputx belongs to the languageL. We show that the class of languages having tow-prover interactive proof systems is nondeterministic exponential time.We also show that to prove membership in languages inEXP, the honest provers need the power ofEXP only.The first part of the proof of the main result extends recent techniques of polynomial extrapolation used in the single prover case by Lund, Fortnow, Karloff, Nisan, and Shamir.The second part is averification scheme for multilinearity of a function in several variables held by an oracle and can be viewed as an independent result onprogram verification. Its proof rests on combinatorial techniques employing a simple isoperimetric inequality for certain graphs:     

David W. Johnson: Award for Distinguished Contributions of Applications of Psychology to Education and Training.

Provides the biography of David W. Johnson and announces that he has won the Award for Distinguished Contributions of Applications of Psychology to Education and Training for programmatic research, comprehensive research reviews, and revision of theory over four decades of persistence that have provided the knowledge foundation for cooperative learning, constructive controversy, conflict resolution, and peer mediation training. A selected bibliography is also provided. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A direct estimate of JIc from the load versus load-line displacement record

The purpose of this study is to examine the current standard fracture toughness test procedure to determine if there could be an easier method to get a J_Ic value from the test record. The current method for determining J_Ic involves a detailed computational and construction procedure. The objective in this study is to simplify the analysis for the determination of J_Ic. The results of this study show that the load and displacement record for a fracture toughness test can be used to directly estimate a J_Q value, a provisional value for fracture toughness, J_Ic. The J value taken at the maximum load point can be used along with an adjustment factor to estimate a J_Q value. This J_Q estimate is close to the one obtained from the construction procedure of ASTM Standard E 1820. When a unit‐sized specimen is tested, that is, a specimen with a width of 50 mm and a thickness of 25 mm the maximum load point provides a direct estimate of J_Q. Other sizes require a size adjustment factor, which is simply a square root relationship between the width of the test specimen and a unit width. The proposed new method of estimating J_Q is simple in concept and requires a minimum number of calculations. It appears to produce values of J_Q which are comparable to those obtained from the ASTM E1820 construction procedure and may produce less scatter.     

HiSQL: A Front-end Query System for Historical Relational Databases

The paper describes a prototype system called HiSQL (Historical SQL) which extends the functionality of SQL in manipulating historical data, by providing functions for spatial and temporal processing. Conceptually the paper is divided into three parts: the first part deals with the design and architecture of the system; the second part introduces a case study (the defters); and the third part describes specific functions for spatial and temporal processing of serial documents. The paper concludes with a comparison between HiSQL and SQL and suggestions for further work. This revised version was published online in August 2006 with corrections to the Cover Date.     

Alleviating convergence problems in Group Support Systems

Not all Group Support Systems are identical, as is demonstrated by their software implementations. We discuss two existing implementations of group support tools and the process models underlying them. We demonstrate that fundamental to both processes is the merging or integration of individual data. Based on this and other empirical research, the Shared Context Model (SCM) of cooperative work is adopted and we show that it supports existing processes and others. We expect that groups will find merging their work easier with the SCM. This model is presented and embedded in the architecture and implementation of four group tools. Because these tools are destined to be used by dispersed groups, synchronously or asynchronously, an object-based communication and control mechanism is incorporated. Finally, as graphics and multi-tasking have been shown to be increasingly important, the tools are implemented in Microsoft Windows for personal computers attached to local area networks.     

Household energy consumption versus income and relative standard of living: A panel approach

Our fundamental premise is that energy consumption at the household level is a key indicator of standard of living. We employ state-of-the-art panel cointegration techniques to evaluate the nature of the relationship between income measures and energy consumption measures for seven East Indian Ocean countries. The general finding is that income and household electricity consumption are not cointegrated. Given this finding, we conclude that standard of living measures that rely on income measures and do not include household-level energy consumption information will necessarily miss important indications of both levels and changes of standard of living.     

Restoration of small lakes through cooperative management: A suitable strategy for poverty‐laden areas in developing countries?

Lake Rupa is a small, subtropical, shallow lake with a surface area of 100 ha situated 600 m a.s.l. in Central Himalaya, Nepal. This degraded lake was studied between 2000 and 2006, with the goal of determining whether or not it could be restored by a community‐based cooperative of local people living in its catchment. Main threats to the lake, its aquatic life and its very existence include encroachment by excessive aquatic vegetation, sedimentation, and low in‐lake concentrations of dissolved oxygen (DO). Small lakes (≤ 500 ha) are relatively prone to the process of ‘succession and climax’, although they also can be of social, environmental and ecological importance. Thus, their disappearance could spark social chaos and disorder in areas already having to cope with other rapid environmental changes. This means that credible mechanisms for revitalizing or protecting small lakes are an important goal. Accordingly, a lake cooperative of 329 households living in close vicinity to Lake Rupa was formed in 2002, by prioritizing traditional fishers, women and other deprived community members with the goals of respecting the citizenry and equity. Following the cooperative's campaigns directed at weed removal and fish stocking, encroachment of vegetation on the lake margins was halted, its aquatic weeds became under control, and its fisheries improved. In addition to the cooperative's restoration activities, several water quality parameters, including water transparency and DO and chlorophyll‐a concentrations, were monitored on a monthly basis. The measured water transparency was inconsistent, exhibiting large variations between 2000 and 2003. Relatively low, but consistent, values, however, were measured after 2004. The results imply that the removal of weeds, and sufficient nutrients and solar radiation are subsequently available to the lake's phytoplankton communities. Supporting this notion is that the chlorophyll‐a concentration spiked to 205 µg L⁻¹ in November 2006, the water transparency became consistent, and the DO concentration increased to >3.8 mg L⁻¹ during the critical months (March–May) after 2004. These water quality indicators indicated improvement in the degraded Lake Rupa, suggesting that the establishment of cooperatives such as that highlighted in this study could be a powerful and sustainable mechanism for restoring degraded lakes in similar socioeconomic settings by maintaining equity, by connecting communities with their resources, and by facilitating integrity, equity, citizenry and social justice.     

光纤专用网中基于DSP的Q值在线检测模块的设计

基于误码率与Q值的对应关系，本文介绍一种Q值在线检测方法，模块设计采用DSP技术，并讨论了该模块在光纤工业专用网（FIN）中的应用。     

调Q频率对半导体侧向抽运固体激光器热稳定性的影响

热稳定性是半导体激光泵浦固体激光器（DPSSL）的重要问题，对出光功率、光束质量以及总体稳定性等都有严重影响。研究了热稳定腔的热稳定性条件，采用临界腔的方法实验测量了不同调Q频率激光振荡的热稳定区。结果表明：随着激光调Q频率的提高，激光的热透镜焦距变长，热稳定区变宽。研究结果对热稳定性理论进行了补充，为非线性效应等脉冲激光应用的腔型设计提供了有益指导。