Search

Abstract The extraction of the W-boson mass, a fundamental parameter of the Standard Model, from hadron-hadron collision requires precise theory predictions. In this regard, angular coefficients are crucial to model the dynamics of W-boson production. In this work, we provide, for the first time, angular coefficients at NNLO QCD + NLO EW accuracy for finite transverse momentum W-boson at the LHC. The corrections can reach up to $$10\%$$ 10 % in certain regions of phase space. They are accompanied by a significant reduction of the scale uncertainty. This work should, besides providing reference values for theory-data comparison, provide state-of-the-art theory input for W-boson mass measurements.

Abstract We study polarisation of W-bosons produced in association with one jet at the LHC. In particular, we provide all necessary theoretical ingredients for the precise extraction of polarisation fractions. To that end, we present new polarised predictions up to NNLO QCD accuracy employing the narrow-width approximation, in two phase spaces: inclusive and fiducial. We compare results in the fiducial phase space to a full off-shell computation as well as experimental data. Finally, we fit the polarisation fractions using shape templates and show that NNLO corrections significantly improve their determination.

Abstract Longitudinal polarisation of the weak bosons is a direct consequence of Electroweak symmetry breaking mechanism providing an insight into its nature, and is instrumental in searches for physics beyond the Standard Model. We perform a polarisation study of the diboson production in the pp → e + v e μ − v ¯ μ $$ {\mathrm{e}}^{+}{v}_{\mathrm{e}}{\mu}^{-}{\overline{v}}_{\mu } $$ process at NNLO QCD in the fiducial setup inspired by experimental measurements at ATLAS. This is the first polarisation study at NNLO. We employ the double-pole approximation framework for the polarised calculation, and investigate NNLO effects arising in differential distributions.

Beta vulgaris L. is a biennial plant easily accessible all over the world, rich in various biologically active compounds, especially a class of extremely bioactive pigments known as betalains. These dyes predominate in the pulp and peels of beetroot, which is why they can be valorized in food, medicine or in the textile industry. In this work, betalains extractions were carried out applying 3 sustainable options: (1) dissolving/solubilizing betalains in water; (2) extraction under pressure; (3) extraction assisted by an enzyme/pectinase. The obtained extracts were analyzed in the UV-Vis domain, which allowed their characterization by determining the total monomeric anthocyanins, color density (control), polymeric density and browning index. The HPLC-MS analysis highlighted the extracts composition. The colors characteristics were determined through CIELab measurements. The performances of these 3 extracts, during green dyeing (without mordants), were evaluated according to the color characteristics (L*, a*, b* and K/S) of the dyed wool samples under different conditions: pH, temperature, duration of dyeing and volume of extract and stabilizers (Vitamin E and EDTA). Betalains can be considered acid dyes, with a low affinity for wool, which in a pronounced acidic environment dye the wool in an intense, uniform way and with good resistance to washing and rubbing.

The beetroot peels can be a sustainable source of betalains that can dye the wool materials through green processes based on low water and energy consumption. Green chemistry in the extraction of betalains from colored food waste/peels from red beetroot involved the use of water as a solvent, without other additives. In order for the extract obtained to be able to dye the wool, it was necessary to functionalize betalains or even the wool. Three types of sustainable functionalizations were performed, with (1) acetic acid; (2) ethanol; and (3) arginine. For each functionalization, the mechanism that can justify dyeing the wool in intense colors was elucidated. The characterization of the extract was performed with the data provided by UV-VIS and HPLC-MS analyses. The characterization of the wool dyed with the extract obtained from the red beetroot peels was possible due to the information resulting from the FTIR and CIELab analyses. The functionalizations of betalains and wool in acid environments lead to the most intense red colors. The color varies depending on the pH and the concentration of betalains.

This study may open a new way to obtain the coloration of a polymer during functionalization. Two polyacrylonitrile (PAN) polymers in the form of textile fibers (Melana and Dralon L) were subjected to functionalization treatments in order to improve the dyeing capacity. The functionalizations determined by an organo-hypervalent iodine reagent developed in situ led to fiber coloration without using dyes. KIO3 was formed in situ from the interaction of aqueous solutions of 3–9% KOH with 3–9% I2, at 120 °C. The yellow-orange coloration appeared as a result of the transformations in the chemical structure of each functionalized polymer, with the formation of iodinehydrin groups. The degree of functionalization directly influenced the obtained color. The results of the Fourier Transform Infrared Spectroscopy (FTIR), Scanning Electron Microscopy (SEM), Energy Dispersive X-ray Spectroscopy (EDX), Map and Temogravimetric Analysis (TG) plus Differential Thermal (DTA) analyses indicated the presence of new functional groups, such as iodine-oxime. The X-ray diffraction (XRD) analysis confirmed the change of the crystalline/amorphous ratio in favor of the former. The new groups introduced by functionalization make it possible to dye with classes of dyes specific to these groups, but not specific to PAN fibers, thus improving their dyeing capacity.

Abstract The smallest classically stable Q-balls are, in fact, generically metastable: in quantum theory they decay into free particles via collective tunneling. We derive general semiclassical method to calculate the rate of this process in the entire kinematical region of Q-ball metastability. Our method uses Euclidean field-theoretical solutions resembling the Coleman’s bounce and fluctuations around them. As an application of the method, we numerically compute the decay rate to the leading semiclassical order in a particular one-field model. We shortly discuss cosmological implications of metastable Q-balls.

The forests of sessile oak (Quercus petraea (Matt.) Liebl.) with Hieracium umbrosum Jord., found on the Central Moldovan Plateau, are described in this article. Based on 12 relevés, the authors have grouped these forests in an plant community that is new for science – Hieracio umbrosi-Quercetum petraeae Pînzaru, Cantemir, Manic et Popescu, included in the alliance Quercion pubescenti-petraeae Br.-Bl. 1932, the order Quercetalia pubescenti-petraeae Klika 1933, cl. QUERCO-FAGETEA Br.-Bl. et Vlieger in Vlieger 1937.

Multifunctionalization of cotton using a single product has not been made until now. Such a product was synthesized using compounds with multiple functions (glyoxal, ethylenediamine (ED) and monochlorotriazinyl-β–cyclodextrin (MCT-β-CD)), under different mass ratios. Obtaining this multifunctional derivative has been confirmed by spectroscopic analyses (1H-NMR and FTIR) and a scanning electron microscope (SEM). Treatment of cotton with the MCT-β-CD derivative (D-CD) has been realized with the pad dry-cure technology. The presence of this multifunctional derivative on cotton was highlighted with spectroscopic (FTIR, EDAX, XRD) and thermoanalytical (DSC) methods. The objective of treating cotton with D-CD was to achieve four simultaneous effects: large wrinkle recovery angle (WRA), hydrophilicity, antibacterial capacity and a good breaking resistance. This objective has been achieved, so the garments that will be manufactured with such multifunctional cotton will be more comfortable. The efficiency of treatments with D-CD was marked out by multiple linear regression (MLR) and certain quality indices. Using MLR, the behavior of the treated cotton was mathematically modeled and the stationary/optimal points corresponding to each effect were calculated. Quality indices have been calculated and all final samples had values higher than 1, which confirmed the positive effects exerted by D-CDs on cotton.

Many automatic theorem provers are restricted to untyped logics, and existing translations from typed logics are bulky or unsound. Recent research proposes monotonicity as a means to remove some clutter when translating monomorphic to untyped first-order logic. Here we pursue this approach systematically, analysing formally a variety of encodings that further improve on efficiency while retaining soundness and completeness. We extend the approach to rank-1 polymorphism and present alternative schemes that lighten the translation of polymorphic symbols based on the novel notion of "cover". The new encodings are implemented in Isabelle/HOL as part of the Sledgehammer tool. We include informal proofs of soundness and correctness, and have formalised the monomorphic part of this work in Isabelle/HOL. Our evaluation finds the new encodings vastly superior to previous schemes.

Laser melting deposition is a 3D printing method usually studied for the manufacturing of machine parts in the industry. However, for the medical sector, although feasible, applications and actual products taking advantage of this technique are only scarcely reported. Therefore, in this study, Ti6Al4V orthopedic implants in the form of plates were 3D printed by laser melting deposition. Tuning of the laser power, scanning speed and powder feed rate was conducted, in order to obtain a continuous deposition after a single laser pass and to diminish unwanted blown powder, stuck in the vicinity of the printed elements. The fabrication of bone plates is presented in detail, putting emphasis on the scanning direction, which had a decisive role in the 3D printing resolution. The printed material was investigated by optical microscopy and was found to be dense, with no visible pores or cracks. The metallographic investigations and X-ray diffraction data exposed an unusual biphasic α+β structure. The energy dispersive X-ray spectroscopy revealed a composition very similar to the one of the starting powder material. The mapping of the surface showed a uniform distribution of elements, with no segregations or areas with deficient elemental distribution. The in vitro tests performed on the 3D printed Ti6Al4V samples in osteoblast-like cell cultures up to 7 days showed that the material deposited by laser melting is cytocompatible.

This present study demonstrates that the role of the mangers in the productive maintenance is currently becoming more important. This assessment is formulated starting from the daily realities regarding the growth of the proportions of productions and along with these the growth of the volume of equipments which need a better care and maintenance for a proper operation. The productive maintenance has developed and emerged out of this necessity. Therefore, the productive maintenance in the economic theory represents the maintenance of the equipments and fabric at the highest productive level by cooperating with all departments related to production. This aspect points out that the maintenance and repair works of the equipments have to be the main preoccupation of the personnel and especially of the managers.

We perform a formal analysis of compositionality techniques for proving possibilistic noninterference for a while language with parallel composition. We develop a uniform framework where we express a wide range of non-interference variants from the literature and compare them w.r.t. their contracts: the strength of the security properties they ensure weighed against the harshness of the syntactic conditions they enforce. This results in a simple implementable algorithm for proving that a program has a specific noninterference property, using only compositionality, which captures uniformly several security type-system results from the literature and suggests a further improved type system. All formalism and theorems have been mechanically verified in Isabelle/HOL.