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:     

Improvement of the deflocculating power of polyacrylates in ceramic slips by small additions of quaternary ammonium salts

In this work, we examine the effect of small additions of cationic quaternary ammonium salts (QAS) of different molecular weight on the rheology of an industrial ceramic suspension deflocculated with sodium polyacrylate and sodium metasilicate. The observed shear thinning behaviors obey the typical power law of fluid rheology. In order to characterize the rheological behavior of these slurries, three new parameters are introduced: a low shear rate consistency index and two transient viscosities, distant from the equilibrium, after increasing and decreasing the shear rates. These parameters vary with polyacrylate molecular weight and on additions of small quantities of QAS, which we found to be useful for decreasing the slurry viscosity.     

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.     

Adenosine Signaling in Mast Cells and Allergic Diseases

Adenosine is a nucleoside involved in the pathogenesis of allergic diseases. Its effects are mediated through its binding to G protein-coupled receptors: A1, A2a, A2b and A3. The receptors differ in the type of G protein they recruit, in the effect on adenylyl cyclase (AC) activity and the downstream signaling pathway triggered. Adenosine can produce both an enhancement and an inhibition of mast cell degranulation, indicating that adenosine effects on these receptors is controversial and remains to be clarified. Depending on the study model, A1, A2b, and A3 receptors have shown anti- or pro-inflammatory activity. However, most studies reported an anti-inflammatory activity of A2a receptor. The precise knowledge of the adenosine mechanism of action may allow to develop more efficient therapies for allergic diseases by using selective agonist and antagonist against specific receptor subtypes.     

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.     

Speeding up the spatial adiabatic passage of matter waves in optical microtraps by optimal control

We numerically investigate the performance of atomic transport in optical microtraps via the so called spatial adiabatic passage technique. Our analysis is carried out by means of optimal control methods, which enable us to determine suitable transport control pulses. We investigate the ultimate limits of the optimal control in speeding up the transport process in a triple well configuration for both a single atomic wave packet and a Bose-Einstein condensate within a regime of experimental parameters achievable with current optical technology.     

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.