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:     

Influence diagnostics in multiple discriminant analysis

Various influence diagnostics in Multiple Discriminant Analysis can be found in the literature. Almost all of them are based on the overall probability of misclassification. Two case-deletion diagnostics which evaluate the effect of the omission on the linear functions which determine Fisher’s Linear Discriminant Rule are proposed in this paper. Both measures are based on the L ₂-norm: The first diagnostic is calculated from the data set and the second diagnostic is calculated in the minimum hypercube which covers it.     

Intraseptal scopolamine has differential effects on Pavlovian eye blink and heart rate conditioning.

Evaluated the effects of intraseptal scopolamine hydrobromide (40 μg) injections on Pavlovian (classical) conditioning, with tones used as the CS and a periorbital electric shock train as the UCS, using New Zealand albino rabbits. Eyeblink (EB) and heart rate (HTR) CRs were concomitantly recorded. Although injections of scopolamine into the medial septum impaired the acquisition of the Pavlovian conditioned eyelid reflex, these injections enhanced the magnitude of accompanying Pavlovian conditioned HTR decelerations. However, scopolamine applied to the lateral septal area had no effect on EB conditioning, relative to the vehicle; like medial injections, scopolamine also enhanced the magnitude of the accompanying HTR decelerations. Results are compatible with those of previous investigations indicating that medial septal dysfunction impairs somatomotor conditioning but leaves autonomic conditioning intact and that septal dysfunction produces a parasympathetic bias of the cardiovascular system. (49 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

From visual data exploration to visual data mining: a survey

We survey work on the different uses of graphical mapping and interaction techniques for visual data mining of large data sets represented as table data. Basic terminology related to data mining, data sets, and visualization is introduced. Previous work on information visualization is reviewed in light of different categorizations of techniques and systems. The role of interaction techniques is discussed, in addition to work addressing the question of selecting and evaluating visualization techniques. We review some representative work on the use of information visualization techniques in the context of mining data. This includes both visual data exploration and visually expressing the outcome of specific mining algorithms. We also review recent innovative approaches that attempt to integrate visualization into the DM/KDD process, using it to enhance user interaction and comprehension.     

Prediction of thermal comfort in a building during a cold spell

The comfort diagrams and the so-called PMV-PPD values are already used today directly and indirectly in a wide field in technical practice, even at a standard level. This theory is known also in Hungary, and the PMV-PPD values have been used by us for the solution of a design problem. The task was to elaborate a calculation method, an index number suitable for the determination of the thermal confort effect in the case of occasional underheating of residential and communal buildings in winter.The results of this work are presented in this paper.     

Dynamical modelling of an activated sludge system of a petrochemical plant operating at high temperatures.

The Mexican petrochemical industry, Morelos S.A. de C.V., is one of the biggest and more important petroleum industries in Mexico and Latin America. It has an activated sludge system to treat its wastewater flow, which is approximately 7,000 m3/d. The wastewater contains volatile organic carbon substances classified as toxics. The old surface aeration system was changed for fine bubble diffusers; however, one major drawback of the new aeration system is that the temperature in the bioreactor has increased due to the compression of the air, which at the compressor exit reaches 85 degrees C. This effect results in the temperature in the bioreactor attaining 32 degrees C during the fall, whereas in the spring and summer, the bioreactor temperature reaches higher values than 40 degrees C. The high temperatures reduce the microorganism activity and cause a higher volatilisation rate of volatile compounds, among other effects, which affect the performance of the biological treatment. This work was performed to obtain a better modelling of the wastewater treatment from the petrochemical industry. The model describes the effect of the temperature on the performance of the biological treatment. The model was obtained from tests that were carried out in laboratory reactors with 14 L capacity, which were operated at different temperatures (from 30 to 45 degrees C), with the same wastewater and conditions as the actual system.     

Dynamic control of the permanent magnet-assisted reluctance synchronous machine

A digital signal processor-based control system for the permanent magnet-assisted reluctance synchronous machine, with the emphasis on dynamic performance, is proposed. A classical design approach is used to design the current and speed controllers for the machine. The stator current of the machine is controlled in such a way that the current angle in the dq synchronous reference frame is constant. The load-torque is estimated using a state space observer and compensation current based on the estimated load is used to improve the dynamic performance of the drive. The control system design is machine specific as it relies on data from finite-element analysis. Simulated and measured results on a 110-kW power level show that the resulting control system is stable and robust with good dynamic performance     

Antimutagenic activity of phenolic compounds, oligosaccharides and quinolizidinic alkaloids from Lupinus campestris seeds.

There are some foods that contain mutagenic or carcinogenic agents, some of which occur naturally and others that may be formed during preparation or cooking. Several foods such as legumes, also contain natural antimutagens and/or anticarcinogens. Lupine is one such legume that contains high amounts of protein (40%) and oils (14%). About 90 species of lupine have been reported throughout Mexico. However, the use of this crop as a source of food has been limited by the presence of antinutritional agents such as phenolic compounds (PC), carbohydrates (CH) and quinolizidinic alkaloids (Qas). It has also been suggested that consuming these compounds can affect human health and may even reduce the risk of disease. The objective of this work was to determine the effect of PC, CH and Qas, isolated and quantified from Lupinus campestris on the mutagenicity of 1-nitropyrene (1-NP) as a model mutagen and we used the Salmonella typhimurium tester strain YG1024 by the Kado microsuspension method. The results indicate that L. campestris seeds have 11 mg (+)catechin equivalent g(-1) seed coat; 120.3 mg g(-1) seeds and 2.13 mg g(-1) seeds of PC, CH and Qas, respectively. 1-NP mutagenicity was inhibited by 86% for PC, 76% for CH and 75% for Qas at concentrations of 200, 512 and 13.6 microg/tube, respectively.