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...

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...

OBJECTIVES To approximate methods for human transcranial magnetic stimulation (TMS) in rats, we tested whether lateralized cortical stimulation resulting in selective activation of one forelimb contralateral to the site of stimulation could be achieved by TMS in the rat. METHODS Motor evoked potentials (MEP) were recorded from the brachioradialis muscle bilaterally in adult male anesthetized ...

The concurrent combination of transcranial magnetic stimulation (TMS) with electroencephalography (TMS-EEG) is a powerful technology for characterizing and modulating brain networks across developmental, behavioral, and disease states. Given the global initiatives in mapping the human brain, recognition of the utility of this technique is growing across neuroscience disciplines. Importantly, TM...

Auditory cortex pertains to the processing of sound, which is at the basis of speech or music-related processing. However, despite considerable recent progress, the functional properties and lateralization of the human auditory cortex are far from being fully understood. Transcranial Magnetic Stimulation (TMS) is a non-invasive technique that can transiently or lastingly modulate cortical excit...