303 research outputs found
Simulating Pulsar Signal Scattering in the Interstellar Medium with Two Distinct Scattering Phenomena
In this thesis, I discuss the creation of a simulation that attempts to reconstruct secondary spectra of pulsars by simulating the scattering in the interstellar medium. For the simulation, we focus on two distinct scattering phenomena, namely a coherent deflection at grazing incidence along a sheet of material, and a random deflection due to a random-walk type process through clouds of material. The simulation focuses on a representation known as a Wavefield Representation that our group has not utilized to this extent before, and it allowed us to understand the physics behind these scattering events in new depths. The final product allows us to explore a number of unique scenarios involving random scattering as well as coherent screens, which is extremely interesting and potentially beneficial to our work. Going forward, we intend to expand the versatility of the simulation to try to fully reconstruct spectra like ones that we observed in our work on the Green Bank Telescope Scintarc Survey that my partner Lele Mathis and I conducted together
Efficient Certified Resolution Proof Checking
We present a novel propositional proof tracing format that eliminates complex
processing, thus enabling efficient (formal) proof checking. The benefits of
this format are demonstrated by implementing a proof checker in C, which
outperforms a state-of-the-art checker by two orders of magnitude. We then
formalize the theory underlying propositional proof checking in Coq, and
extract a correct-by-construction proof checker for our format from the
formalization. An empirical evaluation using 280 unsatisfiable instances from
the 2015 and 2016 SAT competitions shows that this certified checker usually
performs comparably to a state-of-the-art non-certified proof checker. Using
this format, we formally verify the recent 200 TB proof of the Boolean
Pythagorean Triples conjecture
High-k GaAs metal insulator semiconductor capacitors passivated by ex-situ plasma-enhanced atomic layer deposited AlN for Fermi-level unpinning
This paper examines the utilization of plasma-enhanced atomic layer deposition grown AlN in the fabrication of a high-kinsulator layer on GaAs. It is shown that high-kGaAsMIS capacitors with an unpinned Fermi level can be fabricated utilizing a thin ex-situ deposited AlNpassivation layer. The illumination and temperature induced changes in the inversion side capacitance, and the maximum band bending of 1.2 eV indicates that the MIS capacitor reaches inversion. Removal of surface oxide is not required in contrast to many common ex-situ approaches.Peer reviewe
Relationship of faecal calprotectin and long-term outcomes in Finnish patients with Crohn's disease : retrospective multi-centre chart review study
Background and Aims: A retrospective non-interventional, multi-centre patient chart review study was conducted to investigate the association of faecal calprotectin (FC) 1 year (+/- 2 months) after biological therapy initiation with composite event-free survival (CEFS) consisting of surgical procedures, corticosteroid initiation, treatment failure or dose increase in patients with Crohn's disease (CD). In addition, the correlations of FC and other tests of disease activity were assessed. Materials and methods: Data on Finnish CD patients initiating a biological therapy between 2010 and 2016, were collected. The association of FC and CEFS was analysed with Kaplan-Meier and Cox proportional hazard modelling. The correlations were tested with Pearson's test. Results: Biological therapy was initiated in 186 patients, of which 87 (46.8%) had FC results available at 1 year and 80 had follow-up exceeding 14 months. The characteristics of patients with and without FC results were similar. Patients with elevated FC (>250 mu g/g) had a significantly increased risk of experiencing composite event (HR 3.4, 95% CI: 1.3-8.9; p = .013) when compared to patients with normal FC (FCPeer reviewe
Charting the reach and contribution of IMP literature in other disciplines: A bibliometric analysis
This is the author accepted manuscript. The final version is available from the publisher via the DOI in this recordThe acknowledgement of a research tradition by other disciplines shows its contribution to the development of the broader body of scientific knowledge. This paper investigates the contribution of IMP (Industrial Marketing and Purchasing) research to broader research disciplines by analyzing how researchers within and beyond IMP have cited core IMP articles. First, through quantitative bibliometric analysis, the paper identifies the diffusion to other research disciplines. Thereafter, through qualitative analysis, the impact of the IMP perspective is captured to understand how strong these imprints are. The analyses show that IMP research has been noticed among a range of adjacent research disciplines. However, the use of IMP references has generally been rudimentary, and without a deeper understanding of the IMP ontology, meaning that IMP still has some “weak ties” to the other disciplines. Establishing IMP's contribution through enduring imprints would need further engagement with researchers from other research disciplines and publications in top journals. The paper contributes empirically with how the IMP perspective has spread beyond the IMP Group and theoretically by adding insight into how research ideas travel and transform to other disciplines
Genome-wide association study of primary tooth eruption identifies pleiotropic loci associated with height and craniofacial distances
Twin and family studies indicate that the timing of primary tooth eruption is highly heritable, with estimates typically exceeding 80%. To identify variants involved in primary tooth eruption we performed a population based genome-wide association study of ‘age at first tooth’ and ‘number of teeth’ using 5998 and 6609 individuals respectively from the Avon Longitudinal Study of Parents and Children (ALSPAC) and 5403 individuals from the 1966 Northern Finland Birth Cohort (NFBC1966). We tested 2,446,724 SNPs imputed in both studies. Analyses were controlled for the effect of gestational age, sex and age of measurement. Results from the two studies were combined using fixed effects inverse variance meta-analysis. We identified a total of fifteen independent loci, with ten loci reaching genome-wide significance (p<5x10−8) for ‘age at first tooth’ and eleven loci for ‘number of teeth’. Together these associations explain 6.06% of the variation in ‘age of first tooth’ and 4.76% of the variation in ‘number of teeth’. The identified loci included eight previously unidentified loci, some containing genes known to play a role in tooth and other developmental pathways, including a SNP in the protein-coding region of BMP4 (rs17563, P= 9.080x10−17). Three of these loci, containing the genes HMGA2, AJUBA and ADK, also showed evidence of association with craniofacial distances, particularly those indexing facial width. Our results suggest that the genome-wide association approach is a powerful strategy for detecting variants involved in tooth eruption, and potentially craniofacial growth and more generally organ development
The FEBEX benchmark test: case definition and comparison of modelling approaches
The FEBEX (Full-scale Engineered Barriers Experiment in Crystalline Host Rock) ‘‘in situ’’ test was installed at the Grimsel Test
Site underground laboratory (Switzerland) and is a near-to-real scale simulation of the Spanish reference concept of deep geological
storage in crystalline host rock. A modelling exercise, aimed at predicting field behaviour, was divided in three parts. In Part A,
predictions for both the total water inflow to the tunnel as well as the water pressure changes induced by the boring of the tunnel
were required. In Part B, predictions for local field variables, such as temperature, relative humidity, stresses and displacements at
selected points in the bentonite barrier, and global variables, such as the total input power to the heaters were required. In Part C,
predictions for temperature, stresses, water pressures and displacements in selected points of the host rock were required. Ten
Modelling Teams from Europe, North America and Japan were involved in the analysis of the test. Differences among approaches
may be found in the constitutive models used, in the simplifications made to the balance equations and in the geometric symmetries
considered. Several aspects are addressed in the paper: the basic THM physical phenomena which dominate the test response are discussed, a comparison of different modelling results with actual measurements is presented and a discussion is given to explain the
performance of the various predictions.Peer Reviewe
Lymphatic vessels assessment in feline mammary tumours
BACKGROUND: The lymphatic vessels play a crucial role in a variety of human cancers since tumour cell lymphatic invasion significantly influences prognosis. It is not known if pre-existing lymphatics are enough for tumour dissemination or de novo development is necessary. VEGFR-3 is an angiogenetic mediator for both lymphatic and blood vessels during embryonic development, and only for lymphatics after birth. VEGF is a mediator of both vasculogenesis and angiogenesis, regulates the growth of lymphatics in various experimental models, and is produced in many solid tumours. CD44 mediates hyaluronic acid (HA)-dependent cell adhesion: besides promoting invasion, this interaction also supports neoangiogenesis that indirectly stimulates tumour cell proliferation. The expression of VEGF-C (Vascular Endothelial Growth Factor – C), its receptor VEGFR-3 and CD44, were studied on feline mammary samples to assess the importance of lymphangiogenesis and lymphangiotrophism in neoplasia. METHODS: Samples were taken from six normal mammary glands (NMG), ten benign (BT) and 32 malignant (MT) tumours. Immunohistochemical laminin/VEGFR-3 double stain, VEGF-C and CD44 stains were applied to 4 μm-thick sections, and their expression evaluated in intratumoral/extratumoral and intramammary/extramammary fields. RESULTS: All groups revealed a higher number of lymphatics in the extratumoral/extramammary areas. VEGF-C expression in the epithelium paralleled the number of positive vessels in the NMG, BT and MT, whereas VEGF-C higher expression was noted in the intratumoral fields only in infiltrating MT. CD44 score was lower in extratumoral than intratumoral fields in tumours and showed a significant increase in extramammary/extratumoral fields from NMG to MT. Pearson test showed a significant and inversely proportional correlation between CD44 expression and the number of lymphatic vessels with VEGFR-3 in malignant infiltrating tumours. CONCLUSION: The number of both VEGFR-3 positive and negative lymphatics in the extratumoral and extramammary stroma was significantly higher than intratumoral and intramammary fields respectively in the NMG, BT and MT. This suggests a scant biological importance of intratumoral lymphatics while their higher number is due to the concentration of existing vessels following compression of the extratumoral stroma in spite of a non demonstrable increase from NMG to MT. The tumour model employed provided no evidence of lymphangiogenesis, and metastasis in the regional lymph node develops following the spread through the pre-existing lymphatic network
Dental cell type atlas reveals stem and differentiated cell types in mouse and human teeth
Understanding cell types and mechanisms of dental growth is essential for reconstruction and engineering of teeth. Therefore, we investigated cellular composition of growing and non-growing mouse and human teeth. As a result, we report an unappreciated cellular complexity of the continuously-growing mouse incisor, which suggests a coherent model of cell dynamics enabling unarrested growth. This model relies on spatially-restricted stem, progenitor and differentiated populations in the epithelial and mesenchymal compartments underlying the coordinated expansion of two major branches of pulpal cells and diverse epithelial subtypes. Further comparisons of human and mouse teeth yield both parallelisms and differences in tissue heterogeneity and highlight the specifics behind growing and non-growing modes. Despite being similar at a coarse level, mouse and human teeth reveal molecular differences and species-specific cell subtypes suggesting possible evolutionary divergence. Overall, here we provide an atlas of human and mouse teeth with a focus on growth and differentiation. Unlike human teeth, mouse incisors grow throughout life, based on stem and progenitor cell activity. Here the authors generate single cell RNA-seq comparative maps of continuously-growing mouse incisor, non-growing mouse molar and human teeth, combined with lineage tracing to reveal dental cell complexity.Peer reviewe
Theory and practice in Finnish teacher education : a rhetorical analysis of changing values from the 1960s to the present day
Our aim in this article is to examine the relationship between theory and practice in Finnish teacher education from the 1960s to the present. We identify four different periods to represent this relationship based on our analysis of national committee and evaluation reports. Theory and practice gradually converged, culminating in a research-based agenda that reflects the current situation. This relationship between theory and practice also reflects the ideal teacher of different times and what a teacher's working orientation should be. We use rhetorical analysis and the concept of a 'philosophical pair' introduced by Perelman and Olbrechts-Tyteca to interpret this development.Peer reviewe
- …