Filetype
The popularity of Open Source Software (OSS) has increased the interest in using it in safety critical applications. The aim of this study is to review research carried out on usage of open source code in development of safety-critical software and systems. We conducted a systematic mapping study through searches in library databases and manual identification of articles from open source conferenc
This article considers the Swedish verb hinna and its English correspondences in the English-Swedish Parallel Corpus – both in the direction Swedish original to English translation and in the direction English original to Swedish translation. Swedish hinna lacks a straightforward equivalent in English; thus its English correspondences in parallel corpora can shed light on its meaning and use, as d
Introduction: Hypertensive encephalopathy is one cause of posterior reversible encephalopathy syndrome. Hypertensive encephalopathy and cerebral infarction have only been reported in a few individual case reports. Case description: A 51-year-old woman presented with hypertensive encephalopathy. T2-weighted images from magnetic resonance imaging showed hyperintense lesions in both occipital and par
High-resolution X-ray photoelectron spectroscopy of two-dimensional films of adenine on a highly oriented pyrolitic graphite [0 0 0 1] surface reveal bonding changes induced by exposure to water. The hydrogen-bond interactions between adenine molecules were replaced by adenine-water hydrogen bonds in a stepwise pattern. This reaction destroyed the film network and changed the chemical state of the
Correct operation of real-time systems (RTS) is defined as producing correct results within given time constraints (deadlines). As RTS are becoming more susceptible to soft errors, employing fault-tolerant techniques is crucial. Rollback Recovery with Checkpointing (RRC) is an efficient fault-tolerant technique. However, RRC introduces a time overhead which depends on the number of checkpoints. Th
Om minneskultur i Lviv, Ukraina.
Subcycle strong-field ionization (SFI) underlies many emerging spectroscopic probes of atomic or molecular attosecond electronic dynamics. Extending methods such as attosecond high harmonic generation spectroscopy to complex polyatomic molecules requires an understanding of multielectronic excitations, already hinted at by theoretical modeling of experiments on atoms, diatomics, and triatomics. He
To address the challenges of biodiversity conservation and commodity production, a framework has been proposed that distinguishes between the integration (land sharing) and separation (land sparing) of conservation and production. Controversy has arisen around this framework partly because many scholars have focused specifically on food production rather than more encompassing notions such as land
Recently, the supersymmetry method was extended from Gaussian ensembles to arbitrary unitarily invariant matrix ensembles by generalizing the Hubbard-Stratonovich transformation. Here, we complete this extension by including arbitrary orthogonally and unitary-symplectically invariant matrix ensembles. The results are equivalent to, but the approach is different from, the superbosonization formula.
ABSTRACT Det nationella utvecklingsarbetet Kunskap till Praktik (KtP) inleddes under 2008. Rekryteringen av deltagande län gjordes i tre etapper: hösten 2008, våren 2009 och hösten 2009. Utvärderingen inleddes under 2009 och avslutades 2014. Urvalet var personal verksam inom landstings- och kommunal missbruks-/ beroendevård. Primärvårdspersonal deltog i ett fåtal län och inkludera-des därför inte.
Sociology and anthropology of law were partly developed from inception to empirically address the complexity of the relationship between law and society. Many of their insights into how law is socially constructed through the interaction between cultural, religious, economic and political factors remain incompatible with the aims and concerns of mainstream legal scholarship. Most social scientific
Informetric/bibliometric analyses have to a large extent been relying on an assumption that research is essentially cumulative in its nature, which is not the least visible in the rational for using citation analyses to assess quality of research. However, when reviewing both the theoretical literature on how research is organized and studies analyzing the structures of research fields through inf
We present evidence for self-stabilization of the relative spectral phase of high-order harmonic emission against intensity variations of the driving field. Our results demonstrate that, near the laser focus, phase matching of the harmonic field from a macroscopic target can compensate for the intensity dependence of the intrinsic phase of the harmonics emitted by a single radiator. As a consequen
In Western educational systems, the question “Why study literature in school?” has been raised in connection with the theoretical development often summarized as “the cultural turn.” The author strives to contribute to this discussion by examining the development of educational discourse in Russia. During the Soviet period, literature was – together with history – the subject most heavily influenc
The ethanolic extract of the aerial parts from Mutisia orbignyana afforded two major compounds: mutisifurocoumarin (1) and 5-methylcoumarine-4-β-glucoside (2). The completely assignment of 1H and 13C NMR data of compound (2) is presented for the first time as well as some reassignments of 13C NMR spectrum for compound (1), applying 2D NMR techniques. In addition, the antiproliferative effect on co
Apolipoprotein M (ApoM) is a 25-kDa HDL-associated apolipoprotein and a member of the lipocalin family of proteins. Mature apoM retains its signal peptide, which serves as a lipid anchor attaching apoM to the lipoproteins, thereby keeping it in the circulation. Studies in mice have suggested apoM to be antiatherogenic, but its physiological function is yet unknown. We have now determined the 1.95
