23 research outputs found
Characterizing the strongly jump-traceable sets via randomness
We show that if a set is computable from every superlow 1-random set,
then 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 with the limit condition
there is a 1-random set such that every c.e.\ set
obeys . 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 1-random sets.Comment: 41 page
Management: A bibliography for NASA managers
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
http://www.ester.ee/record=b1189371*es
Ninteenth International Cosmic Ray Conference. OG Sessions, Volume 1
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
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
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
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