We combine the two existing approaches to the study of concurrency by means of multiset rewriting: multiset rewriting with existential quantification (MSR) and constrained multiset rewriting. We obtain ν-MSR, where we rewrite multisets of atomic formulae, in which terms can only be pure names, where some names can be restricted. We consider the subclass of depth-bounded ν-MSR, for which the int...

Night-Photomonitoring In article number 2210621, Hyungtak Seo, and Mohit Kumar, report long-range impact of the localized inhomogeneous strain-induced flexoelectric potential, which is then used to develop mechanically regulated, self-powered (0 V), ultrafast, broadband (λ = 365–1720 nm), highly responsive pyro-photosensors. A proof-of-concept ultrafast night movement monitors (>720 km h−1), hi...

Experiments were performed on intact and spinalized rats anesthetized with urethane and alpha-chloralose. In intact rats, administration of tizanidine (0.1 mg/kg, i.v.) decreased the mono- (MSR) and polysynaptic reflex potentials (PSR). Blood pressure was initially elevated and then lowered by tizanidine. Although pretreatments with hexamethonium and phentolamine prevented the tizanidine-induce...

Despite the nonlinear nature of turbulence, there is evidence that part energy-transfer mechanisms sustaining wall turbulence can be ascribed to linear processes. The different scenarios stem from stability theory and comprise exponential instabilities, neutral modes, transient growth non-normal operators, parametric instabilities temporal mean-flow variations, among others. These mechanisms, e...

Introduction The steam reforming of alcohols, particularly methanol and ethanol, presents a promising method of producing hydrogen. Due to its high activity at relatively low temperatures, Pd/ZnO has received attention as a methanol steam reforming (MSR) catalyst to produce H2 at very high CO2 selectivity. 1 Pd supported on most other materials dehydrogenates methanol to CO. Similarly, Co catal...

Bulletin of Science, Technology & Society Vol. 26, No. 4, August 2006, 305-313 DOI: 10.1177/0270467606290710 Copyright © 2006 Sage Publications An economically viable and environmental friendly method of generating hydrogen for fuel cells is by the reaction of certain metals with steam, called metalsteam reforming (MSR). This technique does not generate any toxic by-products nor contributes to ...

A Measure of Semantic Relatedness (MSR) automatically determines how close two words are in meaning. MSRs are used in such Natural Language Processing (NLP) problems as word-sense disambiguation or text summarization. To solve such problems may require millions of relatedness scores, but MSR run-time, clearly a major concern, has rarely been considered in NLP research. To evaluate an MSR, one o...

The main thrust of this paper is to investigate the multi-scale retinex (MSR) approach to image enhancement to explain the effect of the processing from a theoretical standpoint. This leads to a new algorithm with fewer arbitrary parameters that is more flexible, maintains colour fidelity, and still preserves the contrast-enhancement benefits of the original MSR method. To accomplish this we id...

Circular RNAs (circRNAs) are involved in the development of various diseases; however, knowledge on circRNAs in osteoarthritis (OA) is limited. This study aims to identify circRNA expression in different regions affected by OA and to explore the function of mechanical stress-related circRNAs (circRNAs-MSR) in cartilage. Bioinformatics was employed to predict the interaction of circRNAs and mRNA...