Continued advances in next generation short-read sequencing technologies are increasing throughput and read lengths, while driving down the error rates, for example within 1% for Illumina HiSeq reads. Moreover, the er...
详细信息
Continued advances in next generation short-read sequencing technologies are increasing throughput and read lengths, while driving down the error rates, for example within 1% for Illumina HiSeq reads. Moreover, the errors are not uniformly distributed in all reads, and a large percentage of reads are indeed error-free. Ability to predict such perfect reads can have significant impact on run-time complexity of applications. In this paper, we present a simple and fast k-spectrum analysis based method to identify error-free reads. Our experiments show that if around 80% of the reads in a dataset are perfect, then our method retains almost 99.9% of them with more than 90% precision rate. though filtering out reads identified as erroneous by our method reduces the coverage by about 7% on an average, coverage pattern across genome remains similar. the filtration process can be customized at several levels of stringency depending upon the downstream application need.
Recent advances in technology have enabled automatic cardiac auscultation using digital stethoscopes. this in turn creates the need for development of algorithms capable of automatic segmentation of heart sounds. Pedi...
详细信息
Recent advances in technology have enabled automatic cardiac auscultation using digital stethoscopes. this in turn creates the need for development of algorithms capable of automatic segmentation of heart sounds. Pediatric heart sound segmentation is a challenging task due to various confounding factors including the significant influence of respiration on children's heart sounds. the current work investigates the application of homomorphic filtering and Hidden Markov Model for the purpose of segmenting pediatric heart sounds. the efficacy of the proposed method is evaluated on the publicly available Pascal Challenge dataset and its performance is compared withthose of three other existing methods. the results show that our proposed method achieves an accuracy of 92.4%±1.1% and 93.5%±1.1% in identifying the first and second heart sound components, respectively, and is superior to three other existing methods in terms of accuracy or computational complexity.
In this paper, the run time complexity of SNPHAP, which is a haplotype inference tool, is extensively examined. the analysis is based on our previous work in terms of profiling and run-time complexity function. To red...
详细信息
ISBN:
(纸本)9780889869462
In this paper, the run time complexity of SNPHAP, which is a haplotype inference tool, is extensively examined. the analysis is based on our previous work in terms of profiling and run-time complexity function. To reduce the run time complexity and enhance its performance, a Radix-2 computation and OpenMP multithreading are applied. the optimized results are compared with both original and compiler optimized versions on an AMD A6-3650 Linux machine. Due to the Radix-2 technique, the complexity is drastically reduced. In addition, the theoretical Speedup is consistent withthe experimental one. Furthermore, up to 1,303% Speedup is achievable as a result of OpenMP multithreading.
this book constitutes the proceedings of the 6thinternationalconference on advances in Information technology, IAIT 2013, held in Bangkok, thailand, in December 2013. the 23 revised papers presented in this volume w...
ISBN:
(数字)9783319037837
ISBN:
(纸本)9783319037820;9783319037837
this book constitutes the proceedings of the 6thinternationalconference on advances in Information technology, IAIT 2013, held in Bangkok, thailand, in December 2013. the 23 revised papers presented in this volume were carefully reviewed and selected from numerous submissions. they deal with all areas related to applied information technology.
Applicative/functional programming is considerably simplified through the use of specific recursion patterns as opposed to general recursion. the viability of catamorphic recursion patterns as a pragmatic and theoreti...
详细信息
ISBN:
(纸本)9780889869462
Applicative/functional programming is considerably simplified through the use of specific recursion patterns as opposed to general recursion. the viability of catamorphic recursion patterns as a pragmatic and theoretical basis makes it feasible to consider a programming language based on them. Syntactic considerations focus on notation to clarify the structures involved in the use of catamorphisms in this critical role. More fundamental semantic considerations involve the recognition that a catamorphic programming style essentially involves the treatment of data exclusively as functions and the extension of this approach to the derivation of other types of data whose behaviours are not generally catamorphic. Implementation by preprocessing into Haskell can be structured to avoid the limitations of Haskell's types, but a general regime of dynamic types seems unavoidable as an alternative. Clear connections with other work on subrecursive programming illuminates other paths for further development.
YouTube has become a highly successful video sharing website and has had an enormous impact on the Internet traffic. Content Delivery Network (CDN) is one possible solution which can provide users on a global scale fa...
详细信息
ISBN:
(纸本)9780889869462
YouTube has become a highly successful video sharing website and has had an enormous impact on the Internet traffic. Content Delivery Network (CDN) is one possible solution which can provide users on a global scale faster access while reducing traffic on the backbone. Its performance gain nevertheless depends in large part on efficient caching management. the caching techniques using caching hierarchy in surrogate servers of YouTube CDN have been proposed in this paper. Moreover, a new replacement policy (equation) for use in the replacement system and our caching hierarchy are discussed. through a detailed simulation environment, the proposed techniques can significantly improve caching performance relative to the other polices.
Software execution tracing is a popular and effective technique, used to support a range of software engineering activities. Nevertheless execution tracing has rarely been the focus of study in its own right, although...
详细信息
ISBN:
(纸本)9780889869462
Software execution tracing is a popular and effective technique, used to support a range of software engineering activities. Nevertheless execution tracing has rarely been the focus of study in its own right, although many case studies and applications have been described. Existing formal notions of trace in computerscience are shown to be based implicitly, and then explicitly, on an operational semantic basis, and the limitations of the resulting trace monoid structure for many practical tracing tasks is highlighted. Justified by the category theoretic notion of duality, this paper introduces the denotational basis for software execution tracing, to address these practical limitations. An example of a language with denotational trace added is presented: A simple program in that language, its denotational traces, and their subsequent analysis are shown to support complex tasks such as specification recovery and reasoning about correctness, as well as simple, informal proofs of space and time complexity - techniques and results of immediate usefulness to the practicing software engineer. While boththe theory of denotational trace and its consequences are in an early stage of development, initial results suggest uniquely useful, practical results can be derived from denotational traces.
the purpose of this paper was to study the effects of applying computer assisted instruction (CAI), in this case, LIVE ABC on college freshmen's English vocabulary development. Two groups (high-proficiency and low...
详细信息
ISBN:
(纸本)9780889869462
the purpose of this paper was to study the effects of applying computer assisted instruction (CAI), in this case, LIVE ABC on college freshmen's English vocabulary development. Two groups (high-proficiency and low-proficiency) of college freshmen from Chienkuo technology University were used in the study. Each group comprised 50 students (totally 52 male and 48 female). this study was conducted in the fall semester of 2012-2013 and lasted for 18 weeks. A pre-test was administrated at the beginning of the study and a post-test immediately after its completion. the study evaluated student performance using scores on individual semester tests (pre-test and post-test). In addition, a questionnaire was developed to assist the study. the research method applied Grey Relational Model to analyze the assembled data and decide on an effectiveness rating. the major findings of the study were: Where students used computer-assisted learning in vocabulary building their test results were generally better. Low-proficiency students benefit more from CAI than high-proficiency students. All students develop greater fluency, more precise pronunciation and better word understanding. Looking at gender, female students benefitted more than male students. the study also came up with some suggestions for further research in the future.
Incrementally Modular Abstraction Hierarchy (IMAH) is a new design method that consists of abstraction levels starting from the most general level and ending at the most specific one. IMAH is a common method that can ...
详细信息
ISBN:
(纸本)9780889869462
Incrementally Modular Abstraction Hierarchy (IMAH) is a new design method that consists of abstraction levels starting from the most general level and ending at the most specific one. IMAH is a common method that can be applied to wide variety of application areas. In this paper, IMAH is applied to an embedded system that is implemented as a concurrent system. In a concurrent system, each component of the system is regarded as an agent. the agents in the system cooperate with each other to achieve required services. this paper describes the design of the concurrent system that is theoretically supported by IMAH while avoiding logical faults. the design of a LEGO robot is carried out by descending the abstraction hierarchy, where the specification is transformed to components, state transition diagram, the description of communicating sequential processes (CSP) and program codes. When descending the abstraction hierarchy, a homotopy lifting property (HLP), which is one of the most important properties in homotopy theory, is used when applying a bottom-up approach. In contrary, a homotopy extension property (HEP) is used for a top-down approach. the design method has succeeded in providing a theoretical approach, which enables to implement a secure system.
暂无评论