Sequence tagged microsatellite profiling (STMP) enables the rapid development of large numbers of co-dominant DNA markers, known as sequence tagged microsatellites (STMs). Each STM is amplified by PCR using a single primer specific to the conserved DNA sequence flanking the microsatellite repeat in combination with a universal primer that anchors to the 5'-ends of the microsatellites. It is als...

Software transactional memory (STM) has been proposed to simplify the development and to increase the scalability of concurrent programs. One problem of existing STMs is that of having long-running read transactions co-exist with shorter update transactions. This problem is of practical importance and has so far not been addressed by other papers in this domain. We approach this problem by inve...

Mitochondrial respiration is mediated by a set of multisubunit assemblies of proteins that are embedded in the mitochondrial inner membranes. Respiratory complexes do not only contain central catalytic subunits essential for the bioenergetic transformation, but also many short trans-membrane subunits (sTMs) that are implicated in the proper assembly of complexes. Defects in sTMs have been disco...

There has been a flurry of recent work on the design of high performance software and hybrid hardware/software transactional memories (STMs and HyTMs). This paper reexamines the design decisions behind several of these stateof-the-art algorithms, adopting some ideas, rejecting others, all in an attempt to make STMs faster. The results of our evaluation led us to the design of a transactional lo...

Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the first deterministic specification automata for strict serializability and opacity in STMs. Using an antichain-based tool, we show our deterministic specifications to be equivalent to more intuitive, nondeterministic speci...

Objective: Although disclosure of mistreatment can be beneficial, the effects of disclosure are largely contingent on the quality of responses received. An experimental design was used to evaluate a set of skills-training materials (STMs; Foynes & Freyd, 2010) designed to improve supportive responding to the disclosure of mistreatment experiences. Method: Dyads of university students and commun...

The process of compiler generation from lambda-calculus definitions is studied. The compiling schemes developed utilize as their object language the set of state transition machines (STMs): automata-like transition sets using firstorder arguments. An intermediate definition form, the STM-interpreter, is treated as central to the formulation of STMs. Three compiling schemes are presented: one de...

iNTRODUCTiON State-transition models (STMs) are commonly used in health care to inform funding and reimbursement decisions of new technologies, to optimize the use of limited resources, or to guide public health policies. These models typically simulate progression of events (e.g. disease stage, death) that evolve over time under some uncertainty. The common applications of STMs stipulate that ...

We present the case of a patient with sleep disturbance attributed to exploding head syndrome, recently redefined as episodic cranial sensory shock. The patient, who suffered concomitant migraine, was treated for headache prevention daily single-pulse transcranial magnetic stimulation (sTMS). Following treatment, he reported significant reduction in episodes albeit not his migraine. Neurologist...