-
Article
Open AccessAuthor Correction: Characterization and phylogenetic implications of newly sequenced mitogenomes of Five Mileewa and Processina species from China (Hemiptera: Cicadellidae: Mileewinae)
-
Article
Open AccessCharacterization and phylogenetic implications of newly sequenced mitogenomes of Five Mileewa and Processina species from China (Hemiptera: Cicadellidae: Mileewinae)
To accumulate evidence of the phylogeny of Mileewinae and the relationships among Mileewa, Processina, and Ujna genera, we sequenced the complete mitochondrial genomes of four Mileewa spp., namely, Mileewa mira,
-
Chapter and Conference Paper
Geophysical Recognition Technology in Low-Relief Structure-Lithologic Traps Along Slope Zone of Foreland Basin in South America
Block A of South America, dominated by low-amplitude structure-lithologic trap, locates in the east slope zone of Orient foreland basin. After years of exploration, large-scale traps in the earlier time have b...
-
Article
Open AccessThe Himalayan Onion (Allium wallichii Kunth) Harbors Unique Spatially Organized Bacterial Communities
Plant-associated microorganisms are known to contribute with various beneficial functions to the health and productivity of their hosts, yet the microbiome of most plants remains unexplored. This especially ap...
-
Article
Open AccessCombining the responses of habitat suitability and connectivity to climate change for an East Asian endemic frog
Understanding the impacts of past and contemporary climate change on biodiversity is critical for effective conservation. Amphibians have weak dispersal abilities, putting them at risk of habitat fragmentation...
-
Chapter and Conference Paper
Seismic Prediction for Clastic Thin Reservoir Along Slope Zone of Orient Basin in South America
Orient basin of Ecuador locates in the north of sub-Andes foreland basin chain in South America. The major target for oil and gas exploration in its eastern slope zone are M1, U and T formations of Cretaceous ...
-
Article
Novel pyrimidine derivatives containing an amide moiety: design, synthesis, and antifungal activity
The objectives of the current study were to synthesize a series of novel pyrimidine derivatives containing an amide moiety and to investigate their in vitro antifungal activities against eight kinds of plant p...
-
Article
Open AccessReduced pulmonary function and increased pro-inflammatory cytokines in nanoscale carbon black-exposed workers
Although major concerns exist regarding the potential consequences of human exposures to nanoscale carbon black (CB) particles, limited human toxicological data is currently available. The purpose of this stud...
-
Article
Compensation by design
The current dominance of the service-based paradigm reflects the success of specific design and architectural principles embodied in terms like SOA and REST. This paper suggests further principles for the desi...
-
Chapter and Conference Paper
Symbolically Bounding the Drift in Time-Constrained MSC Graphs
Verifying systems involving both time and concurrency rapidly leads to undecidability, and requires restrictions to become effective. This paper addresses the emptiness problem for time-constrained MSC-Graphs ...
-
Article
Depositional architecture of the late Ordovician drowned carbonate platform margin and its responses to sea-level fluctuation in the northern slope of the Tazhong region, Tarim Basin
The Tazhong Uplift of the late Ordovician is a drowned rimmed carbonate platform. the carbonate rock of the late Ordovician Lianglitage Formation in the northern slope of the Tazhong region is one of the signi...
-
Article
Paleostructural geomorphology of the Paleozoic central uplift belt and its constraint on the development of depositional facies in the Tarim Basin
Inclined eastward and consisting of the Hetianhe, Hetianhedong, Tazhong paleouplifts and Bachu paleoslope, the central paleouplift belt in the Tarim Basin was a large composite paleouplift and paleoslope belt ...
-
Chapter and Conference Paper
Quasi-Static Scheduling of Communicating Tasks
Good scheduling policies for distributed embedded applications are required for meeting hard real time constraints and for optimizing the use of computational resources. We study the quasi-static scheduling probl...
-
Article
Tectonic types and evolution of Ordovician proto-type basins in the Tarim region
The Ordovician system is an important target for exploration in the Tarim Basin. Restoration of the Ordovician tectono-depositional environment is a key basis for the study of the structural development histor...
-
Chapter and Conference Paper
Causal Message Sequence Charts
Scenario languages based on Message Sequence Charts (MSCs) and related notations have been widely studied in the last decade [14,13,2,9,6,12,8]. The high expressive power of scenarios renders many basic proble...
-
Chapter and Conference Paper
Behavioural Approximations for Restricted Linear Differential Hybrid Automata
We show the regularity of the discrete time behaviour of hybrid automata in which the rates of continuous variables are governed by linear differential operators in a diagonal form and in which the values of t...
-
Chapter and Conference Paper
The MSO Theory of Connectedly Communicating Processes
We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that if the process p executes k steps without ...
