Three-dimensional bulk band dispersion in polar BiTeI with giant Rashba-type spin splitting

In layered polar semiconductor BiTeI, giant Rashba-type spin-split band dispersions show up due to the crystal structure asymmetry and the strong spin-orbit interaction. Here we investigate the 3-dimensional (3D) bulk band structures of BiTeI using the bulk-sensitive $h\nu$-dependent soft x-ray angle resolved photoemission spectroscopy (SX-ARPES). The obtained band structure is shown to be well reproducible by the first-principles calculations, with huge spin splittings of ${\sim}300$ meV at the conduction-band-minimum and valence-band-maximum located in the $k_z=\pi/c$ plane. It provides the first direct experimental evidence of the 3D Rashba-type spin splitting in a bulk compound.Comment: 9 pages, 4 figure

Sequent Calculus in the Topos of Trees

Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that the semantics of the propositional fragment of this logic can be given by linear converse-well-founded intuitionistic Kripke frames, so this logic is a marriage of the intuitionistic modal logic KM and the intermediate logic LC. We therefore call this logic $\mathrm{KM}_{\mathrm{lin}}$. We give a sound and cut-free complete sequent calculus for $\mathrm{KM}_{\mathrm{lin}}$ via a strategy that decomposes implication into its static and irreflexive components. Our calculus provides deterministic and terminating backward proof-search, yields decidability of the logic and the coNP-completeness of its validity problem. Our calculus and decision procedure can be restricted to drop linearity and hence capture KM.Comment: Extended version, with full proof details, of a paper accepted to FoSSaCS 2015 (this version edited to fix some minor typos

Field-induced segregation of ferromagnetic nano-domains in Pr0.5_{0.5}Sr0.5_{0.5}MnO3_3, detected by 55^{55}Mn NMR

The antiferromagnetic manganite Pr$_{0.5}$Sr$_{0.5}$MnO$_3$ was investigated at low temperature by means of magnetometry and $^{55}$Mn NMR. A field-induced transition to a ferromagnetic state is detected by magnetization measurements at a threshold field of a few tesla. NMR shows that the ferromagnetic phase develops from zero field by the nucleation of microscopic ferromagnetic domains, consisting of an inhomogeneous mixture of tilted and fully aligned parts. At the threshold the NMR spectrum changes discontinuously into that of a homogeneous, fully aligned, ferromagnetic state, suggesting a percolative origin for the ferromagnetic transition.Comment: Latex 2.09 language. 4 pages, 3 figures, 23 references. Submitted to physical Review

Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Neoadjuvant Chemotherapy with or without Concurrent Hormone Therapy in Estrogen Receptor-Positive Breast Cancer:NACED-Randomized Multicenter Phase II Trial

Although in the neoadjuvant setting for estrogen receptor (ER)-positive breast cancers, chemotherapy or hormone therapy alone does not result in satisfactory tumor response, it is unknown whether concurrent chemo-endocrine therapy is superior to chemotherapy alone in clinical outcomes. We conducted a randomized phase II trial to test the responses of ER-positive patients to concurrent administration of chemo-endocrine therapy in the neoadjuvant setting. Women with stage II-III, ER-positive, invasive breast cancer (n=28) received paclitaxel followed by fluorouracil, epirubicin, cyclophosphamide (T-FEC) and were randomized to receive concurrent chemo-endocrine therapy consisting of goserelin administered subcutaneously for premenopausal women or an aromatase inhibitor for postmenopausal women. The primary endpoint was the pathological complete response (pCR) rate after neoadjuvant therapy. Twenty-eight patients were randomized. There were no significant differences in pCR rate between the concurrent group (12.5%;2/16) and the chemotherapy alone group (8.3%;1/12). Tumor size after therapy was significantly reduced in the concurrent therapy group (p=0.035), but not in the chemotherapy-alone group (p=0.622). Neoadjuvant chemotherapy with concurrent hormone therapy provided no significant improvement in pCR rate in ER-positive breast cancers. These preliminary results should be followed up by further studies

Consequences of Kaizen Practices in MSMEs in the Philippines: The Case of the Manufacturing Productivity Extension Program (MPEX)

The Manufacturing Productivity Extension Program (MPEX) is a fully subsidized public-instigated productivity improvement program directed toward the micro, small, and medium enterprise (MSME) sector. While not advertised and packaged as a Kaizen initiative, it has all the elements of the Kaizen philosophy. Based on survey responses from 64 MPEX beneficiaries and 47 non-MPEX beneficiaries, the study showed that MPEX increased the number of product lines implying that Kaizen practice leads to product innovation among firms. Due to data and confounding issues, significant difference in productivity in terms of number of workers and sales per worker was not established. Firm asset size was implied to influence the capability to implement Kaizen. Regulatory compliance and customer demand requirements and entrepreneurial capacity are catalysts for enabling, adopting, and sustaining Kaizen implementation