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

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

An Allosteric Cross-Talk Between the Activation Loop and the ATP Binding Site Regulates the Activation of Src Kinase

Phosphorylation of the activation loop is a fundamental step in the activation of most protein kinases. In the case of the Src tyrosine kinase, a prototypical kinase due to its role in cancer and its historic importance, phosphorylation of tyrosine 416 in the activation loop is known to rigidify the structure and contribute to the switch from the inactive to a fully active form. However, whether or not phosphorylation is able per-se to induce a fully active conformation, that efficiently binds ATP and phosphorylates the substrate, is less clear. Here we employ a combination of solution NMR and enhanced-sampling molecular dynamics simulations to fully map the effects of phosphorylation and ATP/ADP cofactor loading on the conformational landscape of Src tyrosine kinase. We find that both phosphorylation and cofactor binding are needed to induce a fully active conformation. What is more, we find a complex interplay between the A-loop and the hinge motion where the phosphorylation of the activation-loop has a significant allosteric effect on the dynamics of the C-lobe

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

Molecular gas and star formation in the Tidal Dwarf Galaxy VCC 2062

The final, definitive version of this paper has been published in A&A, Vol 590, A92, June 2016, doi: 10.1051/0004-6361/201527887. Reproduced with permission from Astronomy & Astrophysics, © ESO.The physical mechanisms driving star formation (SF) in galaxies are still not fully understood. Tidal dwarf galaxies (TDGs), made of gas ejected during galaxy interactions, seem to be devoid of dark matter and have a near-solar metallicity. The latter makes it possible to study molecular gas and its link to SF using standard tracers (CO, dust) in a peculiar environment. We present a detailed study of a nearby TDG in the Virgo Cluster, VCC 2062, using new high-resolution CO(1--0) data from the Plateau de Bure, deep optical imaging from the Next Generation Virgo Cluster Survey (NGVS), and complementary multiwavelength data. Until now, there was some doubt whether VCC 2062 was a true TDG, but the new deep optical images from the NGVS reveal a stellar bridge between VCC 2062 and its parent galaxy, NGC 4694, which is clear proof of its tidal origin. Several high-resolution tracers (\halpha, UV, 8~\mi, and 24~\mi) of the star formation rate (SFR) are compared to the molecular gas distribution as traced by the CO(1-0). Coupled with the SFR tracers, the NGVS data are used with the CIGALE code to model the stellar populations throughout VCC 2062, yielding a declining SFR in the recent past, consistent with the low \halpha/UV ratio, and a high burst strength. HI emission covers VCC 2062, whereas the CO is concentrated near the HI maxima. The CO peaks correspond to two very distinct regions: one with moderate SF to the NE and one with only slightly weaker CO emission but with nearly no SF. Even where SF is clearly present, the SFR is below the value expected from the surface density of the molecular and the total gas as compared to spiral galaxies and other TDGs. After discussing different possible explanations, we conclude that the low surface brightness is a crucial parameter to understand the low SFR.Peer reviewe