Generalized notions of mind change complexity

Gold introduced the notion of learning in the limit where a class S is learnable iff there is a recursive machine M which reads the course of values of a function f and converges to a program for f whenever f is in S. An important measure for the speed of convergence in this model is the quantity of mind changes before the onset of convergence. The oldest model is to consider a constant bound on the number of mind changes M makes on any input function; such a bound is referred here as type 1. Later this was generalized to a bound of type 2 where a counter ranges over constructive ordinals and is counted down at every mind change. Although ordinal bounds permit the inference of richer concept classes than constant bounds, they still are a severe restriction. Therefore the present work introduces two more general approaches to bounding mind changes. These are based on counting by going down in a linearly ordered set (type 3) and on counting by going down in a partially ordered set (type 4). In both cases the set must not contain infinite descending recursive sequences. These four types of mind changes yield a hierarchy and there are identifiable classes that cannot be learned with the most general mind change bound of type 4. It is shown that existence of type 2 bound is equivalent to the existence of a learning algorithm which converges on every (also nonrecursive) input function and the existence of type 4 is shown to be equivalent to the existence of a learning algorithm which converges on every recursive function. A partial characterization of type 3 yields a result of independent interest in recursion theory. The interplay between mind change complexity and choice of hypothesis space is investigated. It is established that for certain concept classes, a more expressive hypothesis space can sometimes reduce mind change complexity of learning these classes. The notion of mind change bound for behaviourally correct learning is indirectly addressed by employing the above four types to restrict the number of predictive errors of commission in finite error next value learning (NV′′)—a model equivalent to behaviourally correct learning. Again, natural characterizations for type 2 and type 4 bounds are derived. Their naturalness is further illustrated by characterizing them in terms of branches of uniformly recursive families of binary trees.     

Non-energy benefits: Workhorse or unicorn of energy efficiency programs?

Non-energy benefits of energy efficiency programs have been studied as early as 1993, and there have been hundreds of papers and reports published since then, many of them finding that NEB are significant. Yet many U.S. states do not include NEB in their cost-benefit analyses. This article tries to provide some insight into this mismatch between the findings of NEB research and policy by analyzing the empirical basis of such research.     

Dynamics of Peer Education in Cooperative Learning Workgroups

Many recent studies demonstrate that cooperative learning provides a variety of educational advantages over more traditional instructional models, both in general and specifically in engineering education. Little is known, however, about the interactional dynamics among students in engineering work groups. To explore these dynamics and their implications for engineering education, we analyzed work sessions of student groups in a sophomore‐level chemical engineering course at North Carolina State University. Using conversation analysis as a methodology for understanding how students taught and learned from one another, we found that group members generally engaged in two types of teaching‐learning interactions. In the first type, transfer‐of‐knowledge (TK) sequences, they took on distinct teacher and pupil roles, and in the second, collaborative sequences (CS), they worked together with no clear role differentiation. The interactional problems that occurred during the work sessions were associated primarily with TK sequences, and had to do with students who either habitually assumed the pupil's role (constant pupils) or habitually discouraged others' contributions (blockers). Our findings suggest that professors can facilitate student group interactions by introducing students to the two modes of teaching interaction so group members can effectively manage exchanges of knowledge, and also by helping students distribute tasks in a way that minimizes role imbalances.     

Transport properties of 1,1,1,2-tetrafluoroethane (R134a)

New equations for the thermal conductivity and the viscosity of R134a that are valid in a wide range of pressures and temperatures are presented. They were obtained through a theoretically based, critical evaluation of the available experimental data, which showed considerable inconsistencies between data sets, in particular in the vapor phase. In the critical region the observed enhancement in the thermal conductivity is well represented by a crossover model for the transport properties of fluids. Since thermodynamic properties enter into the calculation of the critical enhancement of the transport properties, a new fundamental equation for the critical region was developed also.Paper dedicated to Professor Joseph Kestin.     

Probabilistic analysis of the application of the cross ratio to model based vision

The probability density function for the cross ratio is obtained under the hypothesis that the four image points have independent, identical, Gaussian distributions. The density function has six symmetries which are closely linked to the six different values of the cross ratio obtained by permuting the quadruple of points from which the cross ratio is calculated. The density function has logarithmic singularities corresponding to values of the cross ratio for which two of the four points are coincident. The cross ratio forms the basis of a simple system for recognising or classifying quadruples of collinear image points. The performance of the system depends on the choice of rule for deciding whether four image points have a given cross ratio . A rule is stated which is computationally straightforward and which takes into account the effects on the cross ratio of small errors in locating the image points. Two key properties of the rule are the probabilityR of rejection, and the probabilityF of a false alarm. The probabilitiesR andF depend on a thresholdt in the decision rule. There is a trade off betweenR andF obtained by varyingt. It is shown that the trade off is insensitive to the given cross ratio . LetF _w =max _o {F}. ThenR, F _w are related approximately by , provided ^–1 F _w 4. In the equation, is the accuracy with which image points can be located relative to the width of the image, andr _F is a constant known as the normalised false alarm rate. In the range ^–1 F _w 4 the probabilitiesR andF _w are related approximately by . The value ofr _F is 14.37. The consequences of these relations between R and F_w are discussed. It is conjectured that the above general form of the trade off betweenR andF _w holds for a wide class of scalar invariants that could be used for model based object recognition. Invariants with the same type of trade off between the probability of rejection and the probability of false alarm are said to be nondegenerate for model based vision.     

Die Bewertung von Wurstwaren auf Grund des Verh?ltnisses Leimgebende Substanz: Gesamt-Stickstoffsubstanz

Ohne ZusammenfassungMitteilung aus der Nahrungsmittel-Untersuchungsstelle an der Technischen Hochschule in Braunschweig.     

Search for Superconductivity in Ultra-dense Deuterium D(?1) at Room Temperature: Depletion of D(?1) at Field Strength >0.05 T

Ultra-dense deuterium D(?1) is expected to be both a superfluid and a superconductor as shown by recent theoretical research. Condensed D(?1) can be deposited on surfaces by a source which produces a stream of clusters. A magnetic field strongly influences the type of material formed. Very little of D(?1) and of the form D(1), which is strongly coupled to D(?1), exists on the magnet surface or within several mm from the magnet surface. Even the formation of D(?1) on the source emitter is strongly influenced by a magnetic field, with a critical field strength in the range 0.03?C0.07 T. Higher excitation levels D(2) and D(3) dominate in a magnetic field. The excitation level D(2) is now observed for the first time. The removal of D(?1) and D(1) in strong magnetic fields is proposed to be due to a Meissner effect in long D(?1) clusters by large-orbit electron motion. The lifting of long D(?1) clusters above the magnet surface is slightly larger than expected, possibly due to the coupling to D(1). The previously reported oscillation between D(?1) and D(1) in an electric field is proposed to be due to destruction of D(?1).     

Temperature and pump power dependent photoluminescence characterization of MBE grown GaAsBi on GaAs

Bulk and quantum well GaAs_1?xBi_x/GaAs layers with Bi mole fractions from 0.02 to 0.10 are grown by molecular-beam epitaxy at temperatures ranging from 280 to 320?°C. The samples are characterized using temperature and pump-power dependent photoluminescence measurements covering 8–300?K and 1–250?mW (7–1,800?W/cm²), respectively. The results indicate that there is strong reduction in bandgap energy with the incorporation of small amounts of Bi and that GaAsBi most likely forms a weak type-I band alignment with GaAs.