Analog circuits and systems are by nature sensitive to parameter deviations. These variations cause a system behavior differing from the nominal constructed property. In this paper, we discuss and demonstrate the applicability of Affine Arithmetic for analyzing the impact of parameter deviations and uncertainties on system parameters. Affine Arithmetic allows us to model deviations and uncertai...

The main contribution of this dissertation is the design of two new algorithms for automatically synthesizing values of numerical parameters of computational models of complex stochastic systems such that the resultant model meets user-specified behavioral specifications. These algorithms are designed to operate on probabilistic systems – systems that, in general, behave differently under ident...

The main contribution of this dissertation is the design of two new algorithms for automatically synthesizing values of numerical parameters of computational models of complex stochastic systems such that the resultant model meets user-specified behavioral specifications. These algorithms are designed to operate on probabilistic systems – systems that, in general, behave differently under ident...

The Groves-Ledyard mechanism theoretically can solve the \free-rider" problem in public good provision in certain environments. Two questions are of overriding importance in implementing the mechanism. The rst is related to the actual performance of the mechanism in general. The second is the choice of a \punishment parameter", , which is the only parameter that is available for those who may w...

In the present experiment we evaluated the doseresponse effects of estrogen (estradiol benzoate; EB) and tamoxifen (TMX) in modulating the acute behavioral and chronic effects of methamphetamine (MA) upon the nigrostriatal dopaminergic (NSDA) system in ovariectomized (OVX) mice. EB over a range of doses from 1–40 Ìg resulted in a neuroprotective effect upon the NSDA system as defined by both a ...

Understanding HIV transmission dynamics is critical to estimating the potential population-wide impact of HIV prevention and treatment interventions. We developed an individual-based simulation model of the heterosexual HIV epidemic in South Africa and linked it to the previously published Cost-Effectiveness of Preventing AIDS Complications (CEPAC) International Model, which simulates the natur...

behavioral problems in cats have drawn more attention in recent years since they affect the cat-owner relationship. this study was designed to study the rate of cats with undesirable behaviors according to their owners. frequency of behavioral problems in 167 cats attending small animal hospital, faculty of veterinary medicine, university of tehran, was evaluated using a questionnaire. accordin...

Disproportionate reactions to unexpected stimuli in the environment are a cardinal symptom of posttraumatic stress disorder (PTSD). Here, we test whether these heightened responses are associated with disruptions in distinct components of reinforcement learning. Specifically, using functional neuroimaging, a loss-learning task, and a computational model-based approach, we assessed the mechanist...

The spontaneous behavioral responses of individuals to the progress of an epidemic are recognized to have a significant impact on how the infection spreads. One observation is that, even if the infection strength is larger than the classical epidemic threshold, the initially growing infection can diminish as the result of preventive behavioral patterns adopted by the individuals. In order to in...