Datalog has emerged as a powerful tool for expressing staticprogram analyses. Program analysis researchers have builtnontrivial code bases in Datalog, but tool support for workingwith Datalog itself has been lacking. In this paper, weintroduce MetaDL, a language extension to Datalog thatenables source-level Datalog program analysis within Datalog.We describe several program analyses implemented in

This theoretical framework is developed for a research project regarding the specific case of the national policy process for Art and Music Schools in Sweden, a process to create national regulation for the first time in their history. The project focuses on inclusion of every child, but also specifically on inclusion of two particular groups of pupils: pupils in need of special support and refuge

PURPOSE: To evaluate the long-term palliative effect of self-expanding nitinol esophagael stents in patients with malignant dysphagia. MATERIALS AND METHODS: One hundred patients with severe dysphagia secondary to malignant esophageal strictures were treated with self-expanding nitinol stents. The strictures were caused by squamous carcinoma (n = 43), adenocarcinoma (n = 28), anastomotic tumor rec

Background and Objectives: Hepatic resection of noncolorectal metastases appears to be performed with increasing frequency. Reported experience is limited and indications are controversial. Methods: Retrospective review of curative hepatic resection in 32 patients (median age 58 years) during 1970- 1995. The primary tumor was a carcinoid in seven patients, other endocrine tumor in five patients, m

The authors report the observation of very-high-order odd harmonics of Nd:YAG laser radiation in rare gases at an intensity of about 1013 W cm-2. Harmonic light as high as the 33rd harmonic in the XUV range (32.2 nm) is generated in argon. The key point is that the harmonic intensity falls slowly beyond the fifth harmonic as the order increases. Finally, a UV continuum, beginning at 350 nm and ext

We demonstrate that we can use the extreme ultraviolet radiation produced by high order harmonic generation to perform photoionization experiments. With harmonics from the 11th to the 69th of a 140 fs Cr:LiSAF laser operating at 825 nm, we measure the relative photoionization cross sections of xenon, krypton, argon and neon over the range 10 to 110 eV. With narrow bandwidth harmonics produced by a

We present temporal characterization of attosecond pulse trains generated during selfguided propagation of intense pulses in a long gas target. Spectral phase jumps are observed, affecting the temporal shape of the attosecond pulse train.

Huge dynamic Stark shifts of atomic energy levels in xenon induced by high-intensity laser light have been measured by a new method based upon multiphoton ionization by a tunable femtosecond laser source. Stark-induced multiphoton resonances appear as identifiable structures in the photoelectron energy spectra. The change in the structures positions, when the photon energy is tuned, is directly re

We will present the new Lund HHG beamline designed for high photon flux, delivering pulse energies of more than 4 μJ per pulse in the spectral range from 20 eV to 45 eV. Focused XUV intensities above 1014 W/cm2 should become possible.

A compact, high-repetition rate OPCPA system with CEP-stable 6.3 fs pulses duration and 10 μJ of pulse energy is presented together with results from numerical simulations. First results of high harmonic generation will be shown.

We discuss the role of many-electron interactions in multiphoton multielectron ionization of heavy atoms and try to indicate the relative importance of collective effects and screening, relaxation and shakeup, and Fermi sea correlations. The purpose of the work is to look for approximations in which the photoemission processes have been renormalized in consistent ways with respect to the field and

Nonresonant ac Stark shifts of Rydberg states in Xe have been investigated by probing an atomic transition with a weak UV light in the presence of an intense YAG-laser pulse. Rydberg atoms produced through two-photon excitation, 5p → np (n = 15-48) and 5p → nf (n = 12-49), are subsequently ionized. IR-laser-induced shifts of the resonant ionization profiles are then measured. The measured shift, 3

This prospective study evaluated bone loss in the peri- and postmenopausal period in 156 women followed from age 48 to 64 years. All women were premenopausal at the start of the study. Areal bone mineral density (g/cm2) was measured by single-photon absorptiometry (SPA) of the forearm at the 1 cm level (BMD 1 cm) and the 6 cm level (BMD 6 cm) every second year. Onset of menopause (MP) was determin