Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. The practicality of this approach is demonstrated on several variability models

Generalizations of Tucker-Fan-Shashkin lemmas

Tucker and Ky Fan's lemma are combinatorial analogs of the Borsuk-Ulam theorem (BUT). In 1996, Yu. A. Shashkin proved a version of Fan's lemma, which is a combinatorial analog of the odd mapping theorem (OMT). We consider generalizations of these lemmas for BUT-manifolds, i.e. for manifolds that satisfy BUT. Proofs rely on a generalization of the OMT and on a lemma about the doubling of manifolds with boundaries that are BUT-manifolds.Comment: 10 pages, 2 figure

BVRI Surface Photometry of Isolated Spiral Galaxies

A release of multicolor broad band (BVRI) photometry for a subsample of 44 isolated spirals drawn from the Catalogue of Isolated Galaxies (CIG) is presented. Total magnitudes and colors at various circular apertures, as well as some global structural/morphological parameters are estimated. Morphology is reevaluated through optical and sharp/filtered R band images, (B-I) color index maps, and archive near-IR JHK images from the Two-Micron Survey. The CAS structural parameters (Concentration, Asymmetry, and Clumpiness) were calculated from the images in each one of the bands. The fraction of galaxies with well identified optical/near-IR bars (SB) is 63%, while a 17% more shows evidence of weak or suspected bars (SAB). The sample average value of the maximum bar ellipticity is 0.4. Half of the galaxies in the sample shows rings. We identify two candidates for isolated galaxies with disturbed morphology. The structural CAS parameters change with the observed band, and the tendencies they follow with the morphological type and global color are more evident in the redder bands. In any band, the major difference between our isolated spirals and a sample of interacting spirals is revealed in the A-S plane. A deep and uniformly observed sample of isolated galaxies is intended for various purposes including (i) comparative studies of environmental effects, (ii) confronting model predictions of galaxy evolution and (iii) evaluating the change of galaxy properties with redshift.Comment: 44 pages, 9 figures and 7 tables included. To appear in The Astronomical Journal. For the 43 appendix figures 4.1-4.43 see http://www.astroscu.unam.mx/~avila/Figs4.1_4.43.tar.gz (7.2 Mb tar.gz file

A fast 2D image reconstruction algorithm from 1D data for the Gaia mission

A fast 2-dimensional image reconstruction method is presented, which takes as input 1-dimensional data acquired from scans across a central source in different orientations. The resultant reconstructed images do not show artefacts due to non-uniform coverage in the orientations of the scans across the central source, and are successful in avoiding a high background due to contamination of the flux from the central source across the reconstructed image. Due to the weighting scheme employed this method is also naturally robust to hot pixels. This method was developed specifically with Gaia data in mind, but should be useful in combining data with mismatched resolutions in different directions.Comment: accepted (18 pages, 13 figures) will appear in Experimental Astronom

Evaluation of the Coverage of 3 Antibiotic Regimens for Neonatal Sepsis in the Hospital Setting Across Asian Countries.

Importance: High levels of antimicrobial resistance in neonatal bloodstream isolates are being reported globally, including in Asia. Local hospital antibiogram data may include too few isolates to meaningfully examine the expected coverage of antibiotic regimens. Objective: To assess the coverage offered by 3 antibiotic regimens for empirical treatment of neonatal sepsis in Asian countries. Design, Setting, and Participants: A decision analytical model was used to estimate coverage of 3 prespecified antibiotic regimens according to a weighted-incidence syndromic combination antibiogram. Relevant data to parameterize the models were identified from a systematic search of Ovid MEDLINE and Embase. Data from Asian countries published from 2014 onward were of interest. Only data on blood culture isolates from neonates with sepsis, bloodstream infection, or bacteremia reported from the relevant setting were included. Data analysis was performed from April 2019 to July 2019. Exposures: The prespecified regimens of interest were aminopenicillin-gentamicin, third-generation cephalosporins (cefotaxime or ceftriaxone), and meropenem. The relative incidence of different bacteria and their antimicrobial susceptibility to antibiotics relevant for determining expected concordance with these regimens were extracted. Main Outcomes and Measures: Coverage was calculated on the basis of a decision-tree model incorporating relative bacterial incidence and antimicrobial susceptibility of relevant isolates. Data on 7 bacteria most commonly reported in the included studies were used for estimating coverage, which was reported at the country level. Results: Data from 48 studies reporting on 10 countries and 8376 isolates were used. Individual countries reported 51 (Vietnam) to 6284 (India) isolates. Coverage varied considerably between countries. Meropenem was generally estimated to provide the highest coverage, ranging from 64.0% (95% credible interval [CrI], 62.6%-65.4%) in India to 90.6% (95% CrI, 86.2%-94.4%) in Cambodia, followed by aminopenicillin-gentamicin (from 35.9% [95% CrI, 27.7%-44.0%] in Indonesia to 81.0% [95% CrI, 71.1%-89.7%] in Laos) and cefotaxime or ceftriaxone (from 17.9% [95% CrI, 11.7%-24.7%] in Indonesia to 75.0% [95% CrI, 64.8%-84.1%] in Laos). Aminopenicillin-gentamicin coverage was lower than that of meropenem in all countries except Laos (81.0%; 95% CrI, 71.1%-89.7%) and Nepal (74.3%; 95% CrI, 70.3%-78.2%), where 95% CrIs for aminopenicillin-gentamicin and meropenem were overlapping. Third-generation cephalosporin coverage was lowest of the 3 regimens in all countries. The coverage difference between aminopenicillin-gentamicin and meropenem for countries with nonoverlapping 95% CrIs ranged from -15.9% in China to -52.9% in Indonesia. Conclusions and Relevance: This study's findings suggest that noncarbapenem antibiotic regimens may provide limited coverage for empirical treatment of neonatal sepsis in many Asian countries. Alternative regimens must be studied to limit carbapenem consumption

Quantitative NME microscopy of iron transport in methanogenic aggregates

Transport of micronutrients (iron, cobalt, nickel, etc.) within biofilms matrixes such as methanogenic granules is of high importance, because these are either essential or toxic for the microorganisms living inside the biofilm. The present study demonstrates quantitative measurements of metal transport inside these biofilms using T1 weighted 3D RARE. It is shown that iron(II)-EDTA diffusion within the granule is independent of direction or the inner structure of the granules. Assuming position dependence of the spin-lattice relaxivity, Fick’s law for diffusion in a sphere can be applied to simulate the diffusion within the methanogenic granules under investigation. A relatively low diffusion coefficient of 2.5*10-11 m2·s-1 was obtained for iron diffusion within the methanogenic granul

Status of Zero Degree Calorimeter for CMS Experiment

The Zero Degree Calorimeter (ZDC) is integral part of the CMS experiment, especially, for heavy ion studies. The design of the ZDC includes two independent calorimeter sections: an electromagnetic section and a hadronic section. Sampling calorimeters using tungsten and quartz fibers have been chosen for the energy measurements. An overview of the ZDC is presented along with a current status of calorimeter's preparation for Day 1 of LHC.Comment: 8 pages, 5 figures, 1 table, to appear in the proceedings of CALOR06, June 5-9, 2006 Chicago, US