The advent of massive parallel sequencing (MPS) has revolutionized the field of human molecular genetics, including the diagnostic study of mitochondrial (mt) DNA dysfunction. The analysis of the complete mitochondrial genome using MPS platforms is now common and will soon outrun conventional sequencing. However, the development of a robust and reliable protocol is rather challenging. A previou...

There are many approaches to proving the correctness of application-layer protocols that are layered on secure transport protocols, such as TLS. One popular approach is verification by abstraction, in which the correctness of the application-layer protocol is proven under the assumption that the transport layer satisfies certain properties. Following this approach, we adapt the strand spaces mo...

In 1983, we described a simple protocol to synthesize cDNA by a combination of reverse transcriptase, RNAseH and DNA polymerase I to generate large plasraid libraries (1). This protocol has now been modified to a simple one tube reaction with bluntended cDNA as the final product that can be cloned into bacteriophage lambda or plasmids. Preparation of the cDNA takes about 4 hours; a library in l...

Given a cryptographic protocol, and some assumptions, can we present everything that can happen, subject to these assumptions? The assumptions may include: (i) some behavior assumed to have occurred, (ii) some keys assumed to be uncompromised, and (iii) some values assumed to have been freshly chosen. An object representing these types of information is called a skeleton. The shapes for a skele...

Diffie-Hellman protocols for authenticated key agreement construct a shared secret with a peer using a minimum of communication and using limited cryptographic operations. However, their analysis has been challenging in computational models and especially in symbolic models. In this paper, we develop a logical framework for protocol analysis based on strand space ideas. We show that it identifi...

In CASP11 we generated protein structure models using simulated ambiguous and unambiguous nuclear Overhauser effect (NOE) restraints with a two stage protocol. Low resolution models were generated guided by the unambiguous restraints using continuous chain folding for alpha and alpha-beta proteins, and iterative annealing for all beta proteins to take advantage of the strand pairing information...

Alternative lengthening of telomeres (ALT) is one of the two known telomere length maintenance mechanisms that are essential for the unlimited proliferation potential of cancer cells. Existing methods for detecting ALT in tumors require substantial amounts of tumor material and are labor intensive, making it difficult to study prevalence and prognostic significance of ALT in large tumor cohorts...

wireless ad hoc networks are composed of independent nodes managing the network without any infrastructure. the connection between nodes is provided by sending packages and by trusting to each other. therefore, using efficient and certain protocols is the essential requirement of these networks. due to special characteristics of wireless ad hoc networks such as lack of a fixed infrastructure, t...

ABSTRACT Introduction: Recent studies have shown that the likelihood of semitendinosus-gracilis graft rupture is inversely correlated to its diameter. A can be prepared in a five-strand or four-strand fashion increase However, biomechanical superiority grafts still under debate. Objective: This study aimed evaluate characteristics matched and human grafts. Methods: We evaluated tendons harveste...

Objective: Coronary heart disease (CHD) is one of the most common diseases. Coronary angiography (CAG) is an important apparatus used to diagnose and treat this disease. Since angiography is performed through exposure to ionizing radiation, it can cause harmful effects induced by double-stranded breaks in DNA which is potentially life-threatening damage. The aim of the present study is to inves...