Search results for "types"
showing 10 items of 956 documents
Investigation of Silicon Carbide Polytypes by Raman Spectroscopy
2014
Abstract Polytypes of colourless and coloured single crystals of silicon carbide (SiC) grown on SiC substrates by chemical vapour deposition are studied using Raman spectroscopy supplemented by scanning electron microscopy (SEM) and X-ray diffraction (XRD) analyses. The SEM analysis of the defect stacking faults, inclusions of defects and their distribution has shown that they correlate with the peak positions of the obtained Raman spectra and with the XRD data on the crystal structure
Collection Principles in Dependent Type Theory
2002
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.
Path dependence and landscape: initial conditions, contingency and sequences of events in latgale, latvia
2013
AbstractThe notion of path dependence has not yet been well explored as a tool for analysing landscape change. Within geography it is primarily economic geographers who have, up until now, shown a keen interest in this concept which stresses the role of social agency and institutions in understanding the development trajectories of regions. Further, the notion of path dependence usefully captures the idea of contingency in historical sequences. This article presents such a perspective on landscape change analysis, discussing two dominant types of sequences in path‐dependent systems. Self‐reinforcing sequences characterize the formation and long‐term reproduction of a given institutional pat…
Combined treatment of epidermodysplasia verruciformis with etretinate and α-interferon*
1992
Epidermodysplasia verruciformis (EV) is an uncommon cutaneous disease in which a focal and genetically determined immunological impairment is associated with chronic human papilloma virus (HPV) infection. In sun-exposed areas, when an oncogenic HPV type is the agent, skin cancer may occur. The treatment of EV is difficult and often unsatisfactory; etretinate has been reported in some instances as effective in improving lesions. We report a typical case of EV with pityriasis versicolor-like lesions on the trunk and many flat, erythematous wart-like lesions on the face, dorsal areas of the hands and legs. We performed a treatment with etretinate (1 mg/kg/day for 6 weeks) and subsequently with…
Association between Opioid Receptor mu 1 (OPRM1) Gene Polymorphisms and Tobacco and Alcohol Consumption in a Spanish Population.
2015
Evidence gained from animals and humans suggests that the encephalic opioid system might be involved in the development of drug addiction through its role in reward. Our aim is to assess the influence of genetic variations in the opioid receptor mu 1 on alcohol and tobacco consumption in a Spanish population. 763 unrelated individuals (465 women, 298 men) aged 18-85 years were recruited between October 2011 and April 2012. Participants were requested to answer a 35-item questionnaire on tobacco and alcohol consumption, as well as to complete the AUDIT and Fagerström tests. Individuals were genotyped for three polymorphisms in the opioid receptor mu 1 (OPRM1) gene, using a TaqMan® protocol. …
Influence of the Novelty-Seeking Endophenotype on the Rewarding Effects of Psychostimulant Drugs in Animal Models
2015
Novelty seeking (NS), defined as a tendency to pursue novel and intense emotional sensations and experiences, is one of the most relevant individual factors predicting drug use among humans. High novelty seeking (HNS) individuals present an increased risk of drug use compared to low novelty seekers. The NS endophenotype may explain some of the differences observed among individuals exposed to drugs of abuse in adolescence. However, there is little research about the particular response of adolescents to drugs of abuse in function of this endophenotype, and the data that do exist are inconclusive. The present work reviews the literature regarding the influence of NS on psychostimulant reward…
Genome-wide association study identifies five susceptibility loci for follicular lymphoma outside the HLA region.
2014
Genome-wide association studies (GWASs) of follicular lymphoma (FL) have previously identified human leukocyte antigen (HLA) gene variants. To identify additional FL susceptibility loci, we conducted a large-scale two-stage GWAS in 4,523 case subjects and 13,344 control subjects of European ancestry. Five non-HLA loci were associated with FL risk: 11q23.3 (rs4938573, p = 5.79 × 10 -20) near CXCR5; 11q24.3 (rs4937362, p = 6.76 × 10 -11) near ETS1; 3q28 (rs6444305, p = 1.10 × 10 -10) in LPP; 18q21.33 (rs17749561, p = 8.28 × 10 -10) near BCL2; and 8q24.21 (rs13254990, p = 1.06 × 10 -8) near PVT1. In an analysis of the HLA region, we identified four linked HLA-DRß1 multiallelic amino acids at p…
Trumpler 14 and 16 in the Carina nebula
2017
We present the first extensive spectroscopic study of the global population in star clusters Trumpler 16, Trumpler 14, and Collinder 232 in the Carina nebula, using data from the Gaia-ESO Survey, down to solar-mass stars. In addition to the standard homogeneous survey data reduction, a special processing was applied here because of the bright nebulosity surrounding Carina stars. We find about 400 good candidate members ranging from OB types down to slightly subsolar masses. About 100 heavily reddened early-type Carina members found here were previously unrecognized or poorly classified, including two candidate O stars and several candidate Herbig Ae/Be stars. Their large brightness makes th…
Vegetation Types Mapping Using Multi-Temporal Landsat Images in the Google Earth Engine Platform
2021
Vegetation Types (VTs) are important managerial units, and their identification serves as essential tools for the conservation of land covers. Despite a long history of Earth observation applications to assess and monitor land covers, the quantitative detection of sparse VTs remains problematic, especially in arid and semiarid areas. This research aimed to identify appropriate multi-temporal datasets to improve the accuracy of VTs classification in a heterogeneous landscape in Central Zagros, Iran. To do so, first the Normalized Difference Vegetation Index (NDVI) temporal profile of each VT was identified in the study area for the period of 2018, 2019, and 2020. This data revealed strong se…
Data from: Genetic and ecotypic differentiation in a Californian plant polyploid complex (Grindelia, Asteraceae)
2015
Studies of ecotypic differentiation in the California Floristic Province have contributed greatly to plant evolutionary biology since the pioneering work of Clausen, Keck, and Hiesey. The extent of gene flow and genetic differentiation across interfertile ecotypes that span major habitats in the California Floristic Province is understudied, however, and is important for understanding the prospects for local adaptation to evolve or persist in the face of potential gene flow across populations in different ecological settings. We used microsatellite data to examine local differentiation in one of these lineages, the Pacific Coast polyploid complex of the plant genus Grindelia (Asteraceae). W…