Use and non‐use of VDTs—organization of terminal work: Research findings from Swedish cross‐site studies in the field of office automation

A group of users in Copenhagen were asked to evaluate how important a number of user interface characteristics were for them. The results show high importance of efficient daily use and of possibilities for exploratory learning while tutorial materials were of less importance. Users also were asked to evaluate four usability aspects of a number of popular programs. Results show that the quality pleasant to work with has the largest impact on evaluations of overall user‐friendliness while users seem able to view usability independently from the number of features in an application.     

Wetland change mapping for the U.S. mid-Atlantic region using an outlier detection technique

Although the impacts of wetland loss are often felt at regional scales, effective planning and management require a comparative assessment of local needs, costs, and benefits. Satellite remote sensing can provide spatially explicit, synoptic land cover change information to support such an assessment. However, a common challenge in conventional remote sensing change detection is the difficulty of obtaining phenologically and radiometrically comparable data from the start and end of the time period of interest. An alternative approach is to use a prior land cover classification as a surrogate for historic satellite data and to examine the self-consistency of class spectral reflectances in recent imagery. We produced a 30-meter resolution wetland change probability map for the U.S. mid-Atlantic region by applying an outlier detection technique to a base classification provided by the National Wetlands Inventory (NWI). Outlier-resistant measures – the median and median absolute deviation – were used to represent spectral reflectance characteristics of wetland class populations, and formed the basis for the calculation of a pixel change likelihood index. The individual scene index values were merged into a consistent region-wide map and converted to pixel change probability using a logistic regression calibrated through interpretation of historic and recent aerial photography. The accuracy of a regional change/no-change map produced from the change probabilities was estimated at 89.6%, with a Kappa of 0.779. The change probabilities identify areas for closer inspection of change cause, impact, and mitigation potential. With additional work to resolve confusion resulting from natural spatial heterogeneity and variations in land use, automated updating of NWI maps and estimates of areal rates of wetland change may be possible. We also discuss extensions of the technique to address specific applications such as monitoring marsh degradation due to sea level rise and mapping of invasive species.     

Provably correct runtime monitoring

Runtime monitoring is an established technique to enforce a wide range of program safety and security properties. We present a formalization of monitoring and monitor inlining, for the Java Virtual Machine. Monitors are security automata given in a special-purpose monitor specification language, ConSpec. The automata operate on finite or infinite strings of calls to a fixed API, allowing local dependencies on parameter values and heap content. We use a two-level class file annotation scheme to characterize two key properties: (i) that the program is correct with respect to the monitor as a constraint on allowed program behavior, and (ii) that the program has a copy of the given monitor embedded into it. As the main application of these results we sketch a simple inlining algorithm and show how the two-level annotations can be completed to produce a fully annotated program which is valid in the standard sense of Floyd/Hoare logic. This establishes the mediation property that inlined programs are guaranteed to adhere to the intended policy. Furthermore, validity can be checked efficiently using a weakest precondition based annotation checker, thus preparing the ground for on-device checking of policy adherence in a proof-carrying code setting.     

Long‐term effects of angiotensin II blockade with irbesartan on inflammatory markers in hemodialysis patients: A randomized double blind placebo controlled trial (SAFIR study)

Introduction: Low‐grade chronic inflammation is common in hemodialysis (HD) patients. Previous studies suggest an anti‐inflammatory effect of angiotensin II receptor blocker (ARB) treatment. The aim of this study was to compare the effect of ARB vs. placebo on plasma concentrations of inflammatory markers in HD patients. Methods: Adult HD patients were randomized for double‐blind treatment with the ARB irbesartan 150–300 mg/day or placebo. At baseline, 1 week, 3, 6, 9, and 12 months plasma high sensitivity C‐reactive protein (hsCRP), interleukin (IL)?1β, IL‐6, IL‐8, IL‐18, and transforming growth factor‐β (TGF‐β) were measured using Luminex and enzyme‐linked immunosorbent assay (ELISA) technology. Findings: Eighty‐two patients were randomized (placebo/ARB: 41/41). The groups did not differ in initial levels of any of the inflammatory markers (placebo/ARB median(range)): hsCRP 3.3(0.2–23.4)/2.7(0.2–29.6) μg/mL; IL‐1β 1.1(0.0–45.9)/1.1(0.0‐7.2) pg/mL; IL‐6 10(1–90)/12(1–84) pg/mL; IL‐8 31(9–134)/34(5–192) pg/mL; IL‐18 364(188–1343)/377(213–832) pg/mL; TGF‐β 3.2(0.8–13.9)/3.6(1.3–3.8) ng/mL. Overall, there was no significant difference in hsCRP, IL‐6, IL‐8, and TGF‐β between placebo and ARB‐treated patients during the study period, and hsCRP, IL‐6, IL‐8, and TGF‐β were relatively stable during the study period (P ≥ 0.18 in all tests for parallel curves, equal levels, and constant levels). The IL‐1β level was slightly different in the two groups over time, but not significantly (P = 0.09 in test for parallel curves) and it was also relatively stable during the study period (P ≥ 0.49 in tests for equal levels and constant level). IL‐18 was the only inflammatory marker which was not constant during the study period (P = 0.001 in test for constant level), but there was no significant difference between placebo and ARB‐treated (P ≥ 0.51 in tests for parallel curves and equal levels). Discussion: Inflammatory biomarkers were neither acutely, nor in the long‐term significantly affected by the ARB irbesartan. Our findings suggest that ARB treatment in HD patients does not offer protective anti‐inflammatory effects.     

The use of social media in impact assessment: experiences among national infrastructure developers in Denmark

Social media plays an increasingly prominent role in the interaction between impact assessments and society. Impact assessment is thus becoming part of social networks that are claimed to be able to improve interaction between actors in impact assessment processes. By investigating the use of social media in impact assessment and planning processes of national linear infrastructure development, we explore how social media impinge on participatory practices and how the potential of social media is realized in the current use related to public participation processes. The study focuses on experiences among national developers working in road, rail, electricity, gas, and metro infrastructures in Denmark. The article shows that the current use of social media in public participatory practices is limited to branding and on-way communication and that the increasing use of social media in linear infrastructure planning gives rise to a variety of concerns among developers that are related to especially organizational cultures, perception of the target groups, and prioritization of resources.     

Intradermal and subcutaneous leiomyosarcoma: a clinicopathological and immunohistochemical study of 41 cases

Superficial leiomyosarcomas are rare tumours. The lesions confined to the dermis, contrary to those involving the subcutis, have been reported to carry a favourable prognosis. A retrospective study of 41 consecutive cases of surgically treated intradermal and subcutaneous leiomyosarcomas was undertaken in order to determine the prognostic factors that may influence the survival of these patients. Seven tumours were predominantly intradermal and 34 involved the subcutaneous tissue. Fifty-four percent of the tumours were located in the lower extremities. All cases stained positively for smooth muscle antigen and 66% for desmin. The tumours were classified with regard to tumour grade I (low grade, 3%), II (intermediate, 12%), IIIA (high grade, 46%) and IIIB (high grade, 39%). In all patients, follow-up information was available. Mean follow-up time was 5 years. The patients with intradermal tumours were all alive without signs of recurrence, whereas 14 of those with leiomyosarcomas involving the subcutis have died with pulmonary metastases. Our study confirms that "pure" intradermal leiomyosarcomas independent of tumour grade behave in a benign fashion, probably due to small tumour size. Tumour size > or = 5 cm, deep localization with fascia involvement, and high malignancy grade (IIIB) were found to deteriorate survival based on a univariate analysis. However, in a multivariate analysis only tumour size was found to be an independent prognostic factor.     

Improving the SMAC atmospheric correction code by analysis of Meteosat Second Generation NDVI and surface reflectance data

In order to obtain high quality data, the correction of atmospheric perturbations acting upon land surface reflectance measurements recorded by a space-based sensor is an important topic within remote sensing. For many years the Second Simulation of the Satellite Signal in the Solar Spectrum (6S) radiative transfer model and the Simplified Method for Atmospheric Correction (SMAC) codes have been used for this atmospheric correction, but previous studies have shown that in a number of situations the quality of correction provided by the SMAC is low. This paper describes a method designed to improve the quality of the SMAC atmospheric correction algorithm through a slight increase in its computational complexity. Data gathered from the SEVIRI aboard Meteosat Second Generation (MSG) is used to validate the additions to SMAC, both by comparison to simulated data corrected using the highly accurate 6S method and by comparison to in-situ and 6S corrected SEVIRI data gathered for two field sites in Africa. The additions to the SMAC are found to greatly increase the quality of atmospheric correction performed, as well as broaden the range of atmospheric conditions under which the SMAC can be applied. When examining the Normalised Difference Vegetation Index (NDVI), the relative difference between SMAC and in-situ values decreases by 1.5% with the improvements in place. Similarly, the mean relative difference between SMAC and 6S reflectance values decreases by a mean of 13, 14.5 and 8.5% for Channels 1, 2 and 3 respectively. Furthermore, the processing speed of the SMAC is found to remain largely unaffected, with only a small increase in the time taken to process a full SEVIRI scene. Whilst the method described within this paper is only applicable to SEVIRI data, a similar approach can be applied to other data sources than SEVIRI, and should result in a similar accuracy improvement no matter which instrument supplies the original data.     

Improved Variational Guiding of Smoke Animations

Smoke animations are hard to art‐direct because simple changes in parameters such as simulation resolution often lead to unpredictable changes in the final result. Previous work has addressed this problem with a guiding approach which couples low‐resolution simulations – that exhibit the desired flow and behaviour – to the final, high‐resolution simulation. This is done in such a way that the desired low frequency features are to some extent preserved in the high‐resolution simulation. However, the steady (i.e. constant) guiding used often leads to a lack of sufficiently high detail, and employing time‐dependent guiding is expensive because the matrix of the resulting set of equations needs to be recomputed at every iteration. We propose an improved mathematical model for Eulerian‐based simulations which is better suited for dynamic, time‐dependent guiding of smoke animations through a novel variational coupling of the low‐ and high‐resolution simulations. Our model results in a matrix that does not require re‐computation when the guiding changes over time, and hence we can employ time‐dependent guiding more efficiently both in terms of storage and computational requirements. We demonstrate that time‐dependent guiding allows for more high frequency detail to develop without losing correspondence to the low resolution simulation. Furthermore, we explore various artistic effects made possible by time‐dependent guiding.     

Service Composition Issues in Pervasive Computing

Providing new services by combining existing ones—or service composition—is an idea pervading pervasive computing. Pervasive computing technologies seek to concurrently exhibit context awareness, manage contingencies, leverage device heterogeneity, and empower users. These four goals prompt service-composition-mechanism design requirements that are unique to pervasive computing. This article catalogs service composition mechanisms and describes their variation points, which indicate how well the resulting compositions meet the four goals.     

A generalization of Paillier’s public-key system with applications to electronic voting

We propose a generalization of Paillier’s probabilistic public-key system, in which the expansion factor is reduced and which allows to adjust the block length of the scheme even after the public key has been fixed, without losing the homomorphic property. We show that the generalization is as secure as Paillier’s original system and propose several ways to optimize implementations of both the generalized and the original scheme. We construct a threshold variant of the generalized scheme as well as zero-knowledge protocols to show that a given ciphertext encrypts one of a set of given plaintexts, and protocols to verify multiplicative relations on plaintexts. We then show how these building blocks can be used for applying the scheme to efficient electronic voting. This reduces dramatically the work needed to compute the final result of an election, compared to the previously best known schemes. We show how the basic scheme for a yes/no vote can be easily adapted to casting a vote for up to t out of L candidates. The same basic building blocks can also be adapted to provide receipt-free elections, under appropriate physical assumptions. The scheme for 1 out of L elections can be optimized such that for a certain range of the other parameter values, the ballot size is logarithmic in L.