Incremental and Modular Context-sensitive Analysis

Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many situations in which modifications are small and isolated within a few components, and it is desirable to reuse as much as possible previous analysis results. This has been achieved to date through incremental global analysis fixpoint algorithms that achieve cost reductions at fine levels of granularity, such as changes in program lines. However, these fine-grained techniques are not directly applicable to modular programs, nor are they designed to take advantage of modular structures. This paper describes, implements, and evaluates an algorithm that performs efficient context-sensitive analysis incrementally on modular partitions of programs. The experimental results show that the proposed modular algorithm shows significant improvements, in both time and memory consumption, when compared to existing non-modular, fine-grain incremental analysis techniques. Furthermore, thanks to the proposed inter-modular propagation of analysis information, our algorithm also outperforms traditional modular analysis even when analyzing from scratch.Comment: 56 pages, 27 figures. To be published in Theory and Practice of Logic Programming. v3 corresponds to the extended version of the ICLP2018 Technical Communication. v4 is the revised version submitted to Theory and Practice of Logic Programming. v5 (this one) is the final author version to be published in TPL

The VVV Survey RR Lyrae Population in the Galactic Center Region

Indexación: Scopus.We gratefully acknowledge the use of data from the ESO Public Survey program ID 179.B-2002 taken with the VISTA telescope, and data products from the Cambridge Astronomical Survey Unit (CASU). Support for the authors is provided by the BASAL Center for Astrophysics and Associated Technologies (CATA) through grant PFB-06, and the Ministry for the Economy, Development, and Tourism, Programa Iniciativa Cientifica Milenio through grant IC120009, awarded to the Millennium Institute of Astrophysics (MAS). D.M. and M.Z. acknowledge support from FONDECYT Regular grants No. 1170121, and 1150345, respectively. P.H. acknowledges financial support from FONDECYT regular grant 1170305. F.G. acknowledge support from CONICYT-PCHA Doctorado Nacional 2017-21171485 and Proyecto Fondecyt Regular 1150345. J.A.-G. acknowledges support by FONDECYT Iniciacion 11150916. D.M. is also grateful for the hospitality of the Vatican Observatory. This research made use of Astropy, a community-developed core Python package for astronomy; Scikit-learn, NumPy, and matplotlib, a Python library for publication-quality graphics; and Aladin Sky Atlas, developed at CDS, Strasbourg Observatory, France, and TOPCAT.Deep near-IR images from the VISTA Variables in the V a L ctea (VVV) Survey were used to search for RR Lyrae stars within 100 arcmin from the Galactic Center. A large sample of 960 RR Lyrae of type ab (RRab) stars were discovered. A catalog is presented featuring the positions, magnitudes, colors, periods, and amplitudes for the sample, in addition to estimated reddenings, distances, and metallicities, and measured individual relative proper motions. We use the reddening-corrected Wesenheit magnitudes, defined as WKs Ks 0.428 J Ks = - ( - ), in order to isolate bona fide RRL belonging to the Galaxy Center, finding that 30 RRab are foreground/background objects. We measure a range of extinctions from AKs 0.19 = to 1.75 mag for the RRab in this region, finding that large extinction is the main cause of the sample incompleteness. The mean period is P =0.5446±0.0025 days, yielding a mean metallicity of [Fe/H] =-1.30±0.01 (ς = 0.33) dex for the RRab sample in the Galactic Center region. The median distance for the sample is D =8.05±0.02 kpc. We measure the RRab surface density using the less reddened region sampled here, finding a density of 1000 RRab/sq deg at a projected Galactocentric distance RG =1.6 deg. Under simple assumptions, this implies a large total mass (M>109Me) for the old and metal-poor population contained inside RG. We also measure accurate relative proper motions, from which we derive tangential velocity dispersions of ςVl =125.0 and ςVb =124.1 km s-1 along the Galactic longitude and latitude coordinates, respectively. The fact that these quantities are similar indicate that the bulk rotation of the RRab population is negligible, and implies that this population is supported by velocity dispersion. In summary, there are two main conclusions of this study. First, the population as a whole is no different from the outer bulge RRab, predominantly a metal-poor component that is shifted with respect to the Oosterhoff type I population defined by the globular clusters in the halo. Second, the RRab sample, as representative of the old and metal-poor stellar population in the region, has high velocity dispersions and zero rotation, suggesting a formation via dissipational collapse. ©2018. The American Astronomical Society. All rights reserved.https://iopscience.iop.org/article/10.3847/1538-4357/aacf9

Nucleotomía percutánea automatizada: experiencia en 425 casos

En el presente trabajo exponemos nuestra experiencia en el tratamiento de la hernia discal lumbar mediante Nucleotomía Percutánea Automatizada. El estudio comprende el periodo de Junio de 1988 a Diciembre de 1992. Se incluyen un total de 425 enfermos de edades comprendidas entre los 18 y 58 años. Los pacientes han sido evaluados a las 6 semanas, a los 3 y a los 6 meses tras la intervención. Los resultados han sido satisfactorios en el 71% de los casos. Solamente hubo una complicación de espondilodiscitis. En el 29% de los casos se obtuvieron malos resultados. Un porcentaje importante de los fracasos, se debieron a una mala selección de los pacientes desde el punto de vista de su perfil psicológico.Our experience using automated percutaneous nucleotomy for treatment for herniated disc is presented. A total of 42 5 patientes, aged between 18 and 58 years and operated from June 88 to December 1992, has been included. Patients were clinically assessed at 6 weeks, 3 months and 6 months after surgery. Satisfactory results were found in 71% of cases. As for complications, there was only a case of discitis. In 29% of patients, the outcome was poor. An important group of failures were due to bad selection of patients regadings psychological profile

A simulation analysis of an influenza vaccine production plant in areas of high humanitarian flow. A preliminary study for the region of norte de santander (colombia)

The production of vaccines of biological origin presents a tremendous challenge for re-searchers. In this context, animal cell cultures are an excellent alternative for the isolation and production of biologicals against several viruses, since they have an affinity with viruses and a great capacity for their replicability. Different variables have been studied to know the system’s ideal parameters, allowing it to obtain profitable and competitive products. Consequently, this work fo-cuses its efforts on evaluating an alternative for producing an anti‐influenza biological from MDCK cells using SuperPro Designer v8.0 software. The process uses the DMEN culture medium supple-mented with nutrients as raw material for cell development; the MDCK cells were obtained from a potential scale‐up with a final working volume of 500 L, four days of residence time, inoculum volume of 10%, and continuous working mode with up to a total of 7400 h/Yr of work. The scheme has the necessary equipment for the vaccine’s production, infection, and manufacture with yields of up to 416,698 units/h. In addition, it was estimated to be economically viable to produce recom-binant vaccines with competitive prices of up to 0.31 USD/unit

A simulation analysis of a microalgal-production plant for the transformation of inland-fisheries wastewater in sustainable feed

The present research evaluates the simulation of a system for transforming inland-fisheries wastewater into sustainable fish feed using Designer® software. The data required were obtained from the experimental cultivation of Chlorella sp. in wastewater supplemented with N and P. According to the results, it is possible to produce up to 11,875 kg/year (31.3 kg/d) with a production cost of up to 18 (USD/kg) for dry biomass and 0.19 (USD/bottle) for concentrated biomass. Similarly, it was possible to establish the kinetics of growth of substrate-dependent biomass with a maximum production of 1.25 g/L after 15 days and 98% removal of available N coupled with 20% of P. It is essential to note the final production efficiency may vary depending on uncontrollable variables such as climate and quality of wastewater, among others

The effect of LEDs on biomass and phycobiliproteins production in thermotolerant oscillatoria sp

Featured Application: The selection of LEDs wavelength, intensity, and light: Dark cycle positively enhances the biomass production and phycocyanin synthesis in Oscillatoria sp. This study evaluates the role of different LED lights (white, blue/red), intensity (µmol m−2 s−1), and photoperiod in the production of biomass and phycocyanin-C, allophycocyanin and phycoerythrin (C-PC, APC, and PE respectively) from a novel thermotolerant strain of Oscillatoria sp. Results show that a mixture of white with blue/red LEDs can effectively double the biomass concentration up to 1.3 g/L, while the concentration of the selected phycobiliproteins increased proportionally to biomass. Results also indicate that high light intensities (>120 µmol m−2 s−1) can diminish the final concentration of C-PC, APC, and PE, significantly reducing the overall biomass produced. Finally, the photoperiod analysis showed that longer light exposure times (18:6 h) improved both biomass and phycobiliproteins concentration. These results demonstrate that the application of LEDs to produce a novel strain of Oscillatoria sp can double the biomass concentration, and the photoperiod regulation can eventually enhance the final concentration of specific phycobiliproteins such as APC and PE