Factorization methods for Noncommutative KP and Toda hierarchy

We show that the solution space of the noncommutative KP hierarchy is the same as that of the commutative KP hierarchy owing to the Birkhoff decomposition of groups over the noncommutative algebra. The noncommutative Toda hierarchy is introduced. We derive the bilinear identities for the Baker--Akhiezer functions and calculate the $N$-soliton solutions of the noncommutative Toda hierarchy.Comment: 7 pages, no figures, AMS-LaTeX, minor corrections, final version to appear in Journal of Physics

A Logical Verification Methodology for Service-Oriented Computing

We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain

A study of the nuclear medium influence on transverse momentum of hadrons produced in deep inelastic neutrino scattering

The influence of nuclear effects on the transverse momentum $(p_T)$ distributions of neutrinoproduced hadrons is investigated using the data obtained with SKAT propane-freon bubble chamber irradiated in the neutrino beam (with $E_{\nu}$ = 3-30 GeV) at Serpukhov accelerator. Dependences of $$on the kinematical variables of inclusive deep-inelastic scattering and of the produced hadrons are measured. It has been observed, that the nuclear effects cause an enhancement of$$ of hadrons (more pronounced for the positively charged ones) produced in the target fragmentation region at low invariant mass of the hadronic system (2 $< W <$ 4 GeV) or at low energies transferred to the current quark (2 $< \nu < 9$ GeV). At higher $W$ or $\nu$, no influence of nuclear effects on $$ is observed. Measurement results are compared with predictions of a simple model, incorporating secondary intranuclear interactions of hadrons (with a formation length extracted from the Lund fragmentation model), which qualitatively reproduces the main features of the data.Comment: 23 pages, 7 figure

Explorations of the Extended ncKP Hierarchy

A recently obtained extension (xncKP) of the Moyal-deformed KP hierarchy (ncKP hierarchy) by a set of evolution equations in the Moyal-deformation parameters is further explored. Formulae are derived to compute these equations efficiently. Reductions of the xncKP hierarchy are treated, in particular to the extended ncKdV and ncBoussinesq hierarchies. Furthermore, a good part of the Sato formalism for the KP hierarchy is carried over to the generalized framework. In particular, the well-known bilinear identity theorem for the KP hierarchy, expressed in terms of the (formal) Baker-Akhiezer function, extends to the xncKP hierarchy. Moreover, it is demonstrated that N-soliton solutions of the ncKP equation are also solutions of the first few deformation equations. This is shown to be related to the existence of certain families of algebraic identities.Comment: 34 pages, correction of typos in (7.2) and (7.5

The Effect of the Short-Range Correlations on the Generalized Momentum Distribution in Finite Nuclei

The effect of dynamical short-range correlations on the generalized momentum distribution $n(\vec{p},\vec{Q})$ in the case of $Z=N$, $\ell$-closed shell nuclei is investigated by introducing Jastrow-type correlations in the harmonic-oscillator model. First, a low order approximation is considered and applied to the nucleus $^4$He. Compact analytical expressions are derived and numerical results are presented and the effect of center-of-mass corrections is estimated. Next, an approximation is proposed for $n(\vec{p}, \vec{Q})$ of heavier nuclei, that uses the above correlated $n(\vec{p},\vec{Q})$ of $^4$He. Results are presented for the nucleus $^{16}$O. It is found that the effect of short-range correlations is significant for rather large values of the momenta $p$ and/or $Q$ and should be included, along with center of mass corrections for light nuclei, in a reliable evaluation of $n(\vec{p},\vec{Q})$ in the whole domain of $p$ and $Q$.Comment: 29 pages, 8 figures. Further results, figures and discussion for the CM corrections are added. Accepted by Journal of Physics

Structure of the Janus Protein Human CLIC2

Chloride intracellular channel (CLIC) proteins possess the remarkable property of being able to convert from a water-soluble state to a membrane channel state. We determined the three-dimensional structure of human CLIC2 in its water-soluble form by X-ray crystallography at 1.8-Å resolution from two crystal forms. In contrast to the previously characterized CLIC1 protein, which forms a possibly functionally important disulfide-induced dimer under oxidizing conditions, we show that CLIC2 possesses an intramolecular disulfide and that the protein remains monomeric irrespective of redox conditions. Site-directed mutagenesis studies show that removal of the intramolecular disulfide or introduction of cysteine residues in CLIC2, equivalent to those that form the intramolecular disulfide in CLIC1, does not cause dimer formation under oxidizing conditions.We also show that CLIC2 forms pH-dependent chloride channels in vitro with higher channel activity at low pH levels and that the channels are subject to redox regulation. In both crystal forms, we observed an extended loop region from the C-terminal domain, called the foot loop, inserting itself into an interdomain crevice of a neighboring molecule. The equivalent region in the structurally related glutathione transferase superfamily corresponds to the active site. This so-called foot-in-mouth interaction suggests that CLIC2 might recognize other proteins such as the ryanodine receptor through a similar interaction

10 simple rules to create a serious game, illustrated with examples from structural biology

Serious scientific games are games whose purpose is not only fun. In the field of science, the serious goals include crucial activities for scientists: outreach, teaching and research. The number of serious games is increasing rapidly, in particular citizen science games, games that allow people to produce and/or analyze scientific data. Interestingly, it is possible to build a set of rules providing a guideline to create or improve serious games. We present arguments gathered from our own experience ( Phylo , DocMolecules , HiRE-RNA contest and Pangu) as well as examples from the growing literature on scientific serious games

Description of recent large-qq neutron inclusive scattering data from liquid 4^4He

We report dynamical calculations for large-$q$ structure functions of liquid $^4$He at $T$=1.6 and 2.3 K and compare those with recent MARI data. We extend those calculations far beyond the experimental range q\le 29\Ain in order to study the approach of the response to its asymptotic limit for a system with interactions having a strong short-range repulsion. We find only small deviations from theoretical $1/q$ behavior, valid for smooth $V$. We repeat an extraction by Glyde et al of cumulant coefficients from data. We argue that fits determine the single atom momentum distribution, but express doubt as to the extraction of meaningful Final State Interaction parameters.Comment: 37 pages, 13 postscript fig

Biochemical parameters of silver catfish (Rhamdia quelen) after transport with eugenol or essential oil of Lippia alba added to the water

The transport of live fish is a routine practice in aquaculture and constitutes a considerable source of stress to the animals. The addition of anesthetic to the water used for fish transport can prevent or mitigate the deleterious effects of transport stress. This study investigated the effects of the addition of eugenol (EUG) (1.5 or 3.0 mu L L-1) and essential oil of Lippia alba (EOL) (10 or 20 mu L L-1) on metabolic parameters (glycogen, lactate and total protein levels) in liver and muscle, acetylcholinesterase activity (AChE) in muscle and brain, and the levels of protein carbonyl (PC), thiobarbituric acid reactive substances (TBARS) and nonprotein thiol groups (NPSH) and activity of glutathione-S-transferase in the liver of silver catfish (Rhamdia quelen; Quoy and Gaimard, 1824) transported for four hours in plastic bags (loading density of 169.2 g L-1). The addition of various concentrations of EUG (1.5 or 3.0 mu L L-1) and EOL (10 or 20 mu L L-1) to the transport water is advisable for the transportation of silver catfish, since both concentrations of these substances increased the levels of NPSH antioxidant and decreased the TBARS levels in the liver. In addition, the lower liver levels of glycogen and lactate in these groups and lower AChE activity in the brain (EOL 10 or 20 mu L L-1) compared to the control group indicate that the energetic metabolism and neurotransmission were lower after administration of anesthetics, contributing to the maintenance of homeostasis and sedation status.Fundacao de Amparo a Pesquisa do Estado do Rio Grande do Sul (FAPERGS/PRONEX) [10/0016-8]; Conselho Nacional de Pesquisa e Desenvolvimento Cientifico (CNPq) [470964/2009-0]; Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior (CAPES); CNPqinfo:eu-repo/semantics/publishedVersio

Dressed spectral densities for heavy quark diffusion in holographic plasmas

We analyze the large frequency behavior of the spectral densities that govern the generalized Langevin diffusion process for a heavy quark in the context of the gauge/gravity duality. The bare Langevin correlators obtained from the trailing string solution have a singular short-distance behavior. We argue that the proper dressed spectral functions are obtained by subtracting the zero-temperature correlators. The dressed spectral functions have a sufficiently fast fall-off at large frequency so that the Langevin process is well defined and the dispersion relations are satisfied. We identify the cases in which the subtraction does not modify the associated low-frequency transport coefficients. These include conformal theories and the non-conformal, non-confining models. We provide several analytic and numerical examples in conformal and non-conformal holographic backgrounds.Comment: 51 pages, 2 figure