Search results for "types"
showing 10 items of 956 documents
Islam w Europie - między zagrożeniem a integracją
2020
W artykule nakreślono możliwe reperkusje większej obecności przedstawicieli islamu w Europie na początku XXI stulecia. Odsetek ten wzrósł z 2% w 1950 r. do 6% w 2020. W recepcji nowej fali napływu muzułmanów na Stary Kontynent przedstawiono przewidywane konsekwencje. Rozważono zaistnienie dwu scenariuszy. Jednym z nich jest narastające wciąż przekonanie o zagrożeniu ze strony rozwijającej się w Europie populacji wyznawców islamu. Innym możliwym rozwiązaniem jest ich sukcesywna integracja. Dla obu wersji przedstawiono wyraźne przesłanki opierające się na znanych faktach, decyzjach społeczno-politycznych, ratyfikowanych umowach oraz deklaracjach decydentów. Podjęto dyskusję z pojawiającymi si…
Phylogeography of a Habitat Specialist with High Dispersal Capability: The Savi’s Warbler Locustella luscinioides
2012
In order to describe the influence of Pleistocene glaciations on the genetic structure and demography of a highly mobile, but specialized, passerine, the Savi's Warbler (Locustella luscinioides), mitochondrial DNA sequences (ND2) and microsatellites were analysed in c.330 individuals of 17 breeding and two wintering populations. Phylogenetic, population genetics and coalescent methods were used to describe the genetic structure, determine the timing of the major splits and model the demography of populations. Savi's Warblers split from its sister species c.8 million years ago and have two major haplotype groups that diverged in the early/middle Pleistocene. One of these clades originated in…
On the power and the systematic biases of the detection of chromosomal inversions by paired-end genome sequencing
2013
One of the most used techniques to study structural variation at a genome level is paired-end mapping (PEM). PEM has the advantage of being able to detect balanced events, such as inversions and translocations. However, inversions are still quite difficult to predict reliably, especially from high-throughput sequencing data. We simulated realistic PEM experiments with different combinations of read and library fragment lengths, including sequencing errors and meaningful base-qualities, to quantify and track down the origin of false positives and negatives along sequencing, mapping, and downstream analysis. We show that PEM is very appropriate to detect a wide range of inversions, even with …
On the complexity of the Saccharomyces bayanus taxon: Hybridization and potential hybrid speciation
2014
Although the genus Saccharomyces has been thoroughly studied, some species in the genus has not yet been accurately resolved; an example is S. bayanus, a taxon that includes genetically diverse lineages of pure and hybrid strains. This diversity makes the assignation and classification of strains belonging to this species unclear and controversial. They have been subdivided by some authors into two varieties (bayanus and uvarum), which have been raised to the species level by others. In this work, we evaluate the complexity of 46 different strains included in the S. bayanus taxon by means of PCR-RFLP analysis and by sequencing of 34 gene regions and one mitochondrial gene. Using the sequenc…
Automatic image-based identification and biomass estimation of invertebrates
2020
1. Understanding how biological communities respond to environmental changes is a key challenge in ecology and ecosystem management. The apparent decline of insect populations necessitates more biomonitoring but the time-consuming sorting and expert-based identification of taxa pose strong limitations on how many insect samples can be processed. In turn, this affects the scale of efforts to map and monitor invertebrate diversity altogether. Given recent advances in computer vision, we propose to enhance the standard human expert-based identification approach involving manual sorting and identification with an automatic image-based technology. 2. We describe a robot-enabled image-based ident…
Inductive types in homotopy type theory
2012
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…
A systematic review of handheld tools in lieu of colposcopy for cervical neoplasia and female genital schistosomiasis
2020
Abstract Background Visualization of the lesions in the lower genital tract is the mainstay for diagnosis of the four lesions found in female genital schistosomiasis (FGS), but colposcopes are generally not available in low‐resource settings. Objective We sought to review handheld devices that could potentially be used for FGS diagnosis. Search strategy We searched Medline and Embase 2015–2019 for handheld devices used in cervical cancer screening and FGS diagnosis. Selection criteria We excluded studies that did not compare the device to standard‐of‐care colposcopes or histopathology. Main results and conclusion In 11 studies, four handheld colposcopes, two smartphones, and one compact dig…
A New Method of Investigation of the Orientation of Galaxies in Clusters in the Absence of Information on Their Morphological Types
2023
The analysis of the orientation of galaxies is one of the most widely used tools in the fields of extragalactic astronomy and cosmology, enabling the verification of structure formation scenarios in the universe. It is based on the statistical analysis of the distribution of angles, giving the spatial orientation of galaxies in space. In order to obtain the correct analysis results, one is obliged to take into account the Holmberg effect and the fact that galaxies are oblate spheroids, with the real axis ratio depending on the morphological type. However, most of the astronomical data available today do not contain information about the morphological types of galaxies. The analysis of suffi…
Gamification Based on User Types : When and Where It Is Worth Applying
2023
Students’ motivation is one of the most relevant factors when improving the quality of the learning process. In this context, gamification is a powerful tool for increasing motivation at all levels of teaching. Since gamification methodologies can be applied in many different ways, personalizing gamified activities as a function of gamification user types is a promising strategy. Knowing the user types is also an advantage to understand the nature of learners in the class. In this article, we present the findings from several pilot exercises, where we identified gamification user types among students from Spain and Finland, analyzing their prevalence as a function of age, gender, country, a…
Anti-angiogenic drug loaded liposomes: Nanotherapy for early atherosclerotic lesions in mice.
2018
Este artículo se encuentra disponible en la página web de la revista en la siguiente URL: https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0190540 También participan en la elaboración de este artículo científico: Aracely Calatayud-Pascual, Alicia López-Castellano, Elena P. Albelda, Enrique García-España, Luis Martí-Bonmatí, Juan C. Frias y M. Teresa Albelda. Fumagillin-loaded liposomes were injected into ApoE-KO mice. The animals were divided into several groups to test the efficacy of this anti-angiogenic drug for early treatment of atherosclerotic lesions. Statistical analysis of the lesions revealed a decrease in the lesion size after 5 weeks of treatment.