A challenge to ultra high field functional magnetic resonance imaging is the predominance of noise associated with physiological processes unrelated to tasks of interest. This degradation in data quality may be partially reversed using a series of preprocessing algorithms designed to retrospectively estimate and remove the effects of these noise sources. However, such algorithms are routinely v...

Time evaluation of wave functions for any quantum mechanical system/particle is essential nevertheless quantum mechanical counterpart of the time dependant classical wave equation does simply not appear. Epistemologically and ontologically considered time dependant momentum operator is initially defined and an Alternative Time Dependant Schrödinger Wave Equation (ATDSWE) is plainly derived. Con...

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

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