LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Name
Max Planck Society eDoc Server
Type
Institutional Repository
Items
19060 Publications
Compatibility
OpenAIRE Basic (DRIVER OA)
OAI-PMH
http://edoc.mpg.de/ac_ft_oai.pl
More information
Detailed data provider information (OpenDOAR)

 

  • Measurement of Neutral-Current Four-Fermion Production at LEP2

    Four-fermion final states qqbar e+e- and qqbar mu+mu- from neutral-current interactions in e+e- collisions are studied in the OPAL detector at LEP at centre-of-mass energies from 183 GeV to 209 GeV. The data analysed correspond to a total integrated luminosity of about 650 pb-1 recorded from 1997 to 2000. Corresponding to the acceptance of the OPAL detector, a signal definition is applied requiring both leptons to have a scattering angle satisfying cos0 qqbar e+e- and e+e- qqbar mu+mu- are c...

    Subtyping Functional+Nonempty Record Types

    \begin{abstract} \emph{Solving systems of subtype constraints} (or \emph{subtype inequalities}) is in the core of efficient \emph{type reconstruction} in modern object-oriented languages with subtyping and inheritance, two problems known \emph{polynomial time equivalent}. It is important to know how different combinations of type constructors influence the complexity of the problem. We show the \emph{NP-hardness} of the satisfiability problem for...

    Reasoning in Complex Theories and Applications

    One of the most important objectives of the research in mathematics and computer science is to obtain means of reasoning in and about complex systems. These can be, for instance complex mathematical theories; programs, or generally reactive or hybrid systems; distributed databases; or complex systems in general (e.g. multi-agent systems or reactive or hybrid systems with embedded software, whose behavior is controlled by databases, reasoning about knowledge and belief,...
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark