10271 Abstracts Collection -- Verification over discrete-continuous boundaries

From 4 July 2010 to 9 July 2010, the Dagstuhl Seminar 10271 ``Verification over discrete-continuous boundaries\u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Earth resources. A continuing bibliography with indexes, issue 24

This bibliography lists 345 reports, articles, and other documents introduced into the NASA scientific and technical information system between October 1, 1979 and December 31, 1979. Emphasis is placed on the use of remote sensing and geophysical instrumentation in spacecraft and aircraft to survey and inventory natural resources and urban areas. Subject matter is grouped according to agriculture and forestry, environmental changes and cultural resources, geodesy and cartography, geology and mineral resources, hydrology and water management, data processing and distribution systems, instrumentation and sensors, and economic analysis

Earth Resources: A continuing bibliography with indexes, issue 10, August 1976

This bibliography lists 506 reports, articles, and other documents introduced into the NASA scientific and technical information system between April 1976 and June 1976. Emphasis is placed on the use of remote sensing and geophysical instrumentation in spacecraft and aircraft to survey and inventory natural resources and urban areas. Subject matter is grouped according to agriculture and forestry, environmental changes and cultural resources, geodesy and cartography, geology and mineral resources, hydrology and water management, data processing and distribution systems, instrumentation and sensors, and economic analysis

Aeronautical engineering: A continuing bibliography with indexes (supplement 275)

This bibliography lists 379 reports, articles, and other documents introduced into the NASA scientific and technical information system in Jan. 1991

Earth Resources: A continuing bibliography with indexes, issue 7

This bibliography lists 492 reports, articles, and other documents introduced into the NASA scientific and technical information system between July 1975 and September 1975. Emphasis is placed on the use of remote sensing and geophysical instrumentation in spacecraft and aircraft to survey and inventory natural resources and urban areas. Subject matter is grouped according to agriculture and forestry, environmental changes and cultural resources, geodesy and cartography, geology and mineral resources, hydrology and water management, data processing and distribution systems, instrumentation and sensors, and economic analysis

Aerospace medicine and biology: A continuing bibliography with indexes (supplement 372)

This bibliography lists 208 reports, articles and other documents introduced into the NASA Scientific and Technical Information System during Jan. 1993. Subject coverage includes: aerospace medicine and physiology, life support systems and man/system technology, protective clothing, exobiology and extraterrestrial life, planetary biology, and flight crew behavior and performance

Aeronautical Engineering: A special bibliography with indexes, supplement 39

This special bibliography lists 417 reports, articles, and other documents introduced into the NASA scientific and technical information system in December 1973

Index to 1986 NASA Tech Briefs, volume 11, numbers 1-4

Short announcements of new technology derived from the R&D activities of NASA are presented. These briefs emphasize information considered likely to be transferrable across industrial, regional, or disciplinary lines and are issued to encourage commercial application. This index for 1986 Tech Briefs contains abstracts and four indexes: subject, personal author, originating center, and Tech Brief Number. The following areas are covered: electronic components and circuits, electronic systems, physical sciences, materials, life sciences, mechanics, machinery, fabrication technology, and mathematics and information sciences

Applications of aerospace technology in industry: A technology transfer profile. Visual display systems

The growth of common as well as emerging visual display technologies are surveyed. The major inference is that contemporary society is rapidly growing evermore reliant on visual display for a variety of purposes. Because of its unique mission requirements, the National Aeronautics and Space Administration has contributed in an important and specific way to the growth of visual display technology. These contributions are characterized by the use of computer-driven visual displays to provide an enormous amount of information concisely, rapidly and accurately

Aerospace medicine and biology: A continuing bibliography with indexes, supplement 164

This bibliography lists 275 reports, articles, and other documents introduced into the NASA scientific and technical information system in January 1977