The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy

For two given $\omega$-terms $\alpha$ and $\beta$, the word problem for $\omega$-terms over a variety $\boldsymbol{\mathrm{V}}$ asks whether $\alpha=\beta$ in all monoids in $\boldsymbol{\mathrm{V}}$. We show that the word problem for $\omega$-terms over each level of the Trotter-Weil Hierarchy is decidable. More precisely, for every fixed variety in the Trotter-Weil Hierarchy, our approach yields an algorithm in nondeterministic logarithmic space (NL). In addition, we provide deterministic polynomial time algorithms which are more efficient than straightforward translations of the NL-algorithms. As an application of our results, we show that separability by the so-called corners of the Trotter-Weil Hierarchy is witnessed by $\omega$-terms (this property is also known as $\omega$-reducibility). In particular, the separation problem for the corners of the Trotter-Weil Hierarchy is decidable

Dipole Coupling Effect of Holographic Fermion in the Background of Charged Gauss-Bonnet AdS Black Hole

We investigate the holographic fermions in the charged Gauss-Bonnet $AdS_{d}$ black hole background with the dipole coupling between fermion and gauge field in the bulk. We show that in addition to the strength of the dipole coupling, the spacetime dimension and the higher curvature correction in the gravity background also influence the onset of the Fermi gap and the gap distance. We find that the higher curvature effect modifies the fermion spectral density and influences the value of the Fermi momentum for the appearance of the Fermi surface. There are richer physics in the boundary fermion system due to the modification in the bulk gravity.Comment: 16 pages, accepted for publication in JHE

Closures of regular languages for profinite topologies

The Pin-Reutenauer algorithm gives a method, that can be viewed as a descriptive procedure, to compute the closure in the free group of a regular language with respect to the Hall topology. A similar descriptive procedure is shown to hold for the pseudovariety A of aperiodic semigroups, where the closure is taken in the free aperiodic omega-semigroup. It is inherited by a subpseudovariety of a given pseudovariety if both of them enjoy the property of being full. The pseudovariety A, as well as some of its subpseudovarieties are shown to be full. The interest in such descriptions stems from the fact that, for each of the main pseudovarieties V in our examples, the closures of two regular languages are disjoint if and only if the languages can be separated by a language whose syntactic semigroup lies in V. In the cases of A and of the pseudovariety DA of semigroups in which all regular elements are idempotents, this is a new result.PESSOA French-Portuguese project Egide-Grices 11113YM, "Automata, profinite semigroups and symbolic dynamics".FCT -- Fundação para a Ciência e a Tecnologia, respectively under the projects PEst-C/MAT/UI0144/2011 and PEst-C/MAT/UI0013/2011.ANR 2010 BLAN 0202 01 FREC.AutoMathA programme of the European Science Foundation.FCT and the project PTDC/MAT/65481/2006 which was partly funded by the European Community Fund FEDER

Rutin inhibits the proliferation of murine leukemia WEHI-3 cells in vivo and promotes immune response in vivo

[[abstract]]Flavonoids are polyphenolic compounds found in various foods of plants. Rutin, one of the flavonoids. had been showed induced apoptosis in cancer cells. There is no available information to address rutin affects murine leukemia cells in vivo. In the present study, We are focused on the in vivo effects of rutin on leukemia WEHI-3 cells. The effects of rutin on WEHI-3 in BALB/c mice in vivo were also examined and the results indicated that rutin decreased the percentage of Mac-3 marker, indicating that the differentiation of the precursor of macrophage and T cells was inhibited. The weights of liver and spleen were decreased from rutin-treated groups compared to the control groups and the results indicated that rutin decreased the weight of these organs. One of the major characteristic of WEHI-3 leukemia is the enlarged spleen in murine after i.p. injection of WEHI-3 cells. After the pathological examination, the function of rutin in was observed in the liver and spleen in the mice previously injected with WEHI-3 cells. Rutin Promoted the activity of macrophage phagocytosis in cells which isolated from peritoneal (i.p.). Taken together, rutin can affect WEHI-3 cells in vivo

Berberine induced down-regulation of matrix metalloproteinase-1, -2 and -9 in human gastric cancer cells (SNU-5) in vitro

[[abstract]]Berberine, a yellow benzylisoquinoline alkaloid, is a constituent of Coptis chines and is commonly used in Chinese herbal medicine for patients with gastrointestinal disorders. The pharmacological effects of berberine include anti-inflammation, antidiarrhetic, antimalarial, and even antimicrobial activities. However, its mechanism of action on the cell migration of human gastric cancer SNU-5 cells is not fully understood. The effects of berberine on the percentage of viable cells were examined first and it was found that berberine induced dose-dependent inhibition in human gastric cancer SNU-5 cells. The effect of berberine on the levels of reactive oxygen species (ROS) and matrix metalloproteinase-1, -2, -7 and -9 was then examined using Western blotting and the results showed that berberine induced ROS production for up to 6 hours of incubation. It was also found that berberine induced down-regulation of MMP-1-2, and -9 but did not affect the level of MMP-7. The mRNA levels of MMPs in SNU-5 cells after treatment with berberine for 24 hours were investigated using a polymerase chain reaction and the results showed that berberine inhibited the gene expression of MMP-1, -2 and -9 in human SNU-5 cells but it did not affect MMP-7. In conclusion, berberine appears to exert its anticancer properties by inducing ROS production and prevention of cell migration via inhibition of the gene expression of MMP-1, -2 and -9 in human gastric cancer SNU-5 cancer cells

Measurement of the t(t)over-bar production cross section in the dilepton channel in pp collisions at √s=8 TeV

The top-antitop quark (t (t) over bar) production cross section is measured in proton-proton collisions at root s = 8 TeV with the CMS experiment at the LHC, using a data sample corresponding to an integrated luminosity of 5.3 fb(-1). The measurement is performed by analysing events with a pair of electrons or muons, or one electron and one muon, and at least two jets, one of which is identified as originating from hadronisation of a bottom quark. The measured cross section is 239 +/- 2 (stat.) +/- 11 (syst.) +/- 6 (lum.) pb, for an assumed top-quark mass of 172.5 GeV, in agreement with the prediction of the standard model

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Classifying Non-periodic Sequences by Permutation Transducers

Contains fulltext : 176554.pdf (publisher's version ) (Closed access) Contains fulltext : 176554pre.pdf (preprint version ) (Open Access

Organizational commitment, knowledge sharing and organizational citizenship behaviour: the case of the Taiwanese semiconductor industry

[[abstract]]The semiconductor industry has made great contributions to Taiwan’s economy in the past 20 years. Because of competitive salaries and generous fringe benefits, some famous semiconductor manufacturers have become the best choice for students right after graduation. However, such magnetic effect has gradually faded away in the face of implementation of expensive employee bonuses. In a changeable environment, sharing knowledge will maintain organizational competitiveness and improve employees’ cohesion. As the semiconductor industry is characterized by a low-wage and high-turnover rate, the incurred job insecurities and career uncertainties have begun to force employees to change their cohesion, loyalty to organizations and even to reduce their willingness to share knowledge with others. This study aims to explore the relationships among organizational commitment (OC), knowledge sharing (KS) and organizational citizenship behavior (OCB) in the Taiwanese semiconductor industry. On the basis of 428 subjects, the results show that KS has a partial mediating effect on the OC–OCB relationship.[[notice]]補正完畢[[journaltype]]國外[[incitationindex]]SSCI[[ispeerreviewed]]Y[[booktype]]紙本[[countrycodes]]GB