Weighted Logics for Nested Words and Algebraic Formal Power Series

Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show that regular nested word series coincide with series definable in weighted logics as introduced by Droste and Gastin. For this we establish a connection between nested words and the free bisemigroup. Applying our result, we obtain characterizations of algebraic formal power series in terms of weighted logics. This generalizes results of Lautemann, Schwentick and Therien on context-free languages

Brake Wear Particle Emissions of a Passenger Car Measured on a Chassis Dynamometer

Brake wear emissions with a special focus on particle number (PN) concentrations were investigated during a chassis dynamometer measurement campaign. A recently developed, well-characterized, measurement approach was applied to measure brake particles in a semi-closed vehicle setup. Implementation of multiple particle measurement devices allowed for simultaneous measurement of volatile and solid particles. Estimated PN emission factors for volatile and solid particles differed by up to three orders of magnitude with an estimated average solid particle emission factor of 3∙109 # km−1 brake−1 over a representative on-road brake cycle. Unrealistic high brake temperatures may occur and need to be ruled out by comparison with on-road temperature measurements. PN emissions are strongly temperature dependent and this may lead to its overestimation. A high variability for PN emissions was found when volatile particles were not removed. Volatiles were observed under high temperature conditions only which are not representative of normal driving conditions. The coefficient of variation for PN emissions was 1.3 without catalytic stripper and 0.11 with catalytic stripper. Investigation of non-braking sections confirmed that particles may be generated at the brake even if no brakes are applied. These "off-brake-event" emissions contribute up to about 30% to the total brake PM10 emission

Definable transductions and weighted logics for texts

AbstractA text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduce an algebraic notion of recognizability following Reutenauer and Bozapalidis as well as weighted automata for texts combining an automaton model of Lodaya and Weil with a model of Ésik and Németh. After that we show that both formalisms describe the text series definable in a certain fragment of weighted logics as introduced by Droste and Gastin. In order to do so, we study certain definable transductions and show that they are compatible with weighted logics

Weighted Automata and Logics for Infinite Nested Words

Nested words introduced by Alur and Madhusudan are used to capture structures with both linear and hierarchical order, e.g. XML documents, without losing valuable closure properties. Furthermore, Alur and Madhusudan introduced automata and equivalent logics for both finite and infinite nested words, thus extending B\"uchi's theorem to nested words. Recently, average and discounted computations of weights in quantitative systems found much interest. Here, we will introduce and investigate weighted automata models and weighted MSO logics for infinite nested words. As weight structures we consider valuation monoids which incorporate average and discounted computations of weights as well as the classical semirings. We show that under suitable assumptions, two resp. three fragments of our weighted logics can be transformed into each other. Moreover, we show that the logic fragments have the same expressive power as weighted nested word automata.Comment: LATA 2014, 12 page

Zitterbewegung in External Magnetic Field: Classic versus Quantum Approach

We investigate variations of the Zitterbewegung frequency of electron due to an external static and uniform magnetic field employing the expectation value quantum approach, and compare our results with the classical model of spinning particles. We demonstrate that these two so far compatible approaches are not in agreement in the presence of an external uniform static magnetic field, in which the classical approach breaks the usual symmetry of free particles and antiparticles states, i.e. it leads to CP violation. Hence, regarding the Zitterbewegung frequency of electron, the classical approach in the presence of an external magnetic field is unlikely to correctly describe the spin of electron, while the quantum approach does, as expected. We also show that the results obtained via the expectation value are in close agreement with the quantum approach of the Heisenberg picture derived in the literature. However, the method we use is capable of being compared with the classical approach regarding the spin aspects. The classical interpretation of spin produced by the altered Zitterbewegung frequency, in the presence of an external magnetic field, are discussed.Comment: 16 pages, no figure

Low Mannose-Binding Lectin Concentration Is Associated with Severe Infection in Patients with Hematological Cancer Who Are Undergoing Chemotherapy

Background. Mannose-binding lectin (MBL) is a serum lectin involved in innate immune response. Low serum MBL concentration may constitute a risk factor for infection in patients receiving myelosuppressive chemotherapy. Methods. We conducted a prospective, observational study that assessed MBL concentration as a risk factor for infection in patients with hematological malignancy who were hospitalized to undergo at least 1 chemotherapy cycle. MBL deficiency was defined using an algorithm that considered the serum MBL concentration and the MBL genotype. The primary end point was the ratio of duration of febrile neutropenia to the duration of neutropenia. Secondary end points included the incidence of severe infection (e.g., sepsis, pneumonia, bacteremia, and invasive fungal infection). Logistic regression analysis was conducted, and Fisher's exact test was used to analyze binary outcomes, and Kaplan-Meier estimates and log rank tests were used for time-to-event variables. Results. We analyzed 255 patients who received 569 cycles of chemotherapy. The median duration of neutropenia per cycle was 7 days (interquartile range, 0-13 days). Sixty-two patients (24%) were found to have MBL deficiency. Febrile neutropenia occurred at least once in 200 patients. No difference in the primary outcome was seen. The incidence of severe infection was higher among MBL-deficient patients than among non-MBL-deficient patients (1.96 vs. 1.34 cases per 100 days for analysis of all patients [P = .008] and 1.85 vs. 0.94 cases per 100 days excluding patients with acute leukemia [P < .001]). Conclusions. MBL deficiency does not predispose adults with hematological cancer to more-frequent or more-prolonged febrile episodes during myelosuppressive chemotherapy, but MBL-deficient patients have a greater number of severe infections and experience their first severe infection earlier, compared with nondeficient patient

Biological response of an in vitro human 3D lung cell model exposed to brake wear debris varies based on brake pad formulation

Wear particles from automotive friction brake pads of various sizes, morphology, and chemical composition are significant contributors towards particulate matter. Knowledge concerning the potential adverse effects following inhalation exposure to brake wear debris is limited. Our aim was, therefore, to generate brake wear particles released from commercial low-metallic and non-asbestos organic automotive brake pads used in mid-size passenger cars by a full-scale brake dynamometer with an environmental chamber simulating urban driving and to deduce their potential hazard in vitro. The collected fractions were analysed using scanning electron microscopy via energy-dispersive X-ray spectroscopy (SEM-EDS) and Raman microspectroscopy. The biological impact of the samples was investigated using a human 3D multicellular model consisting of human epithelial cells (A549) and human primary immune cells (macrophages and dendritic cells) mimicking the human epithelial tissue barrier. The viability, morphology, oxidative stress, and (pro-)inflammatory response of the cells were assessed following 24 h exposure to similar to 12, similar to 24, and similar to 48 A mu g/cm(2) of non-airborne samples and to similar to 3.7 A mu g/cm(2) of different brake wear size fractions (2-4, 1-2, and 0.25-1 A mu m) applying a pseudo-air-liquid interface approach. Brake wear debris with low-metallic formula does not induce any adverse biological effects to the in vitro lung multicellular model. Brake wear particles from non-asbestos organic formulated pads, however, induced increased (pro-)inflammatory mediator release from the same in vitro system. The latter finding can be attributed to the different particle compositions, specifically the presence of anatase.Web of Science9272351233

Weighted Logics for Nested Words and Algebraic Formal Power Series

Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show that regular nested word series coincide with series definable in weighted logics as introduced by Droste and Gastin. For this we establish a connection between nested words and the free bisemigroup. Applying our result, we obtain characterizations of algebraic formal power series in terms of weighted logics. This generalizes results of Lautemann, Schwentick and Therien on context-free languages