Expressive Policy Analysis with Enhanced System Dynamicity

Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take account of obligations and authorizations, (iii) include a dynamic system model, and (iv) give useful diagnostic information. We present a logic-based policy analysis framework which satisfies these requirements, showing how many significant policy-related properties can be analysed, and we give details of a prototype implementation. Copyright 2009 ACM

Retinal thickness in eyes with mild nonproliferative retinopathy in patients with type 2 diabetes mellitus: comparison of measurements obtained by retinal thickness analysis and optical coherence tomography

OBJECTIVE: To compare measurements of retinal thickness in eyes with mild nonproliferative retinopathy in patients with type 2 diabetes mellitus using 2 different techniques: the retinal thickness analyzer (RTA) and optical coherence tomography (OCT). METHODS: Twenty-eight eyes from 28 patients with type 2 diabetes mellitus and mild nonproliferative retinopathy were classified according to the Wisconsin grading system by 7-field stereoscopic fundus photography. Ten eyes were classified as level 10 (absence of visible lesions) and 18 as level 20 or 35 (minimal retinopathy). All eyes were examined by the RTA and OCT. Healthy populations were used to establish reference maps for the RTA (n = 14; mean age, 48 years; age range, 42-55 years) and OCT (n = 10; mean age, 56 years; age range, 43-68 years). Reference maps were computed using the means + 2 SDs of the values obtained for each location. Increases in thickness were computed as a percentage of increase over these reference maps. RESULTS: The RTA detected increases in thickness in 1 or more locations in 24 of the 28 diabetic eyes examined, whereas OCT detected increases in only 3 eyes. The percentages of increase detected by the RTA ranged from 0.3% to 73.5%, whereas OCT detected percentages of increase of 0.3% to 4.8%. CONCLUSION: Optical coherence tomography is less sensitive than the RTA in detecting localized increases in retinal thickness in the initial stages of diabetic retinal disease

A formal framework for policy analysis

We present a formal, logical framework for the representation and analysis of an expressive class of authorization and obligation policies. Basic concepts of the language and operational model are given, and details of the representation are defined, with an attention to how different classes of policies can be written in our framework. We show how complex dependencies amonst policy rules can be represented, and illustrate how the formalization of policies is joined to a dynamic depiction of system behaviour. Algorithmically, we use a species of abductive, constraint logic programming to analyse for the holding of a number of interesting properties of policies (coverage, modality conflict, equivalence of policies, etc.). We describe one implementation of our ideas, and conclude with remarks on related work and future research

Patients with ischaemic, mixed and nephrotoxic acute tubular necrosis in the intensive care unit – a homogeneous population?

INTRODUCTION: Acute tubular necrosis (ATN) is usually studied as a single entity, without distinguishing between ischaemic, nephrotoxic and mixed aetiologies. In the present study we evaluated the characteristics and outcomes of patients with ATN by aetiological group. METHOD: We conducted a retrospective comparison of clinical features, mortality rates and risk factors for mortality for the three types of ATN in patients admitted to the general intensive care unit of a university hospital between 1997 and 2000. RESULTS: Of 593 patients with acute renal failure, 524 (88%) were classified as having ATN. Their mean age was 58 years, 68% were male and 52% were surgical patients. The overall mortality rate was 62%. A total of 265 patients (51%) had ischaemic ATN, 201 (38%) had mixed ATN, and 58 (11%) had nephrotoxic ATN. There were no differences among groups in terms of age, sex, APACHE II score and reason for ICU admission. Multiple organ failure was more frequent among patients with ischaemic (46%) and mixed ATN (55%) than in those with nephrotoxic ATN (7%; P < 0.0001). The complications of acute renal failure (such as, gastrointestinal bleeding, acidosis, oliguria and hypervolaemia) were more prevalent in ischaemic and mixed ATN patients. Mortality was higher for ischaemic (66%; P = 0.001) and mixed ATN (63%; P = 0.0001) than for nephrotoxic ATN (38%). When ischaemic ATN patients, mixed ATN patients and all patients combined were analyzed by multivariate logistic regression, the independent factors for mortality identified were different except for oliguria, which was the only variable universally associated with death (odds ratio [OR] 3.0, 95% confidence interval [CI] 1.64–5.49 [P = 0.0003] for ischaemic ATN; OR 1.96, 95% CI 1.04–3.68 [P = 0.036] for mixed ATN; and OR 2.53, 95% CI 1.60–3.76 [P < 0.001] for all patients combined]). CONCLUSION: The frequency of isolated nephrotoxic ATN was low, with ischaemic and mixed ATN accounting for almost 90% of cases. The three forms of ATN exhibited different clinical characteristics. Mortality was strikingly higher in ischaemic and mixed ATN than in nephrotoxic ATN. Although the type of ATN was not an independent predictor of death, the independent factors related to mortality were different for ischaemic, mixed and all patients combined. These data indicate that the three types of ATN represent different patient populations, which should be taken into consideration in future studies

Spontaneous central venous thrombosis and shunt occlusion following peritoneovenous shunt placement for intractable ascites

A 43-year-old man had a peritoneovenous shunt inserted for the treatment of chylous ascites secondary to myelofibrosis. Despite being on anticoagulation for superior mesenteric vein thrombosis, he developed shunt dysfunction within two weeks of insertion. Superior venacavography showed multiple filling defects in the right axillary vein, no filling of the right brachiocephalic and right subclavian vein, and thrombotic occlusion of the internal jugular veins bilaterally. The shunt was removed 11 days after insertion, and there was extensive thrombosis of the venous end of the shunt and the compressible pump chamber. Shunt thrombosis is known to occur but remains a rare complication, with 87% of such obstructions being due to a thrombus at the tip of the venous end of the shunt. Extensive thrombosis of the shunt (as in the present case) is very rare

Sampling Scarab Beetles in Tropical Forests: The Effect of Light Source and Night Sampling Periods

Light traps have been used widely to sample insect abundance and diversity, but their performance for sampling scarab beetles in tropical forests based on light source type and sampling hours throughout the night has not been evaluated. The efficiency of mercury-vapour lamps, cool white light and ultraviolet light sources in attracting Dynastinae, Melolonthinae and Rutelinae scarab beetles, and the most adequate period of the night to carry out the sampling was tested in different forest areas of Costa Rica. Our results showed that light source wavelengths and hours of sampling influenced scarab beetle catches. No significant differences were observed in trap performance between the ultraviolet light and mercury-vapour traps, whereas these two methods caught significantly more species richness and abundance than cool white light traps. Species composition also varied between methods. Large differences appear between catches in the sampling period, with the first five hours of the night being more effective than the last five hours. Because of their high efficiency and logistic advantages, we recommend ultraviolet light traps deployed during the first hours of the night as the best sampling method for biodiversity studies of those scarab beetles in tropical forests

Quality Assessment of Photogrammetric Methods—A Workflow for Reproducible UAS Orthomosaics

Unmanned aerial systems (UAS) are cost-effective, flexible and offer a wide range of applications. If equipped with optical sensors, orthophotos with very high spatial resolution can be retrieved using photogrammetric processing. The use of these images in multi-temporal analysis and the combination with spatial data imposes high demands on their spatial accuracy. This georeferencing accuracy of UAS orthomosaics is generally expressed as the checkpoint error. However, the checkpoint error alone gives no information about the reproducibility of the photogrammetrical compilation of orthomosaics. This study optimizes the geolocation of UAS orthomosaics time series and evaluates their reproducibility. A correlation analysis of repeatedly computed orthomosaics with identical parameters revealed a reproducibility of 99% in a grassland and 75% in a forest area. Between time steps, the corresponding positional errors of digitized objects lie between 0.07 m in the grassland and 0.3 m in the forest canopy. The novel methods were integrated into a processing workflow to enhance the traceability and increase the quality of UAS remote sensing.This research was funded by the Hessian State Ministry for Higher Education, Research and the Arts, Germany, as part of the LOEWE priority project Nature 4.0—Sensing Biodiversity. The grassland study was funded by the Spanish Science Foundation FECYT-MINECO through the BIOGEI (GL2013- 49142-C2-1-R) and IMAGINE (CGL2017-85490-R) projects, and by the University of Lleida; and supported by a FI Fellowship to C.M.R. (2019 FI_B 01167) by the Catalan Government

Optical study of Dirac fermions and related phonon anomalies in the antiferromagnetic compound CaFeAsF

We performed optical studies on CaFeAsF single crystals, a parent compound of the 1111-type iron-based superconductors that undergoes a structural phase transition from tetragonal to orthorhombic at Ts=121 K and a magnetic one to a spin density wave (SDW) state at TN=110 K. In the low-temperature optical conductivity spectrum, after the subtraction of a narrow Drude peak, we observe a pronounced singularity around 300cm−1 that separates two regions of quasilinear conductivity. We outline that these characteristic absorption features are signatures of Dirac fermions, similar to what was previously reported for the BaFe2As2 system [Z.-G. Chen et al., Phys. Rev. Lett. 119, 096401 (2017)]. In support of this interpretation, we show that for the latter system this singular feature disappears rapidly upon electron and hole doping, as expected if it arises from a van Hove singularity in between two Dirac cones. Finally, we show that one of the infrared-active phonon modes (the Fe-As mode at 250cm−1) develops a strongly asymmetric line shape in the SDW state and note that this behavior can be explained in terms of a strong coupling with the Dirac fermions