Rare-earth free sensitizer in NaLuCrF4:Er upconversion material

Upconversion phosphors are known as a material system that can convert near-infrared light into visible/ultraviolet emissions by sequentially absorbing multiple photons. The studies on upconversion materials often use two rare earth (RE) ions as a sensitizer-activator pair. We investigated the influences on luminescence intensity depending on Cr-doping content (x) of hexagonal NaLu_0.98–xCr_xF₄Er_0.02 (x = 0–0.9) upconversion material by substituting Lu³⁺ ions with Cr³⁺in the absence of Gd³⁺. The change in upconversion luminescence intensity appears with saddle-like shape. We suggest that Cr³⁺ ions play the dual role as a constituent in host lattice and a sensitizer in the upconversion process. Optimal conditions for gaining the strongest upconversion emission correspond to x = 0.3–0.5, where there are effective energy transfers between Cr³⁺ and Er³⁺ ions and CrEr dimers. Apart from these values, the emission intensity decreases rapidly which can be ascribed to the absence of multiple-photon absorption for the case of low Cr³⁺ contents, and to the coupling between Cr³⁺ and/or Er³⁺ ions for the case of high Cr³⁺ contents. Magnetization and electron-spin-resonant measurements were performed to understand the correlation between the optical and magnetic properties.     

Pull-Down of Metalloproteins in Their Native States by Using Desthiobiotin-Based Probes

One-third of all proteins are estimated to require metals for structural stability and/or catalytic activity. Desthiobiotin probes containing metal binding groups can be used to capture metalloproteins with exposed active-site metals under mild conditions so as to prevent changes in metallation state. The proof-of-concept was demonstrated with carbonic anhydrase (CA), an open active site, Zn²⁺-containing protein. CA was targeted by using sulfonamide derivatives. Linkers of various lengths and structures were screened to determine the optimal structure for capture of the native protein. The optimized probes could selectively pull down CA from red blood cell lysate and other protein mixtures. Pull-down of differently metallated CAs was also investigated.     

Differential Game for Distributed Power Control in Device-to-Device Communications Underlaying Cellular Networks

Wireless Personal Communications - In the formulating of power control for wireless networks, the radio channel is commonly formulated using static models of optimization or game theory. In these...     

Effect of Supports and Promoters on the Performance of Ni-Based Catalysts in Ethanol Steam Reforming

Ethanol steam reforming (ESR) is one of the potential processes to convert ethanol into valuable products. Hydrogen produced from ESR is considered as green energy for the future and can be an excellent alternative to fossil fuels with the aim of mitigating the greenhouse gas effect. The ESR process has been well studied, using transition metals as catalysts coupled with both acidic and basic oxides as supports. Among various reported transition metals, Ni is an inexpensive material with activity comparable to that of noble metals, showing promising ethanol conversion and hydrogen yields. Additionally, different promoters and supports were utilized to enhance the hydrogen yield and the catalyst stability. This review summarizes and discusses the influences of the supports and promoters of Ni-based catalysts on the ESR process.     

Negation as failure for disjunctive logic programming

We generalize the Negation-as-Failure procedure for disjunctive logic programming. Then we compare our method with related methods in the literature. We also propose a new completion theory for disjunctive logic programs which allows some program clauses to have inclusive meaning and the others exclusive meaning.     

On the SEP of Cooperative Diversity with Opportunistic Relaying

We analyze the exact symbol error probability (SEP) of cooperative diversity with opportunistic amplify-and-forward (AF) relaying. The benefit of this opportunism to the SEP is assessed by comparing with maximal ratio combining of orthogonal multiple AF relay transmissions.     

Simulating a Smartboard by Real-Time Gesture Detection in Lecture Videos

Gesture plays an important role for recognizing lecture activities in video content analysis. In this paper, we propose a real-time gesture detection algorithm by integrating cues from visual, speech and electronic slides. In contrast to the conventional “complete gesture” recognition, we emphasize detection by the prediction from “incomplete gesture”. Specifically, intentional gestures are predicted by the modified hidden Markov model (HMM) which can recognize incomplete gestures before the whole gesture paths are observed. The multimodal correspondence between speech and gesture is exploited to increase the accuracy and responsiveness of gesture detection. In lecture presentation, this algorithm enables the on-the-fly editing of lecture slides by simulating appropriate camera motion to highlight the intention and flow of lecturing. We develop a real-time application, namely simulated smartboard, and demonstrate the feasibility of our prediction algorithm using hand gesture and laser pen with simple setup without involving expensive hardware.      

A Hammerstein-based dynamic model for hysteresis phenomenon

The Hammerstein configuration, which includes a nonlinear static block followed by a linear dynamic block, is applied to model the rate-dependent and temperature-dependent hysteresis phenomenon. The nonlinear static block is realized by a modified Preisach model, which includes both the irreversible and reversible components of magnetization. The linear dynamic block is realized by a low-pass filter, which takes into account the rate-dependent effects of hysteresis. Temperature dependencies are incorporated into the model by fitting the model parameters as piecewise-linear functions of temperature. A procedure is described for the extraction of a single set of model parameters over the frequency, amplitude, and temperature ranges of interest. The theory is verified experimentally     

On Deciding Readiness and Failure Equivalences for Processes

In this paper, we study the complexity of deciding readiness and failure equivalences for finite state processes and recursively defined processes specified by normed context-free grammars (CFGs) in Greibach normal form (GNF). The results are as follows: (1) Readiness and failure equivalences for processes specified by normed GNF CFGs are both undecidable. For this class of processes, the regularity problem with respect to failure or readiness equivalence is also undecidable. Moreover, all these undecidability results hold even for locally unary processes. In the unary case, these problems become decidable. In fact, they are Π^p₂-complete, We also show that with respect to bisimulation equivalence, the regularity for processes specified by normed GNF CFGs is NL-complete. (2) Readiness and failure equivalences for finite state processes are PSPACE-complete. This holds even for locally unary finite state processes. These two equivalences are co-NP-complete for unary finite state processes. Further, for acyclic finite state processes, readiness and failure equivalences are co-NP-complete and they are NL-complete in the unary case. (3) For finite tree processes, we show that finite trace, readiness, and failure equivalences are all L-complete. Further, the results remain true for the unary case. Our results provide a complete characterization of the computational complexity of deciding readiness and failure equivalences for several important classes of processes.