462 research outputs found
The effect of polar lipids on tear film dynamics
In this paper we present a mathematical model describing the effect of polar lipids on the evolution of a precorneal tear film, with the aim of explaining the interesting experimentally observed phenomenon that the tear film continues to move upwards even after the upper eyelid has become stationary. The polar lipid is an insoluble surface species that locally alters the surface tension of the tear film. In the lubrication limit, the model reduces to two coupled nonlinear partial differential equations for the film thickness and the concentration of lipid. We solve the system numerically and observe that the presence of the lipid causes an increase in flow of liquid up the eye. We further exploit the size of the parameters in the problem to explain the initial evolution of the system
Is the lower return to immigrantsâ foreign schooling a postarrival problem in Canada?
Published versionUsing the 2006 Canadian Census, this paper investigates the lower return to immigrantsâ foreign education credentials after adjusting for their occupational matching in hosting labor markets. We develop two continuous indices that quantify the matching quality of the native-born in both horizontal (fields of study) and vertical (educational degrees) dimensions. This allows us to separate the effects of immigrantsâ occupational attainment and their foreign schooling quality on wage earnings by measuring immigrantsâ occupational match relative to that of native-born. Our findings indicate that the lack of portability in immigrantsâ foreign credentials may not be addressed effectively by post arrival policies as the results show that a significant and persistent poor matching quality for internationally educated immigrants cannot substantiate the lower return to their foreign education credentials
Modulation of Sn concentration in ZnO nanorod array: intensification on the conductivity and humidity sensing properties
Tin (Sn)-doped zinc oxide (ZnO) nanorod arrays (TZO) were synthesized onto aluminum-doped ZnO-coated glass substrate via a facile sonicated solâgel immersion method for humidity sensor applications. These nanorod arrays were grown at different Sn concentrations ranging from 0.6 to 3 at.%. X-ray diffraction patterns showed that the deposited TZO arrays exhibited a wurtzite structure. The stress/strain condition of the ZnO film metamorphosed from tensile strain/compressive stress to compressive strain/tensile stress when the Sn concentrations increased. Results indicated that 1 at.% Sn doping of TZO, which has the lowest tensile stress of 0.14 GPa, generated the highest conductivity of 1.31 S cmâ 1. In addition, 1 at.% Sn doping of TZO possessed superior sensitivity to a humidity of 3.36. These results revealed that the optimum performance of a humidity-sensing device can be obtained mainly by controlling the amount of extrinsic element in a ZnO film
A survey of spectral models of gravity coupled to matter
This is a survey of the historical development of the Spectral Standard Model
and beyond, starting with the ground breaking paper of Alain Connes in 1988
where he observed that there is a link between Higgs fields and finite
noncommutative spaces. We present the important contributions that helped in
the search and identification of the noncommutative space that characterizes
the fine structure of space-time. The nature and properties of the
noncommutative space are arrived at by independent routes and show the
uniqueness of the Spectral Standard Model at low energies and the Pati-Salam
unification model at high energies.Comment: An appendix is added to include scalar potential analysis for a
Pati-Salam model. 58 Page
Needle & knot : binder boilerplate tied up
To lighten the burden of programming language mechanization, many approaches have been developed that tackle the substantial boilerplate which arises from variable binders. Unfortunately, the existing approaches are limited in scope. They typically do not support complex binding forms (such as multi-binders) that arise in more advanced languages, or they do not tackle the boilerplate due to mentioning variables and binders in relations. As a consequence, the human mechanizer is still unnecessarily burdened with binder boilerplate and discouraged from taking on richer languages.
This paper presents Knot, a new approach that substantially extends the support for binder boilerplate. Knot is a highly expressive language for natural and concise specification of syntax with binders. Its meta-theory constructively guarantees the coverage of a considerable amount of binder boilerplate for well-formed specifications, including that for well-scoping of terms and context lookups. Knot also comes with a code generator, Needle, that specializes the generic boilerplate for convenient embedding in COQ and provides a tactic library for automatically discharging proof obligations that frequently come up in proofs of weakening and substitution lemmas of type-systems.
Our evaluation shows, that Needle & Knot significantly reduce the size of language mechanizations (by 40% in our case study). Moreover, as far as we know, Knot enables the most concise mechanization of the POPLmark Challenge (1a + 2a) and is two-thirds the size of the next smallest. Finally, Knot allows us to mechanize for instance dependentlytyped languages, which is notoriously challenging because of dependent contexts and mutually-recursive sorts with variables
Teaching open and reproducible scholarship: A critical review of the evidence base for current pedagogical methods and their outcomes
In recent years, the scientific community has called for improvements in the credibility, robustness and reproducibility of research, characterized by increased interest and promotion of open and transparent research practices. While progress has been positive, there is a lack of consideration about how this approach can be embedded into undergraduate and postgraduate research training.
Specifically, a critical overview of the literature which investigates how integrating open and
reproducible science may influence student outcomes is needed. In this paper, we provide the first critical review of the literature surrounding the integration of open and reproducible scholarship into teaching and learning and its associated outcomes in students. Our review highlighted how embedding open and reproducible scholarship appears to be associated with (i) studentsâ scientific literacies (i.e. studentsâ understanding of open research, consumption of science, and the development of transferable skills); (ii) student engagement (i.e. motivation and engagement with learning, collaboration, and engagement in open research) and (iii) studentsâ attitudes towards science (i.e. trust in science and confidence in research findings). However, our review also identified a need for more robust and rigorous methods within pedagogical research, including more interventional and experimental evaluations of teaching practice. We discuss implications for teaching and learning scholarship.info:eu-repo/semantics/publishedVersio
Problematic mukbang watching and its relationship to disordered eating and internet addiction: a pilot study among emerging adult mukbang watchers
Internet technology has facilitated the use of a wide variety of different activities and applications in online contexts. One such activity is watching mukbang (i.e., watching videos of âeating broadcastsâ where someone eats a large amount of food while interacting with viewers). In the present study, the relationship of problematic mukbang watching with disordered eating and internet addiction was examined. Participants were 140 emerging adults who watched mukbang at least once in the past 30 days (66% female; Mageâ=â21.66, SDâ=â1.88, rangeâ=â19â29 years). Structural equation modeling indicated that problematic mukbang watching was positively associated with both disordered eating and internet addiction. The present study is the first to explore the predictive role of problematic mukbang watching on adverse consequences, and suggests that mukbang watching may be problematic for a minority of emerging adults and that problematic mukbang watching warrants further examination of its impact on mental health and wellbeing
Labour Market Outcomes of Second Generation Immigrants: How Heterogeneous are They Really?
The second and third generation of immigrants have been the centre of a lively debate about the economic integration of immigrants into their host societies, but there is little empirical evidence on the German case. In this study I comprehensively portray the labour market outcomes of second generation immigrants in Germany. Special attention is attributed to observable heterogeneity in terms of country of origin and unobservable heterogeneity in terms of parental human capital, neighbourhood effects, and mixed marriage background. Pooled, static and dynamic panel data models, and a decomposition analysis are used to estimate and explain the average differences in hourly wages and unemployment probabilities separately for men and women. The results suggest that the second generation cannot be considered as one homogeneous group: some groups perform better, equally or worse than comparable German natives. Also, relative outcomes in wages depend mainly on observable characteristics, whereas relative unemployment risks are mainly driven by unobservable factors
A roadmap to inform development, validation and approval of digital mobility outcomes: the Mobilise-D approach
Health care has had to adapt rapidly to COVID-19, and this in turn has highlighted a pressing need for tools to facilitate remote visits and monitoring. Digital health technology, including body-worn devices, offers a solution using digital outcomes to measure and monitor disease status and provide outcomes meaningful to both patients and health care professionals. Remote monitoring of physical mobility is a prime example, because mobility is among the most advanced modalities that can be assessed digitally and remotely. Loss of mobility is also an important feature of many health conditions, providing a read-out of health as well as a target for intervention. Real-world, continuous digital measures of mobility (digital mobility outcomes or DMOs) provide an opportunity for novel insights into health care conditions complementing existing mobility measures. Accepted and approved DMOs are not yet widely available. The need for large collaborative efforts to tackle the critical steps to adoption is widely recognised. Mobilise-D is an example. It is a multidisciplinary consortium of 34 institutions from academia and industry funded through the European Innovative Medicines Initiative 2 Joint Undertaking. Members of Mobilise-D are collaborating to address the critical steps for DMOs to be adopted in clinical trials and ultimately health care. To achieve this, the consortium has developed a roadmap to inform the development, validation and approval of DMOs in Parkinsonâs disease, multiple sclerosis, chronic obstructive pulmonary disease and recovery from proximal femoral fracture. Here we aim to describe the proposed approach and provide a high-level view of the ongoing and planned work of the Mobilise-D consortium. Ultimately, Mobilise-D aims to stimulate widespread adoption of DMOs through the provision of device agnostic software, standards and robust validation in order to bring digital outcomes from concept to use in clinical trials and health care
- âŠ