23 research outputs found

    Characterizing the strongly jump-traceable sets via randomness

    Full text link
    We show that if a set AA is computable from every superlow 1-random set, then AA is strongly jump-traceable. This theorem shows that the computably enumerable (c.e.) strongly jump-traceable sets are exactly the c.e.\ sets computable from every superlow 1-random set. We also prove the analogous result for superhighness: a c.e.\ set is strongly jump-traceable if and only if it is computable from every superhigh 1-random set. Finally, we show that for each cost function cc with the limit condition there is a 1-random Δ20\Delta^0_2 set YY such that every c.e.\ set ATYA \le_T Y obeys cc. To do so, we connect cost function strength and the strength of randomness notions. This result gives a full correspondence between obedience of cost functions and being computable from Δ20\Delta^0_2 1-random sets.Comment: 41 page

    The Murray Ledger and Times, June 13, 1988

    Get PDF

    Management: A bibliography for NASA managers

    Get PDF
    This bibliography lists 731 reports, articles and other documents introduced into the NASA Scientific and Technical Information System in 1990. Items are selected and grouped according to their usefulness to the manager as manager. Citations are grouped into ten subject categories: human factors and personnel issues; management theory and techniques; industrial management and manufacturing; robotics and expert systems; computers and information management; research and development; economics, costs and markets; logistics and operations management; reliability and quality control; and legality, legislation, and policy

    Double layer and adsorption at solid electrodes : 9th symposium, Tartu, June 6-9, 1991 : extended abstracts

    Get PDF
    http://www.ester.ee/record=b1189371*es

    Ninteenth International Cosmic Ray Conference. OG Sessions, Volume 1

    Get PDF
    Contributed papers addressing cosmic ray origin and galactic phenomena are compiled. The topic areas covered in this volume include gamma ray bursts, gamma rays from point sources, and diffuse gamma ray emission

    Bibliography of NASA published reports on general aviation, 1975 to 1981

    Get PDF
    This bibliography lists 478 documents which relate to all heavier-than-air fixed wing aircraft exclusive of military types and those used for commercial air transport. An exception is the inclusion of commuter transport aircraft types within the general aviation category. NASA publications included in this bibliography are: conference publications (CP), reference publications (RP), technical memorandums (TM, TMX), technical notes (TN), technical papers (TP), and contractor reports (CR). In addition, papers and articles on NASA general aviation programs published by technical societies (AIAA, SAE, etc.) are included, as well as those listed in NASA's Scientific and Technical Aerospace Reports (STAR) Journal. Author and subject indexes are also provided to facilitate use of the bibliography

    Particle Physics Reference Library

    Get PDF
    This second open access volume of the handbook series deals with detectors, large experimental facilities and data handling, both for accelerator and non-accelerator based experiments. It also covers applications in medicine and life sciences. A joint CERN-Springer initiative, the “Particle Physics Reference Library” provides revised and updated contributions based on previously published material in the well-known Landolt-Boernstein series on particle physics, accelerators and detectors (volumes 21A,B1,B2,C), which took stock of the field approximately one decade ago. Central to this new initiative is publication under full open access

    Aerospace Medicine and Biology: A continuing bibliography with indexes, supplement 267, January 1985

    Get PDF
    This publication is a cumulative index to the abstracts contained in the Supplements 255 through 266 of Aerospace Medicine and Biology: A Continuing Bibliography. It includes seven indexes--subject, personal author, corporate source, foreign technology, contract number, report number, and accession number
    corecore