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:     

Fatty diet and multiple sclerosis]

INTRODUCTION AND DEVELOPMENT: Multiple sclerosis (ME) is an inflammatory disease of the myelin of the central nervous system, the origin of which is still unknown. Genetic, infectious, immunological and environmental factors have all been blamed, but none of these factors on their own can explain the whole spectrum of this disease. Of the environmental factors, fat in the diet has given rise to most discussion. At the present time, it is known that polyunsaturated essential fatty acids form a part of biological membranes. A relationship has been found between the dietary fat consumed and the plasma levels and cell membrane content. CONCLUSIONS: The possible immuno-modulation function of these fatty acids justify rigorous evaluation of this hypothesis.     

Palatopharyngeal surgery. A study of its effectiveness in the treatment of obstructive apnea syndrome during sleep

Palatopharyngeal surgery is a therapeutic option for obstructive Sleep Apnea Syndrome (OSAS). This operation is based on the assumption that the soft palate is the principal apneogenic area of the upper airways. The effectiveness of palatopharyngeal surgery and of correcting nasal obstruction (co-adjuvant factor of SAOS), when present, was evaluated. Thirty patients were selected by cephalometry for surgery (3 women, 27 men; age 45.3 +/- 7.5 years). The success rate was 60%, which justifies the inclusion of surgery as a useful option for treating SAOS.     

Variability in the interpretation of thorax radiography in a primary care medical community and its reference radiologists

OBJECTIVE: To know the variability in the interpretation (normal/pathological) of posteroanterior view chest radiograph and the associated factors between a medical primary care community and a Gold Standard (GS) from 3 reference radiologists. DESIGN: Crossover study. SETTING: Primary care. Teaching health centers of Elche. METHODS: Interobserver percentage agreement (IPA) and Kappa statistic (K) were used to analyse the interobserver agreement (IA) between the GS and every of the participants in interpretation of 100 radiographs. Intraobserver variability was assessed with a second review. Using uni and multivariant analysis some possibly associated factors were studied. RESULTS: Overall IPA and K were 71.3% (CI 95%: 69.2-73.3) and 0.41 (CI 95%: 0.36-0.46) respectively. Time employed in radiographs reading and time passed after medicine studies finished were independently and significantly associated to higher and lower interobserver agreement results respectively, whereas recent professional experience, permanent job and age were not associated. Professional training is the variable that most explain the inter and intraobserver variability. CONCLUSIONS: Overall IA is acceptable. The IA showed by the participants trained under the MIR system is good but the IA achieved by the rest of participants is not acceptable. It is necessary a training which increase the clinical competence, as it does MIR training.     

Microbial community composition and reactor performance during hydrogen production in a UASB reactor fed with raw cheese whey inoculated with compost

This study investigated the microbial community developed in a UASB reactor for hydrogen production and correlated it to reactor performance. The reactor was inoculated with kitchen waste compost and fed with raw cheese whey at two organic loading rates, 20 gCOD/Ld and 30 gCOD/Ld. Hydrogen production was very variable, using an OLR of 30 gCOD/Ld averaged 1.0 LH(2)/Ld with no methane produced under these conditions. The hydrogen yield was also very variable and far from the theoretical. This low yield could be explained by selection of a mixed fermentative population with presence of hydrogen producing organisms (Clostridium, Ruminococcus and Enterobacter) and other non-hydrogen producing fermenters (Lactobacillus, Dialister and Prevotella). The molecular analysis of the raw cheese whey used for feeding revealed the presence of three predominant organisms that are affiliated with the genera Buttiauxella (a low-yield hydrogen producer) and Streptococcus (a lactic acid-producing fermenter). Although these organisms did not persist in the reactor, the continuous addition of these fermenters could decrease the reactor's hydrogen yield.     

Comparison of some components of pigs kept in natural (free-range) and large-scale conditions

A new pig genotype of Hungarian Large White (75%) × Mangalica (pig with curly bristles, 25%) was used in the experiments. The experimental group was kept in a farming system under strictly natural circumstances until a body weight of 120 kg was attained. Neither antibiotics nor yield-increasing hormones were given to this group. The control group was kept in the usual large-scale farming conditions until body weight of 120 kg was attained. In most cases, protein, zinc, and copper levels and, in some cases, iron levels were significantly higher in some major cuts (neck-end (Boston-butt), loin, ham) of the 'free-range' pigs (n = 12) in comparison with the control animals kept in large-scale farming conditions. There was, on average, 15% less cholesterol in the muscles and 30% less cholesterol in the liver and less linoleic acid in all tissues of 'free-range' pigs than in the control group. There was less fat, but the amount of thiamin and riboflavin in the liver of the naturally kept pigs was twice that in the controls. In respect of TBA-reactive compounds, there were no significant differences between the two groups, but superoxide dismutase (SOD) showed significantly higher activities in all cuts from pigs kept in a large-scale farming system. This may be the effect of a higher level of linoleic acid in the fat.     

General distributed economic framework for dynamic spectrum allocation

The emergence of novel radio techniques enables the application of advantageous revolutionary spectrum policies. An important body of research has appeared about possible frequency management schemes, but none of them proposes solutions that meet every related criteria. In this paper we present our work on dynamic spectrum allocation and pricing that offers a distributed mechanism design, well-suited to practical employment issues. Our model handles interference effects without any restricting assumptions, provides universal scalable and incentive-compatible allocation and pricing mechanisms. We provide both analytical and numerical evaluation of the proposed framework, and in either case we prove this latter to be a suitable approach to efficient and flexible spectrum utilization.     

The behaviour of the multi-layer perceptron and the support vector regression learning methods in the prediction of NO and NO2 concentrations in Szeged, Hungary

The main aim of this paper is to predict NO and NO₂ concentrations 4 days in advance by comparing two artificial intelligence learning methods, namely, multi-layer perceptron and support vector machines, on two kinds of spatial embedding of the temporal time series. Hourly values of NO and NO₂ concentrations, as well as meteorological variables were recorded in a cross-road monitoring station with heavy traffic in Szeged, in order to build a model for predicting NO and NO₂ concentrations several hours in advance. The prediction of NO and NO₂ concentrations was performed partly on the basis of their past values, and partly on the basis of temperature, humidity and wind speed data. Since NO can be predicted more accurately, its values were considered primarily when forecasting NO₂. Time series prediction can be interpreted in a way that is suitable for artificial intelligence learning. Two effective learning methods, namely, multi-layer perceptron and support vector regression are used to provide efficient non-linear models for NO and NO₂ time series predictions. Multi-layer perceptron is widely used to predict these time series, but support vector regression has not yet been applied for predicting NO and NO₂ concentrations. Three commonly used linear algorithms were considered as references: 1-day persistence, average of several day persistence and linear regression. Based on the good results of the average of several day persistence, a prediction scheme was introduced, which forms weighted averages instead of simple ones. The optimization of these weights was performed with linear regression in linear case and with the learning methods mentioned in non-linear case. Concerning the NO predictions, the non-linear learning methods give significantly better predictions than the reference linear methods. In the case of NO₂, the improvement of the prediction is considerable, however, it is less notable than for NO.     

The Design, Implementation, and Operation of a Hungarian E-Mail Reader

The market's leading Hungarian Global System for Mobile Communications (GSM) operator—Westel—has recently introduced a Hungarian e-mail reading system as a regular service. It was implemented on the basis of an experimental system developed at the Department of Telecommunications and Telematics of the Budapest University of Technology and Economics (DTT BUTE). In this article, the considerations involved in the design and implementation decisions of both the experimental and the industrial systems will be described. Results of the first 10 weeks of regular use of the industrial system will also be given.