Heap analysis in the presence of collection libraries

Memory analysis techniques have become sophisticated enough to model, with a high degree of accuracy, the manipulation of simple memory structures (finite structures, single/double linked lists and trees). However, modern programming languages provide extensive library support including a wide range of generic collection objects that make use of complex internal data structures. While these data structures ensure that the collections are efficient, often these representations cannot be effectively modeled by existing methods (either due to excessive analysis runtime or due to the inability to represent the required information). This paper presents a method to represent collections using an abstraction of their semantics. The construction of the abstract semantics for the collection objects is done in a manner that allows individual elements in the collections to be identified. Our construction also supports iterators over the collections and is able to model the position of the iterators with respect to the elements in the collection. By ordering the contents of the collection based on the iterator position, the model can represent a notion of progress when iteratively manipulating the contents of a collection. These features allow strong updates to the individual elements in the collection as well as strong updates over the collections themselves.

Drifting plasma collection by a positive biased tether wire in LEO-like plasma conditions: current measurement and plasma diagnostic

BETs is a three-year project financed by the Space Program of the European Commission, aimed at developing an efficient deorbit system that could be carried on board any future satellite launched into Low Earth Orbit (LEO). The operational system involves a conductive tape-tether left bare to establish anodic contact with the ambient plasma as a giant Langmuir probe. As a part of this project, we are carrying out both numerical and experimental approaches to estimate the collected current by the positive part of the tether. This paper deals with experimental measurements performed in the IONospheric Atmosphere Simulator (JONAS) plasma chamber of the Onera-Space Environment Department. The JONAS facility is a 9- m3 vacuum chamber equipped with a plasma source providing drifting plasma simulating LEO conditions in terms of density and temperature. A thin metallic cylinder, simulating the tether, is set inside the chamber and polarized up to 1000 V. The Earth's magnetic field is neutralized inside the chamber. In a first time, tether collected current versus tether polarization is measured for different plasma source energies and densities. In complement, several types of Langmuir probes are used at the same location to allow the extraction of both ion densities and electron parameters by computer modeling (classical Langmuir probe characteristics are not accurate enough in the present situation). These two measurements permit estimation of the discrepancies between the theoretical collection laws, orbital motion limited law in particular, and the experimental data in LEO-like conditions without magnetic fields. In a second time, the spatial variations and the time evolutions of the plasma properties around the tether are investigated. Spherical and emissive Langmuir probes are also used for a more extensive characterization of the plasma in space and time dependent analysis. Results show the ion depletion because of the wake effect and the accumulation of- ions upstream of the tether. In some regimes (at large positive potential), oscillations are observed on the tether collected current and on Langmuir probe collected current in specific sites.

Anisakis infection in allis shad, Alosa alosa (Linnaeus, 1758), and twaite shad, Alosa fallax (Lac��p��de, 1803), from Western Iberian Peninsula Rivers : zoonotic and ecological implications

Acknowledgments The authors would like to thank M. N. Cueto and J.M. Antonio (ECOBIOMAR) for their excellent technical support and also Rodrigo L��pez for making the map of the study area. We also thank the personal of the Vigo IEO, for providing information about shad captures at sea collected on the basis of national program (AMDES) included in the European Data Collection Framework (DCF) project. We are also grateful to Comandancia Naval de Tui for providing fishing data. M. Bao is supported by a PhD grant from the University of Aberdeen and also by financial support of the contract from the EU Project PARASITE (grant number 312068). This study was partially supported by a PhD grant from the Portuguese Foundation for Science and Technology (FCT) SFRH/BD/44892/2008) and partially supported by the European Regional Development Fund (ERDF) through the COMPETE���Operational Competitiveness Programme and national funds through Foundation for Science and Technology (FCT), under the project BPEst-C/MAR/ LA0015/2013. The authors thank the staff of the Station of Hydrobiology of the USC BEncoro do Con^ due their participation in the surveys. This work has been partially supported by the project 10PXIB2111059PR of the Xunta de Galicia and the project MIGRANET of the Interreg IV BSUDOE (South-West Europe) Territorial Cooperation Programme (SOE2/P2/E288). D.J. Nach��n is supported by a PhD grant from the Xunta de Galicia (PRE/2011/198)

Communication Between HIV Patients and Their Providers : A Qualitative Preference Match Analysis

ACKNOWLEDGMENTS We thank the HIV nurses and physicians from the two HIV clinics involved in this study (Academic Medical Center, Amsterdam; Erasmus Medical Center, Rotterdam) for their input and collaboration. We also express our gratitude to the participating patients. Finally, we thank Nicolette Strik-Mulder for her help with transcribing the audio recordings. FUNDING This study was funded by ZonMw (the Netherlands), program ���Doelmatigheidsonderzoek��� (grant 171002208). This funding source had no role in study design, data collection, analysis, interpretation, or writing of the report.

Bok is a pro-apoptotic Bcl-2 protein with restricted expression in reproductive tissues and heterodimerizes with selective anti-apoptotic Bcl-2 family���members

In the intracellular death program, hetero- and homodimerization of different anti- and pro-apoptotic Bcl-2-related proteins are critical in the determination of cell fate. From a rat ovarian fusion cDNA library, we isolated a new pro-apoptotic Bcl-2 gene, Bcl-2-related ovarian killer (Bok). Bok had conserved Bcl-2 homology (BH) domains 1, 2, and 3 and a C-terminal transmembrane region present in other Bcl-2 proteins, but lacked the BH4 domain found only in anti-apoptotic Bcl-2 proteins. In the yeast two-hybrid system, Bok interacted strongly with some (Mcl-1, BHRF1, and Bfl-1) but not other (Bcl-2, Bcl-xL, and Bcl-w) anti-apoptotic members. This finding is in direct contrast to the ability of other pro-apoptotic members (Bax, Bak, and Bik) to interact with all of the anti-apoptotic proteins. In addition, negligible interaction was found between Bok and different pro-apoptotic members. In mammalian cells, overexpression of Bok induced apoptosis that was blocked by the baculoviral-derived cysteine protease inhibitor P35. Cell killing induced by Bok was also suppressed following coexpression with Mcl-1 and BHRF1 but not with Bcl-2, further indicating that Bok heterodimerized only with selective anti-apoptotic Bcl-2 proteins. Northern blot analysis indicated that Bok was highly expressed in the ovary, testis and uterus. In situ hybridization analysis localized Bok mRNA in granulosa cells, the cell type that underwent apoptosis during follicle atresia. Identification of Bok as a new pro-apoptotic Bcl-2 protein with restricted tissue distribution and heterodimerization properties could facilitate elucidation of apoptosis mechanisms in reproductive tissues undergoing hormone-regulated cyclic cell turnover.

Customizing for clients: developing a library liaison program from need to plan*

Building on the experiences of librarian representatives to curriculum committees in the colleges of dentistry, medicine, and nursing, the Health Science Center Libraries (HSCL) Strategic Plan recommended the formation of a Library Liaison Work Group to create a formal Library Liaison Program to serve the six Health Science Center (HSC) colleges and several affiliated centers and institutes. The work group's charge was to define the purpose and scope of the program, identify models of best practice, and recommend activities for liaisons. The work group gathered background information, performed an environmental scan, and developed a philosophy statement, a program of liaison activities focusing on seven |primary areas, and a forum for liaison communication. Hallmarks of the plan included intensive subject specialization (beyond collection development), extensive communication with users, and personal information services. Specialization was expected to promote competence, communication, confidence, comfort, and customization. Development of the program required close coordination with other strategic plan implementation teams, including teams for collection development, education, and marketing. This paper discusses the HSCL's planning process and the resulting Library Liaison Program. Although focusing on an academic health center, the planning process and liaison model may be applied to any library serving diverse, subject-specific user populations.

Building a retrospective collection in pharmacy: a brief history of the literature with some considerations for U.S. health sciences library professionals

This paper argues that historical works in pharmacy are important tools for the clinician as well as the historian. With this as its operative premise, delineating the tripartite aspects of pharmacy as a business enterprise, a science, and a profession provides a conceptual framework for primary and secondary resource collecting. A brief history and guide to those materials most essential to a historical collection in pharmacy follows. Issues such as availability and cost are discussed and summarized in checklist form. In addition, a glossary of important terms is provided as well as a list of all the major U.S. dispensatories and their various editions. This paper is intended to serve as a resource for those interested in collecting historical materials in pharmacy and pharmaco-therapeutics as well as provide a history that gives context to these classics in the field. This should provide a rationale for selective retrospective collection development in pharmacy.

Colloidal gold immobilized on mesoporous silica as a highly active and selective catalyst for styrene epoxidation with H2O2

Colloidal gold nanoparticles were synthesized by different procedures affording suspensions with two different mean sizes (2 and 5 nm). Au catalysts were prepared by sol immobilization onto several silica frameworks with different 2D and 3D mesoporosities. The catalysts were tested in styrene oxidation reactions showing excellent efficiency and selectivity. The effect of nanoparticle size and mesoporous framework on the physical and catalytic properties of the final materials was studied. The most selective catalyst was prepared from the 5 nm Au nanoparticles and the more interconnected silica framework (3D mesoporosity).

S-SETA: Selective Software-Only Error-Detection Technique Using Assertions

Software-based techniques offer several advantages to increase the reliability of processor-based systems at very low cost, but they cause performance degradation and an increase of the code size. To meet constraints in performance and memory, we propose SETA, a new control-flow software-only technique that uses assertions to detect errors affecting the program flow. SETA is an independent technique, but it was conceived to work together with previously proposed data-flow techniques that aim at reducing performance and memory overheads. Thus, SETA is combined with such data-flow techniques and submitted to a fault injection campaign. Simulation and neutron induced SEE tests show high fault coverage at performance and memory overheads inferior to the state-of-the-art.