Space proof complexity for random 3-CNFs

We investigate the space complexity of refuting 3-CNFs in Resolution and algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random 3-CNF φ in n variables requires, with high probability, distinct monomials to be kept simultaneously in memory. The same construction also proves that every Resolution refutation of φ requires, with high probability, clauses each of width to be kept at the same time in memory. This gives a lower bound for the total space needed in Resolution to refute φ. These results are best possible (up to a constant factor) and answer questions about space complexity of 3-CNFs

Lupus Enteritis: A Case Report

Lupus enteritis is a rare presentation of systemic lupus erythematous, clinically manifested by abdominal pain, vomiting, and diarrhoea. Proper diagnosis and treatment are essential to avoid complications, including death. Here, the authors report a case of a 52-year-old White female who presented with abdominal pain and chronic diarrhoea, with diagnostic tests compatible with lupus enteritis. Such a condition is an uncommon manifestation of systemic lupus erythematosus, an autoimmune disease that affects young females, resulting from gastrointestinal involvement by small vessel vasculitis. Early detection and proper management of lupus enteritis are essential to improve long-term survival. The present case addresses the clinical characteristics of lupus enteritis, emphasising its pathophysiology, diagnosis, and treatment

Multi-decadal improvements in the ecological quality of European rivers are not consistently reflected in biodiversity metrics

Humans impact terrestrial, marine and freshwater ecosystems, yet many broad-scale studies have found no systematic, negative biodiversity changes (for example, decreasing abundance or taxon richness). Here we show that mixed biodiversity responses may arise because community metrics show variable responses to anthropogenic impacts across broad spatial scales. We first quantified temporal trends in anthropogenic impacts for 1,365 riverine invertebrate communities from 23 European countries, based on similarity to least-impacted reference communities. Reference comparisons provide necessary, but often missing, baselines for evaluating whether communities are negatively impacted or have improved (less or more similar, respectively). We then determined whether changing impacts were consistently reflected in metrics of community abundance, taxon richness, evenness and composition. Invertebrate communities improved, that is, became more similar to reference conditions, from 1992 until the 2010s, after which improvements plateaued. Improvements were generally reflected by higher taxon richness, providing evidence that certain community metrics can broadly indicate anthropogenic impacts. However, richness responses were highly variable among sites, and we found no consistent responses in community abundance, evenness or composition. These findings suggest that, without sufficient data and careful metric selection, many common community metrics cannot reliably reflect anthropogenic impacts, helping explain the prevalence of mixed biodiversity trends.We thank J. England for assistance with calculating ecological quality and the biomonitoring indices in the UK. Funding for authors, data collection and processing was provided by the European Union Horizon 2020 project eLTER PLUS (grant number 871128). F.A. was supported by the Swiss National Science Foundation (grant numbers 310030_197410 and 31003A_173074) and the University of Zurich Research Priority Program Global Change and Biodiversity. J.B. and M.A.-C. were funded by the European Commission, under the L‘Instrument Financier pour l’Environnement (LIFE) Nature and Biodiversity program, as part of the project LIFE-DIVAQUA (LIFE18 NAT/ES/000121) and also by the project ‘WATERLANDS’ (PID2019-107085RB-I00) funded by the Ministerio de Ciencia, Innovación y Universidades (MCIN) and Agencia Estatal de Investigación (AEI; MCIN/AEI/10.13039/501100011033/ and by the European Regional Development Fund (ERDF) ‘A way of making Europe’. N.J.B. and V.P. were supported by the Lithuanian Environmental Protection Agency (https://aaa.lrv.lt/) who collected the data and were funded by the Lithuanian Research Council (project number S-PD-22-72). J.H. was supported by the Academy of Finland (grant number 331957). S.C.J. acknowledges funding by the Leibniz Competition project Freshwater Megafauna Futures and the German Federal Ministry of Education and Research (Bundesministerium für Bildung und Forschung or BMBF; 033W034A). A.L. acknowledges funding by the Spanish Ministry of Science and Innovation (PID2020-115830GB-100). P.P., M.P. and M.S. were supported by the Czech Science Foundation (GA23-05268S and P505-20-17305S) and thank the Czech Hydrometeorological Institute and the state enterprises Povodí for the data used to calculate ecological quality metrics from the Czech surface water monitoring program. H.T. was supported by the Estonian Research Council (number PRG1266) and by the Estonian national program ‘Humanitarian and natural science collections’. M.J.F. acknowledges the support of Fundação para a Ciência e Tecnologia, Portugal, through the projects UIDB/04292/2020 and UIDP/04292/2020 granted to the Marine and Environmental Sciences Centre, LA/P/0069/2020 granted to the Associate Laboratory Aquatic Research Network (ARNET), and a Call Estímulo ao Emprego Científico (CEEC) contract.Peer reviewe

The recovery of European freshwater biodiversity has come to a halt

Owing to a long history of anthropogenic pressures, freshwater ecosystems are among the most vulnerable to biodiversity loss1. Mitigation measures, including wastewater treatment and hydromorphological restoration, have aimed to improve environmental quality and foster the recovery of freshwater biodiversity2. Here, using 1,816 time series of freshwater invertebrate communities collected across 22 European countries between 1968 and 2020, we quantified temporal trends in taxonomic and functional diversity and their responses to environmental pressures and gradients. We observed overall increases in taxon richness (0.73% per year), functional richness (2.4% per year) and abundance (1.17% per year). However, these increases primarily occurred before the 2010s, and have since plateaued. Freshwater communities downstream of dams, urban areas and cropland were less likely to experience recovery. Communities at sites with faster rates of warming had fewer gains in taxon richness, functional richness and abundance. Although biodiversity gains in the 1990s and 2000s probably reflect the effectiveness of water-quality improvements and restoration projects, the decelerating trajectory in the 2010s suggests that the current measures offer diminishing returns. Given new and persistent pressures on freshwater ecosystems, including emerging pollutants, climate change and the spread of invasive species, we call for additional mitigation to revive the recovery of freshwater biodiversity.N. Kaffenberger helped with initial data compilation. Funding for authors and data collection and processing was provided by the EU Horizon 2020 project eLTER PLUS (grant agreement no. 871128); the German Federal Ministry of Education and Research (BMBF; 033W034A); the German Research Foundation (DFG FZT 118, 202548816); Czech Republic project no. P505-20-17305S; the Leibniz Competition (J45/2018, P74/2018); the Spanish Ministerio de Economía, Industria y Competitividad—Agencia Estatal de Investigación and the European Regional Development Fund (MECODISPER project CTM 2017-89295-P); Ramón y Cajal contracts and the project funded by the Spanish Ministry of Science and Innovation (RYC2019-027446-I, RYC2020-029829-I, PID2020-115830GB-100); the Danish Environment Agency; the Norwegian Environment Agency; SOMINCOR—Lundin mining & FCT—Fundação para a Ciência e Tecnologia, Portugal; the Swedish University of Agricultural Sciences; the Swiss National Science Foundation (grant PP00P3_179089); the EU LIFE programme (DIVAQUA project, LIFE18 NAT/ES/000121); the UK Natural Environment Research Council (GLiTRS project NE/V006886/1 and NE/R016429/1 as part of the UK-SCAPE programme); the Autonomous Province of Bolzano (Italy); and the Estonian Research Council (grant no. PRG1266), Estonian National Program ‘Humanitarian and natural science collections’. The Environment Agency of England, the Scottish Environmental Protection Agency and Natural Resources Wales provided publicly available data. We acknowledge the members of the Flanders Environment Agency for providing data. This article is a contribution of the Alliance for Freshwater Life (www.allianceforfreshwaterlife.org).Peer reviewe

Paracoccidioidomycosis: clinical and epidemiological profile of hospitalized patients in Passo Fundo - RS

Paracoccidioidomycosis (PCM) is not a notifiable disease despite its relevance in Latin America, and therefore estimates of the prevalence, incidence, and associated morbidity of this mycosis are based on reports of epidemiological surveys, case series, hospitalization records, and mortality data. The objective of this study was to describe aspects related to the patient, disease evolution, diagnostic confirmation, and treatment of confirmed cases of PCM treated at a teaching hospital in southern Brazil. Information was collected from the medical records of 27 patients diagnosed with PCM, confirmed in the period from 2010 to 2019. The prevalent profile was a male patient, with a mean age of 53 years, who was involved in various work activities, of urban origin, immunocompetent and without comorbidities, and a smoker, but not an alcoholic. For most cases, the initial involvement was pulmonary, with significant involvement of the lymphatic system during the course of the disease. Microscopic observation of pathognomonic fungal structures in biopsy samples, lymph node aspirates, and sputum was the most common method to confirm the clinical suspicion. Itraconazole was the first treatment option, followed by amphotericin B.A paracoccidioidomicose não é uma doença de notificação obrigatória apesar de sua relevância na América Latina, por isso as estimativas de prevalência, incidência e morbidade dessa micose são baseadas em relatórios de levantamentos epidemiológicos, séries de casos, registros de hospitalização e dados de mortalidade. O objetivo desse trabalho foi descrever aspectos relacionados com o paciente, evolução da doença, confirmação diagnóstica e tratamento de casos confirmados de paracoccidioidomicose atendidos em um hospital de ensino do sul do Brasil. Foram coletadas informações de prontuários de 27 pacientes com diagnóstico de paracoccidioidomicose confirmado no período de 2010 até 2019. O perfil prevalente foi de um paciente do sexo masculino, com idade média de 53 anos, envolvido com atividades laborais diversas, de procedência urbana, imunocompetente e sem comorbidades, tabagista, mas não etilista. Para a maioria dos casos o acometimento inicial foi pulmonar, com importante envolvimento do sistema linfático no percurso da doença. A observação microscópica das estruturas fúngicas patognomônicas em amostras de biópsia, aspirado linfonodal e escarro foi o método mais utilizado para confirmar a suspeita clínica. O itraconazol foi a primeira opção de tratamento, seguido da anfotericina B

The recovery of European freshwater biodiversity has come to a halt

Owing to a long history of anthropogenic pressures, freshwater ecosystems are among the most vulnerable to biodiversity loss(1). Mitigation measures, including wastewater treatment and hydromorphological restoration, have aimed to improve environmental quality and foster the recovery of freshwater biodiversity(2). Here, using 1,816 time series of freshwater invertebrate communities collected across 22 European countries between 1968 and 2020, we quantified temporal trends in taxonomic and functional diversity and their responses to environmental pressures and gradients. We observed overall increases in taxon richness (0.73% per year), functional richness (2.4% per year) and abundance (1.17% per year). However, these increases primarily occurred before the 2010s, and have since plateaued. Freshwater communities downstream of dams, urban areas and cropland were less likely to experience recovery. Communities at sites with faster rates of warming had fewer gains in taxon richness, functional richness and abundance. Although biodiversity gains in the 1990s and 2000s probably reflect the effectiveness of water-quality improvements and restoration projects, the decelerating trajectory in the 2010s suggests that the current measures offer diminishing returns. Given new and persistent pressures on freshwater ecosystems, including emerging pollutants, climate change and the spread of invasive species, we call for additional mitigation to revive the recovery of freshwater biodiversity