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:     

TMAOase Activity of European Hake (Merluccius merluccius) Organs: Influence of Biological Condition and Season

ABSTRACT: Trimethylamine N-oxide demethylase (TMAOase) activity of several internal organs of hake were studied for 2 consecutive y. The correlation between enzymatic activity and season of year, sex, weight, and length were analyzed. While kidney and spleen showed the highest activities, liver, heart, bile, and gall bladder activities were much lower, and in some cases they were below the detection limit. A correlation between TMAOase activity of kidney and season was found. During winter and spring (February to May), the months matching the spawning peak, high activities were detected, while in summer months the activity level was lower. TMAOase activity in the rest of the organs did not seem to have a seasonal influence. Keywords: TMAOase, season, biological condition, hake, soluble protein     

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)     

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.     

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.