A CDCL-style calculus for solving non-linear constraints

In this paper we propose a novel approach for checking satisfiability of non-linear constraints over the reals, called ksmt. The procedure is based on conflict resolution in CDCL style calculus, using a composition of symbolical and numerical methods. To deal with the non-linear components in case of conflicts we use numerically constructed restricted linearisations. This approach covers a large number of computable non-linear real functions such as polynomials, rational or trigonometrical functions and beyond. A prototypical implementation has been evaluated on several non-linear SMT-LIB examples and the results have been compared with state-of-the-art SMT solvers.Comment: 17 pages, 3 figures; accepted at FroCoS 2019; software available at <http://informatik.uni-trier.de/~brausse/ksmt/

Polysomnographic evaluation of obstructive sleep apnea syndrome in children, before and after adenotonsillectomy

Introduction: In the last years the Obstructive Sleep Apnea/Hypopnea Syndrome (OSAHS) has much interested because it has not been completed established. Many criteria defined for OSAS in adults and children are different. We know that patient's clinical story is not sufficient for the diagnosis of OSAHS. In childhood, the most common cause of OSAHS is adenotonsillar hypertrophy, clinically characterised by snoring, apnea episodes, restless sleep, mouth breathing and daytime somnolence. Aim: This study has the purpose of comprovating, by objective way, the OSAS improving in children who underwent adenotonsillectomy. Study design: Clinical prospective. Material and method: For that, 23 children, among 2 and 13 years old, with adenotonsillar hypertrophy, were analysed. After endoscopy and polysomnography, they were submitted to adenotonsillectomy. Results: The polysomnography was repeated 2 months after surgery. The polysomnographic findings were compared through statistic study. Conclusion: All the patients had an important improve after adenotonsillectomy. Only two children (8.69%) persisted with light OSAHS, but they had moderate and important OSAHS before. We concluded that OSAHS is a precise indication for adenotonsillectomy in children.Introdução: Nos últimos anos a Síndrome da Apnéia/Hipopnéia Obstrutiva do Sono (SAHOS) tem despertado muito interesse por tratar-se de uma condição não totalmente estabelecida. Muitos critérios usados para definir SAHOS em adultos e crianças são diferentes entre si. Em 1995 Sabe-se que a história clínica do paciente não era suficiente para estabelecer o diagnóstico de SAHOS. Na criança a causa mais comum de SAOS é a hipertrofia adenoamigdaliana, normalmente caracterizada clinicamente pela presença de roncos noturnos, episódios de apnéia, sono agitado, respiração bucal e hipersonolência diurna4. Objetivo: Este estudo tem o intuito de comprovar de forma objetiva a melhora da SAHOS em crianças submetidas a adenoamigdalectomia. Forma de estudo: Clínico prospectivo. Material e método: Para isso, foram avaliadas 23 crianças entre 2 e 13 anos (1999-2001), com hipertrofia adenoamigdaliana, que após nasofibroscopia e polissonografia foram submetidas a cirurgia de adenoamigdalectomia. A polissonografia foi repetida após 2 meses de pós-operatório. Foi então realizado estudo estatístico dos dados obtidos na polissonografia pré- e pós-operatória. Resultado: Observamos que todos os pacientes tiveram melhora importante após adenoamigdalectomia. Duas crianças (8,69%) persistiram com SAOS leve, que anteriormente eram de grau moderado e acentuado. Conclusão: Concluímos assim que SAOS é uma indicação precisa para cirurgia de adenoamigdalectomia em crianças.UNIFESP-EPM Disciplina de Otorrinolaringologia PediátricaUNIFESP, EPM, Disciplina de Otorrinolaringologia PediátricaSciEL

Constraints on the χ_(c1) versus χ_(c2) polarizations in proton-proton collisions at √s = 8 TeV

The polarizations of promptly produced χ_(c1) and χ_(c2) mesons are studied using data collected by the CMS experiment at the LHC, in proton-proton collisions at √s=8  TeV. The χ_c states are reconstructed via their radiative decays χ_c → J/ψγ, with the photons being measured through conversions to e⁺e⁻, which allows the two states to be well resolved. The polarizations are measured in the helicity frame, through the analysis of the χ_(c2) to χ_(c1) yield ratio as a function of the polar or azimuthal angle of the positive muon emitted in the J/ψ → μ⁺μ⁻ decay, in three bins of J/ψ transverse momentum. While no differences are seen between the two states in terms of azimuthal decay angle distributions, they are observed to have significantly different polar anisotropies. The measurement favors a scenario where at least one of the two states is strongly polarized along the helicity quantization axis, in agreement with nonrelativistic quantum chromodynamics predictions. This is the first measurement of significantly polarized quarkonia produced at high transverse momentum