Overcoming Language Dichotomies: Toward Effective Program Comprehension for Mobile App Development

Mobile devices and platforms have become an established target for modern software developers due to performant hardware and a large and growing user base numbering in the billions. Despite their popularity, the software development process for mobile apps comes with a set of unique, domain-specific challenges rooted in program comprehension. Many of these challenges stem from developer difficulties in reasoning about different representations of a program, a phenomenon we define as a "language dichotomy". In this paper, we reflect upon the various language dichotomies that contribute to open problems in program comprehension and development for mobile apps. Furthermore, to help guide the research community towards effective solutions for these problems, we provide a roadmap of directions for future work.Comment: Invited Keynote Paper for the 26th IEEE/ACM International Conference on Program Comprehension (ICPC'18

GEOCHEMICAL INVESTIGATION OF AQUIFER POLLUTION FROM WASTE MANAGEMENT. THE CASE OF KOMOTINI LANDFILL (GREECE)

According to European legislation, environmental control and monitoring of landfills has become of crucial importance. This study includes a thorough geochemical approach aiming to evaluate the environmental impact of the landfill of Komotini, N. Greece. Samples of waters were taken from inside the working landfill as well as from the area of the neighbouring old landfill. The waters were analyzed chemically (major elements and heavy metals) and isotopically (D and 18O). Also, biogas flow was measured and the ratio CH4/CO2. Based on the geomorphological, hydrogeological and land use data of the area, we proceeded to analyses of waters both from the area of the landfill and from the wider region (drainage basin). The obtained results were used to construct digital maps (GIS) in order to determine the special dispersion of the polluted aquifers. The biogas flow in the old and new garbage burial sites was measured by accumulation chamber device for methane and carbon dioxide ratio determination. The obtained results show an important agent of pollution in the water samples downstream from the landfill and in a distance more than 2km, along the dispersion of the leachate. The land use of the area was taken into account to evaluate the importance and the criticality of the situation

Validation of the Cloud_CCI (Cloud Climate Change Initiative) cloud products in the Arctic

The role of clouds in the Arctic radiation budget is not well understood. Ground-based and airborne measurements provide valuable data to test and improve our understanding. However, the ground-based measurements are intrinsically sparse, and the airborne observations are snapshots in time and space. Passive remote sensing measurements from satellite sensors offer high spatial coverage and an evolving time series, having lengths potentially of decades. However, detecting clouds by passive satellite remote sensing sensors is challenging over the Arctic because of the brightness of snow and ice in the ultraviolet and visible spectral regions and because of the small brightness temperature contrast to the surface. Consequently, the quality of the resulting cloud data products needs to be assessed quantitatively. In this study, we validate the cloud data products retrieved from the Advanced Very High Resolution Radiometer (AVHRR) post meridiem (PM) data from the polar-orbiting NOAA-19 satellite and compare them with those derived from the ground-based instruments during the sunlit months. The AVHRR cloud data products by the European Space Agency (ESA) Cloud Climate Change Initiative (Cloud_CCI) project uses the observations in the visible and IR bands to determine cloud properties. The ground-based measurements from four high-latitude sites have been selected for this investigation: Hyytiälä (61.84∘ N, 24.29∘ E), North Slope of Alaska (NSA; 71.32∘ N, 156.61∘ W), Ny-Ålesund (Ny-Å; 78.92∘ N, 11.93∘ E), and Summit (72.59∘ N, 38.42∘ W). The liquid water path (LWP) ground-based data are retrieved from microwave radiometers, while the cloud top height (CTH) has been determined from the integrated lidar–radar measurements. The quality of the satellite products, cloud mask and cloud optical depth (COD), has been assessed using data from NSA, whereas LWP and CTH have been investigated over Hyytiälä, NSA, Ny-Å, and Summit. The Cloud_CCI COD results for liquid water clouds are in better agreement with the NSA radiometer data than those for ice clouds. For liquid water clouds, the Cloud_CCI COD is underestimated roughly by 3 optical depth (OD) units. When ice clouds are included, the underestimation increases to about 5 OD units. The Cloud_CCI LWP is overestimated over Hyytiälä by ≈7 g m−2, over NSA by ≈16 g m−2, and over Ny-Å by ≈24 g m−2. Over Summit, CCI LWP is overestimated for values ≤20 g m−2 and underestimated for values &gt;20 g m−2. Overall the results of the CCI LWP retrievals are within the ground-based instrument uncertainties. To understand the effects of multi-layer clouds on the CTH retrievals, the statistics are compared between the single-layer clouds and all types (single-layer + multi-layer). For CTH retrievals, the Cloud_CCI product overestimates the CTH for single-layer clouds. When the multi-layer clouds are included (i.e., all types), the observed CTH overestimation becomes an underestimation of about 360–420 m. The CTH results over Summit station showed the highest biases compared to the other three sites. To understand the scale-dependent differences between the satellite and ground-based data, the Bland–Altman method is applied. This method does not identify any scale-dependent differences for all the selected cloud parameters except for the retrievals over the Summit station. In summary, the Cloud_CCI cloud data products investigated agree reasonably well with those retrieved from ground-based measurements made at the four high-latitude sites.</p

Relationships between CO2 soil degassing and regional/local fault systems in the Kiejo-Mbaka geothermal prospect (Tanzania)

The Kiejo-Mbaka geothermal prospect in the Mbeya region of SW Tanzania was surveyed for geothermal exploration in a recent study co-financed by the Ministry for Foreign Affairs in Iceland and by the Nordic Development Fund (NDF) and implemented by the Tanzania Geothermal Development Company Limited (TGDC). A multidisciplinary approach was adopted, including geological, geochemical and geophysical surveys. The prospect falls within the southern sector of the Rungwe Volcanic Province (RVP), which is situated at the triple junction of the Rukwa, Usangu and Karonga basins of the East Africa Rift System. Recent volcanism is concentrated in the northern sector of the RVP, whereas recent eruptions were sustained by small magma batches derived from deep sources in the prospect area. Local stratigraphy is mainly characterized by Pre-Cambrian rocks of the metamorphic-intrusive complex covered by Pleistocene volcanic products (basalts and ignimbrites) with a thickness never exceeding 200 m. Several fault systems are present, among which the most important ones trend NW-SE and N-S. The main tectonic feature is the NW-SE-trending Mbaka fault, which controls the local emergence of hot waters at Ilwalilo and Kilambo-Kajala (maximum discharge temperature of 64\ub0C), delimits to the W the Mbaka ridge, and is associated with a series of parallel structures extending in the plain. Both the gravimetric and the electromagnetic surveys concur in identifying the existence of a block corresponding to the above mentioned Mbaka ridge and characterized by a pronounced positive Bouguer anomaly and by high resistivity, due to the proximity of basement rocks. At Kiejo, Ikama, and Lufundo there are gas vents emitting CO2-rich gases, which are captured by drilled wells in the first two sites. Since the Kiejo-Mbaka prospect is classified as an extensional domain, in which flow-paths of geothermal fluids are fault-controlled, part of the geochemical survey was addressed to identify and define the relationships between fluid flow and structures at local scale, in selected hydrothermal areas including Kilambo-Kajala, Ilwalilo and Kiejo. Taking into account the regional fault distribution and preliminary results obtained during the field surveys, also others areas were included in the investigation (i.e. Lufundo, Itende and Kikusya). A total of 598 soil CO2 flux and temperature measurements (~1 m depth) were carried out. Total output was estimated and isoflux maps were elaborated for each investigated sector. In general, CO2 fluxes appear to be controlled by NW-SE and N-S trending faults and fractures. The former prevails at Kiejo, Kilambo-Kajala and Ilwalilo, which is not surprising for Kilambo-Kajala and Ilwalilo, since the hot springs are positioned along the Mbaka fault. In contrast, the N-S trend dominates at Lufundo

Shaken, not blown: the gentle baryonic feedback of nearby starburst dwarf galaxies

Baryonic feedback is expected to play a key role in regulating the star formation of low-mass galaxies by producing galaxy-scale winds associated with mass-loading factors $\beta\!\sim\!1\!-\!50$. We have tested this prediction using a sample of 19 nearby systems with stellar masses $10^7\!<\!M_\star/{\rm M}_{\odot}\!<\!10^{10}$, mostly lying above the main sequence of star-forming galaxies. We used MUSE@VLT optical integral field spectroscopy to study the warm ionised gas kinematics of these galaxies via a detailed modelling of their H$\alpha$ emission line. The ionised gas is characterised by irregular velocity fields, indicating the presence of non-circular motions of a few tens of km/s within galaxy discs, but with intrinsic velocity dispersion of $40$-$60$ km/s that are only marginally larger than those measured in main-sequence galaxies. Galactic winds, defined as gas at velocities larger than the galaxy escape speed, encompass only a few percent of the observed fluxes. Mass outflow rates and loading factors are strongly dependent on $M_\star$, star formation rate (SFR), SFR surface density and specific SFR. For $M_\star$ of $10^8$ M$_\odot$ we find $\beta\simeq0.02$, which is more than two orders of magnitude smaller than the values predicted by theoretical models of galaxy evolution. In our galaxy sample, baryonic feedback stimulates a gentle gas cycle rather than causing a large-scale blow out.Comment: 20 pages, 11 figures, submitted to A&A. Comments are welcome

Gas, dust, and the CO-to-molecular gas conversion factor in low-metallicity starbursts

The factor relating CO emission to molecular hydrogen column density, XCO, is still subject to uncertainty, in particular at low metallicity. In this paper, to quantify XCO at two different spatial resolutions, we exploited a dust-based method together with ALMA 12-m and ACA data and H I maps of three nearby metal-poor starbursts, NGC 625, NGC 1705, and NGC 5253. Dust opacity at 250 pc resolution was derived based on dust temperatures estimated by fitting two-temperature modified blackbodies to Herschel PACS data. By using the HI maps, we were then able to estimate dust-to-gas ratios in the regions dominated by atomic gas, and, throughout the galaxy, to infer total gas column densities and H2 column densities as the difference with HI. Finally, from the ACA CO(1–0) maps, we derived XCO. We used a similar technique with 40 pc ALMA 12-m data for the three galaxies, but instead derived dust attenuation at 40 pc resolution from reddening maps based on VLT/MUSE data. At 250 pc resolution, we find XCO ∼ 1022 − 1023 cm−2/K km s−1, 5–1000 times the Milky Way value, with much larger values than would be expected from a simple metallicity dependence. Instead, at 40 pc resolution, XCO again shows large variation, but is roughly consistent with a power-law metallicity dependence, given the Z ∼ 1/3 Z⊙ metal abundances of our targets. The large scatter in both estimations could imply additional parameter dependence, which we have investigated by comparing XCO with the observed velocity-integrated brightness temperatures, ICO, as predicted by recent simulations. Indeed, larger XCO is significantly correlated with smaller ICO, but with slightly different slopes and normalizations than predicted by theory. Such behavior can be attributed to the increasing fraction of CO-faint (or dark) H2 gas with lower spatial resolution (larger beams). This confirms the idea the XCO is multivariate, depending not only on metallicity but also on the CO brightness temperature and beam size. Future work is needed to consolidate these empirical results by sampling galaxies with different metal abundances observed at varying spatial resolutions

Brill–Noether general K3 surfaces with the maximal number of elliptic pencils of minimal degree

We explicitly construct Brill–Noether general K3 surfaces of genus 4, 6 and 8 having the maximal number of elliptic pencils of degrees 3, 4 and 5, respectively, and study their moduli spaces and moduli maps to the moduli space of curves. As an application we prove the existence of Brill–Noether general K3 surfaces of genus 4 and 6 without stable Lazarsfeld–Mukai bundles of minimal c2.publishedVersio

Gas Accretion and Star Formation Rates

Cosmological numerical simulations of galaxy evolution show that accretion of metal-poor gas from the cosmic web drives the star formation in galaxy disks. Unfortunately, the observational support for this theoretical prediction is still indirect, and modeling and analysis are required to identify hints as actual signs of star-formation feeding from metal-poor gas accretion. Thus, a meticulous interpretation of the observations is crucial, and this observational review begins with a simple theoretical description of the physical process and the key ingredients it involves, including the properties of the accreted gas and of the star-formation that it induces. A number of observations pointing out the connection between metal-poor gas accretion and star-formation are analyzed, specifically, the short gas consumption time-scale compared to the age of the stellar populations, the fundamental metallicity relationship, the relationship between disk morphology and gas metallicity, the existence of metallicity drops in starbursts of star-forming galaxies, the so-called G dwarf problem, the existence of a minimum metallicity for the star-forming gas in the local universe, the origin of the alpha-enhanced gas forming stars in the local universe, the metallicity of the quiescent BCDs, and the direct measurements of gas accretion onto galaxies. A final section discusses intrinsic difficulties to obtain direct observational evidence, and points out alternative observational pathways to further consolidate the current ideas.Comment: Invited review to appear in Gas Accretion onto Galaxies, Astrophysics and Space Science Library, eds. A. J. Fox & R. Dav\'e, to be published by Springe

Prolonged Antibiotic Treatment does not Prevent Intra-Abdominal Abscesses in Perforated Appendicitis

Contains fulltext : 89619.pdf (publisher's version ) (Open Access)BACKGROUND: Children with perforated appendicitis have a relatively high risk of intra-abdominal abscesses. There is no evidence that prolonged antibiotic treatment after surgery reduces intra-abdominal abscess formation. We compared two patient groups with perforated appendicitis with different postoperative antibiotic treatment protocols. METHODS: We retrospectively reviewed patients younger than age 18 years who underwent appendectomy for perforated appendicitis at two academic hospitals between January 1992 and December 2006. Perforation was diagnosed during surgery and confirmed during histopathological evaluation. Patients in hospital A received 5 days of antibiotics postoperatively, unless decided otherwise on clinical grounds. Patients in hospital B received antibiotics for 5 days, continued until serum C-reactive protein (CRP) was <20 mg/l. Univariate logistic regression analysis was performed on intention-to-treat basis. p < 0.05 was considered significant. RESULTS: A total of 149 children underwent appendectomy for perforated appendicitis: 68 in hospital A, and 81 in hospital B. As expected, the median (range) use of antibiotics was significantly different: 5 (range, 1-16) and 7 (range, 2-32) days, respectively (p < 0.0001). However, the incidence of postoperative intra-abdominal abscesses was similar (p = 0.95). Regression analysis demonstrated that sex (female) was a risk factor for abscess formation, whereas surgical technique and young age were not. CONCLUSIONS: Prolonged use of antibiotics after surgery for perforated appendicitis in children based on serum CRP does not reduce postoperative abscess formation.1 december 201

Evidence of Simultaneous Circulation of West Nile and Usutu Viruses in Mosquitoes Sampled in Emilia-Romagna Region (Italy) in 2009

BACKGROUND: In recent years human diseases due to mosquito-borne viruses were increasingly reported in Emilia-Romagna region (Italy), from the chikungunya virus in 2007 to the West Nile virus (WNV) in 2008. An extensive entomological survey was performed in 2009 to establish the presence and distribution of mosquito arboviruses in this region, with particular reference to flaviviruses. METHODOLOGY/PRINCIPAL FINDINGS: From May 6 to October 31, a total of 190,516 mosquitoes were sampled in georeferenced stations, grouped in 1,789 pools according date of collection, location, and species, and analyzed by reverse transcription polymerase chain reaction (RT-PCR) to detect the presence of RNA belong to Flavivirus genus. WNV was detected in 27 mosquito pools, producing sequences similar to those of birds and human strains obtained in 2008 outbreak, pointed out the probable virus overwintering. Isolation of WNV was achieved from one of these pools. Moreover 56 pools of mosquitoes tested positive for Usutu virus (USUV). Most PCR positive pools consisted of Culex pipiens, which also was the most analyzed mosquito species (81.4% of specimens); interestingly, USUV RNA was also found in two Aedes albopictus mosquito pools. Simultaneous circulation of WNV and USUV in the survey area was highlighted by occurrence of 8 mosquito WNV- and USUV-positive pools and by the overlaying of the viruses "hot spots", obtained by kernel density estimation (KDE) analysis. Land use of sampled stations pointed out a higher proportion of WNV-positive Cx. pipiens pool in rural environments respect the provenience of total sampled pool, while the USUV-positive pools were uniformly captured in the different environments. CONCLUSIONS/SIGNIFICANCE: Obtained data highlighting the possible role of Cx. pipiens mosquito as the main vector for WNV and USUV in Northern Italy, and the possible involvement of Ae. albopictus mosquito in USUV cycle. The described mosquito-based surveillance could constitute the foundation for a public health alert system targeting mosquito borne arboviruses