2,730 research outputs found
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 -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
Recommended from our members
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 ZnCl: potential modelling and inelastic neutron scattering study
We report a phonon density of states measurement of -ZnCl using
the coherent inelastic neutron scattering technique and a lattice dynamical
calculation in four crystalline phases of ZnCl 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 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
- âŠ