This paper presents a decision-theoretic planning approach for probabilistic environments where the agent’s goal is to win, which we model as maximizing the probability of being above a given reward threshold. In competitive domains, second is as good as last, and it is often desirable to take risks if one is in danger of losing, even if the risk does not pay off very often. Our algorithm maxim...

This study investigates the resistance switching characteristics of Cr2O3-based resistance random access memory (RRAM) with Pt/Cr2O3/TiN and Pt/Cr2O3/Pt structures. Only devices with Pt/Cr2O3/TiN structure exhibit bipolar switching behavior after the forming process because TiN was able to work as an effective oxygen reservoir but Pt was not. Oxygen migration between Cr2O3 and TiN was observed ...

We use convincing experimental evidences to demonstrate that the nonpolar resistive switching phenomenon observed in Cu /ZrO2 :Cu /Pt memory devices conforms to a filament formation and annihilation mechanism. Temperature-dependent switching characteristics show that a metallic filamentary channel is responsible for the low resistance state "ON state#. Further analysis reveals that the physical...

The role of astrocytes in neuronal function has received increasing recognition, but disagreement remains about their function at the circuit level. Here we use in vivo two-photon calcium imaging of neocortical astrocytes while monitoring the activity state of the local neuronal circuit electrophysiologically and optically. We find that astrocytic calcium activity precedes spontaneous circuit s...

Segmenting the acoustic signal in the TIMIT database by a switching state Kalman filter model is reported in this paper. According to the assumption that the high dimensional acoustic feature vector of the LSF (Line Spectrum Frequency) of the speech signal is probably embedded in a low dimensional space, a two dimensional vector is used to represent the continuous state vector in this model. Th...

We present a correct-by-design method of state-dependent control synthesis for sampled switching systems. Given a target region R of the state space, our method builds a capture set S and a control that steers any element of S intoR. The method works by iterated backward reachability fromR. The method is also used to synthesize a recurrence control that makes any state of R return to R infinite...

This paper deals with the performance modeling of the various MAC states as defined by the cdma2000 protocol. Our method uses a composite performance metric which has the capability of proportionally combining three basic parameters: channel utilization, waiting time and the saving in the signalling overhead. The scheduler at the base station is not only responsible for admitting new services i...

We demonstrate read-write-read-erase cyclical mechanical-memory properties of all-thin-film multiferroic heterostructured cantilevers when a high voltage is applied on the PbðZr0:52Ti0:48ÞO3 piezo-film. The device state switching process occurs due to the presence of a hysteresis loop in the piezo-film frequency response. The reference frequency at which the strain-mediated Fe0:7Ga0:3 based mul...