19 hasil untuk "Ina Schaefer"
Menampilkan 1–19 · 1,89 detik · RSS
-
Artikel Jurnal Teks lengkap
Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems
Automation systems exist in many variants and may evolve over time in order to deal with different environment contexts or to fulfill changing customer requirements. This induces an increased complexity during design-time as well as tedious maintenance efforts. We already proposed a…
-
Artikel Jurnal Teks lengkap
Detecting and Explaining Conflicts in Attributed Feature Models
Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be adapted frequently. These changes often lead to mistakes, such…
-
Artikel Jurnal Teks lengkap
Genetic structure and distribution of Parisotoma notabilis (Collembola) in Europe: Cryptic diversity, split of lineages and colonization patterns.
Climatic and biome changes of the past million years influenced the population structure and genetic diversity of soil-living arthropods in Europe. However, their effects on the genetic structure of widespread and abundant soil animal species such as the Collembola Parisotoma notabilis remain…
Juga tersedia di: PLOS
-
Artikel Jurnal Teks lengkap
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Deductive verification of software has not yet found its way into industry, as complexity and scalability issues require highly specialized experts. The long-term perspective is, however, to develop verification tools aiding industrial software developers to find bugs or bottlenecks in software…
-
Artikel Jurnal Teks lengkap
Evidence for Frozen-Niche Variation in a Cosmopolitan Parthenogenetic Soil Mite Species (Acari, Oribatida)
Parthenogenetic lineages may colonize marginal areas of the range of related sexual species or coexist with sexual species in the same habitat. Frozen-Niche-Variation and General-Purpose-Genotype are two hypotheses suggesting that competition and interclonal selection result in parthenogenetic…
Juga tersedia di: DOAJ
-
Artikel Jurnal
Die Auswertung qualitativer Daten mit Peerforschenden: Ein Anwendungsbeispiel aus der partizipativen Gesundheitsforschung
Auch wenn die Projekterfahrung zu partizipativen Forschungsansätzen im deutschsprachigen Raum zunimmt, sind partizipative Auswertungsverfahren noch selten erprobt. Bezugnehmend auf das im Forschungsverbund "PartKommPLus – Forschungsverbund für gesunde Kommunen" angesiedelte Teilprojekt "ElfE –…
-
Artikel Jurnal Teks lengkap
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal analysis to determine whether an update may be safely applied. This is challenging because it requires an automated…
-
Artikel Jurnal
Repeated convergent evolution of parthenogenesis in Acariformes (Acari)
Abstract The existence of old species‐rich parthenogenetic taxa is a conundrum in evolutionary biology. Such taxa point to ancient parthenogenetic radiations resulting in morphologically distinct species. Ancient parthenogenetic taxa have been proposed to exist in bdelloid rotifers, darwinulid…
-
Artikel Jurnal
Flexible Correct-by-Construction Programming
Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is complex to use without specialized tool support, since…
-
Artikel Jurnal Teks lengkap
Applicability and perspectives for DNA barcoding of soil invertebrates
Belowground invertebrate communities are dominated by species-rich and very small microarthropods that require long handling times and high taxonomic expertise for species determination. Molecular based methods like metabarcoding circumvent the morphological determination process by assigning taxa…
-
Artikel Jurnal
Effective purifying selection in ancient asexual oribatid mites
Asexual reproduction is thought to be an evolutionary dead end in eukaryotes because deleterious mutations will not be purged effectively. Here, Brandt and colleagues show that anciently asexual oribatid mites in fact have reduced accumulation of deleterious mutations compared to their sexual…
-
Artikel Jurnal
Niche dimensions in soil oribatid mite community assembly under native and introduced tree species
Abstract Forest soils are a critical component of terrestrial ecosystems and host a large number of animal decomposer species. One diverse and abundant decomposer taxon is oribatid mites (Acari: Oribatida), whose species composition varies with forest type and tree species composition. We used…
-
Artikel Jurnal Teks lengkap
Changes in diversity and community assembly of jumping spiders (Araneae: Salticidae) after rainforest conversion to rubber and oil palm plantations
Rainforest conversion into monoculture plantations results in species loss and community shifts across animal taxa. The effect of such conversion on the role of ecophysiological properties influencing communities, and conversion effects on phylogenetic diversity and community assembly mechanisms…
-
Artikel Jurnal
“Jack‐of‐all‐trades” is parthenogenetic
Abstract Sex is evolutionarily more costly than parthenogenesis, evolutionary ecologists therefore wonder why sex is much more frequent than parthenogenesis in the majority of animal lineages. Intriguingly, parthenogenetic individuals and species are as common as or even more common than sexuals in…
-
Artikel Jurnal
Older Lineages of Oribatid Mites in Mountain Ranges Have Broader Geographic Ranges and Exhibit More Generalistic Traits
ABSTRACT Understanding ecological and evolutionary mechanisms that drive biodiversity patterns is important for comprehending biodiversity. Despite being critically important to the functioning of ecosystems, the mechanisms driving belowground biodiversity are little understood. We investigated the…
-
Artikel Jurnal
Functional traits in soil-living oribatid mites unveil trophic reorganization in belowground communities by introduced tree species
Biodiversity loss and its potential threat on ecosystem functions call for a critical evaluation of human impacts on forest ecosystems. Management practices based on stand diversification offer a possible solution to biodiversity loss due to monoculture plantations, and these practices often…
-
Artikel Jurnal Teks lengkap
Feeding habits and multifunctional classification of soil‐associated consumers from protists to vertebrates
Soil organisms drive major ecosystem functions by mineralising carbon and releasing nutrients during decomposition processes, which supports plant growth, aboveground biodiversity and, ultimately, human nutrition. Soil ecologists often operate with functional groups to infer the effects of…