Object orientation without extending Z

The good news of this paper is that without extending Z, we can elegantly specify object-oriented systems, including encapsulation, inheritance and subtype polymorphism (dynamic dispatch). The bad news is that this specification style is rather different to normal Z specifications, more abstract and axiomatic, which means that it is not so well supported by current Z tools such as animators. It also enforces behavioural subtyping, unlike most object-oriented programming languages. This paper explains the proposed style, with examples, and discusses its advantages and disadvantages

Equidistribution of Heegner Points and Ternary Quadratic Forms

We prove new equidistribution results for Galois orbits of Heegner points with respect to reduction maps at inert primes. The arguments are based on two different techniques: primitive representations of integers by quadratic forms and distribution relations for Heegner points. Our results generalize one of the equidistribution theorems established by Cornut and Vatsal in the sense that we allow both the fundamental discriminant and the conductor to grow. Moreover, for fixed fundamental discriminant and variable conductor, we deduce an effective surjectivity theorem for the reduction map from Heegner points to supersingular points at a fixed inert prime. Our results are applicable to the setting considered by Kolyvagin in the construction of the Heegner points Euler system

The subconvexity problem for \GL_{2}

Generalizing and unifying prior results, we solve the subconvexity problem for the $L$-functions of \GL_{1} and \GL_{2} automorphic representations over a fixed number field, uniformly in all aspects. A novel feature of the present method is the softness of our arguments; this is largely due to a consistent use of canonically normalized period relations, such as those supplied by the work of Waldspurger and Ichino--Ikeda.Comment: Almost final version to appear in Publ. Math IHES. References updated

Systems, interactions and macrotheory

A significant proportion of early HCI research was guided by one very clear vision: that the existing theory base in psychology and cognitive science could be developed to yield engineering tools for use in the interdisciplinary context of HCI design. While interface technologies and heuristic methods for behavioral evaluation have rapidly advanced in both capability and breadth of application, progress toward deeper theory has been modest, and some now believe it to be unnecessary. A case is presented for developing new forms of theory, based around generic “systems of interactors.” An overlapping, layered structure of macro- and microtheories could then serve an explanatory role, and could also bind together contributions from the different disciplines. Novel routes to formalizing and applying such theories provide a host of interesting and tractable problems for future basic research in HCI

Oncogenic RIT1 mutations in lung adenocarcinoma

Lung adenocarcinoma is comprised of distinct mutational subtypes characterized by mutually exclusive oncogenic mutations in RTK/RAS pathway members KRAS, EGFR, BRAF and ERBB2, and translocations involving ALK, RET and ROS1. Identification of these oncogenic events has transformed the treatment of lung adenocarcinoma via application of therapies targeted toward specific genetic lesions in stratified patient populations. However, such mutations have been reported in only ∼55% of lung adenocarcinoma cases in the United States, suggesting other mechanisms of malignancy are involved in the remaining cases. Here we report somatic mutations in the small GTPase gene RIT1 in ∼2% of lung adenocarcinoma cases that cluster in a hotspot near the switch II domain of the protein. RIT1 switch II domain mutations are mutually exclusive with all other known lung adenocarcinoma driver mutations. Ectopic expression of mutated RIT1 induces cellular transformation in vitro and in vivo, which can be reversed by combined PI3K and MEK inhibition. These data identify RIT1 as a driver oncogene in a specific subset of lung adenocarcinomas and suggest PI3K and MEK inhibition as a potential therapeutic strategy in RIT1-mutated tumors

Child health nursing in the Solomon Islands: A qualitative evaluation of the impact of the 'Bachelor of nursing - Child health'

Aim: To explore graduates’ perceptions of the impact on nursing practice of a new postgraduate course in child health, developed and implemented in the Solomon Islands in 2016. Background: The Bachelor of Nursing - Child Health was implemented in 2016 to develop nurses’ knowledge and skills in child health and paediatric care with the intent to improve national child health outcomes. Design: A qualitative exploratory, descriptive design was used to evaluate the impact of the Bachelor of Nursing - Child Health on graduates’ nursing practice. Methods: Fourteen nurses who graduated from the first cohort of students enrolled in the child health course were purposively selected to participate. Participants engaged in individual semi-structured interviews, conducted between August and December 2018. A thematic analysis was undertaken following Braun and Clarke's six-phase process. Results: Findings from the study demonstrate positive impacts of the course on graduates’ nursing practice. These include a perceived enhanced quality of care through their commitment to evidence-based practice, the ability to contribute to capacity building of colleagues, the reinforcement of provincial public health programmes and expanded participation in managerial activities. Following graduation, most alumni took on senior roles and greater responsibilities, felt more confident in managing unwell children, felt there was better access to and quality of child health care at the community and broader country levels and felt recognised by colleagues and communities. Some graduates faced resistance from colleagues to change practice and felt that despite being given greater responsibilities, nursing levels and salaries remained unchanged. This reflected a potential lack of recognition from hospital or provincial managers, the Nursing Council as the regulatory body for the nursing profession, and the Ministry of Health and Medical Services. A lack of human and material resources also impacted quality of care. Implications for Nursing and Health Policy: Findings from this study underline the need for the Solomon Islands National University, the Nursing Council, the Public Service and the Ministry of Health and Medical Services to concord and delineate formal accreditation standards for child health nurses. Overall, collaborative efforts and commitments at local, regional and global levels are required to support child health nurses in their ability and ambition to improve national child health outcomes. Conclusions: Findings from this study demonstrate positive impacts of the course on graduates’ nursing practice. The impact of increasing nurses’ knowledge and skills on national child health outcomes could be significant. Ongoing implementation and recognition of this course in the Solomon Islands, as well as more broadly across the Pacific region, are recommended

Mitogenome and Nuclear-encoded Fungicide-target Genes of Thecaphora frezii - Causal Agent of Peanut Smut

Background: Thecaphora frezii Carranza and Lindquist causes smut disease in peanut (Arachis hypogaea L.) resulting in up to 35% yield losses. Fungicides have shown ineffective in controlling the disease; whereas research on the molecular basis of that fungicide resistance has been hindered because of the lack of genetic information about T. frezii. The goal of this work was to provide molecular information about fungicide-target loci in T. frezii, including its mitochondrial genome (mitogenome) and critical nuclear-encoded genes. Results: Here we report the complete annotated mitogenome of T. frezii, a 123,773 bp molecule containing the standard 14 genes that form part of mitochondrial complexes I, III, IV and V, 22 transfer RNAs, small and large subunits of ribosomal RNA, DNA polymerase, ribonuclease P, GII-reverse transcriptase/maturase, nine hypothetical open-reading frames and homing endonucleases (LAGLIDADG, GIY-YIG, HEG). In addition, we report the full-length cDNA sequence of T. frezii cytochrome b (cob) and cytochrome oxidase 1 (cox1) genes; as well as partial sequences of T. frezii succinate dehydrogenase (sdhb), ergosterol biosynthesis (Erg4), cytochrome P450 (cyp51), and beta tubulin (β-tubulin) genes, which are respective targets of strobilurins, quinone oxidation inhibitors, triazoles and beta-tubulin inhibitor fungicides commonly used in the peanut crop. Translation of cob and sdhb genes in this particular T. frezii isolate suggests potential resistance to strobilurin and carboxamide fungicides. Conclusion: The mitogenome and nuclear-encoded gene sequences presented here provide the molecular tools to research T. frezii fungicide-target loci

Generalized Drude model: Unification of ballistic and diffusive electron transport

For electron transport in parallel-plane semiconducting structures, a model is developed that unifies ballistic and diffusive transport and thus generalizes the Drude model. The unified model is valid for arbitrary magnitude of the mean free path and arbitrary shape of the conduction band edge profile. Universal formulas are obtained for the current-voltage characteristic in the nondegenerate case and for the zero-bias conductance in the degenerate case, which describe in a transparent manner the interplay of ballistic and diffusive transport. The semiclassical approach is adopted, but quantum corrections allowing for tunneling are included. Examples are considered, in particular the case of chains of grains in polycrystalline or microcrystalline semiconductors with grain size comparable to, or smaller than, the mean free path. Substantial deviations of the results of the unified model from those of the ballistic thermionic-emission model and of the drift-diffusion model are found. The formulation of the model is one-dimensional, but it is argued that its results should not differ substantially from those of a fully three-dimensional treatment.Comment: 14 pages, 5 figures, REVTEX file, to appear in J. Phys.: Condens. Matte

Collective dynamics in crystalline polymorphs of ZnCl2_{2}: potential modelling and inelastic neutron scattering study

We report a phonon density of states measurement of $\alpha$-ZnCl$_{2}$ using the coherent inelastic neutron scattering technique and a lattice dynamical calculation in four crystalline phases of ZnCl$_{2}$ using a transferable interatomic potential. The model calculations agree reasonably well with the available experimental data on the structures, specific heat, Raman frequencies and their pressure variation in various crystalline phases. The calculated results have been able to provide a fair description of the vibrational as well as the thermodynamic properties of ZnCl$_{2}$ in all its four phases.Comment: Accepted in J. Phys.: Condens. Matte

Quantum heat transfer through an atomic wire

We studied the phononic heat transfer through an atomic dielectric wire with both infinite and finite lengths by using a model Hamiltonian approach. At low temperature under ballistic transport, the thermal conductance contributed by each phonon branch of a uniform and harmonic chain cannot exceed the well-known value which depends linearly on temperature but is material independent. We predict that this ballistic thermal conductance will exhibit stepwise behavior as a function of temperature. By performing numerical calculations on a more realistic system, where a small atomic chain is placed between two reservoirs, we also found resonance modes, which should also lead to the stepwise behavior in the thermal conductance.Comment: 14 pages, 2 separate figure