Object-oriented Programming Laws for Annotated Java Programs

Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings

Biological Assays and Chemical Composition of Volatile Oils of Bupleurum fruticosum L. (Apiaceae)

The composition of supercritical CO 2 extracts and essential oils obtained by hydrodistillation of Bupleurum fruticosum L., growing spontaneously in Italy and Portugal, and its antifungal activity is reported. The collected extracts were analyzed by GC-FID and GC-MS methods. The minimal inhibitory concentration (MIC) and the minimal lethal concentration (MLC) were used to evaluate the antifungal activity of the oils against Candida albicans, C. tropicalis, C. krusei, C. guillermondii, C. parapsilosis, Cryptococcus neoformans, Trichophyton rubrum, T. mentagrophytes, Microsporum canis, M. gypseum, Epidermophyton floccosum, Aspergillus niger, A. fumigatus and A. flavus

Monitoring the Agung (Indonesia) ash plume of November 2017 by means of infrared Himawari 8 data

The Agung volcano (Bali; Indonesia) erupted in later November 2017 after several years of quiescence. Because of ash emissions, hundreds of flights were cancelled, causing an important air traffic disruption in Indonesia. We investigate those ash emissions from space by applying the RSTASH algorithm for the first time to Himawari-8 data and using an ad hoc implementation scheme to reduce the time of the elaboration processes. Himawari-8 is a new generation Japanese geostationary meteorological satellite, whose AHI (Advanced Himawari Imager) sensor offers improved features, in terms of spectral, spatial and temporal resolution, in comparison with the previous imagers of the MTSAT (Multi-Functional Transport Satellite) series. Those features should guarantee further improvements in monitoring rapidly evolving weather/environmental phenomena. Results of this work show that RSTASH was capable of successfully detecting and tracking the Agung ash plume, despite some limitations (e.g., underestimation of ash coverage under certain conditions; generation of residual artefacts). Moreover, estimates of ash cloud-top height indicate that the monitored plume extended up to an altitude of about 9.3 km above sea level during the period 25 November at 21:10 UTC-26 November at 00:50 UTC. The study demonstrates that RSTASH may give a useful contribution for the operational monitoring of ash clouds over East Asia and the Western Pacific region, well exploiting the 10 min temporal resolution and the spectral features of the Himawari-8 data

Chemical composition, antibacterial and antioxidant activities of essential oils from flowers, leaves and aerial parts of Tunisian Dittrichia Viscosa

The objective of this work was to determine the chemical composition, the antioxidant and antibacterial activities of the essential oils (EOs) extracted by hydrodistillation from different organs of the D. viscosa: flowers, leaves and aerial parts. The main compounds identified by GC/MS are oxygenated sesquiterpenes. Among these compounds, (E)-nerolidol (40.7%) is the most abundant constituent of flowers’ essential oil while caryophyllene oxide (9.9%), isolongifolan-7-α-ol (10.3%) and α -eudesmol (9.1%) are the major constituents of the leaves’ essential oil. The presence of these compounds in the aerial parts’ essential oil is solely due to those of the flowers and leaves that constitute these aerial parts. The volatile extracts showed antioxidant effects with IC50 values ranging between 9.25 and 9.75 mg.mL−1. On the other hand, EOs showed antibacterial effects on both Gram-positive and Gram-negative bacteria. The highest activity was obtained with flowers’ essential oil against Enterococcus faecalis and Escherichia coli

Ethnopharmacobotany and diversity of Mediterranean endemic plants in Marmilla subregion, Sardinia, Italy

Human populations in various regions across the world exploit the medicinal properties of plants to treat a wide variety of diseases. Areas with both high rates of endemic taxa and persisting traditional uses of the local botanical resources are key sites for the investigation of Traditional Botanical Knowledge (TBK). Commonly, in these areas, information regarding the medicinal properties of native plants has been transmitted orally from generation to generation, however, a rapid decline in this knowledge has been observed, which can be attributed to socio-economic changes in recent years. The Mediterranean basin is one such site, where human history is intimately entwined with nature. The unique geographical situation and unrivaled environmental heterogeneity of the area, have allowed both the development of diverse civilizations as well as providing the basis for the evolution of extraordinary biodiversity. The Mediterranean basin can therefore be considered a global hotspot of endemic vascular plants, and of traditional knowledge of medicinal and aromatic species. This study researches the historical subregion of Marmilla (central-southern Sardinia, Italy), which was chosen because of its specific cultural and demographic characteristics: i.e., prolonged isolation and extreme longevity of the inhabitants of the area. Semi-structured interviews were conducted with 145 people from the region, and 137 medicinal plants belonging to 62 families were identified, of which around 57,3% were taxa exclusive to the Mediterranean Basin. Findings showed that the most used parts of the plant were the leaves (49%), while as far as preparations are concerned, decoction (50%) was the most used to prepare medicinal formulations, making this the highest number of medico-botanical taxa reported in a study carried out in Sardinia using a similar methodology. In addition, this study contributes towards preventing the loss of TBK by documenting the medicinal traditions, passed down orally for centuries, in the words of the participants, shedding new light on the traditional knowledge of the inhabitants of the island. The findings lay the foundations for future applied studies in the fields of phytotherapy and phytochemical investigation

Burnout, well-being and defensive medical practice among obstetricians and gynaecologists in the UK: cross-sectional survey study

Objectives: To determine the prevalence of burnout in doctors practising obstetrics and gynaecology, and assess the association with defensive medical practice and self-reported wellbeing. Design: Nationwide online cross-sectional survey study; December 2017-March 2018. Setting: Hospitals in the United Kingdom Participants: 5661 practising Obstetrics and Gynaecology consultants, specialty and associate specialist doctors and trainees registered with the Royal College of Obstetricians and Gynaecologists Primary and Secondary Outcome Measures: Prevalence of burnout using the Maslach Burnout Inventory and defensive medical practice (avoiding cases or procedures, overprescribing, over-referral) using a 12-item questionnaire. The odds ratios of burnout with defensive medical practice and self-reported wellbeing. Results: 3102/5661 doctors (55%) completed the survey. 3073/3102 (99%) met the inclusion criteria (1462 consultants, 1357 trainees and 254 specialty and associate specialist doctors). 1116/3073 (36%) doctors met the burnout criteria, with levels highest amongst trainees (580/1357 [43%]). 258/1116 (23%) doctors with burnout reported increased defensive practice compared to 142/1957 (7%) without (adjusted odds ratio 4.35, 95% CI 3.46 to 5.49). Odds ratios of burnout with wellbeing items varied between 1.38 and 6.37, and were highest for anxiety (3.59, 95% CI 3.07 to 4.21), depression (4.05, 95% CI 3.26 to 5.04), and suicidal thoughts (6.37, 95% CI 95% CI 3.95 to 10.7). In multivariable logistic regression, being of younger age, white or ‘other’ ethnicity, and graduating with a medical degree from the UK or Ireland had the strongest associations with burnout. Conclusions: High levels of burnout were observed in obstetricians and gynaecologists and particularly amongst trainees. Burnout was associated with both increased defensive medical practice and worse doctor wellbeing. These findings have implications for the wellbeing and retention of doctors as well as the quality of patient care, and may help to inform the content of future interventions aimed at preventing burnout and improving patient safety

Validation of ash/dust detections from SEVIRI data using ACTRIS/EARLINET ground-based LIDAR measurements

Twotailored configurations of the Robust Satellite Technique (RST) multi-temporal approach, for airborne volcanic ash and desert dust detection, have been tested in the framework of the European Natural Airborne Disaster Information and Coordination System for Aviation (EUNADICS-AV) project. The two algorithms, running on Spinning Enhanced Visible Infra-Red Imager (SEVIRI) data, were previously assessed over wide areas by comparison with independent satellite-based aerosol products. In this study, we present results of a first validation analysis of the above mentioned satellite-based ash/dust products using independent, ground-based observations coming from the European Aerosol Research Lidar Network (EARLINET). The aim is to assess the capabilities of RST-based ash/dust products in providing useful information even at local scale and to verify their applicability as a "trigger" to timely activate EARLINET measurements during airborne hazards. The intense Saharan dust event of May 18-23 2008-which affected both the Mediterranean Basin and Continental Europe-and the strong explosive eruptions of Eyjafjallajökull (Iceland) volcano of April-May 2010, were analyzed as test cases. Our results show that both RST-based algorithms were capable of providing reliable information about the investigated phenomena at specific sites of interest, successfully detecting airborne ash/dust in different geographic regions using both nighttime and daytime SEVIRI data. However, the validation analysis also demonstrates that ash/dust layers remain undetected by satellite in the presence of overlying meteorological clouds and when they are tenuous (i.e., with an integrated backscatter coefficient less than ~0.001 sr-1 and with aerosol backscatter coefficient less than ~1 × 10-6 m-1sr-1). This preliminary analysis confirms that the continuity of satellite-based observations can be used to timely "trigger" ground-based LIDAR measurements in case of airborne hazard events. Finally, this work confirms that advanced satellite-based detection schemes may provide a relevant contribution to the monitoring of ash/dust phenomena and that the synergistic use of (satellite-based) large scale, continuous and timely records with (ground-based) accurate and quantitative measurements may represent an added value, especially in operational scenarios

Chemical composition and biological activity of essential oil of Teucrium scordium L. subsp. scordioides (Schreb.) Arcang. (Lamiaceae) from Sardinia Island (Italy)

The aim of this study is to demonstrate the antifungal, anti-inflammatory and anti-migratory potential of the essential oil of Teucrium scordium subsp. scordioides (Schreb.) Arcang, a plant widely used in traditional medicine in Sardinia. The oil was rich in germacrene D (25.1%), δ-cadinene (12.9%) and alloaromadendrene (11.3%). The yeast Cryptococcus neoformans and the dermatophytes Trichophyton rubrum, T. mentagrophytes var. interdigitale and Epidermophyton floccosum were the most susceptible fungi to the action of the oil. In lipopolysaccharide (LPS)-stimulated macrophages, the oil was able to decrease nitric oxide production by ca. 30% at 1.25 μL/mL, without affecting cell viability. In the scratch wound assay, it allowed for ca. 36% of wound closure after 18 h, thus showing anti-migratory properties. Overall, this study highlights the potential of this species to mitigate fungal infections associated with an inflammatory response. Furthermore, we also reported for the first time its anti-migratory capacity, thus suggesting anticancer properties