Double vector meson production in the International Linear Collider

In this paper we study double vector meson production in $\gamma \gamma$ interactions at high energies and, using the color dipole picture, estimate the main observables which can be probed at the International Linear Collider (ILC). The total $\gamma (Q_1^2) + \gamma (Q_2^2) \rightarrow V_1 + V_2$ cross-sections for $V_i = \rho$, $\phi$, $J/\psi$ and $\Upsilon$ are computed and the energy and virtuality dependencies are studied in detail. Our results demonstrate that the experimental analysis of this process is feasible at the ILC and it can be useful to constrain the QCD dynamics at high energies.Comment: 11 pages, 8 figure

Deductive Verification of Unmodified Linux Kernel Library Functions

This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations. The formal contract of the functions was extracted from their source code and was represented in the form of preconditions and postconditions. The correctness of 23 functions was completely proved using AstraVer toolset, although success for 11 functions was achieved using 2 new specification language constructs. Another 2 functions were proved after a minor modification of their source code, while the final one cannot be completely proved using the existing memory model. The benchmark can be used for the testing and evaluation of deductive verification tools and as a starting point for verifying other parts of the Linux kernel.Comment: 18 pages, 2 tables, 6 listings. Accepted to ISoLA 2018 conference. Evaluating Tools for Software Verification trac

Oral appliances and functional orthopaedic appliances for obstructive sleep apnoea in children

Background Apnoea is a breathing disorder marked by the absence of airflow at the nose or mouth. In children, risk factors include adenotonsillar hypertrophy, obesity, neuromuscular disorders and craniofacial anomalies. The most common treatment for obstructive sleep apnoea syndrome (OSAS) in childhood is adeno-tonsillectomy. This approach is limited by its surgical risks, mostly in children with comorbidities and, in some patients, by recurrence that can be associated with craniofacial problems. Oral appliances and functional orthopaedic appliances have been used for patients who have OSAS and craniofacial anomalies because they hold the lower jaw (mandible) forwards which potentially enlarges the upper airway and increases the upper airspace, improving the respiratory function. Objectives To assess the effects of oral appliances or functional orthopaedic appliances for obstructive sleep apnoea in children. Search methods We searched the following electronic databases: Cochrane Oral Health's Trials Register (to 7 April 2016)Cochrane Central Register of Controlled Trials (CENTRAL2016, Issue 3) in the Cochrane Library (searched 7 April 2016)MEDLINE Ovid (1946 to 7 April 2016)Embase Ovid (1980 to 7 April 2016)LILACS BIREME (from 1982 to 7 April 2016)BBO BIREME (from 1986 to 7 April 2016) and SciELO Web of Science (from 1997 to 7 April 2016). We searched ClinicalTrials.gov and the World Health Organization International Clinical Trials Registry Platform for ongoing trials on 7 April 2016. We placed no restrictions on the language or date of publication when searching the electronic databases. Selection criteria All randomised or quasi-randomised controlled trials comparing all types of oral and functional orthopaedic appliances with placebo or no treatment, in children 15 years old or younger. Primary outcome: reduction of apnoea to less than one episode per hour. Secondary outcomes: dental and skeletal relationship, sleep parameters improvement, cognitive and phonoaudiological function, behavioural problems, quality of life, side effects (tolerability) and economic evaluation. Data collection and analysis Two review authors screened studies and extracted data independently. Authors were contacted for additional information. We calculated risk ratios with 95% confidence intervals for all important dichotomous outcomes. We assessed the quality of the evidence of included studies using GRADEpro software. Main results The initial search identified 686 trials. Only one trial, reporting the results from a total of 23 children and comparing an oral appliance to no treatment, was suitable for inclusion in the review. The trial assessed apnoea-hypopnoea, daytime symptoms (sleepiness, irritability, tiredness, school problems, morning headache, thirstiness in the morning, oral breathing and nasal stuffiness) and night-time symptoms (habitual snoring, restless sleep and nightmares measured by questionnaire). Results were inconsistent across outcomes measures and time points. The evidence was considered very low quality. Authors' conclusions There is insufficient evidence to support or refute the effectiveness of oral appliances and functional orthopaedic appliances for the treatment of obstructive sleep apnoea in children. Oral appliances or functional orthopaedic appliances may be considered in specified cases as an auxiliary in the treatment of children who have craniofacial anomalies which are risk factors for apnoea.Brazilian Cochrane Center, BrazilNational Institute for Health Research (NIHR), UKNIHRCochrane Oral Health Global AllianceNeuro-Sono SleepCenter, Department of Neurology,Universidade Federal de São Paulo, Rua Americo Salvador Novelli 508, BR-08210090 Sao Paulo, SP, BrazilDepartment of Neurology,Universidade Federal de São Paulo, Rua Americo Salvador Novelli 508, BR-08210090 Sao Paulo, SP, BrazilExternal sourcesBrazilian Cochrane Center, Brazil.National Institute for Health Research (NIHR), UK.This project was supported by the NIHR, via Cochrane Infrastructure funding to Cochrane Oral Health. The views and opinions expressed therein are those of the review authors and do not necessarily reflect those of the Systematic Reviews Programme, the NIHR, the NHS or the Department of Health.Cochrane Oral Health Global Alliance, Other.The production of Cochrane Oral Health reviews has been supported financially by our Global Alliance since 2011 (ohg.cochrane.org/partnerships-alliances). Contributors over the last year have been: British Association for the Study of Community Dentistry, UKBritish Society of Paediatric Dentistry, UKCentre for Dental Education and Research at All India Institute of Medical Sciences, IndiaNational Center for Dental Hygiene Research & Practice, USANew York University College of Dentistry, USANHS Education for Scotland, UK.Web of Scienc

Magnetic phases evolution in the LaMn1-xFexO3+y system

We have investigated the crystal structure and magnetic properties for polycrystalline samples of LaMn1-xFexO3+y, in the whole range x=0.0 to x=1.0, prepared by solid state reaction in air. All samples show the ORT-2 orthorhombic structure that suppresses the Jahn-Teller distortion, thus favoring a ferromagnetic (FM) superexchange (SE) interaction between Mn^{3+}-O-Mn^{3+}. For x=0.0 the oxygen excess (y ~ 0.09) produces vacancies in the La and Mn sites and generates a fraction around 18% of Mn^{4+} ions and 82% of the usual Mn^{3+} ions, with possible double exchange interaction between them. The Fe doping in this system is known to produce only stable Fe^{3+} ions. We find an evolution from a fairly strong FM phase with a Curie temperature T_{C} ~ 160 K, for x=0.0, to an antiferromagnetic (AFM) phase with T_{N} = 790 K, for x=1.0, accompanied by clear signatures of a cluster-glass behavior. For intermediate Fe contents a mixed-phase state occurs, with a gradual decrease (increase) of the FM (AFM) phase, accompanied by a systematic transition broadening for 0.2 < x < 0.7. A model based on the expected exchange interaction among the various magnetic-ion types, accounts very well for the saturation-magnetization dependence on Fe doping.Comment: 27 pages, 9 figure