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

Synthesis and characterization of hardened Cu-Fe-Ni-P alloy

In the manufacturing industry of electrical contacts, the prohibition of the use of toxic metals (Cd, Be), and desire to avoid the alloying with precious metals (Ag) has created a need for new alloys with good electrical conductivity and high mechanical properties at elevated temperatures. As a potentially useful material for this purpose, we have analyzed the continuously cast Cu-Fe-Ni-P alloy in various heat treatment conditions. Sequence of phase transformations during heat treatment was followed by 4 point D.C. electrical resistivity measuring method, and analyzed by scanning (SEM) and transmission (TEM) electron microscopy. Measurements of Vickers hardness and electrical conductivity after various heat treatment procedures indicate on high potential of Cu-Fe-Ni-P alloys as a material for electrical contacts

Structural and thermodynamic analysis of whiskers on the surface of grey cast iron

The paper focuses, first, on the characterization of the whiskers on the surface of grey cast iron and second, it gives an explanation of whiskers growth based on thermodynamic calculations. The whiskers were observed on the surface of hot plates for the electric stove after black-oxide-coating (blackening) performed the furnace at 650°C in order to produce a protective layer mainly of magnetite (Fe3O4). However, the whiskers caused brown spots on dark grey surface and thus, the surface was aesthetically damaged. The investigations confirmed that whiskers are of hematite (Fe2O3); however, the thermodynamic calculations present that hematite may be formed as a result of the oxidation of magnetite if the partial pressure of oxygen is increased during the blackening

Neural network parametrization of the lepton energy spectrum in semileptonic B meson decays

We construct a parametrization of the lepton energy spectrum in inclusive semileptonic decays of B mesons, based on the available experimental information: moments of the spectrum with cuts, their errors and their correlations, together with kinematical constraints. The result is obtained in the form of a Monte Carlo sample of neural networks trained on replicas of the experimental data, which represents the probability density in the space of lepton energy spectra. This parametrization is then used to extract the b quark mass m_b^{1S} in a way that theoretical uncertainties are minimized, for which the value m_b^{1S}=4.84 \pm 0.14^{exp}\pm 0.05^{th} GeV is obtained.Comment: 32 pages, 22 figures, JHEP3 class. v4 version accepted for publication in JHE

Averages of b-hadron Properties at the End of 2005

This article reports world averages for measurements on b-hadron properties obtained by the Heavy Flavor Averaging Group (HFAG) using the available results as of at the end of 2005. In the averaging, the input parameters used in the various analyses are adjusted (rescaled) to common values, and all known correlations are taken into account. The averages include lifetimes, neutral meson mixing parameters, parameters of semileptonic decays, branching fractions of B meson decays to final states with open charm, charmonium and no charm, and measurements related to CP asymmetries

Unutarnja oksidacija legura srebra s telurom, selenom i sumporom

Silver alloys with tellurium, selenium and sulphur fulfil the conditions for the internal oxidation. Microstructure of these alloys consists of matrix (dilute solid solution) and particles of intermetallic compounds. Internal oxidation of ternary alloys is very similar to that of the binary alloys, but there are also distinctions in thermodynamics properties of alloying elements. At the direct oxidation of the particles of the intermetallic compound the phenomena of the selective oxidation was observed. Concentration of more reactive elements is increasing in the oxidized part of the particles of the intermetallic compound (Te in AgTeSe alloys). Therefore the precipitated oxides formed with diffusional internal oxidation are richer with less reactive alloying element (Se in AgTeSe alloy). In the precipitated oxide particles the concentration of selenium is more than twice higher than of tellurium.Legure srebra s telurom, selenom i sumporom ispunjavaju uvjete za unutarnju oksidaciju. Mirkostruktura ovih legura sastoji se od osnove (razrijeđena kruta otopina) i čestica intermetalnih spojeva. Unutarnja oksidacija ternarnih legura veoma je slična onoj za binarne legure, ali postoje i razlike u termodinamičkim svojstvima legirajućih elemenata. Kod izravne oksidacije čestica intermetalnog spoja zapažena je pojava selektivne oksidacije. Koncentracija reaktivnijih elemenata raste u oksidiranom dijelu čestica intermentalnog spoja (Te u AgTeSe leguri). Prema tome precipitirani oksidi nastali difuzijskom unutarnjom oksidacijom su bogati s manje reaktivnim legirajućim elementom (Se u AgTeSe leguri). U percipitiranim oksidnim česticama koncentracija selena je dvostruko veća nego telura

Inclusive Measure of |V_ub| with the Analytic Coupling Model

By analyzing B -> X_u l nu_l spectra with a model based on soft-gluon resummation and an analytic time-like QCD coupling, we obtain |V_ub| = (3.76 +-0.13 +- 0.22)*10^(-3), where the first and the second error refers to experimental and theoretical errors, respectively. The V_ub value is obtained from the available measured semileptonic branching fractions in limited regions of the phase-space. The distributions in the lepton energy E_l, the hadron invariant mass m_X, the light-cone momentum P_+ = E_X - p_X, together with the double distributions in (m_X,q^2) and (E_l,s_h^max), are used to select the phase-space regions. The q^2 is the dilepton squared momentum and s_h^max is the maximal m_X^2 at fixed q^2 and E_l. The V_ub value obtained is in complete agreement with the value coming from exclusive B decays and from an over-all fit to the Standard Model parameters. We show that the slight disagreement (up to +2 sigma) with respect to previous inclusive measurements is not related to different choices for the b (and c) masses but to a different modelling of the threshold (Sudakov) region.Comment: 19 pages, 2 figures, revised version accepted in Eur.Phys.J.

Search for the h_c meson in B^+- ->h_c K^+-

We report a search for the $h_c$ meson via the decay chain $B^{\pm}\to h_c K^{\pm}$, \etac \gamma with $\eta_c \to K_S^0 K^{\pm} \pi^{\mp}$ and $p\bar{p}$. No significant signals are observed. We obtain upper limits on the branching fractions for $B^{\pm} \to \eta_c\gamma K^{\pm}$ in bins of the $\eta_c\gamma$ invariant mass. The results are based on an analysis of 253 fb$^{-1}$ of data collected by the Belle detector at the KEKB $e^+e^-$ collider.Comment: 12 pages, 6 figures, submitted to Phys. Rev.

Structural and thermodynamic analysis of whiskers on the surface of grey cast iron

The paper focuses, first, on the characterization of the whiskers on the surface of grey cast iron and second, it gives an explanation of whiskers growth based on thermodynamic calculations. The whiskers were observed on the surface of hot plates for the electric stove after black-oxide-coating (blackening) performed the furnace at 650°C in order to produce a protective layer mainly of magnetite (Fe3O4). However, the whiskers caused brown spots on dark grey surface and thus, the surface was aesthetically damaged. The investigations confirmed that whiskers are of hematite (Fe2O3); however, the thermodynamic calculations present that hematite may be formed as a result of the oxidation of magnetite if the partial pressure of oxygen is increased during the blackening