Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Konig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]

The purpose of this addendum is to close a gap in the proof of [1, Theorem 11.2], which characterizes the computational content of the Bolzano\u2013Weierstra f Theorem for arbitrary computable metric spaces

Impedance measurements and simulations on the TCT and TDI LHC collimators

The LHC collimation system is a critical element for the safe operation of the LHC machine and it is subject to continuous performance monitoring, hardware upgrade and optimization. In this work we will address the impact on impedance of the upgrades performed on the injection protection target dump (TDI), where the absorber material has been changed to mitigate the device heating observed in machine operation, and on selected secondary (TCS) and tertiary (TCT) collimators, where beam position monitors (BPM) have been embedded for faster jaw alignment. Con- cerning the TDI, we will present the RF measurements per- formed before and after the upgrade, comparing the result to heating and tune shift beam measurements. For the TCTs, we will study how the higher order modes (HOM) intro- duced by the BPM addition have been cured by means of ferrite placement in the device. The impedance mitigation campaign has been supported by RF measurements whose results are in good agreement with GdfidL and CST simula- tions. The presence of undamped low frequency modes is proved not to be detrimental to the safe LHC operation

Joint ICES/EUROMARINE: Workshop on common conceptual mapping methodologies (WKCCMM; Outputs from 2021 meeting)

The Joint ICES/EUROMARINE Workshop on Common Conceptual Mapping Methodologies (WKCCMM) aimed to advance approaches to support inter- and transdisciplinary science via qualitative conceptual models to inform Integrated Ecosystem Assessment (IEA) throughout Eu-ropean seas and beyond. The workshop focused on developing a common understanding of conceptual mapping meth-odologies, their key uses and limitations, and processes for effective conceptual modelling with stakeholders for a variety of applications (e.g. developing food-webs, socio-ecological modelling, scoping exercises, rapid/initial management action and/or impact evaluations). Discussion in-volved presentation and discussion of a range of conceptual modelling approaches and contexts through the examination of case studies. These case studies gave rise to a suite of recommenda-tions, including the development of a workflow for IEA, and more generic guidelines and best practice advice for the use of conceptual modelling approaches with stakeholders. Although stakeholders were not able to be included in this workshop, they were very much at the heart of discussions, with the challenges and good practices of stakeholder inclusion addressed. WKCCMM also investigated how the methodologies can be best used to contribute to IEA, and may otherwise be applied throughout the ICES community, including identifying opportunities for cross-collaboration and knowledge transfer within the network.info:eu-repo/semantics/publishedVersio

Validation of an optimized SPM procedure for FDG-PET in dementia diagnosis in a clinical setting

Diagnostic accuracy in FDG-PET imaging highly depends on the operating procedures. In this clinical study on dementia, we compared the diagnostic accuracy at a single-subject level of a) Clinical Scenarios, b) Standard FDG Images and c) Statistical Parametrical (SPM) Maps generated via a new optimized SPM procedure. We evaluated the added value of FDG-PET, either Standard FDG Images or SPM Maps, to Clinical Scenarios. In 88 patients with neurodegenerative diseases (Alzheimer's Disease—AD, Frontotemporal Lobar Degeneration—FTLD, Dementia with Lewy bodies—DLB and Mild Cognitive Impairment—MCI), 9 neuroimaging experts made a forced diagnostic decision on the basis of the evaluation of the three types of information. There was also the possibility of a decision of normality on the FDG-PET images. The clinical diagnosis confirmed at a long-term follow-up was used as the gold standard. SPM Maps showed higher sensitivity and specificity (96% and 84%), and better diagnostic positive (6.8) and negative (0.05) likelihood ratios compared to Clinical Scenarios and Standard FDG Images. SPM Maps increased diagnostic accuracy for differential diagnosis (AD vs. FTD; beta 1.414, p = 0.019). The AUC of the ROC curve was 0.67 for SPM Maps, 0.57 for Clinical Scenarios and 0.50 for Standard FDG Images. In the MCI group, SPM Maps showed the highest predictive prognostic value (mean LOC = 2.46), by identifying either normal brain metabolism (exclusionary role) or hypometabolic patterns typical of different neurodegenerative conditions

Global burden of respiratory infections associated with seasonal influenza in children under 5 years in 2018: a systematic review and modelling study

Background: Seasonal influenza virus is a common cause of acute lower respiratory infection (ALRI) in young children. In 2008, we estimated that 20 million influenza-virus-associated ALRI and 1 million influenza-virus-associated severe ALRI occurred in children under 5 years globally. Despite this substantial burden, only a few low-income and middle-income countries have adopted routine influenza vaccination policies for children and, where present, these have achieved only low or unknown levels of vaccine uptake. Moreover, the influenza burden might have changed due to the emergence and circulation of influenza A/H1N1pdm09. We aimed to incorporate new data to update estimates of the global number of cases, hospital admissions, and mortality from influenza-virus-associated respiratory infections in children under 5 years in 2018. Methods: We estimated the regional and global burden of influenza-associated respiratory infections in children under 5 years from a systematic review of 100 studies published between Jan 1, 1995, and Dec 31, 2018, and a further 57 high-quality unpublished studies. We adapted the Newcastle-Ottawa Scale to assess the risk of bias. We estimated incidence and hospitalisation rates of influenza-virus-associated respiratory infections by severity, case ascertainment, region, and age. We estimated in-hospital deaths from influenza virus ALRI by combining hospital admissions and in-hospital case-fatality ratios of influenza virus ALRI. We estimated the upper bound of influenza virus-associated ALRI deaths based on the number of in-hospital deaths, US paediatric influenza-associated death data, and population-based childhood all-cause pneumonia mortality data in six sites in low-income and lower-middle-income countries. Findings: In 2018, among children under 5 years globally, there were an estimated 109·5 million influenza virus episodes (uncertainty range [UR] 63·1–190·6), 10·1 million influenza-virus-associated ALRI cases (6·8–15·1); 870 000 influenza-virus-associated ALRI hospital admissions (543 000–1 415 000), 15 300 in-hospital deaths (5800–43 800), and up to 34 800 (13 200–97 200) overall influenza-virus-associated ALRI deaths. Influenza virus accounted for 7% of ALRI cases, 5% of ALRI hospital admissions, and 4% of ALRI deaths in children under 5 years. About 23% of the hospital admissions and 36% of the in-hospital deaths were in infants under 6 months. About 82% of the in-hospital deaths occurred in low-income and lower-middle-income countries. Interpretation: A large proportion of the influenza-associated burden occurs among young infants and in low-income and lower middle-income countries. Our findings provide new and important evidence for maternal and paediatric influenza immunisation, and should inform future immunisation policy particularly in low-income and middle-income countries. Funding: WHO; Bill & Melinda Gates Foundation.Fil: Wang, Xin. University of Edinburgh; Reino UnidoFil: Li, You. University of Edinburgh; Reino UnidoFil: O'Brien, Katherine L.. University Johns Hopkins; Estados UnidosFil: Madhi, Shabir A.. University of the Witwatersrand; SudáfricaFil: Widdowson, Marc Alain. Centers for Disease Control and Prevention; Estados UnidosFil: Byass, Peter. Umea University; SueciaFil: Omer, Saad B.. Yale School Of Public Health; Estados UnidosFil: Abbas, Qalab. Aga Khan University; PakistánFil: Ali, Asad. Aga Khan University; PakistánFil: Amu, Alberta. Dodowa Health Research Centre; GhanaFil: Azziz-Baumgartner, Eduardo. Centers for Disease Control and Prevention; Estados UnidosFil: Bassat, Quique. University Of Barcelona; EspañaFil: Abdullah Brooks, W.. University Johns Hopkins; Estados UnidosFil: Chaves, Sandra S.. Centers for Disease Control and Prevention; Estados UnidosFil: Chung, Alexandria. University of Edinburgh; Reino UnidoFil: Cohen, Cheryl. National Institute For Communicable Diseases; SudáfricaFil: Echavarría, Marcela Silvia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. CEMIC-CONICET. Centro de Educaciones Médicas e Investigaciones Clínicas "Norberto Quirno". CEMIC-CONICET; ArgentinaFil: Fasce, Rodrigo A.. Public Health Institute; ChileFil: Gentile, Angela. Gobierno de la Ciudad de Buenos Aires. Hospital General de Niños "Ricardo Gutiérrez"; ArgentinaFil: Gordon, Aubree. University of Michigan; Estados UnidosFil: Groome, Michelle. University of the Witwatersrand; SudáfricaFil: Heikkinen, Terho. University Of Turku; FinlandiaFil: Hirve, Siddhivinayak. Kem Hospital Research Centre; IndiaFil: Jara, Jorge H.. Universidad del Valle de Guatemala; GuatemalaFil: Katz, Mark A.. Clalit Research Institute; IsraelFil: Khuri Bulos, Najwa. University Of Jordan School Of Medicine; JordaniaFil: Krishnan, Anand. All India Institute Of Medical Sciences; IndiaFil: de Leon, Oscar. Universidad del Valle de Guatemala; GuatemalaFil: Lucero, Marilla G.. Research Institute For Tropical Medicine; FilipinasFil: McCracken, John P.. Universidad del Valle de Guatemala; GuatemalaFil: Mira-Iglesias, Ainara. Fundación Para El Fomento de la Investigación Sanitaria; EspañaFil: Moïsi, Jennifer C.. Agence de Médecine Préventive; FranciaFil: Munywoki, Patrick K.. No especifíca;Fil: Ourohiré, Millogo. No especifíca;Fil: Polack, Fernando Pedro. Fundación para la Investigación en Infectología Infantil; ArgentinaFil: Rahi, Manveer. University of Edinburgh; Reino UnidoFil: Rasmussen, Zeba A.. National Institutes Of Health; Estados UnidosFil: Rath, Barbara A.. Vienna Vaccine Safety Initiative; AlemaniaFil: Saha, Samir K.. Child Health Research Foundation; BangladeshFil: Simões, Eric A.F.. University of Colorado; Estados UnidosFil: Sotomayor, Viviana. Ministerio de Salud de Santiago de Chile; ChileFil: Thamthitiwat, Somsak. Thailand Ministry Of Public Health; TailandiaFil: Treurnicht, Florette K.. University of the Witwatersrand; SudáfricaFil: Wamukoya, Marylene. African Population & Health Research Center; KeniaFil: Lay-Myint, Yoshida. Nagasaki University; JapónFil: Zar, Heather J.. University of Cape Town; SudáfricaFil: Campbell, Harry. University of Edinburgh; Reino UnidoFil: Nair, Harish. University of Edinburgh; Reino Unid