The premotor theory of attention suggests that target processing and generation of a saccade to the target are interdependent. Temporally precise transcranial magnetic stimulation (TMS) was delivered over the human frontal eye fields, the area most frequently associated with the premotor theory in association with eye movements, while subjects performed a visually instructed pro-/antisaccade ta...

Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent work on defining a theory of TM. We first present a correctness condition of a TM, ensured by most existing TM implementations. Then, we describe two progress properties that characterize the two main classes of TM implementations: obstructionfree and lock-based TMs. We use thes...

A mixture oftrimethylchlorosilane (TMS-Cl), lithium and tetrahydrofuran (THF) reacts with imines to produce disilyl compound by addition of two trimethylsilyl (TMS) groups to the double bond of the imine. On hydrolysis the TMS on nitrogen is substituted by hydrogen and yields ? -silylamine. In the presence of acetyl chloride (CH COC1), benzene and pyridine, the ?-silyamine produces the corresp...

a mixture oftrimethylchlorosilane (tms-cl), lithium and tetrahydrofuran (thf) reacts with imines to produce disilyl compound by addition of two trimethylsilyl (tms) groups to the double bond of the imine. on hydrolysis the tms on nitrogen is substituted by hydrogen and yields ? -silylamine. in the presence of acetyl chloride (ch coc1), benzene and pyridine, the ?-silyamine produces the correspo...

Transcranial magnetic stimulation (TMS) has been applied to a growing number of psychiatric disorders as a neurophysiological probe, a primary brain-mapping tool and a candidate treatment. Although most investigations have focused on the treatment of major depression, increasing attention has been paid to anxiety disorders. The aim of this study is to long time (for 30 days) effect of repetitiv...

A realistic model of a fixed-charge membrane was constructed to elucidate the principles involved in the Teorell-Meyer-Sievers theory. Polyelectrolyte solutions (polystyrene sulfonic acid or gelatin) were used in a multicompartment cell to serve as the "membrane." The ionic concentration and potential differences between the compartments served as a finite increment approximation to a continuou...

A realistic model of a fixed-charge membrane was constructed to elucidate the principles involved in the Teorell-Meyer-Sievers theory. Polyelectrolyte solutions (polystyrene sulfonic acid or gelatin) were used in a multicompartment cell to serve as the "membrane." The ionic concentration and potential differences between the compartments served as a finite increment approximation to a continuou...

While the frontal eye fields (FEF) are traditionally associated with eye movements, recent work indicates possible roles in controlling selective visual processing. We applied 10 Hz bursts of transcranial magnetic stimulation (TMS) over left or right human FEF while subjects performed a partial-report task that allowed quantitative estimates of top-down control and other parameters affecting vi...

Recent studies using repetitive transcranial magnetic stimulation (TMS) have demonstrated that disruptions of the articulatory motor cortex impair performance in demanding speech perception tasks. These findings have been interpreted as support for the idea that the motor cortex is critically involved in speech perception. However, the validity of this interpretation has been called into questi...

In this paper we present the theory of Timed Modal Specifications (TMS) together with its implementation, the tool Epsilon. TMS and Epsilon are timed extensions of respectively Modal Specifications [Lar90, LT88] and the Tav system [GLZ89, BLS92]. The theory of TMS is an extension of real–timed process calculi with the specific aim of allowing loose or partial specifications. Looseness of specif...