#### Filter Results:

- Full text PDF available (81)

#### Publication Year

1992

2017

- This year (4)
- Last 5 years (45)
- Last 10 years (81)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Marc Wagner, Michael Fuchs
- 2000

1. Introduction Hemodynamic priors in the MEG/EEG inverse problem promise to raise spatial resolution, as fMRI maps have a resolution in the mm range [1]. On the other hand, MEG/EEG data could add information about the temporal dynamics of the underlying brain activity. To achieve a combination of these modalities, the results of an fMRI analysis shall be… (More)

- Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
- Calculemus/MKM
- 2007

- Attila Nagy, Marc Wagner
- 2011

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)

- Michelle L Janket, Pachiappan Manickam, +6 authors Velpandi Ayyavoo
- Biochemical and biophysical research…
- 2004

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, +15 authors Siebren Reker
- 2008

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)

- Pedro Bicudo, Marc Wagner
- 2012

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)

- Walaiporn Nakapan, Gilles Halin, Jean-Claude Bignon, Marc Wagner
- Int. J. Intell. Syst.
- 2004

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)

- Abdou Abdel-Rehim, Constantia Alexandrou, Joshua Berlin, Mattia Dalla Brida, Jacob Finkenrath, Marc Wagner
- Computer Physics Communications
- 2017

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)