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

String Theoretical Interpretation for Finite N Yang-Mills Theory in Two-Dimensions

We discuss the equivalence between a string theory and the two-dimensional Yang-Mills theory with SU(N) gauge group for finite N. We find a sector which can be interpreted as a sum of covering maps from closed string world-sheets to the target space, whose covering number is less than N. This gives an asymptotic expansion of 1/N whose large N limit becomes the chiral sector defined by D.Gross and W.Taylor. We also discuss that the residual part of the partition function provides the non-perturbative corrections to the perturbative expansion.Comment: 15 pages, no figures, LaTeX2e, typos corrected, final version to appear in Modern Physics Letters

Similarities and differences between molecular order in the nematic and twist-bend nematic phases of a symmetric liquid crystal dimer

The order parameter, Szz, where z is the para axis of the difluoroterphenyl groups in DTC5C9, have been obtained from chemical shift anisotropies measured by ¹³C – {¹1H} NMR experiments at temperatures throughout the nematic, NU, and twist-bend nematic, NTB, phases shown by this compound. The order parameter temperature profiles are unusual in having a maximum value in the NU phase and then decreasing until the NTB phase is reached. There is a small discontinuity (~2%) in Szz at T_(NN_TB )and then a gradual decrease until a new phase appears. This behaviour is interpreted as revealing a temperature-dependent tilting of local directors in both phases away from the applied magnetic field direction. In the enantiomorphic twist-bend phase this tilt is consistent with the structure of the phase as a helical arrangement of local directors, whilst in the high-temperature non-chiral nematic the tilt must involve a non-chiral arrangement. It is proposed that in both phases the tilting of directors has a common origin in the bent shape of the molecules

Aerosols in the central Arctic cryosphere: satellite and model integrated insights during Arctic spring and summer

The central Arctic cryosphere is influenced by the Arctic amplification (AA) and is warming faster than the lower latitudes. AA affects the formation, loss, and transport of aerosols. Efforts to assess the underlying processes determining aerosol variability are currently limited due to the lack of ground-based and space-borne aerosol observations with high spatial coverage in this region. This study addresses the observational gap by making use of total aerosol optical depth (AOD) datasets retrieved by the AEROSNOW algorithm over the vast cryospheric region of the central Arctic during Arctic spring and summer. GEOS-Chem (GC) simulations combined with AEROSNOW-retrieved data are used to investigate the processes controlling aerosol loading and distribution at different temporal and spatial scales. For the first time, an integrated study of AOD over the Arctic cryosphere during sunlight conditions was possible with the AEROSNOW retrieval and GC simulations. The results show that the spatial patterns observed by AEROSNOW differ from those simulated by GC. During spring, which is characterized by long-range transport of anthropogenic aerosols in the Arctic, GC underestimates the AOD in the vicinity of Alaska in comparison with AEROSNOW retrieval. At the same time, it overestimates the AOD along the Bering Strait, northern Europe, and the Siberian central Arctic sea-ice regions, with differences of −12.3 % and 21.7 %, respectively. By contrast, GC consistently underestimates AOD compared with AEROSNOW in summer, when transport from lower latitudes is insignificant and local natural processes are the dominant source of aerosol, especially north of 70° N. This underestimation is particularly pronounced over the central Arctic sea-ice region, where it is −10.6 %. Conversely, GC tends to overestimate AOD along the Siberian and Greenland marginal sea-ice zones by 19.5 % but underestimates AOD along the Canadian Archipelago by −9.3 %. The differences in summer AOD between AEROSNOW data products and GC-simulated AOD highlight the need to integrate improved knowledge of the summer aerosol process into existing models in order to constrain its effects on cloud condensation nuclei, on ice nucleating particles, and on the radiation budget over the central Arctic sea ice during the developing AA period.</p

Target-Selective Drug Delivery through Liposomes Labeled with Oligobranched Neurotensin Peptides.

The structure and the in vitro behavior of liposomes filled with the cytotoxic drug doxorubicin (Doxo) and functionalized on the external surface with a branched moiety containing four copies of the 8-13 neurotensin (NT) peptide is reported. The new functionalized liposomes, DOPC-NT(4) Lys(C(18) )(2) , are obtained by co-aggregation of the DOPC phospholipid with a new synthetic amphiphilic molecule, NT(4) Lys(C(18) )(2) , which contains a lysine scaffold derivatized with a lipophilic moiety and a tetrabranched hydrophilic peptide, NT8-13, a neurotensin peptide fragment well known for its ability to mimic the neurotensin peptide in receptor binding ability. Dynamic light scattering measurements indicate a value for the hydrodynamic radius (RH) of 88.3±4.4 nm. The selective internalization and cytotoxicity of DOPC-NT(4) Lys(C(18) )(2) liposomes containing Doxo, as compared to pure DOPC liposomes, were tested in HT29 human colon adenocarcinoma and TE671 human rhabdomyosarcoma cells, both of which express neurotensin receptors. Peptide-functionalized liposomes show a clear advantage in comparison to pure DOPC liposomes with regard to drug internalization in both HT29 and TE671 tumor cells: FACS analysis indicates an increase in fluorescence signal of the NT(4) -liposomes, compared to the DOPC pure analogues, in both cell lines; cytotoxicity of DOPC-NT(4) Lys(C(18) )(2) -Doxo liposomes is increased four-fold with respect to DOPC-Doxo liposomes in both HT29 and TE671 cell lines. These effects could to be ascribed to the higher rate of internalization for DOPC-NT(4) Lys(C(18) )(2) -Doxo liposomes, due to stronger binding driven by a lower dissociation constant of the NT(4) -liposomes that bind the membrane onto a specific protein, in contrast to DOPC liposomes, which approach the plasma membrane unselectively

Fluid geochemistry of the Los Humeros geothermal field (LHGF - Puebla, Mexico): New constraints for the conceptual model

Geothermal power in Mexico is mainly produced in four geothermal fields operated by the Comision Federal de Electricidad (CFE): Cerro Prieto, Los Azufres, Los Humeros, and Las Tres Virgenes. The Los Humeros Geothermal Field (LHGF) is ranked third in terms of generated capacity, and in the last decade its installed capacity has doubled (up to 95.0 MW). Further increases in the geothermal power generation capacity in Mexico are planned, and thus the LHGF warrants further examination. The development and growth phases of any geothermal project must start from an awareness of the conceptual model of the natural system studied. The recharge mechanism, feeding zones, and fluid flow-path must be identified, along with the estimation of the temperature at the productive level and of phase separation (liquid - steam). To accomplish this, detailed fluid geochemical surveys were carried out in June 2017 and March 2018, in which 57 and 87 samples were collected, respectively, from cold and thermal springs, water wells and maar lakes located around and inside the LHGF. Samples from fumaroles inside the producing area were also collected for the first time, together with fluid from re-injection wells. The presence of a meteoric component, which plays an important role at the regional scale, is confirmed by the chemical and isotope data, and its contribution in terms of recharge may be higher than previously assumed. The Sierra Madre Oriental, on the west side of the LHGF, is characterized by widespread outcrops of limestone belonging to the same geological formation as those at the bottom of the LHGF. The isotope composition (delta D and delta O-18, respectively -77.3 parts per thousand and -10.50 parts per thousand for the hypothetical Infiltration Water IW) is similar to that observed in cold springs located in the Sierra Madre Oriental, and from this the evolution of isotopes in the liquid-rock-steam system during water-rock interaction and phase separation processes can be modelled. Thus, the experimental data obtained for natural gas emissions (fumarolic condensates) and for geothermal fluids can be reproduced. These findings suggest that geothermal fluids in the LHGF are likely to be derived from meteoric water infiltrating (IW) the limestone outcrops of the Sierra Madre Oriental. During their flow-path, the infiltrating waters exchange isotopes at a high temperature with the crustal rocks, which have a much higher O-18/O-16 ratio, resulting in a shift towards higher delta O-18 (-4.35 parts per thousand +/- 1) as the water O exchanges with rock O. The vapor phase can be separated from this deep water (DW) and it is discharged from the fumarolic effluents of Loma Blanca. Single Step Vapor Separation (SSVS) and Continuous Steam Separation processes (CSS) were modelled using stable isotopes of water. The results of geochemical modeling agree with available data for geothermal liquids discharged from several geothermal wells, suggesting that steam separation may be interpreted either as SSVS or CSS. Other processes can affect the chemistry and isotope composition of geothermal fluids (e.g. phase segregation, gas exchange, contributions from magmatic-volcanic deep fluids and re-injection fluids). The proposed conceptual model is consistent with both the geochemical data and the geological setting, and provides a useful point of reference for examining the fluid flow-path and geochemical processes active in the LHGF, at least at a general level.An involvement of magmatic-volcanic deep fluids in the feeding mechanism of the geothermal system cannot be excluded at priori, but the regional meteoric end-member is supported by the data and it seems the most important component

Exploring patterns of beta-diversity to test the consistency of biogeographical boundaries: A case study across forest plant communities of Italy

Aim: To date, despite their great potential biogeographical regionalization models have been mostly developed on descriptive and empirical bases. This paper aims at applying the beta-diversity framework on a statistically representative data set to analytically test the consistency of the biogeographical regionalization of Italian forests. Location: Italy. Taxon: Vascular plants. Methods: Forest plant communities were surveyed in 804 plots made in a statistically representative sample of forest communities made by 201 sites of Italian forests across the three biogeographical regions of the country: Alpine, Continental, and Mediterranean. We conducted an ordination analysis and an analysis of beta-diversity, decomposing it into its turnover and nestedness components. Results: Our results provide only partial support to the consistency of the biogeographical regionalization of Italy. While the differences in forest plant communities support the distinction between the Alpine and the other two regions, differences between Continental and Mediterranean regions had lower statistical support. Pairwise beta-diversity and its turnover component are higher between- than within-biogeographical regions. This suggests that different regional species pools contribute to assembly of local communities and that spatial distance between-regions has a stronger effect than that within-regions. Main conclusions: Our findings confirm a biogeographical structure of the species pools that is captured by the biogeographical regionalization. However, nonsignificant differences between the Mediterranean and Continental biogeographical regions suggest that this biogeographical regionalization is not consistent for forest plant communities. Our results demonstrate that an analytical evaluation of species composition differences among regions using beta-diversity analysis is a promising approach for testing the consistency of biogeographical regionalization models. This approach is recommended to provide support to the biogeographical regionalization used in some environmental conservation polices adopted by EU