growing evidence suggests that serotonin plays an important role in learning and memory and all its receptors might be implicated in this process. the present study aimed at investigating and comparing the possible involvement of 5-ht 3 and 5-ht 4 receptor (r) agonists/antagonists upon consolidation of inhibitory avoidance memory in the pre-limbic (pl) area. bilateral intra-pl microinjections o...

Partial-order reduction is a well-known technique to cope with the state-space-explosion problem in the verification of concurrent systems. Using the hierarchical structure of concurrent systems, we present an enhancement of the partial-order-reduction scheme of [12, 19]. A prototype of the new algorithm has been implemented on top of the verification tool SPIN. The first experimental results a...

Reduction of energy consumption has played a significant role in industry. This paper describes a study on reducing energy consumption by machining process improvements. Methods of reducing energy consumption in a manufacturing line consisting of multiple machines are verified. First, to consolidate the processes, a series of horizontal machining centers are replaced with a 5axis machining cent...

We propose an algorithm based on singular value decomposition (SVD) to reduce the number of process variation variables. With few process variation variables, fault simulation and timing analysis under process variation can be performed efficiently. Our algorithm reduces the number of process variation variables while preserving the delay function with respect to process variation. Compared wit...

In the analysis of combustion processes, simulation is a costefficient tool that complements experimental testing. The simulation models must be precise if subtle differences are to be detected. On the other hand, computational evaluation of precise models typically requires substantial effort. To escape the computational bottleneck, reduced chemical schemes, for example, ILDM-based methods or ...

1-D nanostructures, such as nanowires and nanotubes, have been extensively studied due to their potentials as building blocks for fabricating electronic, magnetic, electrooptic, and electrochemical nanodevices. Especially, wide-bandgap semiconductor nanowires and nanorods including ZnO and SnO2 were reported significantly. As for their synthetic routes, a carbothermal reduction process has been...

The foundation of a process model lies in its structural specifications. Using a generic process modeling language for workflows, we show how a structural specification may contain deadlock and lack of synchronization conflicts that could compromise the correct execution of workflows. In general, identification of such conflicts is a computationally complex problem and requires development of e...

Stochastic (Markovian) process algebra extend classical process algebra with probabilistic exponentially distributed time durations denoted by rates (the parameter of the exponential distribution). Defining a semantics for such an algebra, so to derive Continuous Time Markov Chains from system specifications, requires dealing with transitions labeled by rates. With respect to standard process a...