A Review of Ten Years of the Symposium on Search-Based Software Engineering

The year 2018 marked the tenth anniversary of the Symposium on Search Based Software Engineering (SSBSE). In order to better understand the characteristics and evolution of papers published in SSBSE, this work reports results from a mapping study targeting the ten proceedings of SSBSE. Our goal is to identify and to analyze authorship collaborations, the impact and relevance of SSBSE in terms of citations, the software engineering areas commonly studied as well as the new problems recently solved, the computational intelligence techniques preferred by authors and the rigour of experiments conducted in the papers. Besides this analysis, we list some recommendations to new authors who envisage to publish their work in SSBSE. Despite of existing mapping studies on SBSE, our contribution in this work is to provide information to researchers and practitioners willing to enter the SBSE field, being a source of information to strengthen the symposium, guide new studies, and motivate new collaboration among research groups

The importance of serological assays in diagnosing acute pulmonary histoplasmosis

Histoplasmosis is a systemic mycosis caused by inhalation of Histoplasma capsulatum microconidia. The disease does not normally affect immunocompetent individuals after a single, transient inhalation exposure. However, longer exposure may cause chronic or disseminated acute pulmonary infection. Herein, we report the case of a 24-year-old immunocompetent patient, who presented fever, cough and dyspnea for one month. The chest radiography revealed interstitial infiltrate and diffuse micronodules. The patient reported having had close and prolonged contact with bats. Diagnosis was confirmed by positive double immunodifusion and immunoblotting assays. She was treated with ketoconazole (400 mg) and there was complete resolution of the disease

Axino Cold Dark Matter Revisited

Axino arises in supersymmetric versions of axion models and is a natural candidate for cold or warm dark matter. Here we revisit axino dark matter produced thermally and non-thermally in light of recent developments. First we discuss the definition of axino relative to low energy axion one for several KSVZ and DFSZ models of the axion. Then we review and refine the computation of the dominant QCD production in order to avoid unphysical cross-sections and, depending on the model, to include production via SU(2) and U(1) interactions and Yukawa couplings.Comment: 30 pages, 10 figures, version accepted by JHE

Ten-year survival of ART restorations in permanent posterior teeth

This study evaluated the 10-year clinical performance of high-viscosity glass-ionomer cement placed in posterior permanent teeth by means of the Atraumatic Restorative Treatment (ART) approach. One operator placed 167 single- and 107 multiple-surface restorations in 43 high-risk caries pregnant women (mean decayed teeth = 9.8 ± 5.5). Examinations were performed at 1-, 2-, and 10-year intervals according to ART criteria. In the last evaluation, the US Public Health Service (USPHS) criteria were also used. After 10 years, 129 restorations (47.1%) were evaluated and achieved a cumulative survival rate of 49.0% (SE 7.2%). The 10-year survival of single- and multiple-surface ART restorations assessed using the ART criteria were 65.2% (SE 7.3%) and 30.6% (SE 9.9%), respectively. This difference was significant (jackknife SE of difference; p < 0.05). Using the USPHS criteria, the 10-year survival of single- and multiple-surface ART restorations were 86.5% and 57.6%, respectively. The primary causes of failure were total loss (9.3%) and marginal defects (5.4%). The survival rates observed, especially for the single-surface restorations, confirm the potential of the ART approach for restoring and saving posterior permanent teeth

Characterization and Evaluation of Layered Bi2WO6 Nanosheets as a New Antibacterial Agent

Background: Pathogenic microorganisms are causing increasing cases of mortality and morbidity, along with alarming rates of ineffectiveness as a result of acquired antimicrobial resistance. Bi2WO6 showed good potential to be used as an antibacterial substance when exposed to visible light. This study demonstrates for the first time the dimension-dependent antibacterial activity of layered Bi2WO6 nanosheets. Materials and methods: The synthesized layered Bi2WO6 nanosheets were prepared by the hydrothermal method and characterized by powder X-ray diffraction (XRD), scanning electron microscopy (SEM), atomic force microscopy (AFM), and Raman and Fourier transform infrared spectroscopy (FTIR). Antibacterial and antibiotic-modulation activities were performed in triplicate by the microdilution method associated with visible light irradiation (LEDs). Results: Bi2WO6 nanosheets were effective against all types of bacteria tested, with MIC values of 256 µg/mL against Escherichia coli standard and resistant strains, and 256 µg/mL and 32 µg/mL against Staphylococcus aureus standard and resistant strains, respectively. Two-dimensional (2D) Bi2WO6 nanosheets showed antibacterial efficiency against both strains studied without the presence of light. Conclusions: Layered Bi2WO6 nanosheets revealed dimension-dependent antibacterial activity of the Bi2WO6 system.The authors thank Conselho Nacional de Desenvolvimento Científico e Tecnológico— CNPq, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior—CAPES, and Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico—FUNCAP (Proc. BP4-00172-00232.01.00/20 and Proc. PR2-0101-00006.01.00/15) for the financial support. The authors would also like to thank the educational institutions UFCA, URCA, and UNILEÃO for their support during the experiments

A timeband framework for modelling real-time systems

Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures. New scientific foundations are required for specifying, designing and implementing these systems. One key challenge is to cope with the wide range of time scales and dynamics inherent in such systems. To exploit the unique properties of time, with the aim of producing more dependable computer-based systems, it is desirable to explicitly identify distinct time bands in which the system is situated. Such a framework enables the temporal properties and associated dynamic behaviour of existing systems to be described and the requirements for new or modified systems to be specified. A system model based on a finite set of distinct time bands is motivated and developed in this paper

Elliptic Curves over Real Quadratic Fields are Modular

We prove that all elliptic curves defined over real quadratic fields are modular.Comment: 38 pages. Magma scripts available as ancillary files with this arXiv versio

Bionomics of Culex quinquefasciatus within urban areas of Rio de Janeiro, Southeastern Brazil

OBJECTIVE: To evaluate density, parity rates, daily survival and longevity of natural populations of Culex quinquefasciatus in three neighborhoods with distinct socio-economic and infrastructure profiles. METHODS: Mosquito collections of the Culex quinquefasciatus species were performed weekly during two four month periods, from August to November 2008 (spring) and March to June 2009 (fall), in a favela (slum), a suburban area and a middle class area of Rio de Janeiro, Southeastern Brazil. Collections were performed with backpack aspirators, in 20 randomly selected houses in each area per week, during 15-20 minutes per house. Ovaries were removed from captured females and classified as initial, intermediary or final stage. Furthermore, females were dissected for determination of parity based on the condition of the tracheal system. Mosquito survival rate and longevity were estimated on a per month basis for each neighborhood. RESULTS: We collected a total of 2,062 Culex quinquefasciatus, but monthly vector density was not correlated with temperature and rainfall. We dissected the ovaries of 625 Culex quinquefasciatus, and overall, there was a higher proportion of nulliparous females during the dryer months, while gravid females were more frequent in rainy months. In the middle class neighborhood, the parity rate reached up to 93.75% with survivorship of 0.979. Lower parity and survival rates were obtained in the suburban area (as low as 36.4% parity and 0.711 daily survival). Up to 84.7% of Culex quinquefasciatus females could survive the eight day period needed to complete West Nile Virus incubation. CONCLUSIONS: The survival rate of Culex quinquefasciatus varied significantly between the neighborhoods. This suggests that vectorial capacity and disease transmission risk may vary greatly between different urban areas, which is potentially useful information for vector control programs