Adapting Real Quantifier Elimination Methods for Conflict Set Computation

The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, sets of polynomial constraints, is of particular importance. One of the central problems is the computation of good explanations of the unsatisfiability of such sets, i.e.\ obtaining a small subset of the input constraints whose conjunction is already unsatisfiable. We adapt two commonly used real quantifier elimination methods, cylindrical algebraic decomposition and virtual substitution, to provide such conflict sets and demonstrate the performance of our method in practice

Identification by MALDI-TOF MS of Sporothrix brasiliensis isolated from a subconjunctival infiltrative lesion in an immunocompetent patient

Sporotrichosis is a globally distributed subcutaneous fungal infection caused by dimorphic fungi belonging to the Sporothrix species complex that affects the skin of limbs predominantly, but not exclusively. A rare case of ocular sporotrichosis in an immunocompetent Brazilian patient from the countryside of Rio de Janeiro State is reported. A 68-year-old woman presented with a subconjunctival infiltrative lesion in the right eye with pre-auricular lymphadenopathy of onset 4 months ago that evolved to suppurative nodular lesions on the eyelids. Conjunctival secretion was evaluated by histopathological examination and inoculated on Sabouraud Dextrose Agar (SDA). Histopathology showed oval bodies within giant cells and other mononucleated histiocytes. Fungus grown on SDA was identified as Sporothrix sp. by morphological observations. The isolated strain was finally identified by Matrix-Assisted Laser Desorption/Ionization Time-of-Flight Mass Spectrometry (MALDI-TOF MS) associated with an in-house database enriched with reference Sporothrix complex spectra. The strain presented a MALDI spectrum with the ion peaks of the molecular mass profile of S. brasiliensis. The patient was adequately treated with amphotericin B subsequently replaced by itraconazole. Due to scars left by the suppurative process, the patient presented poor final visual acuity. The present work presents an overview of ocular sporotrichosis and discusses the diagnostic difficulty that can lead to visual sequelae in these cases.Financial support for this work by Fundação de Amparo à Pesquisa do Rio de Janeiro [FAPERJ] (Grants: INST E-26/010.001784/2016; JCNE E-26/203.301/2017), by Conselho Nacional de Desenvolvimento Científico e Tecnológico [CNPq] (Grant Proc. 409227/2016-1). This study was financed in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES). MALDI-TOF MS analyses were partially developed using equipment funded by CONICYT/Chile through the project Fondequip EQM160054 2016. The Universidad de La Frontera (Temuco, Chile) partially funded this work through the Project DIUFRO PIA19-0001. Furthermore, this study was also supported by FCT under the scope of the strategic funding of UID/BIO/04469/2019 unit and BioTecNorte operation (NORTE-01-0145-FEDER-000004) funded by the European Regional Development Fund under the scope of Norte2020 - Programa Operacional Regional do Norte.info:eu-repo/semantics/publishedVersio

Efeito da solução desinfetante de iodo a 2% sobre a adesão à dentina

INTRODUCTION: Disinfection of dentin surfaces is desirable so long as it does not interfere with subsequent bonding of adhesive resins. OBJECTIVE: To test the null hypothesis that bond strengths to dentin are not affected by previous application of an iodine disinfecting solution. MATERIALS AND METHODS: Twenty-four extracted non-carious molars were selected. Occlusal enamel was removed producing a flat dentin substrate. Test teeth were all treated with 2% Iodine disclosing/disinfecting solution (I2DDS) for 20 sec and rinsed for 20 sec followed by the application of self- or total- etching bonding systems, generating five adhesive groups (n=3): Single Bond; ; Prime & Bond NT; Clearfil SE Bond; Opti-Bond Plus. The control groups (n=3 per adhesive) had no disclosing/disinfectant application prior to adhesive application. A 4-mm thick resin restoration was built up on each tooth for microtensile testing. Statistical analyses between experimental and control groups were performed by student's t-test (alpha= 0.05). RESULTS: In general, experimental groups (previously treated with I2DDS) showed significantly lower bond strength values when compared with their respective controls (p;0.05). CONCLUSION: Acetone-base adhesive systems seem not to be affected by the application of I2DDS prior to etching and bonding procedures.INTRODUÇÃO: A desinfecção das superfícies de dentina é desejada desde que não haja interferência na adesão dos agentes adesivos. OBJETIVO: Testar a hipótese nula de que a resistência adesiva não é afetada pela aplicação prévia de uma solução desinfetante de iodo. MATERIAL AND MÉTODO: Vinte e quatro molares hígidos foram selecionados. O esmalte oclusal destes dentes foi removido, e sobre as superfícies planas de dentina expostas foi aplicada da solução desinfetante de Iodo a 2% (I2DDS), que permaneceu sobre a superfície por 20 s e foi lavada por 20 s com água deionizada. Sobre as superfícies desinfetadas foram aplicados um dos seguintes sistemas adesivos (n=3): Single Bond; Prime & Bond NT; Clearfil SE Bond; Opti-Bond Plus. Os grupos controle (n=3) não tiveram a supeficie de dentina tratada com I2DDS antes dos precedimentos adesivos. Em todos os grupos, após hibridização da dentina, foi construída uma "restauração" de resina composta com cerca de 4 mm de espessura. Após 7 dias de armazenagem em água destilada, os dentes foram secionados de modo a originarem espécimes a serem submetidos ao teste de microtração (palitos). Análise estatística para comparação dos dados foi realizada pelo teste t de student (alfa=0,05). RESULTADOS: De forma geral, os grupos experimentais (tratados com I2DDS) apresentraram resistência adesiva significativamente menor do que os respectivos grupos controle (p;0.05). Assim, a hipótese nula deve ser rejeitada para os adesivos a base de etanol e/ou a base de água, mas aceita para o adesivo a base de acetona. CONCLUSÃO: O uso da solução experimental de iodo previamente à realização dos procedimentos adesivos afetou a efetividade da união à dentina apenas quando do emprego de sistemas adesivos a base de etanol e/ou água

Discovery of a cluster of galaxies behind the Milky Way: X-ray and optical observations

We report the discovery of Cl 2334+48, a rich cluster of galaxies in the Zone of Avoidance, identified in public images from the XMM-Newton archive. We present the main properties of this cluster using the XMM-Newton X-ray data, along with new optical spectroscopic and photometric observations. Cl 2334+48 is located at z = 0.271 +/- 0.001, as derived from the optical spectrum of the brightest member galaxy. Such redshift agrees with a determination from the X-ray spectrum (z = 0.263 (+0.012/-0.010)), in which an intense emission line is matched to the rest wavelength of the Fe Kalpha complex. Its intracluster medium has a plasma temperature of 4.92 (+0.50/-0.48) keV, sub-solar abundance (0.38 +/- 0.12 Zsun), and a bolometric luminosity of 3.2 x 10^44 erg/s. A density contrast delta = 2500 is obtained in a radius of 0.5 Mpc/h70, and the corresponding enclosed mass is 1.5 x 10^14 Msun. Optical images show an enhancement of g'-i' > 2.5 galaxies around the central galaxy, as expected if these were cluster members. The central object is a luminous E-type galaxy, which is displaced ~ 40 kpc/h70 from the cluster X-ray center. In addition, it has a neighbouring arc-like feature (~ 22" or 90 kpc/h70 from it), probably due to strong gravitational lensing. The discovery of Cl 2334+48 emphasises the remarkable capability of the XMM-Newton to reveal new clusters of galaxies in the Zone of Avoidance.Comment: 9 pages, 11 figures, Accepted for publication in A&A (on July 12, 2006

Uroflowmetry in a Large Population of Brazilian Men Submitted to a health check up program and its correlation with ipss and prostate size

Purpose: the aim of this study was to assess the uroflowmetry data in a large population of asymptomatic Brazilian men submitted to a health check up program and their correlation to IPSS and prostate size.Materials and Methods: Asymptomatic men underwent a health check-up program between January and December 2012. the inclusion criteria were men between 40 and 70 years, IPSS <= 7, without bladder, prostate, urethral surgery, neurological diseases, urinary tract infection, PSA < 4.0 ng/dL and urinary volume higher than 150 mL. Urological assessment consisted of clinical history, IPSS, digital rectal examination (DRE), prostate specific antigen (PSA), urinalysis, ultrasonography and uroflowmetry.Results: A total of 1041 asymptomatic men were included in this study. the average age was 49 years and average maximum flow rate was 17.4 mL/s. in spite of IPSS and prostate size increase with aging, they had a weak correlation with Q(max) cutoffs (10 mL/s and 15 mL/s). A total of 85 men (8.3%) had more than 60 years, and even in this group, Q(max) was higher than 15 mL/s. Out of 1041 men, 117 had IPSS less than 8 and Q(max) less than 10 mL/s.Conclusions: in asymptomatic men there is a weak correlation between IPSS, prostate size and uroflowmetric data. the establishment of different normal cutoffs seems to be complicated and uroflowmetry data should be interpreted with caution in order to avoid misdiagnosis.Hosp Israelita Albert Einstein, São Paulo, BrazilUniversidade Federal de São Paulo, São Paulo, BrazilWake Forest Univ, Winston Salem, NC 27109 USAUniversidade Federal de São Paulo, São Paulo, BrazilWeb of Scienc

Restrictions and extensions of semibounded operators

We study restriction and extension theory for semibounded Hermitian operators in the Hardy space of analytic functions on the disk D. Starting with the operator zd/dz, we show that, for every choice of a closed subset F in T=bd(D) of measure zero, there is a densely defined Hermitian restriction of zd/dz corresponding to boundary functions vanishing on F. For every such restriction operator, we classify all its selfadjoint extension, and for each we present a complete spectral picture. We prove that different sets F with the same cardinality can lead to quite different boundary-value problems, inequivalent selfadjoint extension operators, and quite different spectral configurations. As a tool in our analysis, we prove that the von Neumann deficiency spaces, for a fixed set F, have a natural presentation as reproducing kernel Hilbert spaces, with a Hurwitz zeta-function, restricted to FxF, as reproducing kernel.Comment: 63 pages, 11 figure

Forest fragmentation impacts the seasonality of Amazonian evergreen canopies

Predictions of the magnitude and timing of leaf phenology in Amazonian forests remain highly controversial. Here, we use terrestrial LiDAR surveys every two weeks spanning wet and dry seasons in Central Amazonia to show that plant phenology varies strongly across vertical strata in old-growth forests, but is sensitive to disturbances arising from forest fragmentation. In combination with continuous microclimate measurements, we find that when maximum daily temperatures reached 35 °C in the latter part of the dry season, the upper canopy of large trees in undisturbed forests lost plant material. In contrast, the understory greened up with increased light availability driven by the upper canopy loss, alongside increases in solar radiation, even during periods of drier soil and atmospheric conditions. However, persistently high temperatures in forest edges exacerbated the upper canopy losses of large trees throughout the dry season, whereas the understory in these light-rich environments was less dependent on the altered upper canopy structure. Our findings reveal a strong influence of edge effects on phenological controls in wet forests of Central Amazonia

Variations in Amazonian forest canopy structure and light environments across environmental and disturbance gradients.

A critical problem in tropical forest ecology is understanding how vegetation structure and function vary over environmental gradients. The degree to which forest structure changes across the Amazon basin and the role of environmental variability in shaping forest structure and dynamics are poorly characterised, despite the importance of these forests for regional and global climate. To address these challenges, we connected 10 years of investigations to amass a large database of ground-based profiling canopy lidar (PCL) data from 297 Amazon forest plots across large-scale environmental and disturbance gradients. Mean annual precipitation varied from 1,963 to 3,159 mm, number of dry season months from 0 to 5, and plot soil types covered about half of the variation in phosphorus, exchangeable cation, and soil physical property values observed in Amazonia. We quantified detailed metrics of vertical and horizontal structure and canopy light environments. Forest structure varied considerably across plots; maximum canopy height ranged from 6.1 to 35.7 m, gap fraction from 0.00 to 0.36, LAI from 0.5 to 7.3, rugosity from 1.5 to 7.5 m, and the relative height of 50% light transmission from 0.3 to 0.8. Disturbed sites exhibited almost twice the level of variation (SD) to non-disturbed sites for many metrics. Vertical leaf area density (LAD) profiles also showed high between plot variability, especially at low and high relative canopy heights. Plots with similar LAD profiles sometimes exhibited different distributions of ?canopy photic environment layers??where canopy leaf area is separated into photic environment layers by depth from canopy surface. This demonstrates that LAD profiles alone are insufficient for characterising canopy environments, essential to light-driven regeneration and carbon cycle processes. In addition, we evaluated relationships between lidar metrics and environmental variables extracted from geospatial layers. Our dataset allows a unique and detailed multi-site analysis of canopy structure and environments across the Amazon, including regions with little or no lidar sampling. Examining how structural attributes alter across environmental gradients is critical to understanding how current and future climate influences Amazonian forest structure, function, and dynamics.Paper 499657

Recent Developments of World-Line Monte Carlo Methods

World-line quantum Monte Carlo methods are reviewed with an emphasis on breakthroughs made in recent years. In particular, three algorithms -- the loop algorithm, the worm algorithm, and the directed-loop algorithm -- for updating world-line configurations are presented in a unified perspective. Detailed descriptions of the algorithms in specific cases are also given.Comment: To appear in Journal of Physical Society of Japa