PURPOSE To computationally separate dynamic brain functional BOLD responses from static background in a brain functional activity for forward fMRI signal analysis and inverse mapping. METHODS A brain functional activity is represented in terms of magnetic source by a perturbation model: χ = χ0 +δχ, with δχ for BOLD magnetic perturbations and χ0 for background. A brain fMRI experiment produces...

Some cognitive neuroscientific hypotheses might concern neural responses occurring during particular periods of time in a behavioral trial. Here, these particular periods of time are referred to as temporal components of the trial. A difficulty in using BOLD fMRI to test hypotheses about neural responses during temporal components is that some information is irretrievably lost when neural respo...

A switched capacitor circuit which simulates Frequency Dependant Negative Resistor is proposed. The circuit is controlled by three phases clock and needs one unity gain buffer. A comparison among SC FDNRs in other references is shown. SWITCAP simulation of SC filter using these circuits are also shown. Key-Words; Switched-Capacitor(SC) Frequency Dependant Negative Resistor(FDNR) Filter immittan...

The main objective of this paper is to use ant optimized neural networks to generate artificial earthquake records. In this regard, training accelerograms selected according to the site geology of recorder station and Wavelet Packet Transform (WPT) used to decompose these records. Then Artificial Neural Networks (ANN) optimized with Ant Colony Optimization and resilient Backpropagation algorith...

While methods of code abstraction and reuse are widespread and well researched, methods of proof abstraction and reuse are still emerging. We consider the use of dependent types for this purpose, introducing a completely mechanical approach to proof composition. We show that common techniques for abstracting algorithms over data structures naturally translate to abstractions over proofs. We fir...

The problem considered in this paper is the single server bulk service queuing system characterized by (i) Hyper-Poisson arrival time distribution with k branches, the mean arrival rates depending upon the state of the system; (ii) first come, first served queue discipline; (iii) exponential service time distribution, the mean service rate depending upon the state of the system; and (iv) finite...