Optimization of the Manufacturing Process Thin-walled Stainless Steel Sleeves

Bakalářská práce se zabývá návrhem a optimalizací výrobního postupu tenkostěnných pouzder z korozivzdorné oceli. Hlavním úkolem je dosáhnout požadované kvality obrobků. Práce teoreticky analyzuje vstupy ovlivňující proces výroby a optimalizaci řezných podmínek. Praktická část se věnuje volbě materiálu, strojů a nástrojů. Závěr práce obsahuje výrobní postupy a technicko-ekonomické zhodnocení navržených postupů.Bachelor thesis deals with proposal and optimization of manufacturing process of thin-walled sleeves made from stainless steel. Main objective is manage of required quality of workpieces. Thesis theoreticaly analyzes inputs which influence the process of manufacturing and optimization of cutting contidions. Practical part is dedicated to selecting of material, machines and tools. Conlusin of thesis contains manufacturing processes and technical-economic evaluation of proposed processes.346 - Katedra obrábění, montáže a strojírenské metrologievelmi dobř

Guess & Sketch: Language Model Guided Transpilation

Maintaining legacy software requires many software and systems engineering hours. Assembly code programs, which demand low-level control over the computer machine state and have no variable names, are particularly difficult for humans to analyze. Existing conventional program translators guarantee correctness, but are hand-engineered for the source and target programming languages in question. Learned transpilation, i.e. automatic translation of code, offers an alternative to manual re-writing and engineering efforts. Automated symbolic program translation approaches guarantee correctness but struggle to scale to longer programs due to the exponentially large search space. Their rigid rule-based systems also limit their expressivity, so they can only reason about a reduced space of programs. Probabilistic neural language models (LMs) produce plausible outputs for every input, but do so at the cost of guaranteed correctness. In this work, we leverage the strengths of LMs and symbolic solvers in a neurosymbolic approach to learned transpilation for assembly code. Assembly code is an appropriate setting for a neurosymbolic approach, since assembly code can be divided into shorter non-branching basic blocks amenable to the use of symbolic methods. Guess & Sketch extracts alignment and confidence information from features of the LM then passes it to a symbolic solver to resolve semantic equivalence of the transpilation input and output. We test Guess & Sketch on three different test sets of assembly transpilation tasks, varying in difficulty, and show that it successfully transpiles 57.6% more examples than GPT-4 and 39.6% more examples than an engineered transpiler. We also share a training and evaluation dataset for this task

Canonical Wnt signaling negatively modulates regulatory T cell function

Foxp3 is crucial for both the development and function of regulatory T (Treg) cells; however, the posttranslational mechanisms regulating Foxp3 transcriptional output remain poorly defined. Here, we demonstrate that Tcell factor 1 (TCF1) and Foxp3 associates in Treg cells and that active Wnt signaling disrupts Foxp3 transcriptional activity. A global chromatin immunoprecipitation sequencing comparison in Treg cells revealed considerable overlap between Foxp3 and Wnt target genes. The activation of Wnt signaling reduced Treg-mediated suppression both invitro and invivo, whereas disruption of Wnt signaling in Treg cells enhanced their suppressive capacity. The activation of effector Tcells increased Wnt3a production, and Wnt3a levels were found to be greatly increased in mononuclear cells isolated from synovial fluid versus peripheral blood of arthritis patients. We propose a model in which Wnt produced under inflammatory conditions represses Treg cell function, allowing a productive immune response, but, if uncontrolled, could lead to the development of autoimmunity

Les droits disciplinaires des fonctions publiques : « unification », « harmonisation » ou « distanciation ». A propos de la loi du 26 avril 2016 relative à la déontologie et aux droits et obligations des fonctionnaires

The production of tt‾ , W+bb‾ and W+cc‾ is studied in the forward region of proton–proton collisions collected at a centre-of-mass energy of 8 TeV by the LHCb experiment, corresponding to an integrated luminosity of 1.98±0.02 fb−1 . The W bosons are reconstructed in the decays W→ℓν , where ℓ denotes muon or electron, while the b and c quarks are reconstructed as jets. All measured cross-sections are in agreement with next-to-leading-order Standard Model predictions.The production of $t\overline{t}$, $W+b\overline{b}$ and $W+c\overline{c}$ is studied in the forward region of proton-proton collisions collected at a centre-of-mass energy of 8 TeV by the LHCb experiment, corresponding to an integrated luminosity of 1.98 $\pm$ 0.02 \mbox{fb}^{-1}. The $W$ bosons are reconstructed in the decays $W\rightarrow\ell\nu$, where $\ell$ denotes muon or electron, while the $b$ and $c$ quarks are reconstructed as jets. All measured cross-sections are in agreement with next-to-leading-order Standard Model predictions

A study of CP violation in B-+/- -> DK +/- and B-+/- -> D pi(+/-) decays with D -> (KSK +/-)-K-0 pi(-/+) final states

A first study of CP violation in the decay modes $B^\pm\to [K^0_{\rm S} K^\pm \pi^\mp]_D h^\pm$ and $B^\pm\to [K^0_{\rm S} K^\mp \pi^\pm]_D h^\pm$, where $h$ labels a $K$ or $\pi$ meson and $D$ labels a $D^0$ or $\overline{D}^0$ meson, is performed. The analysis uses the LHCb data set collected in $pp$ collisions, corresponding to an integrated luminosity of 3 fb$^{-1}$. The analysis is sensitive to the CP-violating CKM phase $\gamma$ through seven observables: one charge asymmetry in each of the four modes and three ratios of the charge-integrated yields. The results are consistent with measurements of $\gamma$ using other decay modes

Study of the rare B-s(0) and B-0 decays into the pi(+) pi(-) mu(+) mu(-) final state

A search for the rare decays $B_s^0 \to \pi^+\pi^-\mu^+\mu^-$ and $B^0 \to \pi^+\pi^-\mu^+\mu^-$ is performed in a data set corresponding to an integrated luminosity of 3.0 fb$^{-1}$ collected by the LHCb detector in proton-proton collisions at centre-of-mass energies of 7 and 8 TeV. Decay candidates with pion pairs that have invariant mass in the range 0.5-1.3 GeV/$c^2$ and with muon pairs that do not originate from a resonance are considered. The first observation of the decay $B_s^0 \to \pi^+\pi^-\mu^+\mu^-$ and the first evidence of the decay $B^0 \to \pi^+\pi^-\mu^+\mu^-$ are obtained and the branching fractions are measured to be $\mathcal{B}(B_s^0 \to \pi^+\pi^-\mu^+\mu^-)=(8.6\pm 1.5\,({\rm stat}) \pm 0.7\,({\rm syst})\pm 0.7\,({\rm norm}))\times 10^{-8}$ and $\mathcal{B}(B^0 \to \pi^+\pi^-\mu^+\mu^-)=(2.11\pm 0.51\,({\rm stat}) \pm 0.15\,({\rm syst})\pm 0.16\,({\rm norm}) )\times 10^{-8}$, where the third uncertainty is due to the branching fraction of the decay $B^0\to J/\psi(\to \mu^+\mu^-)K^*(890)^0(\to K^+\pi^-)$, used as a normalisation.A search for the rare decays Bs0→π+π−μ+μ− and B0→π+π−μ+μ− is performed in a data set corresponding to an integrated luminosity of 3.0 fb−1 collected by the LHCb detector in proton–proton collisions at centre-of-mass energies of 7 and 8 TeV . Decay candidates with pion pairs that have invariant mass in the range 0.5–1.3 GeV/c2 and with muon pairs that do not originate from a resonance are considered. The first observation of the decay Bs0→π+π−μ+μ− and the first evidence of the decay B0→π+π−μ+μ− are obtained and the branching fractions, restricted to the dipion-mass range considered, are measured to be B(Bs0→π+π−μ+μ−)=(8.6±1.5 (stat)±0.7 (syst)±0.7(norm))×10−8 and B(B0→π+π−μ+μ−)=(2.11±0.51(stat)±0.15(syst)±0.16(norm))×10−8 , where the third uncertainty is due to the branching fraction of the decay B0→J/ψ(→μ+μ−)K⁎(892)0(→K+π−) , used as a normalisation.A search for the rare decays Bs0→π+π−μ+μ− and B0→π+π−μ+μ− is performed in a data set corresponding to an integrated luminosity of 3.0 fb−1 collected by the LHCb detector in proton–proton collisions at centre-of-mass energies of 7 and 8 TeV . Decay candidates with pion pairs that have invariant mass in the range 0.5–1.3 GeV/c2 and with muon pairs that do not originate from a resonance are considered. The first observation of the decay Bs0→π+π−μ+μ− and the first evidence of the decay B0→π+π−μ+μ− are obtained and the branching fractions, restricted to the dipion-mass range considered, are measured to be B(Bs0→π+π−μ+μ−)=(8.6±1.5 (stat)±0.7 (syst)±0.7(norm))×10−8 and B(B0→π+π−μ+μ−)=(2.11±0.51(stat)±0.15(syst)±0.16(norm))×10−8 , where the third uncertainty is due to the branching fraction of the decay B0→J/ψ(→μ+μ−)K⁎(892)0(→K+π−) , used as a normalisation.A search for the rare decays $B_s^0 \to \pi^+\pi^-\mu^+\mu^-$ and $B^0 \to \pi^+\pi^-\mu^+\mu^-$ is performed in a data set corresponding to an integrated luminosity of 3.0 fb$^{-1}$ collected by the LHCb detector in proton-proton collisions at centre-of-mass energies of 7 and 8 TeV. Decay candidates with pion pairs that have invariant mass in the range 0.5-1.3 GeV/$c^2$ and with muon pairs that do not originate from a resonance are considered. The first observation of the decay $B_s^0 \to \pi^+\pi^-\mu^+\mu^-$ and the first evidence of the decay $B^0 \to \pi^+\pi^-\mu^+\mu^-$ are obtained and the branching fractions, restricted to the dipion-mass range considered, are measured to be $\mathcal{B}(B_s^0 \to \pi^+\pi^-\mu^+\mu^-)=(8.6\pm 1.5\,({\rm stat}) \pm 0.7\,({\rm syst})\pm 0.7\,({\rm norm}))\times 10^{-8}$ and $\mathcal{B}(B^0 \to \pi^+\pi^-\mu^+\mu^-)=(2.11\pm 0.51\,({\rm stat}) \pm 0.15\,({\rm syst})\pm 0.16\,({\rm norm}) )\times 10^{-8}$, where the third uncertainty is due to the branching fraction of the decay $B^0\to J/\psi(\to \mu^+\mu^-)K^*(890)^0(\to K^+\pi^-)$, used as a normalisation

Angular analysis of the B-0 -> K*(0) e(+) e(-) decay in the low-q(2) region

An angular analysis of the $B^0 \rightarrow K^{*0} e^+ e^-$ decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 {\mbox{fb}^{-1}}, collected by the LHCb experiment in $pp$ collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared ($q^2$) interval between 0.002 and 1.120${\mathrm{\,Ge\kern -0.1em V^2\!/}c^4}$. The angular observables $F_{\mathrm{L}}$ and $A_{\mathrm{T}}^{\mathrm{Re}}$ which are related to the $K^{*0}$ polarisation and to the lepton forward-backward asymmetry, are measured to be $F_{\mathrm{L}}= 0.16 \pm 0.06 \pm0.03$ and $A_{\mathrm{T}}^{\mathrm{Re}} = 0.10 \pm 0.18 \pm 0.05$, where the first uncertainty is statistical and the second systematic. The angular observables $A_{\mathrm{T}}^{(2)}$ and $A_{\mathrm{T}}^{\mathrm{Im}}$ which are sensitive to the photon polarisation in this $q^2$ range, are found to be $A_{\mathrm{T}}^{(2)} = -0.23 \pm 0.23 \pm 0.05$ and $A_{\mathrm{T}}^{\mathrm{Im}} =0.14 \pm 0.22 \pm 0.05$. The results are consistent with Standard Model predictions.An angular analysis of the B$^{0}$ → K^{*}^{0} e$^{+}$ e$^{−}$ decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 fb$^{−1}$, collected by the LHCb experiment in pp collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared (q$^{2}$) interval between 0.002 and 1.120 GeV$^{2}$ /c$^{4}$. The angular observables F$_{L}$ and A$_{T}^{Re}$ which are related to the K^{*}^{0} polarisation and to the lepton forward-backward asymmetry, are measured to be F$_{L}$ = 0.16 ± 0.06 ± 0.03 and A$_{T}^{Re}$  = 0.10 ± 0.18 ± 0.05, where the first uncertainty is statistical and the second systematic. The angular observables A$_{T}^{(2)}$ and A$_{T}^{Im}$ which are sensitive to the photon polarisation in this q$^{2}$ range, are found to be A$_{T}^{(2)}$  = − 0.23 ± 0.23 ± 0.05 and A$_{T}^{Im}$  = 0.14 ± 0.22 ± 0.05. The results are consistent with Standard Model predictions.An angular analysis of the $B^0 \rightarrow K^{*0} e^+ e^-$ decay is performed using a data sample, corresponding to an integrated luminosity of 3.0 {\mbox{fb}^{-1}}, collected by the LHCb experiment in $pp$ collisions at centre-of-mass energies of 7 and 8 TeV during 2011 and 2012. For the first time several observables are measured in the dielectron mass squared ($q^2$) interval between 0.002 and 1.120${\mathrm{\,Ge\kern -0.1em V^2\!/}c^4}$. The angular observables $F_{\mathrm{L}}$ and $A_{\mathrm{T}}^{\mathrm{Re}}$ which are related to the $K^{*0}$ polarisation and to the lepton forward-backward asymmetry, are measured to be $F_{\mathrm{L}}= 0.16 \pm 0.06 \pm0.03$ and $A_{\mathrm{T}}^{\mathrm{Re}} = 0.10 \pm 0.18 \pm 0.05$, where the first uncertainty is statistical and the second systematic. The angular observables $A_{\mathrm{T}}^{(2)}$ and $A_{\mathrm{T}}^{\mathrm{Im}}$ which are sensitive to the photon polarisation in this $q^2$ range, are found to be $A_{\mathrm{T}}^{(2)} = -0.23 \pm 0.23 \pm 0.05$ and $A_{\mathrm{T}}^{\mathrm{Im}} =0.14 \pm 0.22 \pm 0.05$. The results are consistent with Standard Model predictions

Observation of the B0 → ρ0ρ0 decay from an amplitude analysis of B0 → (π+π−)(π+π−) decays

Proton–proton collision data recorded in 2011 and 2012 by the LHCb experiment, corresponding to an integrated luminosity of 3.0 fb−1 , are analysed to search for the charmless B0→ρ0ρ0 decay. More than 600 B0→(π+π−)(π+π−) signal decays are selected and used to perform an amplitude analysis, under the assumption of no CP violation in the decay, from which the B0→ρ0ρ0 decay is observed for the first time with 7.1 standard deviations significance. The fraction of B0→ρ0ρ0 decays yielding a longitudinally polarised final state is measured to be fL=0.745−0.058+0.048(stat)±0.034(syst) . The B0→ρ0ρ0 branching fraction, using the B0→ϕK⁎(892)0 decay as reference, is also reported as B(B0→ρ0ρ0)=(0.94±0.17(stat)±0.09(syst)±0.06(BF))×10−6

Measurement of the (eta c)(1S) production cross-section in proton-proton collisions via the decay (eta c)(1S) -> p(p)over-bar

The production of the $\eta_c (1S)$ state in proton-proton collisions is probed via its decay to the $p \bar{p}$ final state with the LHCb detector, in the rapidity range $2.0 6.5$ GeV/c. The cross-section for prompt production of $\eta_c (1S)$ mesons relative to the prompt $J/\psi$ cross-section is measured, for the first time, to be $\sigma_{\eta_c (1S)}/\sigma_{J/\psi} = 1.74 \pm 0.29 \pm 0.28 \pm 0.18 _{B}$ at a centre-of-mass energy $\sqrt{s} = 7$ TeV using data corresponding to an integrated luminosity of 0.7 fb$^{-1}$, and $\sigma_{\eta_c (1S)}/\sigma_{J/\psi} = 1.60 \pm 0.29 \pm 0.25 \pm 0.17 _{B}$ at $\sqrt{s} = 8$ TeV using 2.0 fb$^{-1}$. The uncertainties quoted are, in order, statistical, systematic, and that on the ratio of branching fractions of the $\eta_c (1S)$ and $J/\psi$ decays to the $p \bar{p}$ final state. In addition, the inclusive branching fraction of $b$-hadron decays into $\eta_c (1S)$ mesons is measured, for the first time, to be $B ( b \rightarrow \eta_c X ) = (4.88 \pm 0.64 \pm 0.25 \pm 0.67 _{B}) \times 10^{-3}$, where the third uncertainty includes also the uncertainty on the $J/\psi$ inclusive branching fraction from $b$-hadron decays. The difference between the $J/\psi$ and $\eta_c (1S)$ meson masses is determined to be $114.7 \pm 1.5 \pm 0.1$ MeV/c$^2$.The production of the $\eta _c (1S)$ state in proton-proton collisions is probed via its decay to the $p\overline{p}$ final state with the LHCb detector, in the rapidity range $2.0 6.5 \mathrm{{\,GeV/}{ c}}$ . The cross-section for prompt production of $\eta _c (1S)$ mesons relative to the prompt ${{ J}}/{\psi }$ cross-section is measured, for the first time, to be $\sigma _{\eta _c (1S)}/\sigma _{{{{ J}}/{\psi }}} = 1.74\, \pm \,0.29\, \pm \, 0.28\, \pm \,0.18 _{{\mathcal{B}}}$ at a centre-of-mass energy ${\sqrt{s}} = 7 {~\mathrm{TeV}}$ using data corresponding to an integrated luminosity of 0.7 fb$^{-1}$ , and $\sigma _{\eta _c (1S)}/\sigma _{{{{ J}}/{\psi }}} = 1.60 \pm 0.29 \pm 0.25 \pm 0.17 _{{\mathcal{B}}}$ at ${\sqrt{s}} = 8 {~\mathrm{TeV}}$ using 2.0 fb$^{-1}$ . The uncertainties quoted are, in order, statistical, systematic, and that on the ratio of branching fractions of the $\eta _c (1S)$ and ${{ J}}/{\psi }$ decays to the $p\overline{p}$ final state. In addition, the inclusive branching fraction of ${b}$ -hadron decays into $\eta _c (1S)$ mesons is measured, for the first time, to be ${\mathcal{B}}( b {\rightarrow } \eta _c X ) = (4.88\, \pm \,0.64\, \pm \,0.29\, \pm \, 0.67 _{{\mathcal{B}}}) \times 10^{-3}$ , where the third uncertainty includes also the uncertainty on the ${{ J}}/{\psi }$ inclusive branching fraction from ${b}$ -hadron decays. The difference between the ${{ J}}/{\psi }$ and $\eta _c (1S)$ meson masses is determined to be $114.7 \pm 1.5 \pm 0.1 {\mathrm {\,MeV\!/}c^2}$ .The production of the $\eta_c (1S)$ state in proton-proton collisions is probed via its decay to the $p \bar{p}$ final state with the LHCb detector, in the rapidity range $2.0 6.5$ GeV/c. The cross-section for prompt production of $\eta_c (1S)$ mesons relative to the prompt $J/\psi$ cross-section is measured, for the first time, to be $\sigma_{\eta_c (1S)}/\sigma_{J/\psi} = 1.74 \pm 0.29 \pm 0.28 \pm 0.18 _{B}$ at a centre-of-mass energy $\sqrt{s} = 7$ TeV using data corresponding to an integrated luminosity of 0.7 fb$^{-1}$, and $\sigma_{\eta_c (1S)}/\sigma_{J/\psi} = 1.60 \pm 0.29 \pm 0.25 \pm 0.17 _{B}$ at $\sqrt{s} = 8$ TeV using 2.0 fb$^{-1}$. The uncertainties quoted are, in order, statistical, systematic, and that on the ratio of branching fractions of the $\eta_c (1S)$ and $J/\psi$ decays to the $p \bar{p}$ final state. In addition, the inclusive branching fraction of $b$-hadron decays into $\eta_c (1S)$ mesons is measured, for the first time, to be $B ( b \rightarrow \eta_c X ) = (4.88 \pm 0.64 \pm 0.29 \pm 0.67 _{B}) \times 10^{-3}$, where the third uncertainty includes also the uncertainty on the $J/\psi$ inclusive branching fraction from $b$-hadron decays. The difference between the $J/\psi$ and $\eta_c (1S)$ meson masses is determined to be $114.7 \pm 1.5 \pm 0.1$ MeV/c$^2$