Learn More
We determine ΛMS for QCD with nf = 2 dynamical quark flavors by fitting the QQ̄ static potential known analytically in the perturbative regime up to terms of O(αs) and ∼ αs lnαs to corresponding results obtained from lattice simulations. This has become possible, due to recent advances in both perturbative calculations, namely the determination and(More)
HIV-1 Vpr is a protein with multiple functions. It has been suggested that such pleiotropic effects by a viral protein may be mediated by its association with viral and cellular proteins or through modulation of expression of specific cellular genes. To address this, we used cDNA microarray techniques to analyze the regulation of a panel of host cellular(More)
We present a generic mediator, called PlatΩ, between text-editors and proof assistants. PlatΩ aims at integrated support for the development, publication, formalization, and verification of mathematical documents in a natural way as possible: The user authors his mathematical documents with a scientific WYSIWYG text-editor in the informal language he is(More)
Rémi Barona, Philippe Boucaudb, Albert Deuzemanc, Vincent Drachd , Federico Farchionie, Vicent Gimenez f , Gregorio Herdoizag, Karl Janseng, István Montvayh, David Palao f , Elisabetta Pallantec, Olivier Pèneb, Siebren Reker∗†c‡, Enno E. Scholzi, Carsten Urbach j, Marc Wagner j and Urs Wengerk aCEA, Centre de Saclay, IRFU/Service de Physique Nucléaire,(More)
Utilizing lattice QCD results for the potential of two static antiquarks and two dynamical quarks as well as quark model techniques for the dynamics of two heavy antiquarks in a cloud of two light quarks, we are provided with an accurate framework for the study of possibly existing heavy-heavylight-light tetraquarks. Among the possible quantum numbers of(More)
Mathematical assistance systems and proof assistance systems in general have traditionally been developed as large, monolithic systems which are often hard to maintain and extend. In this article we propose a component network architecture as a means to design and implement such systems. Under this view a mathematical assistance system is an integrated(More)
We discuss and compare the efficiency of various methods, combinations of point-to-all propagators, stochastic timeslice-to-all propagators, the one-end trick and sequential propagators, to compute two-point correlation functions of two-quark and four-quark interpolating operators of different structure including quark-antiquark type, mesonic molecule type,(More)