Search for dissertations about: "VDM"

Found 4 swedish dissertations containing the word VDM.

  2. 1. Study of Two-Photon processes at low Q2 using the VSAT calorimeter in the DELPHI experiment

    Author : Pavel Tyapkin; Partikel- och kärnfysik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; högenergi; QCD; STIC; VSAT; DELPHI; LEP; antitag; double tag; single tag; photon structure function; hadronic cross-section; virtual photons; two-photon; gamma-gamma; Kosmisk strålning; cosmic rays; High energy interactions; PHOJET; TWOGAM; PYTHIA; VDM; GSP; Fysicumarkivet A:2004:Tyapkin;

    Abstract : The study is based on data collected at the LEP II accelerator during the second period of the Large Electron-Positron collider operations (1996-2000). During that time the DELPHI (DEtector with Lepton, Photon and Hadron Identification) experiment collected about 90 Gb of data on tape corresponding to 687-691 pb-1 of luminosity. READ MORE

  4. 2. In Search of Security After the Collapse of the Soviet Union : Foreign Policy Change in Denmark, Finland and Sweden, 1988-1993

    Author : Fredrik Doeser; Jan Hallenberg; Michael Karlsson; Olav Knudsen; Teija Tiilikainen; Stockholms universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Denmark; Finland; foreign policy change; perceptions; security cooperation; small states; Sweden; Political science; Statsvetenskap; Political Science; statsvetenskap;

    Abstract : The aim of this study is to explain the evolution of foreign policy in Denmark, Finland and Sweden with regard to Western security cooperation between 1988 and 1993. The study sets out to test two theoretical perspectives on the security cooperation policies of these three small states. READ MORE

  5. 3. Integrating the Z notation and behavioural formalisms

    Author : Kenji Taguchi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Informatics; computer and systems science; Integrated Formal Methods; CCS; Z; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap; datorteknik; Computer Systems;

    Abstract : The last several years have witnessed an increasing interest in integrating different formalisms in the formal methods research community. Particularly a number of notations have been proposed by different authors which integrate existing state-based formalisms such as Z, VDM and B and behavioural formalisms such as CCS, CSP and Statecharts. READ MORE

  6. 4. Exploring geographical metadata by automatic and visual data mining

    Author : Urška Demšar; KTH; []
    Keywords : ;

    Abstract : Metadata are data about data. They describe characteristicsand content of an original piece of data. Geographical metadatadescribe geospatial data: maps, satellite images and othergeographically referenced material. READ MORE