10,172 research outputs found

    Synthesizing framework models for symbolic execution

    Get PDF
    Symbolic execution is a powerful program analysis technique, but it is difficult to apply to programs built using frameworks such as Swing and Android, because the framework code itself is hard to symbolically execute. The standard solution is to manually create a framework model that can be symbolically executed, but developing and maintaining a model is difficult and error-prone. In this paper, we present Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket's focus is on creating models by instantiating design patterns. Pasket takes as input class, method, and type information from the framework API, together with tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes a framework model whose behavior on the tutorial programs matches that of the original framework. We evaluated Pasket by synthesizing models for subsets of Swing and Android. Our results show that the models derived by Pasket are sufficient to allow us to use off-the-shelf symbolic execution tools to analyze Java programs that rely on frameworks.National Science Foundation (U.S.) (CCF-1139021)National Science Foundation (U.S.) (CCF-1139056)National Science Foundation (U.S.) (CCF-1161775

    Nucleus-Nucleus Bremsstrahlung from Ultrarelativistic Collisions

    Get PDF
    The bremsstrahlung produced when heavy nuclei collide is estimated for central collisions at the Relativistic Heavy Ion Collider. Soft photons can be used to infer the rapidity distribution of the outgoing charge. An experimental design is outlined.Comment: 12 pages, 7 figures, uses revte

    Cd3As2 is Centrosymmetric

    Full text link
    This is a revised version of a manuscript that was originally posted here in February of 2014. It has been accepted at the journal Inorganic Chemistry after reviews that included those of two crystallographers who made sure all the t's were crossed and the i's were dotted. The old work (from 1968) that said that Cd3As2 was noncentrosymmetric was mistaken, with the authors of that study making a type of error that in the 1980s became infamous in crystallography. As a result of the increased scrutiny of the issue of centrosymmetricity of the 1980's, there are now much better analysis tools to resolve the issue fully, and its important to understand that not just our crystals are centrosymmetric, even the old guy's crystals were centrosymmetric (and by implication everyone's are). There is no shame in having made that error back in the day and those authors would not find the current centrosymmetric result controversial; their paper is excellent in all other aspects. This manuscript describes how the structure is determined, explains the structure schematically, calculates the electronic structure based on the correct centrosymmetric crystal structure, and gives the structural details that should be used for future analysis and modeling.Comment: Accepted by ACS Inorganic Chemistr

    Bilateral asymmetrical multiple renal arteries associated with the left testicular artery

    Get PDF
    We found 3 right and 2 left renal arteries with asymmetrical origins in a 61-year-old Korean male cadaver, whose cause of death was ‘laryngeal carcinoma’. According to a previous classification, the first and second right renal arteries correspond to the early division and other renal arteries — to the extra renal arteries, except the first left renal artery as a typical renal artery. The third right renal artery ran anterior to the inferior vena cava to the inferior pole of the kidney. The first and second left renal arteries were associated with the inferior suprarenal artery and the testicular artery, respectively. The bilateral asymmetry in the number of renal arteries can be explained by the embryological development, degeneration and persistence of the renal artery in the process of ascending of kidneys.

    Quantum and frustration effects on fluctuations of the inverse compressibility in two-dimensional Coulomb glasses

    Full text link
    We consider interacting electrons in a two-dimensional quantum Coulomb glass and investigate by means of the Hartree-Fock approximation the combined effects of the electron-electron interaction and the transverse magnetic field on fluctuations of the inverse compressibility. Preceding systematic study of the system in the absence of the magnetic field identifies the source of the fluctuations, interplay of disorder and interaction, and effects of hopping. Revealed in sufficiently clean samples with strong interactions is an unusual right-biased distribution of the inverse compressibility, which is neither of the Gaussian nor of the Wigner-Dyson type. While in most cases weak magnetic fields tend to suppress fluctuations, in relatively clean samples with weak interactions fluctuations are found to grow with the magnetic field. This is attributed to the localization properties of the electron states, which may be measured by the participation ratio and the inverse participation number. It is also observed that at the frustration where the Fermi level is degenerate, localization or modulation of electrons is enhanced, raising fluctuations. Strong frustration in general suppresses effects of the interaction on the inverse compressibility and on the configuration of electrons.Comment: 15 pages, 18 figures, To appear in Phys. Rev.

    A framework for evaluating automatic image annotation algorithms

    Get PDF
    Several Automatic Image Annotation (AIA) algorithms have been introduced recently, which have been found to outperform previous models. However, each one of them has been evaluated using either different descriptors, collections or parts of collections, or "easy" settings. This fact renders their results non-comparable, while we show that collection-specific properties are responsible for the high reported performance measures, and not the actual models. In this paper we introduce a framework for the evaluation of image annotation models, which we use to evaluate two state-of-the-art AIA algorithms. Our findings reveal that a simple Support Vector Machine (SVM) approach using Global MPEG-7 Features outperforms state-of-the-art AIA models across several collection settings. It seems that these models heavily depend on the set of features and the data used, while it is easy to exploit collection-specific properties, such as tag popularity especially in the commonly used Corel 5K dataset and still achieve good performance

    Performance of a prototype active veto system using liquid scintillator for a dark matter search experiment

    Full text link
    We report the performance of an active veto system using a liquid scintillator with NaI(Tl) crystals for use in a dark matter search experiment. When a NaI(Tl) crystal is immersed in the prototype detector, the detector tags 48% of the internal K-40 background in the 0-10 keV energy region. We also determined the tagging efficiency for events at 6-20 keV as 26.5 +/- 1.7% of the total events, which corresponds to 0.76 +/- 0.04 events/keV/kg/day. According to a simulation, approximately 60% of the background events from U, Th, and K radioisotopes in photomultiplier tubes are tagged at energies of 0-10 keV. Full shielding with a 40-cm-thick liquid scintillator can increase the tagging efficiency for both the internal K-40 and external background to approximately 80%.Comment: Submitted to Nuclear Instruments and Methods in Physics Research Section

    Multiplicity Fluctuations in the Pion-Fireball Gas

    Full text link
    The pion number fluctuations are considered in the system of pions and large mass fireballs decaying finally into pions. A formulation which gives an extension of the model of independent sources is suggested. The grand canonical and micro-canonical ensemble formulations of the pion-fireball gas are considered as particular examples.Comment: 13 pages, 4 figure
    • …
    corecore