Targeted metagenomics, also known as metagenetics, is a high-throughput sequencing application focusing on a nucleotide target in a microbiome to describe its taxonomic content. A wide range of bioinformatics pipelines are available to analyze sequencing outputs, and the choice of an appropriate tool is crucial and not trivial. No standard evaluation method exists for estimating the accuracy of...

Abstract It is increasingly emphasized that firms’ innovation depends on external knowledge interaction in the field of economic geography. Global linkages and plays crucial role gaining competitive advantage for firms developing countries because their immature systems, inspiring a wide academic interest around cross-border pipelines. However, existing literature has been silent about type whi...

this paper is concerned with asphaltene deposition in fluid flowing through pipelines. brownian diffusion and drag, gravitational, thermophoresis, buoyancy, and shear removal are considered as possible mechanisms in the asphaltene deposition process. the thermo-physical properties of the fluid were obtained from iranian oil fields. a model was used in the pipeline deposition modeling to predict...

Underground Pipe Line Systems are indispensable in urban construction,as there are various pipelines and these pipelines usually distribute in special environment, they need higher requests to management and maintenance. As so far, although there are many pipelines systems are used in many city, but these systems can’t satisfy operation needs to pipeline management, and systems develop model is...

In a circuit environment that is becoming increasingly sensitive to dynamic power dissipation and noise, and where cycle time available for control decisions continues to decrease, locality principles are becoming paramount in controlling advancement of data through pipelined systems. Achieving fine grained power down and progressive pipeline stalls at the local stage level is therefore becomin...

Processing of next-generation sequencing (NGS) data requires significant technical skills, involving installation, configuration, and execution of bioinformatics data pipelines, in addition to specialized postanalysis visualization and data mining software. In order to address some of these challenges, developers have leveraged virtualization containers toward seamless deployment of preconfigur...

We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set architecture (ISA). The MOP vs. ISA correctness theorem splits naturally into a large number of simple subgoals. This theorem reduces proving the correctness of a given pipelined implementation of the ISA to verifying that each of...