Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall some TM correctness properties and then overview results on the inherent power and limitations of TMs.

Adolf Meyer (1866-1950) exercised considerable influence over the development of Anglo-American psychiatry during the first half of the twentieth century. The concepts and techniques he implemented at his prominent Phipps Psychiatric Clinic at Johns Hopkins remain important to psychiatric practice and neuro-scientific research today. In the 1890s, Meyer revised scientific medicine's traditional...

In this paper we report on an application and extension of the theory of Timed Modal Specifications (TMS) and its associated verification tool Epsilon. The novel feature with which Epsilon has been extended is the ability to automatically generate diagnostic information in cases of erroneous refinement steps.

The theory of primitive BCH-codes is used to construct linear tms-nets. The codes provide explicit descriptions of ordered orthogonal arrays of low depth. In most cases a Gilbert-Varshamov theorem guarantees the existence of the net. In certain favorable circumstances we obtain explicit descriptions of the nets.

Are we all synaesthetes? Weakening the case for 'weak synaesthesia' Synaesthesia quotient: individual index of expression of general neurocognitive aspects in developmental synaesthesia and its methodological implications Synaesthesia reclassified: From canonical to borderline cases of 'sensory unions' The sound of size: combined TMS-EEG results on pitch-size associations support the spectrum t...

We review past results and present novel data to illustrate different ways in which TMS can be used to study neural plasticity. Procedural learning during the serial reaction time task (SRTT) is used as a model of neural plasticity to illustrate the applications of TMS. These different applications of TMS represent principles of use that we believe are applicable to studies of cognitive neurosc...

Abstract Objective: Since the development of new deep brain stimulation (DBS) devices in recent years, there is an increased need for assessing safety combination with transcranial magnetic (TMS). Methods: We applied a combined ex vivo and computational approach to investigate TMS using Boston Scientific segmented electrode. TMS-induced current was measured between electrode lead extension, dif...

The Doob–Meyer decomposition theorem opened the way towards the theory of stochastic integration with respect to square integrable martingales and—consequently—semimartingales, as described in the seminal paper [7]. According to Kallenberg [4], this theorem is “the cornerstone of the modern probability theory”. It is therefore not surprising that many proofs of it are known. To the author’s kno...

Transactive memory systems (TMS) are systems of directories that are used to locate and use knowledge in groups. Previous research indicates that, by supporting group cognitive activities, TMS are important determinants of group performance. This paper applies the concept of TMS to knowledge sharing in organizations. The three process dimensions of TMS – directory maintenance, information stora...

We report a new strategy that uses N-trimethylsilyl (N-TMS) amine to mediate controlled ring-opening polymerization of amino acid N-carboxyanhydrides (NCAs). This polymerization proceeds via a unique, trimethylsilyl carbamate (TMS-CBM) propagating group that results from the cleavage of the Si-N bond of N-TMS amine followed by NCA ring opening. Propagation of the polypeptide chains proceeds thr...