Jet size dependence of single jet suppression in lead-lead collisions at sqrt(s(NN)) = 2.76 TeV with the ATLAS detector at the LHC

Measurements of inclusive jet suppression in heavy ion collisions at the LHC provide direct sensitivity to the physics of jet quenching. In a sample of lead-lead collisions at sqrt(s) = 2.76 TeV corresponding to an integrated luminosity of approximately 7 inverse microbarns, ATLAS has measured jets with a calorimeter over the pseudorapidity interval |eta| < 2.1 and over the transverse momentum range 38 < pT < 210 GeV. Jets were reconstructed using the anti-kt algorithm with values for the distance parameter that determines the nominal jet radius of R = 0.2, 0.3, 0.4 and 0.5. The centrality dependence of the jet yield is characterized by the jet "central-to-peripheral ratio," Rcp. Jet production is found to be suppressed by approximately a factor of two in the 10% most central collisions relative to peripheral collisions. Rcp varies smoothly with centrality as characterized by the number of participating nucleons. The observed suppression is only weakly dependent on jet radius and transverse momentum. These results provide the first direct measurement of inclusive jet suppression in heavy ion collisions and complement previous measurements of dijet transverse energy imbalance at the LHC.Comment: 15 pages plus author list (30 pages total), 8 figures, 2 tables, submitted to Physics Letters B. All figures including auxiliary figures are available at http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/HION-2011-02

Open data from the third observing run of LIGO, Virgo, KAGRA, and GEO

The global network of gravitational-wave observatories now includes five detectors, namely LIGO Hanford, LIGO Livingston, Virgo, KAGRA, and GEO 600. These detectors collected data during their third observing run, O3, composed of three phases: O3a starting in 2019 April and lasting six months, O3b starting in 2019 November and lasting five months, and O3GK starting in 2020 April and lasting two weeks. In this paper we describe these data and various other science products that can be freely accessed through the Gravitational Wave Open Science Center at https://gwosc.org. The main data set, consisting of the gravitational-wave strain time series that contains the astrophysical signals, is released together with supporting data useful for their analysis and documentation, tutorials, as well as analysis software packages

Animal studies in restless legs syndrome.

Although restless legs syndrome (RLS) is a common disorder that has been studied thoroughly in the past decades, the underlying pathophysiology is still not fully understood. However, some attractive hypotheses on the pathogenesis of the disorder have been forwarded. Animal models are an important tool to verify hypotheses and to dissect out the details of pathophysiological mechanisms. Ideally they might serve the development of future treatment strategies. This review discusses the general and specific prerequisites necessary for the establishment of animal models for RLS and summarizes the approaches that have been made

D.: Learning-based compositional verification for synchronous probabilistic systems

Abstract. We present novel techniques for automated compositional verification of synchronous probabilistic systems. First, we give an assume-guarantee framework for verifying probabilistic safety properties of systems modelled as discretetime Markov chains. Assumptions about system components are represented as probabilistic finite automata (PFAs) and the relationship between components and assumptions is captured by weak language inclusion. In order to implement this framework, we develop a semi-algorithm to check language inclusion for PFAs and a new active learning method for PFAs. The latter is then used to automatically generate assumptions for compositional verification.

Níveis de triticale em substituição ao milho no desempenho zootécnico e digestibilidade aparente de novilhas Nelore confinadas Levels of triticale in replacement of corn on the performance and apparent digestibility of feedlot Nellore heifers

O objetivo deste trabalho foi estudar níveis de substituição do milho pelo triticale em novilhas nelore confinadas. Foram utilizadas 56 novilhas da raça Nelore, com 18 meses de idade e peso vivo médio inicial de 212 kg, distribuídas em um delineamento inteiramente casualizado, com quatro tratamentos (0, 33, 66 e 100%) de substituição do milho pelo triticale e sete repetições. Não houve efeito dos níveis de substituição do milho pelo triticale sobre o peso vivo final, o ganho médio diário, a ingestão de matéria seca, proteína bruta, fibra em detergente neutro, fibra em detergente ácido e hemicelulose, a conversão alimentar e o rendimento de carcaça. Embora não tenha sido observada diferença em valores absolutos, a ingestão de matéria seca (em 100 kg de peso vivo) foi crescente entre os níveis 0 e 100% de triticale. O mesmo comportamento foi observado para a ingestão de energia bruta (Mcal/kg de MS/dia). O ensaio do coeficiente de digestibilidade aparente, com o uso de indicador interno (cinza insolúvel em ácido) e coleta parcial de fezes, demonstrou que não houve diferença na digestibilidade aparente da matéria seca, matéria orgânica, proteína bruta, energia bruta, fibra em detergente neutro, fibra em detergente ácido e hemicelulose. Em função destes resultados, para novilhas confinadas, o triticale poderia ser fonte alternativa viável para substituição ao milho.<br>This work was carried out to study the replacement levels of corn by triticale in feedlot Nellore heifers. Fifty-six Nellore heifers, 18 months of age and with an initial LW 212 kg were allotted to a completely randomized experimental design, with four corn replacement levels (0, 33, 66 and 100%) by triticale and seven replications. There were no effects of corn replacement levels on the final live weight, average daily gain, intakes of dry matter, crude protein, neutral detergent fiber, acid detergent fiber, hemicellulose (kg/day), feed: gain and carcass yield. Although differences as absolute values have not been registered, the dry matter intake (per 100kg LW) was crescent among 0 to 100% triticale levels. Similar behavior was observed for the gross energy intake (Mcal/kg of DM/day). The apparent digestibility assay, with the use of an internal indicator (acid insoluble ash) and partial feces collection, demonstrated that there were not differences in the digestibilities of dry matter, organic matter, crude protein, gross energy, neutral detergent fiber, acid detergent fiber and hemicellulose. According to these results triticale may be used by feedlot heifers as a viable alternative source to replace corn